The first case is a 25-year old pregnant female from El Marg District, Cairo Governorate.
第一例为开罗省el Marg县一名25岁的孕妇。
2
For the subclasses MAX and MARG of minimal unsatisfiable formulas, we show that the variable and literal renaming problems are equivalent to the graph isomorphism problem GI.