|Mrk|`Kull^, minK [+0] vs AI4 on 878792