#!/usr/bin/python3

import syzoj_tools
syzoj_tools.main()
