#!/usr/bin/env python
# -*- coding: utf-8 -*-
from otwstest import top_main
import sys

sys.exit(top_main(sys.argv).num_problems)
