problem(100,10,10,200).
slots(4, 5, 20).
room(1,10,[2,3,7,8,9]).
room(2,10,[1,2,4,5,6,7,9]).
room(3,10,[1,4,5,7,8,9]).
room(4,10,[1,3,5,6,10]).
room(5,11,[1,2,3,4,5,6,7,9,10]).
room(6,11,[4,5,7,8]).
room(7,11,[2,3,5,10]).
room(8,10,[2,5,6,10]).
room(9,11,[2,3,4,5,6]).
room(10,10,[1,2,3,4,8,10]).
event(1,[86,142,143,144,145,146,147,148,199],[4,5,7,8,9]).
event(2,[17,99,176,177,178,179,182,183,186],[2,3,7,9]).
event(3,[98,142,144,146,148,150,152,154,157,164,188],[2,3,4,5,6]).
event(4,[127,129,131,133,135,137,139,141,143,145],[1,3,5,6,10]).
event(5,[98,130,131,132,133,134,135,136,137,138,142],[2,3,10]).
event(6,[40,41,42,43,44,45,60,64],[3,5,6,10]).
event(7,[119,120,121,122,123,124,125,133],[1,4,5,7,8,9]).
event(8,[],[2,3,4,5,6]).
event(9,[62,63,64,65,66,67,68,69,70,71],[4,5,7,8]).
event(10,[5,99,167,169,172,175,178,183,188,195,200],[1,3,4,6,7,9,10]).
event(11,[6,7,8,9,10,11,12,13,15,17,99],[4,7,8]).
event(12,[85,86,87,88,89,90,91,92,93,94],[1,5,6]).
event(13,[184,185,186,187,188,189,190,193,195,200],[1,2,3,4,5,6,7,9,10]).
event(14,[9,10,11,12,13,14,100],[4,5,7,8]).
event(15,[2,7,169,170,193,197],[1,2,4,5,6,7]).
event(16,[87,88,89,90,91,92,93,94,95,96],[3,10]).
event(17,[24,26,28,30,32,39,42,45,48,51],[4]).
event(18,[46,47,48,52,54,56,61,65,73],[2,3,7,8]).
event(19,[99,100,101,102,103,104,105,109,142],[3,5,10]).
event(20,[51,52,55,60,63,66,72,75],[1,4,5,7,8,9]).
event(21,[62,69,70],[1,3,5,6,10]).
event(22,[63,64,65,66,67,68,69,70,79,81],[1,5,7,8]).
event(23,[2,4,8,10,18,35,45,200],[4,5,7,8]).
event(24,[1,2,3,4,5,14,16,18,199,200],[2,3,5,10]).
event(25,[120,121,122,134],[2,5,10]).
event(26,[67,68,69,70,71,72,73,74,75,76],[4,5,7]).
event(27,[35,36,37,38,43,45,47,49,51,53],[4,5,7,8]).
event(28,[109,110,111,112,113,114,117,143],[5,7,8]).
event(29,[19,143,145,147,149,151,153,155,160,165],[2,3,4,5,6,7,9]).
event(30,[79,80,81,82,83,84,85,86,87],[1,2,3,4,6,7,9,10]).
event(31,[3,4,5,6,7,8,9,13,24],[1,5,6,10]).
event(32,[136,137,138,139,140,141,142,143,144,180],[1,5,6,10]).
event(33,[166,167,168,169,170,171,172,173,185],[1,5,8,9]).
event(34,[67,68,69,70,71,72,73,74],[5,7,8]).
event(35,[1,2,3,194,195,196,197,198,199,200],[4,5,7,8]).
event(36,[12,13,14,15,16,17,18,19,20,24],[1,3,5,6,10]).
event(37,[174,175,177,179,181,183,186],[2,3,7,8,9]).
event(38,[115,116,117,118,119,120,122,124,131,142],[3,7,8,9]).
event(39,[117,119,121,123,125,127,129,131,133,143],[1,2,4,5,6,7,9,10]).
event(40,[135,137],[4,5,7,8]).
event(41,[124,125,126,130,132,134,142,145,148,180],[1,2,3,4,10]).
event(42,[164,166,167,168,169,170,172,175,180],[4,5,7,8,9]).
event(43,[146,147,148,149,150,151,152,153,154,187],[2,7,8]).
event(44,[21,23,24,27,30,33,36,39,42],[1,3,5,6]).
event(45,[166,167,168,169,170,171,172,173,175,181],[5,7,8,9]).
event(46,[118,120,122,124,126,128,130,132,134,144],[2,3,7]).
event(47,[97,102,103,104,109,142],[3,5,10]).
event(48,[158,159,160,161,166,168,170,181],[2,8,9]).
event(49,[80,82,86,89,92,95,98,101,120,143],[4,7,8]).
event(50,[1,147,149,151,153,155,157,159,182,187],[1,2,3,4,5,6,9,10]).
event(51,[129,131,133,135,141,144,147,150,153],[2,5,6]).
event(52,[101,102,103,104,105,106,107,108,110,146],[2,5,6,7,9]).
event(53,[139,144,146,148,150,182],[1,2,3,8]).
event(54,[140,141,142,143,144,145,146,147,148,182],[1,2,3,4,8,10]).
event(55,[25,27,29,31,37,40,43,46,49],[1,4,5,7,8,9]).
event(56,[163,164,165,166,167,168,169,173,175,182],[1,2,5,6,9]).
event(57,[36,37,38,39,40,41,48,50,52,54],[3,7,8]).
event(58,[147,148,150,152,154,156,160,183],[2,3,5,10]).
event(59,[11,14,190,191,192,193,194],[1,2,3,4,10]).
event(60,[5,8,183,184,185,187,189,191,193,195],[2,3,7,9]).
event(61,[51,52,53,54,55,56,57,58,59,60],[1,4,7,8]).
event(62,[73,74,75,76,77,78,79,80,81,82],[2,3,6]).
event(63,[103,104,105,106,107,108,109,125,132,143],[1,4,7,9]).
event(64,[115,116,117,118,119,120,121,122,123,144],[5,6]).
event(65,[7,11,25,179,180,181,185,187,189,191],[2,3,5,6,7,9,10]).
event(66,[21,22,27,29,31,36,41,46],[4,5,7,8]).
event(67,[2,169,170,171,172,173,175,178,183,196],[1,2,3,8,10]).
event(68,[61,62,63,64,65,66,67,68,69,72],[2,5,6,10]).
event(69,[49,52,55,58,67,77,91,144],[2,3,5,10]).
event(70,[53,54,55,56,57,58,67,69,72],[1,2,3,6,7,9,10]).
event(71,[53,54,58,61,64,67,70,76],[1,5,6,10]).
event(72,[24,26,28,30,32,34,36,38,40,42],[2,5,10]).
event(73,[166,167,168,169,170,171,172,173,176,183],[1,3,4,5,6,9]).
event(74,[24,25,26,27,28,29,30,31,32,33],[2,4,5,7,9]).
event(75,[84,85,86,87,88,89,90,91,92,93],[2,3,5,10]).
event(76,[48,49,50,51,52,53,54,55,56,57],[2,3,5,6,7]).
event(77,[104,105,106,107,108,109,110,111,112,183],[1,2,4,5,7,9]).
event(78,[114,115,118,120,121,122],[4,5,7,8]).
event(79,[105,106,107,109,112,115,118,121,124],[2,4,7,9]).
event(80,[107,108,109,110,111,112,119,121,123,145],[7,8]).
event(81,[3,4,5,9,11,13,15,17,19,21],[3,5,10]).
event(82,[81,82,84,86,88,90,92,94,98],[1,4,5,7,8,9]).
event(83,[78,79,80,81,82,83,84,85,86,87],[2,3,5,10]).
event(84,[189,190,191,193,195,197,199],[1,3,5,6,10]).
event(85,[56,57,59,62,65,68,71,74,77],[2,8,9]).
event(86,[163,164,165,166,167,168,171,180,183,186],[2,3,7,9]).
event(87,[33,34,35,36,38,41,44,47,50],[2,5,6]).
event(88,[39,40,41,42,44,46,48,50,52,54],[1,2,3,4,5,6,7,10]).
event(89,[128,130,132,134,136,138,140,142,144,147],[2,3,7,8,9]).
event(90,[159,160,162,163,164,165,176,184],[1,3,5,6,10]).
event(91,[4,5,6,7,8,11],[2,3,5]).
event(92,[114,115,116,117,118,125,128,131,134,145],[2,5,6]).
event(93,[75,76,77,78,79,80,81,82,83,84],[1,3,4,5,7,9,10]).
event(94,[179,180,181,182,183,184,185,193,196,200],[1,2,4,5,6,7,9]).
event(95,[47,49,51,52,53,54,55,56],[2,4,5,6]).
event(96,[116,117,118,119,120,121,122,123,149,185],[2,5,10]).
event(97,[34,186,187,188,189,190,191,192,193],[1,4,5,7,8,9]).
event(98,[44,45,46,47,48,49,50,51,55,59],[2,3,4,8,10]).
event(99,[35,170,171,172,173,174,175,176,177,180],[4,5,7]).
event(100,[17,18,19,20,21,22,25,28,31,45],[2,5,6,10]).