which computer uses x64 as processor?
(AND computer.computer (JOIN computer.computer.processor m.01kdmy))