(library
 (name aoc25)
 (libraries str))