Código PHP:
<?php
$stats_line=file_get_contents("algun.txt");
$stats_line=trim($stats_line);
$reemplazar = array("array(","),","");
$por = array("","+","");
$line=str_replace($reemplazar, $por, $stats_line);
$line=str_replace(")", "", $line);
$lines=explode("+",$line);
$example_data=array($lines);
print_r($example_data);
?>