[{(0, 'pending', 'pending'): 'go_to_sleep',
(0, 'pending', 'running'): 'go_to_sleep',
(0, 'pending', 'sleeping'): 'go_to_sleep',
(0, 'running', 'pending'): 'prepare_sleep',
(0, 'running', 'running'): 'prepare_sleep',
(0, 'running', 'sleeping'): 'prepare_sleep',
(0, 'sleeping', 'pending'): 'noop',
(0, 'sleeping', 'running'): 'noop',
(0, 'sleeping', 'sleeping'): 'noop',
(1, 'pending', 'pending'): 'go_to_sleep',
(1, 'pending', 'running'): 'go_to_sleep',
(1, 'pending', 'sleeping'): 'go_to_sleep',
(1, 'running', 'pending'): 'noop',
(1, 'running', 'running'): 'prepare_sleep',
(1, 'running', 'sleeping'): 'prepare_sleep',
(1, 'sleeping', 'pending'): 'wakeup',
(1, 'sleeping', 'running'): 'noop',
(1, 'sleeping', 'sleeping'): 'wakeup',
(2, 'pending', 'pending'): 'go_to_sleep',
(2, 'pending', 'running'): 'go_to_sleep',
(2, 'pending', 'sleeping'): 'go_to_sleep',
(2, 'running', 'pending'): 'noop',
(2, 'running', 'running'): 'prepare_sleep',
(2, 'running', 'sleeping'): 'prepare_sleep',
(2, 'sleeping', 'pending'): 'wakeup',
(2, 'sleeping', 'running'): 'wakeup',
(2, 'sleeping', 'sleeping'): 'wakeup',
(3, 'pending', 'pending'): 'go_to_sleep',
(3, 'pending', 'running'): 'go_to_sleep',
(3, 'pending', 'sleeping'): 'go_to_sleep',
(3, 'running', 'pending'): 'noop',
(3, 'running', 'running'): 'noop',
(3, 'running', 'sleeping'): 'noop',
(3, 'sleeping', 'pending'): 'wakeup',
(3, 'sleeping', 'running'): 'wakeup',
(3, 'sleeping', 'sleeping'): 'wakeup',
(4, 'pending', 'pending'): 'go_to_sleep',
(4, 'pending', 'running'): 'go_to_sleep',
(4, 'pending', 'sleeping'): 'go_to_sleep',
(4, 'running', 'pending'): 'noop',
(4, 'running', 'running'): 'noop',
(4, 'running', 'sleeping'): 'noop',
(4, 'sleeping', 'pending'): 'wakeup',
(4, 'sleeping', 'running'): 'wakeup',
(4, 'sleeping', 'sleeping'): 'wakeup',
(5, 'pending', 'pending'): 'go_to_sleep',
(5, 'pending', 'running'): 'go_to_sleep',
(5, 'pending', 'sleeping'): 'go_to_sleep',
(5, 'running', 'pending'): 'noop',
(5, 'running', 'running'): 'noop',
(5, 'running', 'sleeping'): 'noop',
(5, 'sleeping', 'running'): 'noop',
(5, 'sleeping', 'sleeping'): 'wakeup',
(6, 'pending', 'running'): 'go_to_sleep',
(6, 'running', 'pending'): 'noop',
(6, 'running', 'running'): 'noop',
(6, 'running', 'sleeping'): 'noop',
(6, 'sleeping', 'pending'): 'wakeup',
(6, 'sleeping', 'running'): 'wakeup',
(6, 'sleeping', 'sleeping'): 'noop',
(7, 'pending', 'pending'): 'go_to_sleep',
(7, 'pending', 'running'): 'go_to_sleep',
(7, 'pending', 'sleeping'): 'go_to_sleep',
(7, 'running', 'running'): 'noop',
(7, 'running', 'sleeping'): 'noop',
(7, 'sleeping', 'pending'): 'wakeup',
(7, 'sleeping', 'running'): 'noop',
(7, 'sleeping', 'sleeping'): 'noop',
(8, 'pending', 'pending'): 'go_to_sleep',
(8, 'pending', 'running'): 'go_to_sleep',
(8, 'pending', 'sleeping'): 'go_to_sleep',
(8, 'running', 'running'): 'prepare_sleep',
(8, 'running', 'sleeping'): 'noop',
(8, 'sleeping', 'pending'): 'wakeup',
(8, 'sleeping', 'running'): 'wakeup',
(8, 'sleeping', 'sleeping'): 'wakeup',
(9, 'pending', 'running'): 'go_to_sleep',
(9, 'pending', 'sleeping'): 'go_to_sleep',
(9, 'running', 'pending'): 'prepare_sleep',
(9, 'running', 'running'): 'prepare_sleep',
(9, 'running', 'sleeping'): 'noop',
(9, 'sleeping', 'pending'): 'wakeup',
(9, 'sleeping', 'running'): 'wakeup',
(9, 'sleeping', 'sleeping'): 'wakeup',
(10, 'pending', 'pending'): 'go_to_sleep',
(10, 'pending', 'running'): 'go_to_sleep',
(10, 'pending', 'sleeping'): 'go_to_sleep',
(10, 'running', 'pending'): 'noop',
(10, 'running', 'running'): 'noop',
(10, 'running', 'sleeping'): 'prepare_sleep',
(10, 'sleeping', 'running'): 'wakeup',
(10, 'sleeping', 'sleeping'): 'noop',
(11, 'pending', 'running'): 'go_to_sleep',
(11, 'pending', 'sleeping'): 'go_to_sleep',
(11, 'running', 'pending'): 'noop',
(11, 'running', 'running'): 'noop',
(11, 'running', 'sleeping'): 'prepare_sleep',
(11, 'sleeping', 'running'): 'wakeup',
(12, 'pending', 'sleeping'): 'go_to_sleep',
(12, 'running', 'pending'): 'noop',
(12, 'running', 'running'): 'noop',
(12, 'running', 'sleeping'): 'noop',
(12, 'sleeping', 'pending'): 'wakeup',
(12, 'sleeping', 'running'): 'noop',
(12, 'sleeping', 'sleeping'): 'wakeup',
(13, 'pending', 'pending'): 'go_to_sleep',
(13, 'running', 'pending'): 'prepare_sleep',
(13, 'running', 'running'): 'noop',
(13, 'running', 'sleeping'): 'noop',
(13, 'sleeping', 'pending'): 'wakeup',
(14, 'pending', 'running'): 'go_to_sleep',
(14, 'running', 'pending'): 'noop',
(14, 'running', 'running'): 'noop',
(14, 'running', 'sleeping'): 'noop',
(14, 'sleeping', 'pending'): 'wakeup',
(14, 'sleeping', 'running'): 'wakeup',
(14, 'sleeping', 'sleeping'): 'noop',
(15, 'pending', 'running'): 'go_to_sleep',
(15, 'pending', 'sleeping'): 'go_to_sleep',
(15, 'running', 'running'): 'prepare_sleep',
(15, 'running', 'sleeping'): 'noop',
(15, 'sleeping', 'running'): 'wakeup',
(16, 'running', 'pending'): 'prepare_sleep',
(16, 'running', 'running'): 'noop',
(16, 'running', 'sleeping'): 'noop',
(17, 'running', 'pending'): 'noop'}]