Gauge Compilation

Gauge Compilation with Tits compilation