girth compilation

.