Se non ho capito male.... nelle varie $_SESSION['int'] invece di salvare direttamente i dati, salva un array tipo
quando ne vuoi aggiungere altri fai una cosa tipoCodice PHP:
$_SESSION['int'][0] = [$idinterv => $prezzo];
Codice PHP:
$pos = count($_SESSION['int']);
$_SESSION['int'][$pos] = [$idinterv => $prezzo];
ti consiglio poi di non usare più le funzioni mysql, ma piuttosto mysqli o PDO, e poi, se posso..., togli il silent, se ti da qualche errore è meglio vederlo!