<?php
$masses = explode(',', file_get_contents('input.txt'));
echo array_sum(
array_map(function($mass) {
return floor($mass / 3) - 2;
}, $masses)
);