Результат работы автоматической проверки. Примечание: указанная стоимость представляет собой весь контракт в целом, в котором может находиться более одной машины. Алгоритм находит доказательство того, что в документации упоминаются закупки дорогих машин(найденная машина выводится), но не определяет какое количество было закуплено.