Participant: kik

Representing Japan using Coq, C++.

**Qualification Round**: ranked 81 (100 points)
Speaking in Tongues	Dancing With the Googlers		Recycled Numbers		Hall of Mirrors
S	S	L	S	L	S	L
Coq	C++	C++	C++	C++	C++	C++

**Round 1B**: ranked 458 (63 points)
Safety in Numbers		Tide Goes In, Tide Goes Out		Equal Sums
S	L	S	L	S	L
C++	C++	C++	C++	C++

**Round 2**: ranked 1938 (5 points)
Swinging Wild		Aerobics		Mountain View		Descending in the Dark
S	L	S	L	S	L	S	L
C++