3^7's Algicosathlon Wiki/Libraries