#!python

import syzoj_tools
syzoj_tools.main()
