package RandomPractice ;
import java.io.BufferedOutputStream ;
import java.io.IOException ;
import java.io.InputStream ;
import java.io.PrintWriter ;
import java.util.InputMismatchException ;
public class IdealRandomNumberGenerator {
static int numChar;
static int curChar;
static byte [ ] buffer = new byte [ 1024 ] ;
StringBuilder builder = new StringBuilder( ) ;
long a = readLong( ) , b = readLong( ) , c = readLong( ) ;
long start = 0 ;
long end = a + b;
if ( c <= end) {
long g = gcd( ( c - start) , ( end - start) ) ;
builder.append ( ( c - start) / g + "/" + ( end - start) / g + "\n " ) ;
} else {
builder.append ( "1/1\n " ) ;
}
out.print ( builder) ;
out.flush ( ) ;
out.close ( ) ;
}
public static long gcd( long a, long b) {
if ( b == 0 )
return a;
return gcd( b, a % b) ;
}
if ( numChar <= curChar) {
curChar = 0 ;
numChar = stream.read ( buffer) ;
if ( numChar <= 0 ) {
return - 1 ;
}
}
return buffer[ curChar++ ] ;
}
public static long readLong
( ) throws IOException , InputMismatchException
{ int c = read( ) ;
if ( c == - 1 )
while ( isSpaceChar( c) ) {
c = read( ) ;
}
boolean negative = false ;
if ( c == '-' ) {
negative = true ;
c = read( ) ;
}
long res = 0 ;
while ( ! isSpaceChar( c) ) {
if ( c < '0' || c > '9' )
throw new InputMismatchException( ) ;
res *= 10 ;
res += ( c - '0' ) ;
c = read( ) ;
}
if ( negative)
return - res;
return res;
}
public static int readInt
( ) throws IOException , InputMismatchException
{ return ( int ) readLong( ) ;
}
int c = read( ) ;
if ( c == - 1 )
while ( isSpaceChar( c) ) {
c = read( ) ;
}
StringBuilder builder = new StringBuilder( ) ;
while ( ! isSpaceChar( c) ) {
builder.append ( ( char ) c) ;
c = read( ) ;
}
return builder.toString ( ) ;
}
public static boolean isSpaceChar( int c) {
return c == ' ' || c == '\n ' || c == '\t ' || c == '\r ' || c == - 1 ;
}
}
cGFja2FnZSBSYW5kb21QcmFjdGljZTsKCmltcG9ydCBqYXZhLmlvLkJ1ZmZlcmVkT3V0cHV0U3RyZWFtOwppbXBvcnQgamF2YS5pby5JT0V4Y2VwdGlvbjsKaW1wb3J0IGphdmEuaW8uSW5wdXRTdHJlYW07CmltcG9ydCBqYXZhLmlvLlByaW50V3JpdGVyOwppbXBvcnQgamF2YS51dGlsLklucHV0TWlzbWF0Y2hFeGNlcHRpb247CgpwdWJsaWMgY2xhc3MgSWRlYWxSYW5kb21OdW1iZXJHZW5lcmF0b3IgewoJc3RhdGljIGludCBudW1DaGFyOwoJc3RhdGljIGludCBjdXJDaGFyOwoJc3RhdGljIGJ5dGVbXSBidWZmZXIgPSBuZXcgYnl0ZVsxMDI0XTsKCXN0YXRpYyBJbnB1dFN0cmVhbSBzdHJlYW07CglzdGF0aWMgUHJpbnRXcml0ZXIgb3V0OwoKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluKFN0cmluZ1tdIGFyZ3MpIHRocm93cyBJbnB1dE1pc21hdGNoRXhjZXB0aW9uLCBJT0V4Y2VwdGlvbiB7CgkJc3RyZWFtID0gU3lzdGVtLmluOwoJCW91dCA9IG5ldyBQcmludFdyaXRlcihuZXcgQnVmZmVyZWRPdXRwdXRTdHJlYW0oU3lzdGVtLm91dCkpOwoJCVN0cmluZ0J1aWxkZXIgYnVpbGRlciA9IG5ldyBTdHJpbmdCdWlsZGVyKCk7CgkJbG9uZyBhID0gcmVhZExvbmcoKSwgYiA9IHJlYWRMb25nKCksIGMgPSByZWFkTG9uZygpOwoJCWxvbmcgc3RhcnQgPSAwOwoJCWxvbmcgZW5kID0gYSArIGI7CgkJaWYgKGMgPD0gZW5kKSB7CgkJCWxvbmcgZyA9IGdjZCgoYyAtIHN0YXJ0KSwgKGVuZCAtIHN0YXJ0KSk7CgkJCWJ1aWxkZXIuYXBwZW5kKChjIC0gc3RhcnQpIC8gZyArICIvIiArIChlbmQgLSBzdGFydCkgLyBnICsgIlxuIik7CgkJfSBlbHNlIHsKCQkJYnVpbGRlci5hcHBlbmQoIjEvMVxuIik7CgkJfQoJCW91dC5wcmludChidWlsZGVyKTsKCQlvdXQuZmx1c2goKTsKCQlvdXQuY2xvc2UoKTsKCX0KCglwdWJsaWMgc3RhdGljIGxvbmcgZ2NkKGxvbmcgYSwgbG9uZyBiKSB7CgkJaWYgKGIgPT0gMCkKCQkJcmV0dXJuIGE7CgkJcmV0dXJuIGdjZChiLCBhICUgYik7Cgl9CgoJcHVibGljIHN0YXRpYyBpbnQgcmVhZCgpIHRocm93cyBJT0V4Y2VwdGlvbiB7CgkJaWYgKG51bUNoYXIgPD0gY3VyQ2hhcikgewoJCQljdXJDaGFyID0gMDsKCQkJbnVtQ2hhciA9IHN0cmVhbS5yZWFkKGJ1ZmZlcik7CgkJCWlmIChudW1DaGFyIDw9IDApIHsKCQkJCXJldHVybiAtMTsKCQkJfQoJCX0KCQlyZXR1cm4gYnVmZmVyW2N1ckNoYXIrK107Cgl9CgoJcHVibGljIHN0YXRpYyBsb25nIHJlYWRMb25nKCkgdGhyb3dzIElPRXhjZXB0aW9uLCBJbnB1dE1pc21hdGNoRXhjZXB0aW9uIHsKCQlpbnQgYyA9IHJlYWQoKTsKCQlpZiAoYyA9PSAtMSkKCQkJdGhyb3cgbmV3IElPRXhjZXB0aW9uKCk7CgkJd2hpbGUgKGlzU3BhY2VDaGFyKGMpKSB7CgkJCWMgPSByZWFkKCk7CgkJfQoJCWJvb2xlYW4gbmVnYXRpdmUgPSBmYWxzZTsKCQlpZiAoYyA9PSAnLScpIHsKCQkJbmVnYXRpdmUgPSB0cnVlOwoJCQljID0gcmVhZCgpOwoJCX0KCQlsb25nIHJlcyA9IDA7CgkJd2hpbGUgKCFpc1NwYWNlQ2hhcihjKSkgewoJCQlpZiAoYyA8ICcwJyB8fCBjID4gJzknKQoJCQkJdGhyb3cgbmV3IElucHV0TWlzbWF0Y2hFeGNlcHRpb24oKTsKCQkJcmVzICo9IDEwOwoJCQlyZXMgKz0gKGMgLSAnMCcpOwoJCQljID0gcmVhZCgpOwoJCX0KCQlpZiAobmVnYXRpdmUpCgkJCXJldHVybiAtcmVzOwoJCXJldHVybiByZXM7Cgl9CgoJcHVibGljIHN0YXRpYyBpbnQgcmVhZEludCgpIHRocm93cyBJT0V4Y2VwdGlvbiwgSW5wdXRNaXNtYXRjaEV4Y2VwdGlvbiB7CgkJcmV0dXJuIChpbnQpIHJlYWRMb25nKCk7Cgl9CgoJcHVibGljIHN0YXRpYyBTdHJpbmcgcmVhZFN0cmluZygpIHRocm93cyBJT0V4Y2VwdGlvbiB7CgkJaW50IGMgPSByZWFkKCk7CgkJaWYgKGMgPT0gLTEpCgkJCXRocm93IG5ldyBJT0V4Y2VwdGlvbigpOwoJCXdoaWxlIChpc1NwYWNlQ2hhcihjKSkgewoJCQljID0gcmVhZCgpOwoJCX0KCQlTdHJpbmdCdWlsZGVyIGJ1aWxkZXIgPSBuZXcgU3RyaW5nQnVpbGRlcigpOwoJCXdoaWxlICghaXNTcGFjZUNoYXIoYykpIHsKCQkJYnVpbGRlci5hcHBlbmQoKGNoYXIpIGMpOwoJCQljID0gcmVhZCgpOwoJCX0KCQlyZXR1cm4gYnVpbGRlci50b1N0cmluZygpOwoJfQoKCXB1YmxpYyBzdGF0aWMgYm9vbGVhbiBpc1NwYWNlQ2hhcihpbnQgYykgewoJCXJldHVybiBjID09ICcgJyB8fCBjID09ICdcbicgfHwgYyA9PSAnXHQnIHx8IGMgPT0gJ1xyJyB8fCBjID09IC0xOwoJfQp9Cg==