object 65 of 1000: 132798 quads tried, 691641 matched.
object 66 of 1000: 140199 quads tried, 741142 matched.
object 67 of 1000: 146646 quads tried, 773853 matched.
object 68 of 1000: 154037 quads tried, 821923 matched.
object 69 of 1000: 161035 quads tried, 856163 matched.
object 70 of 1000: 168880 quads tried, 901095 matched.
object 71 of 1000: 175910 quads tried, 933904 matched.
Got a new best match: logodds 11.0533.
object 72 of 1000: 183492 quads tried, 976242 matched.
object 73 of 1000: 190723 quads tried, 1009575 matched.
object 74 of 1000: 199777 quads tried, 1065120 matched.
object 75 of 1000: 209566 quads tried, 1129907 matched.
object 76 of 1000: 217350 quads tried, 1163741 matched.
object 77 of 1000: 226527 quads tried, 1217658 matched.
object 78 of 1000: 236617 quads tried, 1281581 matched.
object 79 of 1000: 247157 quads tried, 1349935 matched.
object 80 of 1000: 255460 quads tried, 1386049 matched.
object 81 of 1000: 265087 quads tried, 1440697 matched.
object 82 of 1000: 275273 quads tried, 1499006 matched.
object 83 of 1000: 287434 quads tried, 1585976 matched.