pair 0: reaches 1 at n=347
pair 1: reaches 1 at n=3
pair 2: reaches 1 at n=70
OWNCERT Sz(8) conv=O x=(2, 4, 5, 1, 3, 5, 3, 4, 1, 4, 3, 2, 7, 4, 0, 2) y=(4, 1, 6, 1, 4, 4, 1, 0, 1, 2, 1, 3, 7, 0, 7, 7) M=256 L=219 recheck=OK
OWNCERT Sz(8) conv=O x=(1, 1, 5, 7, 3, 2, 5, 6, 2, 5, 7, 5, 6, 6, 0, 6) y=(1, 1, 0, 1, 5, 4, 1, 4, 6, 5, 2, 4, 5, 7, 7, 3) M=128 L=113 recheck=OK
OWNCERT Sz(8) conv=O x=(4, 0, 2, 7, 7, 5, 6, 5, 4, 6, 0, 4, 6, 4, 5, 4) y=(2, 0, 4, 7, 3, 3, 6, 7, 5, 6, 7, 4, 6, 7, 2, 2) M=128 L=101 recheck=OK
OWNCERT Sz(8) conv=O x=(3, 1, 4, 5, 4, 1, 4, 7, 4, 2, 4, 3, 1, 2, 5, 7) y=(2, 3, 2, 4, 3, 4, 5, 0, 7, 7, 6, 7, 7, 5, 1, 1) M=256 L=245 recheck=OK
OWNCERT Sz(8) conv=O x=(1, 2, 7, 5, 1, 3, 1, 5, 1, 3, 0, 7, 1, 2, 6, 6) y=(5, 3, 2, 2, 4, 3, 3, 0, 4, 1, 3, 3, 2, 1, 3, 4) M=256 L=198 recheck=OK
OWNCERT Sz(8) conv=O x=(5, 0, 7, 4, 0, 6, 0, 3, 1, 0, 6, 3, 3, 7, 4, 1) y=(6, 3, 7, 3, 4, 5, 1, 6, 6, 5, 2, 3, 7, 5, 1, 1) M=128 L=15 recheck=OK
OWNCERT Sz(8) conv=O x=(3, 5, 0, 1, 6, 5, 1, 1, 0, 5, 1, 3, 4, 6, 2, 5) y=(3, 3, 1, 5, 4, 0, 1, 6, 1, 6, 6, 7, 4, 7, 0, 5) M=512 L=17 recheck=OK
pair 10: reaches 1 at n=151
OWNCERT Sz(8) conv=O x=(6, 6, 2, 1, 1, 6, 1, 0, 5, 6, 4, 2, 1, 5, 5, 6) y=(7, 6, 7, 4, 4, 0, 2, 4, 6, 0, 6, 1, 2, 1, 1, 7) M=128 L=26 recheck=OK
pair 12: reaches 1 at n=310
pair 13: reaches 1 at n=157
OWNCERT Sz(8) conv=O x=(7, 4, 2, 6, 2, 5, 5, 6, 3, 4, 2, 4, 7, 5, 2, 1) y=(3, 5, 6, 1, 1, 7, 3, 6, 4, 1, 0, 7, 5, 4, 5, 2) M=64 L=17 recheck=OK
pair 15: reaches 1 at n=60
pair 16: reaches 1 at n=142
OWNCERT Sz(8) conv=O x=(2, 3, 1, 7, 7, 2, 0, 5, 0, 7, 3, 1, 6, 1, 2, 1) y=(6, 3, 0, 7, 2, 6, 2, 5, 3, 5, 7, 0, 1, 5, 5, 6) M=512 L=262 recheck=OK
pair 18: reaches 1 at n=55
OWNCERT Sz(8) conv=O x=(2, 1, 0, 4, 3, 7, 5, 1, 7, 0, 7, 3, 7, 2, 2, 1) y=(7, 5, 7, 4, 6, 5, 1, 5, 7, 3, 0, 7, 4, 2, 5, 2) M=64 L=39 recheck=OK
OWNCERT Sz(8) conv=O x=(2, 2, 0, 2, 0, 3, 3, 3, 6, 6, 6, 0, 5, 0, 5, 5) y=(1, 3, 1, 4, 3, 4, 4, 4, 0, 7, 2, 1, 6, 3, 0, 7) M=256 L=86 recheck=OK
OWNCERT Sz(8) conv=O x=(7, 5, 0, 6, 2, 6, 7, 4, 3, 3, 6, 3, 7, 4, 2, 6) y=(4, 3, 6, 6, 1, 7, 7, 0, 1, 5, 2, 2, 3, 3, 1, 5) M=256 L=144 recheck=OK
OWNCERT Sz(8) conv=O x=(3, 2, 5, 3, 6, 0, 3, 4, 0, 5, 0, 4, 4, 0, 7, 1) y=(4, 6, 7, 1, 3, 2, 4, 2, 1, 7, 7, 4, 2, 3, 2, 4) M=256 L=2 recheck=OK
OWNCERT Sz(8) conv=O x=(6, 7, 5, 5, 4, 4, 2, 4, 7, 3, 7, 3, 4, 2, 1, 4) y=(7, 0, 1, 5, 0, 2, 0, 3, 3, 0, 2, 6, 6, 5, 5, 1) M=128 L=118 recheck=OK
OWNCERT Sz(8) conv=O x=(5, 0, 4, 6, 5, 6, 4, 7, 4, 6, 4, 0, 7, 7, 1, 3) y=(6, 5, 6, 7, 0, 7, 5, 5, 0, 0, 4, 6, 0, 0, 0, 3) M=256 L=65 recheck=OK
pair 25: reaches 1 at n=126
OWNCERT Sz(8) conv=O x=(7, 3, 6, 7, 1, 5, 4, 7, 5, 2, 0, 4, 5, 4, 4, 2) y=(5, 3, 6, 1, 3, 7, 7, 1, 3, 4, 3, 6, 7, 5, 6, 3) M=128 L=77 recheck=OK
pair 27: reaches 1 at n=289
OWNCERT Sz(8) conv=O x=(1, 2, 2, 7, 4, 2, 5, 4, 5, 3, 7, 5, 6, 1, 1, 5) y=(1, 4, 1, 2, 2, 2, 0, 6, 7, 7, 1, 6, 5, 2, 7, 3) M=256 L=46 recheck=OK
OWNCERT Sz(8) conv=O x=(1, 0, 2, 6, 2, 1, 4, 5, 4, 6, 2, 2, 4, 3, 1, 2) y=(5, 7, 7, 3, 1, 3, 4, 0, 3, 6, 1, 7, 3, 2, 3, 6) M=64 L=27 recheck=OK
OWNCERT Sz(8) conv=O x=(2, 0, 4, 7, 5, 3, 1, 5, 2, 4, 2, 4, 4, 2, 7, 4) y=(1, 2, 6, 6, 0, 1, 6, 1, 5, 1, 2, 1, 3, 3, 2, 5) M=256 L=129 recheck=OK
OWNCERT Sz(8) conv=O x=(1, 0, 4, 2, 7, 1, 1, 1, 5, 5, 3, 3, 1, 3, 3, 4) y=(6, 7, 0, 3, 4, 4, 4, 1, 3, 0, 6, 3, 6, 5, 6, 7) M=512 L=269 recheck=OK
OWNCERT Sz(8) conv=O x=(2, 0, 0, 0, 2, 3, 0, 0, 0, 3, 6, 0, 2, 3, 6, 5) y=(6, 1, 5, 1, 5, 3, 1, 0, 0, 5, 2, 4, 4, 5, 5, 2) M=128 L=104 recheck=OK
OWNCERT Sz(8) conv=O x=(4, 3, 7, 6, 3, 3, 6, 5, 2, 7, 5, 0, 1, 3, 1, 4) y=(4, 3, 6, 6, 4, 6, 5, 2, 1, 7, 5, 4, 7, 6, 2, 7) M=256 L=151 recheck=OK
pair 34: reaches 1 at n=4
pair 35: reaches 1 at n=3
OWNCERT Sz(8) conv=O x=(1, 2, 7, 5, 2, 5, 3, 1, 2, 2, 6, 3, 7, 0, 2, 3) y=(7, 7, 1, 3, 5, 7, 0, 7, 1, 6, 6, 4, 1, 7, 3, 1) M=32 L=3 recheck=OK
pair 37: reaches 1 at n=218
OWNCERT Sz(8) conv=O x=(1, 2, 6, 6, 3, 7, 7, 0, 0, 7, 5, 5, 6, 5, 6, 7) y=(3, 0, 6, 1, 6, 4, 7, 1, 5, 5, 6, 2, 7, 6, 0, 5) M=512 L=306 recheck=OK
OWNCERT Sz(8) conv=O x=(3, 5, 6, 1, 0, 4, 1, 0, 0, 0, 7, 2, 0, 0, 0, 6) y=(2, 6, 4, 7, 5, 7, 3, 3, 4, 3, 4, 4, 5, 3, 6, 1) M=512 L=17 recheck=OK
OWNCERT Sz(8) conv=O x=(1, 4, 0, 7, 7, 0, 2, 0, 4, 3, 0, 1, 7, 3, 3, 5) y=(4, 7, 3, 5, 4, 2, 5, 5, 1, 6, 6, 0, 7, 1, 5, 5) M=256 L=69 recheck=OK
OWNCERT Sz(8) conv=O x=(2, 2, 3, 5, 1, 2, 7, 3, 2, 7, 0, 4, 7, 3, 6, 7) y=(7, 7, 6, 3, 6, 4, 1, 7, 0, 6, 3, 0, 5, 6, 3, 2) M=256 L=158 recheck=OK
OWNCERT Sz(8) conv=O x=(4, 5, 5, 2, 0, 5, 2, 4, 2, 7, 5, 6, 7, 3, 5, 3) y=(3, 7, 5, 2, 5, 6, 7, 6, 5, 3, 1, 7, 7, 5, 3, 6) M=256 L=74 recheck=OK
pair 43: reaches 1 at n=14
pair 44: reaches 1 at n=111
OWNCERT Sz(8) conv=O x=(2, 2, 5, 6, 5, 6, 5, 5, 2, 6, 7, 5, 4, 6, 7, 1) y=(1, 7, 1, 2, 4, 0, 1, 4, 1, 5, 1, 0, 2, 7, 7, 1) M=256 L=30 recheck=OK
OWNCERT Sz(8) conv=O x=(2, 3, 5, 6, 7, 2, 5, 5, 0, 7, 3, 4, 6, 1, 5, 1) y=(6, 5, 6, 7, 5, 5, 0, 4, 5, 7, 0, 6, 1, 7, 1, 2) M=128 L=89 recheck=OK
OWNCERT Sz(8) conv=O x=(4, 7, 6, 7, 0, 5, 6, 3, 1, 3, 6, 5, 2, 0, 7, 3) y=(5, 2, 6, 4, 3, 1, 5, 0, 7, 4, 1, 7, 4, 6, 0, 1) M=512 L=88 recheck=OK
OWNCERT Sz(8) conv=O x=(1, 3, 1, 4, 4, 6, 3, 5, 1, 1, 5, 1, 2, 4, 3, 3) y=(2, 0, 6, 5, 4, 3, 7, 4, 2, 1, 0, 6, 7, 1, 5, 5) M=128 L=64 recheck=OK
OWNCERT Sz(8) conv=O x=(1, 5, 0, 2, 2, 0, 3, 0, 3, 2, 0, 6, 4, 6, 5, 5) y=(7, 4, 2, 6, 7, 6, 1, 1, 0, 2, 6, 4, 7, 6, 4, 6) M=256 L=193 recheck=OK
OWNCERT Sz(8) conv=O x=(3, 6, 0, 4, 4, 7, 5, 3, 4, 4, 3, 4, 1, 6, 3, 5) y=(3, 7, 2, 5, 0, 4, 3, 6, 4, 6, 6, 6, 5, 0, 2, 1) M=256 L=8 recheck=OK
pair 51: reaches 1 at n=136
pair 52: reaches 1 at n=170
OWNCERT Sz(8) conv=O x=(2, 0, 0, 0, 7, 3, 0, 0, 5, 7, 6, 0, 4, 6, 2, 5) y=(5, 0, 7, 4, 0, 6, 0, 3, 2, 0, 2, 6, 1, 5, 5, 6) M=256 L=2 recheck=OK
pair 54: reaches 1 at n=127
OWNCERT Sz(8) conv=O x=(4, 7, 4, 6, 5, 1, 3, 6, 5, 6, 2, 2, 2, 2, 4, 1) y=(1, 2, 7, 5, 6, 6, 2, 3, 1, 6, 3, 7, 4, 7, 2, 4) M=256 L=155 recheck=OK
OWNCERT Sz(8) conv=O x=(4, 7, 3, 5, 3, 0, 0, 1, 2, 5, 4, 1, 1, 2, 1, 6) y=(1, 7, 0, 4, 5, 7, 5, 4, 0, 3, 5, 6, 2, 1, 7, 1) M=128 L=87 recheck=OK
OWNCERT Sz(8) conv=O x=(7, 5, 0, 6, 7, 7, 7, 3, 7, 7, 2, 2, 7, 5, 5, 3) y=(6, 3, 4, 6, 6, 4, 6, 4, 7, 1, 5, 7, 3, 6, 0, 4) M=256 L=173 recheck=OK
OWNCERT Sz(8) conv=O x=(2, 2, 5, 6, 0, 3, 3, 1, 7, 7, 5, 4, 3, 2, 3, 6) y=(6, 4, 3, 6, 6, 3, 5, 4, 6, 3, 1, 5, 6, 4, 7, 4) M=256 L=179 recheck=OK
OWNCERT Sz(8) conv=O x=(7, 1, 6, 4, 7, 3, 2, 3, 2, 1, 0, 2, 6, 1, 5, 1) y=(6, 0, 0, 0, 1, 7, 0, 0, 7, 3, 4, 0, 2, 0, 7, 3) M=256 L=54 recheck=OK
pair 60: reaches 1 at n=70
OWNCERT Sz(8) conv=O x=(1, 7, 7, 2, 6, 5, 1, 6, 3, 6, 1, 5, 5, 0, 3, 2) y=(4, 3, 7, 6, 3, 3, 6, 5, 3, 5, 6, 4, 1, 5, 3, 1) M=128 L=36 recheck=OK
OWNCERT Sz(8) conv=O x=(4, 0, 7, 1, 5, 5, 4, 2, 4, 2, 5, 7, 6, 2, 6, 5) y=(3, 0, 2, 4, 5, 4, 6, 6, 2, 1, 2, 6, 3, 2, 0, 7) M=512 L=304 recheck=OK
pair 63: reaches 1 at n=39
OWNCERT Sz(8) conv=O x=(5, 4, 4, 2, 7, 4, 6, 7, 0, 1, 4, 4, 1, 6, 1, 4) y=(3, 3, 1, 5, 1, 5, 2, 2, 3, 5, 0, 6, 7, 1, 6, 4) M=128 L=50 recheck=OK
OWNCERT Sz(8) conv=O x=(6, 4, 4, 7, 7, 4, 5, 2, 6, 0, 2, 2, 2, 1, 4, 1) y=(2, 7, 4, 4, 0, 3, 7, 2, 3, 1, 0, 4, 4, 2, 2, 5) M=256 L=72 recheck=OK
OWNCERT Sz(8) conv=O x=(1, 3, 0, 6, 7, 3, 7, 6, 7, 7, 7, 6, 2, 7, 0, 6) y=(6, 7, 7, 4, 4, 4, 7, 7, 3, 0, 0, 2, 6, 5, 1, 4) M=128 L=31 recheck=OK
OWNCERT Sz(8) conv=O x=(2, 1, 1, 7, 2, 2, 4, 4, 2, 2, 2, 7, 2, 1, 7, 1) y=(3, 6, 7, 7, 4, 7, 3, 1, 1, 5, 7, 3, 4, 0, 1, 2) M=256 L=181 recheck=OK
OWNCERT Sz(8) conv=O x=(4, 7, 2, 4, 2, 3, 7, 4, 7, 6, 5, 0, 4, 1, 7, 4) y=(2, 4, 2, 7, 1, 1, 0, 7, 6, 2, 3, 6, 2, 6, 6, 3) M=128 L=53 recheck=OK
OWNCERT Sz(8) conv=O x=(6, 5, 7, 7, 2, 4, 1, 3, 2, 2, 2, 3, 3, 5, 7, 5) y=(4, 4, 5, 7, 0, 5, 5, 6, 2, 2, 5, 4, 7, 0, 3, 6) M=64 L=13 recheck=OK
OWNCERT Sz(8) conv=O x=(5, 6, 3, 2, 0, 6, 3, 0, 2, 5, 4, 1, 1, 2, 1, 6) y=(3, 5, 4, 3, 3, 1, 5, 2, 4, 3, 4, 7, 2, 0, 2, 2) M=128 L=118 recheck=OK
OWNCERT Sz(8) conv=O x=(5, 0, 2, 1, 1, 6, 4, 7, 2, 2, 0, 7, 2, 1, 5, 2) y=(2, 6, 4, 7, 1, 0, 0, 6, 3, 0, 6, 0, 4, 7, 0, 5) M=128 L=122 recheck=OK
pair 72: reaches 1 at n=157
OWNCERT Sz(8) conv=O x=(1, 5, 2, 5, 3, 5, 5, 2, 7, 1, 6, 7, 1, 0, 5, 3) y=(3, 0, 5, 2, 1, 4, 3, 0, 6, 6, 6, 5, 6, 1, 5, 1) M=128 L=117 recheck=OK
OWNCERT Sz(8) conv=O x=(6, 1, 5, 1, 7, 5, 2, 6, 0, 4, 5, 2, 3, 6, 6, 2) y=(2, 3, 4, 4, 1, 7, 4, 1, 3, 2, 1, 6, 4, 6, 0, 1) M=256 L=26 recheck=OK
OWNCERT Sz(8) conv=O x=(2, 5, 0, 3, 6, 7, 4, 4, 5, 4, 7, 1, 2, 1, 3, 4) y=(6, 2, 7, 7, 2, 0, 5, 7, 1, 7, 2, 0, 3, 5, 5, 7) M=128 L=86 recheck=OK
OWNCERT Sz(8) conv=O x=(4, 1, 5, 6, 5, 3, 4, 2, 3, 0, 2, 2, 3, 4, 5, 3) y=(1, 6, 2, 2, 0, 1, 4, 7, 6, 2, 6, 1, 4, 3, 6, 6) M=128 L=1 recheck=OK
OWNCERT Sz(8) conv=O x=(1, 7, 6, 4, 1, 6, 3, 4, 6, 5, 6, 2, 3, 5, 6, 1) y=(2, 2, 6, 1, 3, 0, 6, 2, 2, 4, 6, 0, 4, 2, 4, 5) M=512 L=142 recheck=OK
OWNCERT Sz(8) conv=O x=(4, 3, 5, 5, 0, 5, 3, 5, 0, 0, 2, 4, 0, 0, 0, 7) y=(3, 4, 6, 4, 2, 5, 3, 4, 6, 1, 6, 2, 2, 7, 6, 1) M=128 L=51 recheck=OK
pair 79: reaches 1 at n=68
pair 80: reaches 1 at n=70
OWNCERT Sz(8) conv=O x=(6, 3, 3, 2, 4, 5, 0, 2, 4, 4, 7, 1, 7, 1, 5, 5) y=(6, 0, 0, 0, 6, 7, 0, 0, 0, 7, 4, 0, 6, 7, 4, 3) M=512 L=461 recheck=OK
OWNCERT Sz(8) conv=O x=(6, 2, 0, 1, 7, 3, 1, 4, 3, 5, 2, 2, 4, 0, 1, 2) y=(5, 6, 3, 2, 6, 2, 1, 5, 4, 2, 2, 4, 5, 5, 5, 5) M=128 L=123 recheck=OK
OWNCERT Sz(8) conv=O x=(2, 5, 6, 2, 6, 7, 5, 2, 5, 4, 3, 0, 2, 1, 5, 2) y=(6, 3, 5, 7, 7, 1, 3, 5, 2, 5, 0, 6, 2, 6, 2, 3) M=256 L=46 recheck=OK
OWNCERT Sz(8) conv=O x=(1, 0, 1, 1, 3, 1, 3, 2, 0, 7, 1, 7, 6, 2, 5, 5) y=(7, 2, 2, 1, 4, 5, 2, 4, 3, 6, 2, 0, 5, 0, 6, 7) M=128 L=102 recheck=OK
OWNCERT Sz(8) conv=O x=(4, 1, 3, 1, 0, 5, 7, 2, 2, 5, 6, 0, 7, 4, 3, 5) y=(6, 4, 5, 4, 4, 6, 0, 4, 7, 5, 6, 5, 4, 0, 2, 7) M=128 L=104 recheck=OK
OWNCERT Sz(8) conv=O x=(2, 5, 5, 4, 3, 1, 6, 5, 1, 1, 2, 0, 7, 2, 3, 7) y=(6, 1, 0, 2, 5, 3, 3, 6, 3, 0, 2, 7, 2, 2, 7, 6) M=64 L=47 recheck=OK
pair 87: reaches 1 at n=175
pair 88: reaches 1 at n=3
OWNCERT Sz(8) conv=O x=(2, 0, 6, 5, 6, 3, 1, 1, 7, 2, 4, 5, 6, 7, 0, 3) y=(6, 2, 7, 7, 5, 4, 0, 2, 7, 1, 3, 6, 7, 3, 2, 7) M=512 L=300 recheck=OK
OWNCERT Sz(8) conv=O x=(3, 3, 7, 2, 0, 4, 4, 2, 2, 2, 4, 2, 4, 5, 7, 2) y=(2, 3, 5, 6, 1, 7, 1, 4, 4, 3, 6, 0, 1, 5, 6, 5) M=256 L=145 recheck=OK
OWNCERT Sz(8) conv=O x=(4, 7, 6, 7, 2, 3, 5, 5, 7, 6, 2, 1, 4, 1, 3, 1) y=(6, 5, 3, 2, 5, 5, 2, 7, 2, 6, 4, 2, 2, 5, 0, 3) M=16 L=13 recheck=OK
pair 92: reaches 1 at n=26
OWNCERT Sz(8) conv=O x=(3, 5, 4, 3, 1, 7, 4, 0, 4, 1, 1, 2, 5, 4, 3, 4) y=(7, 1, 4, 4, 6, 7, 6, 3, 3, 1, 3, 0, 7, 7, 4, 2) M=128 L=76 recheck=OK
pair 94: reaches 1 at n=201
pair 95: reaches 1 at n=162
OWNCERT Sz(8) conv=O x=(3, 3, 1, 5, 7, 3, 0, 3, 4, 7, 1, 2, 1, 4, 2, 2) y=(5, 2, 6, 4, 6, 3, 3, 4, 5, 1, 3, 4, 1, 0, 6, 4) M=256 L=135 recheck=OK
OWNCERT Sz(8) conv=O x=(4, 2, 7, 4, 6, 6, 5, 0, 2, 0, 7, 4, 5, 4, 2, 4) y=(2, 6, 5, 2, 6, 2, 6, 2, 2, 4, 6, 2, 3, 0, 5, 2) M=64 L=60 recheck=OK
OWNCERT Sz(8) conv=O x=(6, 1, 0, 2, 2, 1, 3, 2, 7, 3, 3, 1, 7, 1, 7, 5) y=(2, 7, 4, 4, 0, 3, 7, 2, 0, 0, 6, 2, 0, 0, 0, 5) M=256 L=221 recheck=OK
OWNCERT Sz(8) conv=O x=(2, 7, 6, 1, 0, 3, 7, 1, 5, 3, 2, 5, 1, 4, 0, 7) y=(4, 6, 3, 3, 2, 6, 5, 1, 2, 7, 5, 3, 5, 7, 1, 7) M=256 L=51 recheck=OK
SEARCH Sz(8) conv=O seed=32: 71 certified, 29 reached 1, of 100 pairs (1s)
