네 장의 출력시각

임세라 · 56세 · 여 · 잔영 호텔 지배인

은회색이 섞인 검정 머리를 단정하게 올렸다. 안경 없이 인디고 블라우스와 진주빛 회색 조끼를 입었다.

야간 내부 운반 전 원본 숙박부 한 권과 봉인을 확인했다. 보존 목적의 내부 운반만 허락했으며 책을 꺼내 가져가는 것은 금지했다.

분리 검증 안내

두 운반층의 범위와 세 사람이 가진 정보.

【두 운반층과 세 검증원】 아래층 a와 위층 b는 2~11층 중 서로 다른 정수이고 a<b, a+b≤14다. 이것이 전부이며 짝수·홀수 등 추가 제한은 없다. 세 외부 검증원은 같은 두 층에 대해 합 담당은 a+b, 곱 담당은 a×b, 차 담당은 b−a의 정확한 값 하나만 받았다. 각자는 자기 값과 이 규칙, 다른 담당자가 무엇을 받는지만 안다. 경비의 인물·방문층 자료는 아무도 보지 않았다. 【예/아니요의 뜻】 '확정할 수 있다'는 자기 값과 그때까지 공식 전달받은 답을 함께 고려할 때 두 층의 조합이 하나만 남는다는 뜻이다. '확정할 수 없다'는 두 조합 이상 남는다는 뜻이다. 다른 담당자가 확정할 수 없음을 '확신한다'는 것은 자기가 생각할 수 있는 모든 조합에서 그 담당자가 확정하지 못한다는 뜻이다. 세 사람은 이 방식으로 정확히 추론하고 사실대로 답하며, 모두가 이 사실을 안다. 【응답 방식】 장치는 일괄식 또는 순차식이다. 일괄식은 다른 답을 받기 전에 네 문항에 독립 응답한다. 순차식은 앞 답을 세 사람 모두에게 전달한 뒤 다음 문항을 묻는다. '지금'은 각자 답을 제출하기 직전이다. 어느 방식을 썼는지와 실제 전달 사실은 별도 운용 전표로 판단한다. 네 답안의 출력시각만으로는 응답 방식을 알 수 없다.

R1 · 곱 담당의 답

출력 23:20 · 문항 1 · 곱 담당 · 예.

응답 R1 | 담당: 곱 | 질문: 지금 두 층을 확정할 수 있습니까? | 답: 예 이 종이의 출력시각은 23:20이다. 답을 제출한 시각을 인쇄한 것은 아니다. 질문·답은 완전하고 정확하며, 답변 속도·목소리·표정 등 별도 신호는 남아 있지 않다.

R2 · 차 담당의 답

출력 23:20 · 문항 2 · 차 담당 · 예.

응답 R2 | 담당: 차 | 질문: 지금 합 담당자가 두 층을 확정할 수 없다고 확신합니까? | 답: 예 이 종이의 출력시각은 23:20이다. 답을 제출한 시각을 인쇄한 것은 아니다. 질문·답은 완전하고 정확하며, 답변 속도·목소리·표정 등 별도 신호는 남아 있지 않다.

R3 · 합 담당의 답

출력 23:20 · 문항 3 · 합 담당 · 아니요.

응답 R3 | 담당: 합 | 질문: 지금 두 층을 확정할 수 있습니까? | 답: 아니요 이 종이의 출력시각은 23:20이다. 답을 제출한 시각을 인쇄한 것은 아니다. 질문·답은 완전하고 정확하며, 답변 속도·목소리·표정 등 별도 신호는 남아 있지 않다.

R4 · 차 담당의 답

출력 23:20 · 문항 4 · 차 담당 · 예.

응답 R4 | 담당: 차 | 질문: 지금 두 층을 확정할 수 있습니까? | 답: 예 이 종이의 출력시각은 23:20이다. 답을 제출한 시각을 인쇄한 것은 아니다. 질문·답은 완전하고 정확하며, 답변 속도·목소리·표정 등 별도 신호는 남아 있지 않다.

교환실 운용 전표

답을 받은 때·전달한 때·인쇄한 때를 구분한 원본.

【운용 전표】 운용: 순차식. 23:10 R1 접수 → 세 담당자 전원에게 R1 전달 완료. 23:11 R2 접수 → 세 담당자 전원에게 R2 전달 완료. 23:12 R3 접수 → 세 담당자 전원에게 R3 전달 완료. 23:13 R4 접수. 23:20 네 응답을 한꺼번에 인쇄. 다음 질문은 직전 답의 전원 전달이 끝난 뒤에만 열렸다. 미리 답을 써 두거나, 전달을 빠뜨리거나, 종이에 찍힌 순서를 바꾸지 않았다. 각 담당자는 질문을 받을 때까지 전달된 앞 답을 모두 들었다. 두 운반층은 이 검증 중 바뀌지 않았다.

