#!/usr/bin/env ruby
require 'qed'
QED.main(*ARGV)