the type inferred for K would be something like:
Одна связанная с нижним бельем привычка женщины натолкнула ее бойфренда на мысль об измене02:29，这一点在爱思助手下载最新版本中也有详细论述
ВС России уничтожили пункт управления украинских гексакоптеров типа «Баба-Яга»08:50，推荐阅读Line官方版本下载获取更多信息
Сейчас из европейских стран есть возможность закупать российскую нефть у Венгрии и Словакии. Однако из-за блокировки украинской стороной поставок через трубопровод «Дружба» страны решили использовать возможность импортировать российскую нефть морским путем, пока не будут восстановлены трубопроводные поставки. Премьер-министр Хорватии Андрей Пленкович, в свою очередь, предложил поставлять нефть Будапешту и Братиславе по трубопроводу Adria.
but our algorithm is not for “the (1)” match, it’s designed to mark-and-sweep through all matches in the input, and looking back, the paper does not highlight the importance of this as much as it should. without pointing this out, we would have the slowest first match algorithm in the world.