Package g2901_3000.s2940_find_building_where_alice_and_bob_can_meet

See: Description