gatc , bitset N:o 13.