std::set<sat_compare> tu1sats, tu2sats;
std::list<sat_compare> tu1difference, tu2difference;
std::insert_iterator<std::list<sat_compare> > insert1(tu1difference, tu1difference.begin()),
std::set<sat_compare> tu1sats, tu2sats;
std::list<sat_compare> tu1difference, tu2difference;
std::insert_iterator<std::list<sat_compare> > insert1(tu1difference, tu1difference.begin()),