AIG_3G_FUCHS
(aig_3g-fuchs)