what are the names of the operating systems that include 386bsd and supports x64?
(AND computer.operating_system (AND (JOIN computer.operating_system.supported_architectures m.01kdmy) (JOIN (R computer.operating_system.includes_os_versions) m.02h848p)))