How's the DHKey computed using python?

[PyDotAll]

There are scenarios where the --authkey is not provided but the WPS PIN is still cracked. How do you compute the DHKey in this case? Can you show me even a Python script deriving from PKE and PKR exactly? They are not straightforward as I've seen on the c code. Thanks!