끝나지 않은 재추첨

문기석 · 61세 · 청람극장 정산 책임자

뒤로 넘긴 회색 섞인 머리, 얇은 금속테 안경, 수염 없음. 검은 정장과 짙은 녹색 넥타이.

폐관 기념상영의 정산을 맡았다. 영사실에서 사망한 채 발견됐다.

두 통의 공통 규칙

통의 범위와 승인·재시도 절차.

윗통에는 1부터 N까지, 아랫통에는 1부터 M까지 표가 하나씩 있다. N과 M은 각각 2·3·4·5 중 하나다. 뽑은 표는 매번 즉시 되돌려 넣으며, 새 추첨들은 서로 독립이고 각 표의 확률은 같다. 윗표 번호를 X, 아랫표 번호를 Y라 한다. X+Y가 T 이하이면 정산을 승인한다. T는 max(N,M)+1부터 N+M까지의 정수다. 따라서 어느 한쪽 표를 고정하더라도 반대 통에는 반드시 승인 가능한 표가 남아 있다. 윗통의 1부터 A까지, 아랫통의 1부터 B까지에는 별표가 찍혀 있다. A는 1부터 N-1까지, B는 1부터 M-1까지의 정수다. N·M·T·A·B는 한 정산 전체에서 변하지 않는다. 각 지시서는 먼저 한쪽 통에서 표를 한 번 뽑거나 두 번 독립으로 뽑아 하나를 고른다. 그 선택 표를 그대로 둔 채 반대 통에서 표를 뽑는다. 불승인이면 지시서 마지막 줄에 적힌 통에서만 다시 뽑는다. 승인되면 그 한 쌍을 확률표의 한 건으로 센다. 최초 선택을 버리거나 그 선택을 다시 하는 절차는 없다. 확률표에 '그 중'이라고 적힌 비율의 분모는 바로 앞에 한정한 승인 건들이다. 재시도 횟수나 불승인 쌍은 어느 확률표에도 따로 집계하지 않는다. 표의 숫자를 정산 기록의 날짜나 용의자 번호로 바꾸는 규칙은 없다.

R1 · 승인 총괄표 · 윗통

전체 승인 건 중, 윗표에 별표가 있는 건은 3/4.

전체 승인 건 중, 윗표에 별표가 있는 건은 3/4. 이 표는 단말이 가능한 결과와 재시도를 전부 계산한 정확한 확률이다. 실제 실험 횟수를 센 표가 아니다.

R2 · 승인 총괄표 · 아랫통

전체 승인 건 중, 아랫표에 별표가 있는 건은 3/4.

전체 승인 건 중, 아랫표에 별표가 있는 건은 3/4. 이 표는 단말이 가능한 결과와 재시도를 전부 계산한 정확한 확률이다. 실제 실험 횟수를 센 표가 아니다.

R3 · 윗별표 정밀표 · 같은 번호

윗표에 별표가 있는 승인 건만 추려 보았다. 그 중 두 표의 번호가 같은 건은 1/3.

윗표에 별표가 있는 승인 건만 추려 보았다. 그 중 두 표의 번호가 같은 건은 1/3. 이 표는 단말이 가능한 결과와 재시도를 전부 계산한 정확한 확률이다. 실제 실험 횟수를 센 표가 아니다.

R4 · 윗별표 정밀표 · 작은 번호

윗표에 별표가 있는 승인 건만 추려 보았다. 그 중 윗표 번호가 아랫표 번호보다 작은 건은 2/3.

윗표에 별표가 있는 승인 건만 추려 보았다. 그 중 윗표 번호가 아랫표 번호보다 작은 건은 2/3. 이 표는 단말이 가능한 결과와 재시도를 전부 계산한 정확한 확률이다. 실제 실험 횟수를 센 표가 아니다.

서명 지시와 연속 영상

직접 승인의 조건과 여섯 사람의 서명 지시.

여섯 사람이 미리 서명한 지시서가 각각 한 개씩 단말에 보관돼 있었다. 현장 승인은 지시서 작성자 본인의 생체인증과 직접 확인 서명이 있어야 실행된다. 대리 승인·서명 도용·프로그램 수정은 불가능하며, 한 정산에서는 여섯 지시서 중 정확히 하나만 실행된다. 목적지 변경과 추첨 지시 실행은 같은 직접 확인 서명으로 묶여 있었다. 이 날의 최종 승인자 이름과 설정 숫자는 손상됐지만 실행 지시를 그대로 반영한 확률표 네 장은 남았다. 실제 관측 횟수의 비율이 아니라, 단말이 가능한 추첨 결과와 재시도를 전부 계산해서 내보낸 정확한 확률이다. 서도현 — 윗통에서 한 번 뽑아 그대로 두고 아랫통에서 뽑는다. 불승인 때는 아랫통만 다시 뽑는다. 장유라 — 아랫통에서 두 번 뽑아 작은 번호를 그대로 두고 윗통에서 뽑는다. 불승인 때는 윗통만 다시 뽑는다. 권태윤 — 윗통에서 두 번 뽑아 작은 번호를 그대로 두고 아랫통에서 뽑는다. 불승인 때는 아랫통만 다시 뽑는다. 백선아 — 아랫통에서 한 번 뽑아 그대로 두고 윗통에서 뽑는다. 불승인 때는 윗통만 다시 뽑는다. 오진목 — 아랫통에서 두 번 뽑아 큰 번호를 그대로 두고 윗통에서 뽑는다. 불승인 때는 윗통만 다시 뽑는다. 한소린 — 윗통에서 두 번 뽑아 큰 번호를 그대로 두고 아랫통에서 뽑는다. 불승인 때는 아랫통만 다시 뽑는다. 얼굴이 가려진 연속 영상에는 단말을 승인한 사람이 곧장 영사실로 들어가 범행하고 돌아오는 모습이 이어진다. 중간 교대나 다른 출입은 없다. 의상과 얼굴은 식별되지 않는다.

서도현 · 36세 · 상영기획자

짧은 검은 머리, 안경·수염 없음, 흰 셔츠 위 짙은 남색 카디건.

장유라 · 31세 · 홍보담당

느슨하게 묶은 짙은 머리, 안경·수염 없음, 적갈색 블라우스.

권태윤 · 43세 · 영사기사

짧은 검은 머리, 검은 사각 안경, 수염 없음, 검은 터틀넥.

백선아 · 39세 · 매표책임자

턱선 길이의 짙은 단발, 안경·수염 없음, 베이지 셔츠와 올리브색 재킷.

오진목 · 48세 · 시설관리인

짧은 회색 섞인 머리와 콧수염, 안경 없음, 갈색 가죽 재킷.

한소린 · 28세 · 기록담당

어깨 앞으로 땋아 내린 긴 검은 머리, 안경·수염 없음, 겨자색 니트.

여섯 사람 모두 같은 시간 극장 뒷구역에 있었고 단말·영사실로 이동할 기회가 있었다. 상세 규칙과 직접 승인 근거는 단서 카드에서 확인하라.