#include "badinterval.h"

int main()
{
}