Participant: kik

Representing Japan using Coq, C++.

Qualification Round: ranked 81 (100 points)
Speaking in TonguesDancing With the GooglersRecycled NumbersHall of Mirrors
SSLSLSL
Download Coq Download C++ Download C++ Download C++ Download C++ Download C++ Download C++
Round 1B: ranked 458 (63 points)
Safety in NumbersTide Goes In, Tide Goes OutEqual Sums
SLSLSL
Download C++ Download C++ Download C++ Download C++ Download C++
Round 2: ranked 1938 (5 points)
Swinging WildAerobicsMountain ViewDescending in the Dark
SLSLSLSL
Download C++