@BIOSTALLApr 10.2010 — #If you serialized the array and saved that to the text file, then you could easily read the text file and unserialize the contents.
var_dump() is more for viewing the contents of the array on screen and I'm pretty sure that without some complex string function use, you won't be able to convert it back to an array.
@NogDogApr 10.2010 — #I would agree that serialize()/unserialize() would be the way to go.
If stuck with having to parse the var_dump() output, you could try modifying the print_r() parser in [url=http://www.php.net/manual/en/function.print-r.php#93529]this manual user note[/url].