men([man001,man002,man003,man004,man005,man006,man007,man008,man009,man010,man011,man012,man013,man014,man015,man016,man017,man018,man019,man020]).

women([wom001,wom002,wom003,wom004,wom005,wom006,wom007,wom008,wom009,wom010,wom011,wom012,wom013,wom014,wom015,wom016,wom017,wom018,wom019,wom020]).

prefers(man001,[wom006,wom008,wom005,wom018,wom003,wom016,wom013,wom004,wom001,wom017,wom009,wom007,wom014,wom010,wom011,wom020,wom012,wom015,wom019,wom002]).
prefers(man002,[wom004,wom014,wom005,wom018,wom009,wom016,wom012,wom020,wom017,wom019,wom001,wom015,wom006,wom002,wom013,wom003,wom010,wom007,wom008,wom011]).
prefers(man003,[wom003,wom015,wom004,wom016,wom005,wom002,wom007,wom006,wom010,wom017,wom008,wom009,wom011,wom012,wom013,wom014,wom001,wom018,wom019,wom020]).
prefers(man004,[wom003,wom011,wom004,wom019,wom016,wom006,wom009,wom017,wom014,wom015,wom018,wom020,wom010,wom001,wom005,wom007,wom008,wom012,wom013,wom002]).
prefers(man005,[wom017,wom010,wom009,wom011,wom015,wom002,wom013,wom007,wom008,wom018,wom016,wom001,wom020,wom012,wom019,wom003,wom014,wom004,wom005,wom006]).
prefers(man006,[wom014,wom009,wom016,wom015,wom001,wom018,wom019,wom017,wom020,wom002,wom003,wom004,wom005,wom006,wom007,wom008,wom010,wom011,wom012,wom013]).
prefers(man007,[wom007,wom006,wom008,wom009,wom010,wom018,wom013,wom014,wom017,wom016,wom015,wom002,wom004,wom020,wom011,wom019,wom012,wom001,wom003,wom005]).
prefers(man008,[wom017,wom001,wom019,wom015,wom020,wom003,wom012,wom002,wom004,wom005,wom018,wom010,wom006,wom007,wom008,wom009,wom013,wom011,wom014,wom016]).
prefers(man009,[wom015,wom014,wom016,wom011,wom013,wom002,wom019,wom001,wom020,wom009,wom006,wom008,wom003,wom017,wom018,wom012,wom004,wom007,wom005,wom010]).
prefers(man010,[wom019,wom018,wom003,wom020,wom013,wom009,wom014,wom004,wom001,wom015,wom005,wom007,wom008,wom010,wom011,wom012,wom016,wom017,wom006,wom002]).
prefers(man011,[wom007,wom001,wom009,wom020,wom017,wom015,wom012,wom016,wom002,wom013,wom008,wom010,wom011,wom003,wom019,wom018,wom004,wom014,wom005,wom006]).
prefers(man012,[wom019,wom005,wom020,wom001,wom013,wom008,wom010,wom002,wom006,wom007,wom015,wom012,wom009,wom003,wom004,wom011,wom014,wom016,wom017,wom018]).
prefers(man013,[wom007,wom015,wom009,wom010,wom008,wom011,wom003,wom012,wom013,wom014,wom016,wom002,wom017,wom004,wom020,wom005,wom001,wom006,wom018,wom019]).
prefers(man014,[wom007,wom017,wom009,wom012,wom011,wom013,wom014,wom019,wom006,wom001,wom010,wom005,wom008,wom020,wom015,wom016,wom018,wom002,wom004,wom003]).
prefers(man015,[wom012,wom006,wom010,wom020,wom019,wom002,wom001,wom003,wom004,wom005,wom016,wom009,wom013,wom017,wom014,wom015,wom008,wom007,wom011,wom018]).
prefers(man016,[wom018,wom015,wom002,wom017,wom013,wom006,wom003,wom004,wom014,wom007,wom010,wom005,wom008,wom011,wom009,wom016,wom012,wom019,wom020,wom001]).
prefers(man017,[wom011,wom001,wom014,wom003,wom017,wom006,wom009,wom016,wom002,wom013,wom004,wom019,wom007,wom015,wom008,wom012,wom020,wom010,wom018,wom005]).
prefers(man018,[wom008,wom013,wom009,wom011,wom016,wom003,wom005,wom007,wom018,wom010,wom014,wom012,wom015,wom006,wom004,wom017,wom019,wom020,wom001,wom002]).
prefers(man019,[wom003,wom014,wom004,wom002,wom007,wom005,wom012,wom006,wom011,wom016,wom010,wom018,wom020,wom017,wom001,wom015,wom013,wom019,wom008,wom009]).
prefers(man020,[wom006,wom014,wom016,wom007,wom011,wom010,wom004,wom002,wom020,wom017,wom008,wom003,wom009,wom001,wom005,wom012,wom013,wom015,wom018,wom019]).
prefers(wom001,[man014,man015,man020,man016,man002,man012,man008,man013,man009,man001,man017,man005,man006,man019,man011,man018,man010,man007,man003,man004]).
prefers(wom002,[man001,man007,man002,man003,man006,man017,man004,man019,man005,man008,man009,man010,man011,man013,man012,man014,man015,man016,man018,man020]).
prefers(wom003,[man014,man007,man008,man020,man005,man017,man009,man006,man015,man018,man013,man016,man003,man019,man010,man001,man004,man011,man012,man002]).
prefers(wom004,[man004,man011,man014,man015,man016,man008,man017,man018,man001,man005,man020,man019,man002,man006,man007,man009,man003,man012,man010,man013]).
prefers(wom005,[man020,man015,man012,man014,man001,man019,man016,man003,man017,man018,man002,man004,man005,man006,man007,man011,man008,man009,man010,man013]).
prefers(wom006,[man017,man007,man010,man019,man012,man006,man018,man005,man020,man001,man003,man009,man008,man015,man004,man002,man011,man013,man014,man016]).
prefers(wom007,[man002,man003,man005,man019,man020,man009,man010,man004,man014,man017,man018,man011,man015,man001,man006,man007,man008,man012,man016,man013]).
prefers(wom008,[man007,man018,man002,man004,man005,man016,man013,man020,man003,man006,man012,man017,man019,man001,man015,man008,man009,man010,man011,man014]).
prefers(wom009,[man011,man008,man012,man018,man007,man013,man016,man014,man020,man002,man004,man019,man015,man017,man001,man003,man005,man009,man006,man010]).
prefers(wom010,[man002,man017,man003,man020,man012,man018,man016,man001,man013,man006,man004,man014,man005,man015,man011,man019,man007,man008,man009,man010]).
prefers(wom011,[man020,man008,man006,man010,man005,man012,man016,man009,man018,man001,man015,man019,man017,man011,man013,man002,man003,man004,man014,man007]).
prefers(wom012,[man014,man012,man015,man019,man005,man017,man001,man002,man016,man018,man008,man006,man003,man007,man009,man020,man004,man010,man011,man013]).
prefers(wom013,[man014,man020,man016,man001,man009,man018,man012,man006,man015,man003,man007,man008,man017,man013,man019,man002,man010,man004,man011,man005]).
prefers(wom014,[man011,man010,man012,man004,man007,man013,man020,man015,man005,man006,man001,man009,man016,man008,man014,man017,man018,man002,man019,man003]).
prefers(wom015,[man003,man011,man017,man009,man004,man006,man007,man005,man008,man010,man018,man012,man019,man002,man001,man015,man013,man020,man014,man016]).
prefers(wom016,[man016,man020,man004,man003,man006,man005,man018,man010,man007,man008,man019,man001,man013,man009,man011,man012,man014,man015,man017,man002]).
prefers(wom017,[man012,man020,man003,man001,man002,man004,man014,man013,man015,man016,man019,man010,man017,man005,man018,man006,man007,man008,man009,man011]).
prefers(wom018,[man004,man018,man001,man009,man016,man020,man008,man019,man005,man010,man006,man011,man012,man002,man003,man007,man013,man014,man015,man017]).
prefers(wom019,[man019,man003,man009,man011,man004,man001,man010,man002,man014,man020,man005,man012,man017,man015,man018,man006,man016,man007,man008,man013]).
prefers(wom020,[man006,man018,man010,man007,man016,man009,man008,man020,man014,man012,man011,man004,man015,man017,man019,man013,man001,man002,man003,man005]).
