#!/usr/bin/env python

import sys, re

assert(len(sys.argv) == 3)

inputFile = open(sys.argv[1])
currentFile = ""
coverage = {}
for line in inputFile.readlines() :
    line = line.strip()
    m = re.match("^SF:(.*)", line)
    if m :
        currentFile = m.group(1)
    else :
        m = re.match("^DA:(\d+),(\d+)", line)
        if m :
            currentFileCoverage = coverage.get(currentFile, {})
            line = int(m.group(1))
            count = int(m.group(2))
            currentFileCoverage[line] = currentFileCoverage.get(line, 0) + count
            coverage[currentFile] = currentFileCoverage
inputFile.close()

totalLines = 0
coveredLines = 0
for c in coverage.values() :
    totalLines += len(c)
    for l in c.values() :
        if l > 0 :
            coveredLines += 1

outputFile = open(sys.argv[2], 'w')
outputFile.write(str(coveredLines) + "/" + str(totalLines))
outputFile.close()
