새 계산 서버 이름

이번에 Mathematica, Maple 같은 계산 소프트웨어를 위한 전용 리눅스 서버를 새로 들여오면서 서버 이름 공모가 있었다.

여러분은 이 가운데 어디에 한 표? (번호는 알파벳순)

1. abacus        2. calvin        3. c3po or threepio        4. iask        5. navi