b008.c: AC (3ms, 112KB)
b009.c: AC (3ms, 112KB)
b010.c: AC (3ms, 108KB)
b011.c: AC (3ms, 120KB)