One of the tropes I grew up with is that George Allen, in 1972, outwitted the Green Bay Packers in the divisional round of the playoffs by playing a five man front and daring the Packers to pass. So, as we’re talking a ton about defensive fronts on this blog, I was curious. Was this Bud Wilkinson’s Oklahoma defense (video here), or perhaps an 8 man front, perhaps a 5-3? Was it lineman on lineman or was it gapped? What did George Allen’s five man front look like?
Looking for video can lead you to Hulu, as Hulu is pretty good about having video that even NFL’s Greatest Games won’t sell. There are team highlights of the 1972 Washington Redskins, but nary a sign of the vaunted five man front. It’s ironic, because there is a well developed tribute page to the 1972 Green Bay Packers, but almost nothing devoted online to the innovation that led to Green Bay’s defeat.
The only image I have of the Washington defense in that game is the one below, where clearly Washington is playing a 4-3 under.
So I’m looking. I suspect the best information I can obtain will be in the oral histories of Washington Redskins players.

April 4, 2011 at 9:45 am
[...] bought “Hail Victory” initially to help answer the question of George Allen’s five man line back in 1972, but it was no help there. It’s going to be a terrific help as I chase down [...]
December 23, 2011 at 10:20 pm
See Redskins Enclopedia by Michael Richman p. 87 – Allen took out the MLB and put in DT Manny Sistrunk who been a starter at the start of the 1972.
The book has several paragraphs about this. Quote from Ron McDole on Sistrunk: “He was manhandling their center all day”.
To answer your question, it would have been a 5-2-4 formation.