Sandia Labs has the #82 supercomputer in the world, and use that computing power to simulate nuclear explosions and
,IIRC, large meteor strikes (Tunguska I think). They probably have the horsepower to handle this.
We warn the reader in advance that the proof presented here depends on a clever but highly unmotivated trick. -- Howard Anton, "Elementary Linear Algebra"