경비의 전후 대면기록

전원의 실제 방문층과 같은 상자의 운반·반출.

【실제 대면 방문층 · 전원 목록】 전반=22:00~22:05, 후반=22:05~22:10. 각 사람은 각 시간대에 아래 세 층의 서비스 복도를 실제로 방문했다. 각 층의 경비원이 얼굴을 확인해 적었고 기록은 모두 정확하다. 구역 출입 권한표나 예정 근무표가 아니다. 다음 목록 밖의 서비스 복도 방문은 없었다. 대면기록 | 송다온 | 전반: 2,4,6 | 후반: 6,7,11 대면기록 | 허율재 | 전반: 3,5,6 | 후반: 8,9,11 대면기록 | 안이솔 | 전반: 3,4,6 | 후반: 3,6,10 대면기록 | 고태림 | 전반: 2,5,6 | 후반: 3,9,10 대면기록 | 원시후 | 전반: 4,5,6 | 후반: 6,8,9 대면기록 | 황도겸 | 전반: 2,3,5 | 후반: 5,8,10 【숙박부의 이동】 세라가 확인한 원본 숙박부 한 권이 a층의 봉인 운반상자 안에 있었다. 전반에 상자가 서비스 복도로 나간 뒤, 후반에 b층 서비스 복도에서 빈 상자가 회수됐다. 세 검증원에게 준 숫자는 바로 이 두 실제 층의 합·곱·차다. 숫자는 물건 번호나 사람 번호가 아니다. 층 경비들은 전반의 a층에서 닫힌 상자를 든 직원과 후반의 b층에서 그 상자를 열고 숙박부를 꺼내 가방에 넣는 직원을 각각 봤다. 두 관찰의 직원이 같은 한 사람이라는 점은 사건 당시 양쪽 경비가 즉시 대면 확인했지만, 침수된 확인지에서 그 사람 이름과 두 층 숫자가 지워졌다. 위 전원 방문 기록과 검증원의 네 응답은 다른 원본으로 남았다. 회수 상자의 봉인·안쪽 흔적 감식도 처음 그 한 권이 들어 있던 상자임을 확인했다. 정확히 한 명이 두 시간대의 운반과 무단 반출을 했다. 중간 전달·다른 운반자·상자 교환·복제품·추가 반출·공범·외부인은 없다. 다른 다섯은 자기 업무로 복도를 방문했을 뿐 반출하지 않았다. 따라서 반출자는 전반에 a층, 후반에 b층을 실제 방문한 사람이어야 한다. 사건 전에 세라는 원본 숙박부의 반출을 금지했다. 물건을 다루는 직업이나 불만의 크기는 특정 근거가 아니다.

송다온 · 33세 · 남 · 야간업무팀 · 객실 비품

짙은 갈색 머리를 가운데로 갈랐다. 안경·수염 없이 짙은 청록 셔츠와 차콜 조끼를 입었다.

허율재 · 41세 · 여 · 야간업무팀 · 연회 물품

짧고 물결치는 검정 단발. 안경 없이 크림색 차이나칼라 셔츠와 이끼색 조끼를 입었다.

안이솔 · 29세 · 여 · 야간업무팀 · 투숙객 안내

긴 적갈색 머리를 높은 쪽머리로 올렸다. 황동테 둥근 안경, 자주색 블라우스와 차콜 재킷을 착용했다.

고태림 · 47세 · 남 · 야간업무팀 · 보수 접수

짧은 반백 머리와 단정한 턱수염·콧수염. 안경 없이 회갈색 재킷과 검정 셔츠를 입었다.

원시후 · 38세 · 남 · 야간업무팀 · 야간 식음

검정 머리를 뒤로 넘겼다. 은테 사각 안경, 수염 없이 황토색 니트와 남색 재킷을 입었다.

황도겸 · 52세 · 여 · 야간업무팀 · 교대 교육

어깨 길이의 곧은 은회색 머리. 안경 없이 녹슨 주황색 블라우스와 짙은 남색 카디건을 입었다.

여섯 사람은 모두 같은 야간업무팀이며 숙박부와 운반상자를 평소 취급했습니다. 범행 전후 각자 세 층씩 실제 방문했고 확인 강도는 같습니다. 전원의 대면 방문층은 마지막 단서 한 장에 모았습니다. 검증원은 용의자가 아닌 외부 조사 협조자입니다.