/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
 
import java.time.*;
 
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
 
    Set<Month> winter = EnumSet.of ( Month.DECEMBER , Month.JANUARY , Month.FEBRUARY );
 
    //Set<Month> range = EnumSet.range ( Month.of ( 3 ) , Month.of ( 5 ) );
    Set<Month> range = EnumSet.range ( Month.of ( 2 ) , Month.of ( 8 ) );
 
    Set<Month> winterMonthsNotInRange = EnumSet.copyOf ( winter );
    winterMonthsNotInRange.removeAll ( range );
 
    Boolean rangeContainsWinterMonths = (  ! winter.equals ( winterMonthsNotInRange ) );
 
    Set<Month> winterMonthsInRange = EnumSet.copyOf ( winter );
    winterMonthsInRange.removeAll ( winterMonthsNotInRange );
 
    System.out.println ( "winter: " + winter );
    System.out.println ( "range: " + range );
    System.out.println ( "winterMonthsNotInRange: " + winterMonthsNotInRange );
    System.out.println ( "rangeContainsWinterMonths: " + rangeContainsWinterMonths );
    System.out.println ( "winterMonthsInRange: " + winterMonthsInRange );
 
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgppbXBvcnQgamF2YS50aW1lLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoKICAgIFNldDxNb250aD4gd2ludGVyID0gRW51bVNldC5vZiAoIE1vbnRoLkRFQ0VNQkVSICwgTW9udGguSkFOVUFSWSAsIE1vbnRoLkZFQlJVQVJZICk7CgogICAgLy9TZXQ8TW9udGg+IHJhbmdlID0gRW51bVNldC5yYW5nZSAoIE1vbnRoLm9mICggMyApICwgTW9udGgub2YgKCA1ICkgKTsKICAgIFNldDxNb250aD4gcmFuZ2UgPSBFbnVtU2V0LnJhbmdlICggTW9udGgub2YgKCAyICkgLCBNb250aC5vZiAoIDggKSApOwoKICAgIFNldDxNb250aD4gd2ludGVyTW9udGhzTm90SW5SYW5nZSA9IEVudW1TZXQuY29weU9mICggd2ludGVyICk7CiAgICB3aW50ZXJNb250aHNOb3RJblJhbmdlLnJlbW92ZUFsbCAoIHJhbmdlICk7CgogICAgQm9vbGVhbiByYW5nZUNvbnRhaW5zV2ludGVyTW9udGhzID0gKCAgISB3aW50ZXIuZXF1YWxzICggd2ludGVyTW9udGhzTm90SW5SYW5nZSApICk7CgogICAgU2V0PE1vbnRoPiB3aW50ZXJNb250aHNJblJhbmdlID0gRW51bVNldC5jb3B5T2YgKCB3aW50ZXIgKTsKICAgIHdpbnRlck1vbnRoc0luUmFuZ2UucmVtb3ZlQWxsICggd2ludGVyTW9udGhzTm90SW5SYW5nZSApOwoKICAgIFN5c3RlbS5vdXQucHJpbnRsbiAoICJ3aW50ZXI6ICIgKyB3aW50ZXIgKTsKICAgIFN5c3RlbS5vdXQucHJpbnRsbiAoICJyYW5nZTogIiArIHJhbmdlICk7CiAgICBTeXN0ZW0ub3V0LnByaW50bG4gKCAid2ludGVyTW9udGhzTm90SW5SYW5nZTogIiArIHdpbnRlck1vbnRoc05vdEluUmFuZ2UgKTsKICAgIFN5c3RlbS5vdXQucHJpbnRsbiAoICJyYW5nZUNvbnRhaW5zV2ludGVyTW9udGhzOiAiICsgcmFuZ2VDb250YWluc1dpbnRlck1vbnRocyApOwogICAgU3lzdGVtLm91dC5wcmludGxuICggIndpbnRlck1vbnRoc0luUmFuZ2U6ICIgKyB3aW50ZXJNb250aHNJblJhbmdlICk7CgoJfQp9