Vader was hit by some kind of super C4 explosive and explosion brought all of this stone on top of him, which he then lifted from himself. Obviously we cannot know exactly but roughly how many tons would this be?

Vader was hit by some kind of super C4 explosive and explosion brought all of this stone on top of him, which he then lifted from himself. Obviously we cannot know exactly but roughly how many tons would this be?