employeesNeeded(checkout,   [3,2,2,4,2,3,3,3,3,3,1,3,2,1,3,3,2,1,3,3,2,2,2,2,4,1,1,2,3,3,2,2,2,3,3,3,3,1,1,3,4,4,4,4,4,4,3,3,3,2,3,3,2,2,3,3,2,2,3,2,2,3,3,2,1,3,2,2,3,3,2,1] ).
employeesNeeded(restocking, [2,1,2,2,1,2,1,1,1,1,0,2,0,0,2,1,1,2,1,2,2,2,1,2,1,1,2,2,1,1,2,2,1,2,1,2,1,2,1,0,1,1,0,2,0,1,2,0,1,1,2,2,1,2,1,1,2,1,1,0,2,1,2,1,2,1,1,2,1,2,1,2] ).
employeesNeeded(orders,     [1,2,1,0,1,2,0,2,1,2,1,2,1,2,1,2,1,2,0,2,1,2,1,2,0,2,1,2,1,2,1,2,1,2,0,2,1,0,1,2,1,0,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2] ).

employees([e01,e02,e03,e04,e05,e06,e07,e08]).

notAvailable(e01, [10,40,41,42,70]).
notAvailable(e02, [20,50,55,56]).
notAvailable(e03, [30,59,60,62]).
notAvailable(e04, [15,45,48]).
notAvailable(e05, [25,55,56]).
notAvailable(e06, [35,36,37,65]).
notAvailable(e07, [5,6,7,8,9,10]).
notAvailable(e08, [71,72]).