Gene: 513_AT2


Descriptive name:

ATP5D

Model:

RECON1

Position:

Left: 1241851 – Right: 1244437

Strand:

Plus

Chromosome:

NC_000019.10

Associated reactions:

BiGG ID
Name
Gene reaction rule
ATPS4m
ATP synthase (four protons for one ATP)
((522_AT2 and 9551_AT3 and 4905_AT1 and 10476_AT2 and 517_AT1 and 521_AT1 and 515_AT2 and 10632_AT1) or (515_AT3 and 10476_AT1 and 516_AT2 and 4905_AT1 and 522_AT3 and 9551_AT2 and 10632_AT1 and 521_AT1) or (10476_AT1 and 518_AT2 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 522_AT3 and 515_AT2 and 521_AT1) or (522_AT5 and 4905_AT1 and 518_AT3 and 10476_AT1 and 515_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1) or (9551_AT1 and 10632_AT1 and 521_AT1 and 522_AT1 and 515_AT3 and 10476_AT2 and 516_AT2 and 4905_AT1) or (522_AT1 and 521_AT1 and 515_AT2 and 10632_AT1 and 9551_AT2 and 4905_AT1 and 10476_AT1 and 516_AT1) or (515_AT3 and 10476_AT1 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 521_AT1 and 522_AT4 and 517_AT2) or (521_AT1 and 522_AT1 and 10632_AT1 and 516_AT2 and 4905_AT1 and 9551_AT3 and 515_AT3 and 10476_AT1) or (515_AT1 and 10476_AT1 and 4905_AT1 and 522_AT2 and 9551_AT1 and 10632_AT1 and 521_AT1 and 517_AT2) or (522_AT4 and 521_AT1 and 517_AT2 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 10476_AT1 and 515_AT1) or (522_AT1 and 517_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 10476_AT2 and 515_AT3) or (521_AT1 and 522_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 518_AT3 and 515_AT1 and 10476_AT2) or (10632_AT1 and 515_AT2 and 521_AT1 and 517_AT2 and 10476_AT2 and 4905_AT1 and 9551_AT3 and 522_AT2) or (10476_AT1 and 515_AT1 and 522_AT2 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 517_AT1 and 521_AT1) or (4905_AT1 and 516_AT2 and 10476_AT2 and 521_AT1 and 515_AT2 and 9551_AT1 and 522_AT3 and 10632_AT1) or (10632_AT1 and 9551_AT1 and 518_AT1 and 521_AT1 and 10476_AT2 and 515_AT3 and 522_AT2 and 4905_AT1) or (9551_AT1 and 10632_AT1 and 522_AT3 and 521_AT1 and 517_AT2 and 10476_AT2 and 515_AT1 and 4905_AT1) or (10476_AT1 and 4905_AT1 and 516_AT2 and 10632_AT1 and 522_AT3 and 9551_AT1 and 521_AT1 and 515_AT2) or (10476_AT1 and 516_AT2 and 4905_AT1 and 522_AT3 and 9551_AT2 and 10632_AT1 and 515_AT2 and 521_AT1) or (10632_AT1 and 522_AT4 and 515_AT2 and 521_AT1 and 518_AT3 and 10476_AT1 and 9551_AT3 and 4905_AT1) or (522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT1 and 4905_AT1 and 10476_AT2 and 518_AT2 and 515_AT3) or (515_AT3 and 10476_AT1 and 516_AT2 and 4905_AT1 and 522_AT5 and 9551_AT2 and 10632_AT1 and 521_AT1) or (515_AT3 and 10476_AT2 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 521_AT1 and 522_AT1 and 517_AT2) or (521_AT1 and 515_AT2 and 518_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 522_AT5 and 10476_AT2) or (522_AT4 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 10476_AT2 and 518_AT3 and 515_AT1) or (10476_AT2 and 516_AT1 and 515_AT3 and 4905_AT1 and 10632_AT1 and 9551_AT2 and 521_AT1 and 522_AT4) or (522_AT5 and 4905_AT1 and 10476_AT2 and 518_AT1 and 521_AT1 and 515_AT2 and 9551_AT2 and 10632_AT1) or (515_AT2 and 521_AT1 and 518_AT1 and 522_AT1 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 10476_AT2) or (521_AT1 and 10632_AT1 and 4905_AT1 and 522_AT5 and 9551_AT3 and 518_AT2 and 515_AT1 and 10476_AT2) or (9551_AT2 and 522_AT3 and 10632_AT1 and 521_AT1 and 10476_AT1 and 515_AT1 and 518_AT3 and 4905_AT1) or (9551_AT2 and 10632_AT1 and 518_AT1 and 521_AT1 and 10476_AT2 and 515_AT3 and 522_AT2 and 4905_AT1) or (521_AT1 and 522_AT4 and 517_AT2 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 515_AT3 and 10476_AT2) or (521_AT1 and 522_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 515_AT3 and 10476_AT2 and 518_AT3) or (4905_AT1 and 10476_AT2 and 518_AT2 and 515_AT3 and 521_AT1 and 10632_AT1 and 522_AT3 and 9551_AT1) or (9551_AT3 and 4905_AT1 and 10476_AT2 and 515_AT1 and 518_AT2 and 522_AT1 and 521_AT1 and 10632_AT1) or (10632_AT1 and 521_AT1 and 515_AT2 and 522_AT4 and 518_AT1 and 10476_AT1 and 4905_AT1 and 9551_AT3) or (515_AT2 and 521_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 522_AT5 and 516_AT1 and 10476_AT1) or (517_AT1 and 521_AT1 and 515_AT2 and 10632_AT1 and 9551_AT1 and 522_AT5 and 4905_AT1 and 10476_AT1) or (517_AT2 and 515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5 and 4905_AT1 and 10476_AT1) or (518_AT3 and 10476_AT2 and 4905_AT1 and 522_AT3 and 10632_AT1 and 9551_AT1 and 515_AT2 and 521_AT1) or (521_AT1 and 10632_AT1 and 4905_AT1 and 522_AT5 and 516_AT2 and 9551_AT3 and 10476_AT2 and 515_AT1) or (522_AT3 and 10632_AT1 and 521_AT1 and 10476_AT1 and 515_AT1 and 516_AT2 and 4905_AT1 and 9551_AT3) or (522_AT5 and 4905_AT1 and 10476_AT1 and 515_AT1 and 518_AT3 and 521_AT1 and 9551_AT1 and 10632_AT1) or (9551_AT2 and 522_AT3 and 10632_AT1 and 521_AT1 and 517_AT2 and 515_AT1 and 10476_AT2 and 4905_AT1) or (10476_AT2 and 515_AT3 and 522_AT2 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 518_AT1 and 521_AT1) or (4905_AT1 and 9551_AT3 and 10476_AT1 and 515_AT2 and 521_AT1 and 517_AT2 and 522_AT3 and 10632_AT1) or (10476_AT2 and 9551_AT3 and 522_AT2 and 4905_AT1 and 10632_AT1 and 518_AT1 and 515_AT2 and 521_AT1) or (10476_AT1 and 515_AT3 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 517_AT1 and 521_AT1 and 522_AT4) or (10632_AT1 and 9551_AT1 and 518_AT1 and 521_AT1 and 515_AT1 and 10476_AT1 and 522_AT5 and 4905_AT1) or (4905_AT1 and 522_AT5 and 10476_AT1 and 516_AT1 and 521_AT1 and 515_AT2 and 10632_AT1 and 9551_AT2) or (9551_AT3 and 4905_AT1 and 10476_AT1 and 515_AT3 and 518_AT2 and 522_AT1 and 521_AT1 and 10632_AT1) or (9551_AT2 and 10632_AT1 and 517_AT1 and 515_AT2 and 521_AT1 and 10476_AT2 and 4905_AT1 and 522_AT5) or (10476_AT1 and 515_AT3 and 4905_AT1 and 522_AT3 and 10632_AT1 and 9551_AT1 and 517_AT2 and 521_AT1) or (4905_AT1 and 9551_AT3 and 515_AT3 and 10476_AT1 and 522_AT4 and 521_AT1 and 517_AT1 and 10632_AT1) or (10632_AT1 and 521_AT1 and 515_AT3 and 518_AT3 and 10476_AT1 and 4905_AT1 and 522_AT5 and 9551_AT3) or (515_AT1 and 10476_AT2 and 9551_AT3 and 522_AT2 and 4905_AT1 and 10632_AT1 and 518_AT1 and 521_AT1) or (4905_AT1 and 522_AT5 and 516_AT1 and 10476_AT2 and 515_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1) or (9551_AT3 and 4905_AT1 and 522_AT5 and 10476_AT1 and 515_AT3 and 518_AT1 and 521_AT1 and 10632_AT1) or (521_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 522_AT2 and 518_AT2 and 515_AT1 and 10476_AT2) or (515_AT3 and 518_AT2 and 10476_AT2 and 522_AT5 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 521_AT1) or (515_AT1 and 10476_AT1 and 9551_AT3 and 522_AT2 and 4905_AT1 and 10632_AT1 and 517_AT1 and 521_AT1) or (4905_AT1 and 522_AT2 and 9551_AT3 and 10476_AT1 and 515_AT2 and 521_AT1 and 517_AT1 and 10632_AT1) or (521_AT1 and 9551_AT2 and 10632_AT1 and 522_AT5 and 4905_AT1 and 10476_AT2 and 515_AT1 and 516_AT1) or (9551_AT1 and 10632_AT1 and 522_AT3 and 521_AT1 and 518_AT1 and 515_AT1 and 10476_AT1 and 4905_AT1) or (515_AT1 and 10476_AT2 and 516_AT1 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 522_AT3 and 521_AT1) or (4905_AT1 and 10476_AT2 and 515_AT1 and 521_AT1 and 522_AT4 and 517_AT1 and 9551_AT1 and 10632_AT1) or (10476_AT1 and 516_AT1 and 4905_AT1 and 9551_AT2 and 522_AT3 and 10632_AT1 and 521_AT1 and 515_AT2) or (521_AT1 and 9551_AT1 and 10632_AT1 and 522_AT5 and 4905_AT1 and 515_AT1 and 10476_AT2 and 516_AT1) or (521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 522_AT5 and 516_AT1 and 10476_AT2 and 515_AT3) or (521_AT1 and 10632_AT1 and 522_AT3 and 9551_AT3 and 4905_AT1 and 518_AT3 and 10476_AT2 and 515_AT3) or (9551_AT2 and 10632_AT1 and 521_AT1 and 516_AT1 and 10476_AT2 and 515_AT3 and 522_AT2 and 4905_AT1) or (515_AT1 and 10476_AT1 and 4905_AT1 and 522_AT5 and 9551_AT1 and 10632_AT1 and 521_AT1 and 517_AT1) or (521_AT1 and 9551_AT2 and 10632_AT1 and 522_AT2 and 516_AT2 and 4905_AT1 and 10476_AT1 and 515_AT3) or (4905_AT1 and 516_AT2 and 515_AT3 and 10476_AT1 and 521_AT1 and 522_AT4 and 9551_AT1 and 10632_AT1) or (10476_AT1 and 515_AT1 and 9551_AT3 and 4905_AT1 and 516_AT2 and 10632_AT1 and 521_AT1 and 522_AT4) or (521_AT1 and 522_AT4 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 10476_AT2 and 516_AT1 and 515_AT3) or (4905_AT1 and 518_AT2 and 10476_AT1 and 515_AT2 and 521_AT1 and 522_AT1 and 9551_AT2 and 10632_AT1) or (10632_AT1 and 521_AT1 and 522_AT4 and 518_AT1 and 515_AT1 and 10476_AT2 and 4905_AT1 and 9551_AT3) or (515_AT1 and 518_AT3 and 10476_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 521_AT1 and 522_AT4) or (522_AT4 and 521_AT1 and 10632_AT1 and 9551_AT2 and 4905_AT1 and 10476_AT1 and 518_AT2 and 515_AT3) or (515_AT1 and 10476_AT2 and 4905_AT1 and 522_AT5 and 516_AT2 and 10632_AT1 and 9551_AT1 and 521_AT1) or (10632_AT1 and 9551_AT1 and 522_AT1 and 521_AT1 and 10476_AT2 and 515_AT1 and 516_AT1 and 4905_AT1) or (522_AT5 and 4905_AT1 and 9551_AT3 and 515_AT3 and 10476_AT2 and 521_AT1 and 517_AT2 and 10632_AT1) or (521_AT1 and 522_AT1 and 517_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 515_AT1 and 10476_AT2) or (9551_AT3 and 4905_AT1 and 10476_AT2 and 518_AT2 and 515_AT3 and 521_AT1 and 522_AT3 and 10632_AT1) or (515_AT3 and 518_AT3 and 10476_AT1 and 4905_AT1 and 9551_AT2 and 522_AT3 and 10632_AT1 and 521_AT1) or (10476_AT2 and 518_AT2 and 515_AT3 and 9551_AT3 and 4905_AT1 and 522_AT5 and 10632_AT1 and 521_AT1) or (10632_AT1 and 521_AT1 and 517_AT2 and 515_AT1 and 10476_AT2 and 4905_AT1 and 9551_AT3 and 522_AT2) or (4905_AT1 and 516_AT2 and 10476_AT1 and 515_AT1 and 521_AT1 and 522_AT4 and 10632_AT1 and 9551_AT1) or (10476_AT2 and 4905_AT1 and 516_AT2 and 522_AT2 and 10632_AT1 and 9551_AT2 and 521_AT1 and 515_AT2) or (521_AT1 and 517_AT2 and 522_AT3 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 515_AT3 and 10476_AT1) or (9551_AT2 and 10632_AT1 and 517_AT2 and 521_AT1 and 522_AT4 and 515_AT1 and 10476_AT2 and 4905_AT1) or (10476_AT2 and 522_AT5 and 4905_AT1 and 9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT2 and 517_AT1) or (518_AT1 and 521_AT1 and 522_AT3 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 10476_AT1 and 515_AT1) or (521_AT1 and 10632_AT1 and 4905_AT1 and 522_AT5 and 9551_AT3 and 515_AT1 and 518_AT3 and 10476_AT2) or (10476_AT2 and 515_AT1 and 4905_AT1 and 9551_AT3 and 522_AT3 and 10632_AT1 and 521_AT1 and 517_AT2) or (9551_AT2 and 10632_AT1 and 521_AT1 and 515_AT3 and 10476_AT1 and 518_AT3 and 4905_AT1 and 522_AT2) or (4905_AT1 and 515_AT1 and 10476_AT1 and 518_AT1 and 522_AT4 and 521_AT1 and 10632_AT1 and 9551_AT1) or (515_AT3 and 10476_AT1 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 522_AT4 and 521_AT1 and 518_AT1) or (10632_AT1 and 518_AT1 and 521_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT3 and 4905_AT1) or (9551_AT2 and 10632_AT1 and 517_AT1 and 515_AT2 and 521_AT1 and 10476_AT1 and 522_AT2 and 4905_AT1) or (4905_AT1 and 522_AT5 and 518_AT2 and 10476_AT2 and 521_AT1 and 515_AT2 and 10632_AT1 and 9551_AT2) or (9551_AT2 and 522_AT3 and 10632_AT1 and 515_AT2 and 521_AT1 and 10476_AT2 and 516_AT2 and 4905_AT1) or (515_AT3 and 10476_AT1 and 516_AT1 and 4905_AT1 and 522_AT2 and 9551_AT1 and 10632_AT1 and 521_AT1) or (522_AT1 and 515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 516_AT1 and 10476_AT2) or (10476_AT1 and 4905_AT1 and 9551_AT3 and 522_AT3 and 10632_AT1 and 515_AT2 and 521_AT1 and 517_AT1) or (516_AT1 and 10476_AT1 and 515_AT1 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 522_AT3 and 521_AT1) or (521_AT1 and 517_AT1 and 10632_AT1 and 9551_AT2 and 4905_AT1 and 522_AT5 and 515_AT1 and 10476_AT1) or (10476_AT1 and 4905_AT1 and 522_AT5 and 9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT2 and 518_AT1) or (10476_AT1 and 9551_AT3 and 4905_AT1 and 522_AT5 and 516_AT2 and 10632_AT1 and 521_AT1 and 515_AT2) or (521_AT1 and 10632_AT1 and 516_AT2 and 4905_AT1 and 522_AT2 and 9551_AT3 and 515_AT3 and 10476_AT1) or (9551_AT1 and 10632_AT1 and 522_AT3 and 515_AT2 and 521_AT1 and 518_AT2 and 10476_AT2 and 4905_AT1) or (10476_AT1 and 515_AT3 and 4905_AT1 and 522_AT5 and 10632_AT1 and 9551_AT1 and 517_AT1 and 521_AT1) or (522_AT4 and 521_AT1 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 518_AT2 and 515_AT3 and 10476_AT2) or (522_AT5 and 4905_AT1 and 518_AT3 and 10476_AT2 and 515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT1) or (10476_AT2 and 516_AT2 and 4905_AT1 and 522_AT2 and 9551_AT3 and 10632_AT1 and 515_AT2 and 521_AT1) or (522_AT1 and 521_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 516_AT2 and 515_AT1 and 10476_AT2) or (9551_AT2 and 10632_AT1 and 521_AT1 and 10476_AT1 and 515_AT3 and 518_AT2 and 522_AT5 and 4905_AT1) or (10632_AT1 and 521_AT1 and 516_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT2 and 4905_AT1) or (4905_AT1 and 10476_AT2 and 516_AT1 and 522_AT1 and 521_AT1 and 515_AT2 and 10632_AT1 and 9551_AT2) or (4905_AT1 and 515_AT1 and 10476_AT2 and 518_AT3 and 522_AT4 and 521_AT1 and 9551_AT2 and 10632_AT1) or (515_AT3 and 10476_AT2 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 522_AT3 and 521_AT1 and 517_AT2) or (521_AT1 and 9551_AT1 and 10632_AT1 and 522_AT3 and 4905_AT1 and 515_AT3 and 10476_AT2 and 518_AT3) or (10632_AT1 and 518_AT1 and 521_AT1 and 515_AT2 and 10476_AT1 and 9551_AT3 and 4905_AT1 and 522_AT5) or (9551_AT3 and 522_AT2 and 4905_AT1 and 10476_AT2 and 515_AT3 and 518_AT2 and 521_AT1 and 10632_AT1) or (10632_AT1 and 521_AT1 and 522_AT1 and 516_AT1 and 515_AT1 and 10476_AT1 and 4905_AT1 and 9551_AT3) or (517_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1 and 522_AT2 and 4905_AT1 and 515_AT1 and 10476_AT2) or (10632_AT1 and 9551_AT2 and 522_AT4 and 521_AT1 and 517_AT1 and 515_AT3 and 10476_AT2 and 4905_AT1) or (522_AT1 and 515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 10476_AT1 and 518_AT2) or (4905_AT1 and 522_AT2 and 518_AT2 and 515_AT3 and 10476_AT2 and 521_AT1 and 9551_AT1 and 10632_AT1) or (4905_AT1 and 522_AT2 and 9551_AT3 and 518_AT3 and 515_AT1 and 10476_AT2 and 521_AT1 and 10632_AT1) or (4905_AT1 and 515_AT3 and 10476_AT1 and 518_AT3 and 521_AT1 and 522_AT1 and 9551_AT1 and 10632_AT1) or (521_AT1 and 10632_AT1 and 522_AT2 and 9551_AT3 and 4905_AT1 and 516_AT2 and 10476_AT2 and 515_AT3) or (10632_AT1 and 9551_AT2 and 521_AT1 and 515_AT2 and 10476_AT1 and 516_AT1 and 4905_AT1 and 522_AT2) or (521_AT1 and 515_AT2 and 10632_AT1 and 522_AT2 and 9551_AT3 and 4905_AT1 and 10476_AT2 and 516_AT1) or (521_AT1 and 522_AT4 and 518_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 515_AT3 and 10476_AT2) or (515_AT2 and 521_AT1 and 522_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 518_AT3 and 10476_AT1) or (522_AT2 and 4905_AT1 and 10476_AT1 and 515_AT1 and 518_AT3 and 521_AT1 and 9551_AT2 and 10632_AT1) or (521_AT1 and 515_AT2 and 522_AT1 and 10632_AT1 and 4905_AT1 and 516_AT2 and 9551_AT3 and 10476_AT2) or (522_AT4 and 515_AT2 and 521_AT1 and 517_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 10476_AT2) or (10476_AT1 and 515_AT1 and 522_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 517_AT1 and 521_AT1) or (9551_AT3 and 4905_AT1 and 10476_AT2 and 515_AT3 and 518_AT1 and 521_AT1 and 522_AT4 and 10632_AT1) or (10476_AT2 and 515_AT3 and 4905_AT1 and 522_AT3 and 10632_AT1 and 9551_AT1 and 518_AT1 and 521_AT1) or (516_AT2 and 4905_AT1 and 10476_AT2 and 515_AT2 and 521_AT1 and 522_AT1 and 9551_AT1 and 10632_AT1) or (10476_AT2 and 518_AT2 and 4905_AT1 and 522_AT3 and 9551_AT2 and 10632_AT1 and 515_AT2 and 521_AT1) or (10476_AT1 and 4905_AT1 and 522_AT5 and 10632_AT1 and 9551_AT2 and 517_AT2 and 515_AT2 and 521_AT1) or (4905_AT1 and 522_AT2 and 9551_AT3 and 515_AT3 and 10476_AT2 and 521_AT1 and 517_AT2 and 10632_AT1) or (518_AT1 and 521_AT1 and 515_AT2 and 9551_AT2 and 10632_AT1 and 522_AT2 and 4905_AT1 and 10476_AT1) or (516_AT1 and 10476_AT2 and 515_AT1 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 522_AT4 and 521_AT1) or (10476_AT1 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 517_AT1 and 521_AT1 and 522_AT4 and 515_AT2) or (521_AT1 and 522_AT3 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 515_AT3 and 518_AT2 and 10476_AT1) or (10476_AT1 and 9551_AT3 and 4905_AT1 and 516_AT2 and 522_AT3 and 10632_AT1 and 521_AT1 and 515_AT2) or (9551_AT3 and 4905_AT1 and 522_AT5 and 10476_AT2 and 515_AT3 and 517_AT1 and 521_AT1 and 10632_AT1) or (522_AT2 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT1 and 521_AT1 and 10632_AT1 and 9551_AT1) or (518_AT1 and 521_AT1 and 9551_AT2 and 522_AT3 and 10632_AT1 and 4905_AT1 and 515_AT1 and 10476_AT1) or (521_AT1 and 515_AT2 and 10632_AT1 and 4905_AT1 and 522_AT2 and 9551_AT3 and 518_AT3 and 10476_AT2) or (10476_AT1 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 515_AT2 and 521_AT1 and 518_AT1 and 522_AT1) or (4905_AT1 and 515_AT1 and 10476_AT1 and 518_AT3 and 522_AT4 and 521_AT1 and 9551_AT2 and 10632_AT1) or (10476_AT2 and 515_AT1 and 522_AT2 and 4905_AT1 and 516_AT2 and 10632_AT1 and 9551_AT1 and 521_AT1) or (9551_AT2 and 10632_AT1 and 517_AT2 and 522_AT4 and 515_AT2 and 521_AT1 and 10476_AT2 and 4905_AT1) or (522_AT5 and 4905_AT1 and 518_AT3 and 10476_AT2 and 515_AT1 and 521_AT1 and 9551_AT1 and 10632_AT1) or (4905_AT1 and 522_AT2 and 518_AT3 and 10476_AT2 and 515_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1) or (4905_AT1 and 10476_AT1 and 518_AT3 and 515_AT3 and 521_AT1 and 522_AT4 and 10632_AT1 and 9551_AT1) or (10632_AT1 and 9551_AT1 and 517_AT1 and 521_AT1 and 515_AT2 and 10476_AT1 and 522_AT2 and 4905_AT1) or (10632_AT1 and 9551_AT2 and 522_AT4 and 515_AT2 and 521_AT1 and 516_AT1 and 10476_AT2 and 4905_AT1) or (10476_AT1 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 522_AT3 and 518_AT1 and 515_AT2 and 521_AT1) or (521_AT1 and 517_AT2 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 522_AT2 and 515_AT1 and 10476_AT1) or (9551_AT2 and 522_AT3 and 10632_AT1 and 517_AT2 and 521_AT1 and 10476_AT2 and 515_AT3 and 4905_AT1) or (10476_AT2 and 515_AT1 and 518_AT3 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 522_AT1 and 521_AT1) or (521_AT1 and 515_AT2 and 10632_AT1 and 522_AT5 and 4905_AT1 and 516_AT2 and 9551_AT3 and 10476_AT2) or (521_AT1 and 518_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 522_AT2 and 515_AT3 and 10476_AT1) or (4905_AT1 and 518_AT2 and 515_AT1 and 10476_AT1 and 521_AT1 and 522_AT1 and 9551_AT1 and 10632_AT1) or (4905_AT1 and 522_AT2 and 515_AT3 and 10476_AT1 and 518_AT3 and 521_AT1 and 9551_AT1 and 10632_AT1) or (4905_AT1 and 522_AT2 and 515_AT3 and 10476_AT1 and 521_AT1 and 518_AT1 and 9551_AT2 and 10632_AT1) or (4905_AT1 and 10476_AT2 and 515_AT1 and 517_AT1 and 522_AT1 and 521_AT1 and 9551_AT2 and 10632_AT1) or (515_AT3 and 10476_AT1 and 4905_AT1 and 522_AT5 and 9551_AT2 and 10632_AT1 and 521_AT1 and 518_AT1) or (10632_AT1 and 522_AT4 and 521_AT1 and 10476_AT1 and 518_AT3 and 515_AT3 and 9551_AT3 and 4905_AT1) or (522_AT5 and 4905_AT1 and 10476_AT2 and 517_AT2 and 515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT1) or (4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3 and 522_AT4 and 521_AT1 and 10632_AT1 and 9551_AT1) or (4905_AT1 and 10476_AT2 and 515_AT1 and 522_AT1 and 517_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2) or (10632_AT1 and 521_AT1 and 522_AT4 and 518_AT2 and 515_AT1 and 10476_AT1 and 4905_AT1 and 9551_AT3) or (10476_AT1 and 518_AT2 and 4905_AT1 and 522_AT3 and 9551_AT2 and 10632_AT1 and 515_AT2 and 521_AT1) or (10632_AT1 and 521_AT1 and 10476_AT2 and 518_AT3 and 515_AT3 and 522_AT2 and 9551_AT3 and 4905_AT1) or (518_AT2 and 10476_AT1 and 4905_AT1 and 522_AT2 and 9551_AT2 and 10632_AT1 and 515_AT2 and 521_AT1) or (10632_AT1 and 521_AT1 and 10476_AT2 and 518_AT3 and 515_AT3 and 9551_AT3 and 4905_AT1 and 522_AT5) or (10476_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 522_AT1 and 518_AT1 and 521_AT1 and 515_AT2) or (4905_AT1 and 10476_AT1 and 518_AT3 and 515_AT3 and 522_AT4 and 521_AT1 and 9551_AT2 and 10632_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 522_AT1 and 517_AT2 and 9551_AT1 and 10632_AT1) or (522_AT5 and 4905_AT1 and 516_AT2 and 10476_AT2 and 521_AT1 and 515_AT2 and 9551_AT1 and 10632_AT1) or (4905_AT1 and 522_AT5 and 10476_AT1 and 515_AT3 and 518_AT2 and 521_AT1 and 10632_AT1 and 9551_AT1) or (10476_AT2 and 515_AT3 and 9551_AT3 and 522_AT2 and 4905_AT1 and 10632_AT1 and 517_AT1 and 521_AT1) or (4905_AT1 and 522_AT2 and 9551_AT3 and 10476_AT1 and 521_AT1 and 515_AT2 and 517_AT2 and 10632_AT1) or (522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 515_AT1 and 10476_AT1 and 518_AT3) or (4905_AT1 and 9551_AT3 and 515_AT1 and 10476_AT2 and 521_AT1 and 517_AT2 and 522_AT1 and 10632_AT1) or (522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 516_AT2 and 10476_AT2 and 515_AT1) or (4905_AT1 and 516_AT1 and 10476_AT2 and 522_AT4 and 515_AT2 and 521_AT1 and 9551_AT1 and 10632_AT1) or (515_AT2 and 522_AT4 and 521_AT1 and 9551_AT1 and 10632_AT1 and 516_AT2 and 4905_AT1 and 10476_AT1) or (9551_AT1 and 10632_AT1 and 521_AT1 and 517_AT1 and 515_AT3 and 10476_AT1 and 4905_AT1 and 522_AT2) or (517_AT1 and 521_AT1 and 9551_AT2 and 10632_AT1 and 522_AT2 and 4905_AT1 and 10476_AT2 and 515_AT1) or (521_AT1 and 515_AT2 and 522_AT1 and 517_AT2 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 10476_AT2) or (9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT2 and 10476_AT1 and 4905_AT1 and 522_AT5 and 516_AT2) or (4905_AT1 and 518_AT3 and 10476_AT2 and 515_AT3 and 522_AT4 and 521_AT1 and 10632_AT1 and 9551_AT1) or (521_AT1 and 517_AT2 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 522_AT5 and 515_AT3 and 10476_AT2) or (521_AT1 and 522_AT4 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 515_AT3 and 10476_AT2 and 516_AT1) or (4905_AT1 and 10476_AT2 and 515_AT1 and 518_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT1) or (4905_AT1 and 10476_AT1 and 518_AT2 and 521_AT1 and 522_AT4 and 515_AT2 and 9551_AT2 and 10632_AT1) or (521_AT1 and 515_AT2 and 10632_AT1 and 522_AT3 and 4905_AT1 and 9551_AT3 and 518_AT3 and 10476_AT1) or (9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT2 and 10476_AT2 and 4905_AT1 and 516_AT2 and 522_AT2) or (515_AT1 and 10476_AT1 and 4905_AT1 and 10632_AT1 and 9551_AT2 and 522_AT1 and 517_AT1 and 521_AT1) or (10632_AT1 and 522_AT1 and 515_AT2 and 521_AT1 and 10476_AT2 and 518_AT2 and 9551_AT3 and 4905_AT1) or (515_AT3 and 10476_AT1 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 521_AT1 and 522_AT1 and 517_AT1) or (4905_AT1 and 516_AT2 and 10476_AT1 and 521_AT1 and 515_AT2 and 522_AT1 and 9551_AT2 and 10632_AT1) or (518_AT3 and 10476_AT1 and 4905_AT1 and 9551_AT1 and 10632_AT1 and 522_AT4 and 515_AT2 and 521_AT1) or (521_AT1 and 522_AT4 and 515_AT2 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 516_AT2 and 10476_AT2) or (9551_AT3 and 4905_AT1 and 10476_AT1 and 516_AT1 and 521_AT1 and 515_AT2 and 10632_AT1 and 522_AT3) or (9551_AT3 and 4905_AT1 and 522_AT5 and 10476_AT2 and 518_AT1 and 521_AT1 and 515_AT2 and 10632_AT1) or (9551_AT3 and 4905_AT1 and 522_AT5 and 10476_AT1 and 517_AT1 and 515_AT2 and 521_AT1 and 10632_AT1) or (515_AT1 and 10476_AT1 and 522_AT5 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 517_AT2 and 521_AT1) or (516_AT1 and 10476_AT2 and 4905_AT1 and 522_AT3 and 10632_AT1 and 9551_AT1 and 515_AT2 and 521_AT1) or (4905_AT1 and 9551_AT3 and 10476_AT2 and 521_AT1 and 515_AT2 and 517_AT2 and 522_AT3 and 10632_AT1) or (521_AT1 and 515_AT2 and 10632_AT1 and 9551_AT1 and 522_AT2 and 4905_AT1 and 10476_AT2 and 516_AT1) or (518_AT2 and 515_AT1 and 10476_AT2 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 521_AT1 and 522_AT1) or (9551_AT1 and 10632_AT1 and 521_AT1 and 517_AT2 and 10476_AT2 and 515_AT1 and 4905_AT1 and 522_AT2) or (521_AT1 and 517_AT1 and 9551_AT1 and 522_AT3 and 10632_AT1 and 4905_AT1 and 515_AT3 and 10476_AT1) or (9551_AT3 and 4905_AT1 and 515_AT1 and 10476_AT2 and 518_AT2 and 522_AT4 and 521_AT1 and 10632_AT1) or (522_AT4 and 515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT1 and 4905_AT1 and 518_AT3 and 10476_AT2) or (516_AT1 and 10476_AT2 and 4905_AT1 and 522_AT5 and 9551_AT1 and 10632_AT1 and 515_AT2 and 521_AT1) or (515_AT3 and 10476_AT2 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 522_AT3 and 521_AT1 and 517_AT1) or (515_AT3 and 518_AT2 and 10476_AT1 and 4905_AT1 and 9551_AT1 and 10632_AT1 and 521_AT1 and 522_AT1) or (10476_AT1 and 515_AT1 and 4905_AT1 and 10632_AT1 and 522_AT3 and 9551_AT1 and 517_AT1 and 521_AT1) or (10632_AT1 and 515_AT2 and 521_AT1 and 516_AT1 and 10476_AT2 and 522_AT5 and 4905_AT1 and 9551_AT3) or (521_AT1 and 10632_AT1 and 522_AT2 and 9551_AT3 and 4905_AT1 and 516_AT1 and 515_AT1 and 10476_AT2) or (10632_AT1 and 521_AT1 and 517_AT1 and 515_AT3 and 10476_AT1 and 4905_AT1 and 522_AT2 and 9551_AT3) or (9551_AT2 and 10632_AT1 and 517_AT1 and 521_AT1 and 10476_AT2 and 515_AT1 and 4905_AT1 and 522_AT5) or (522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT1) or (10476_AT1 and 515_AT1 and 518_AT3 and 4905_AT1 and 522_AT5 and 9551_AT2 and 10632_AT1 and 521_AT1) or (515_AT3 and 516_AT1 and 10476_AT1 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 522_AT4 and 521_AT1) or (10632_AT1 and 522_AT1 and 521_AT1 and 10476_AT1 and 515_AT1 and 518_AT2 and 9551_AT3 and 4905_AT1) or (522_AT3 and 10632_AT1 and 521_AT1 and 515_AT2 and 10476_AT2 and 518_AT2 and 9551_AT3 and 4905_AT1) or (10632_AT1 and 9551_AT2 and 522_AT3 and 517_AT2 and 521_AT1 and 10476_AT1 and 515_AT3 and 4905_AT1) or (521_AT1 and 10632_AT1 and 9551_AT1 and 522_AT5 and 4905_AT1 and 10476_AT2 and 515_AT3 and 518_AT2) or (10632_AT1 and 9551_AT1 and 517_AT1 and 521_AT1 and 522_AT4 and 10476_AT1 and 515_AT1 and 4905_AT1) or (518_AT3 and 10476_AT2 and 515_AT3 and 4905_AT1 and 522_AT5 and 10632_AT1 and 9551_AT1 and 521_AT1) or (4905_AT1 and 10476_AT1 and 515_AT3 and 517_AT1 and 522_AT1 and 521_AT1 and 9551_AT2 and 10632_AT1) or (521_AT1 and 9551_AT1 and 522_AT3 and 10632_AT1 and 4905_AT1 and 515_AT3 and 516_AT1 and 10476_AT2) or (10476_AT1 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 522_AT1 and 518_AT1 and 521_AT1 and 515_AT2) or (4905_AT1 and 515_AT3 and 10476_AT1 and 521_AT1 and 517_AT2 and 522_AT1 and 9551_AT2 and 10632_AT1) or (9551_AT3 and 4905_AT1 and 516_AT1 and 515_AT1 and 10476_AT1 and 522_AT4 and 521_AT1 and 10632_AT1) or (521_AT1 and 517_AT1 and 10632_AT1 and 9551_AT2 and 4905_AT1 and 522_AT2 and 515_AT3 and 10476_AT1) or (521_AT1 and 522_AT3 and 9551_AT2 and 10632_AT1 and 516_AT2 and 4905_AT1 and 10476_AT2 and 515_AT3) or (10632_AT1 and 521_AT1 and 522_AT4 and 10476_AT1 and 518_AT3 and 515_AT1 and 4905_AT1 and 9551_AT3) or (10476_AT2 and 518_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 522_AT1 and 515_AT2 and 521_AT1) or (10632_AT1 and 522_AT3 and 9551_AT1 and 517_AT1 and 521_AT1 and 515_AT2 and 10476_AT2 and 4905_AT1) or (521_AT1 and 10632_AT1 and 522_AT3 and 9551_AT1 and 4905_AT1 and 10476_AT1 and 516_AT1 and 515_AT3) or (9551_AT2 and 522_AT3 and 10632_AT1 and 521_AT1 and 515_AT2 and 517_AT2 and 10476_AT2 and 4905_AT1) or (515_AT2 and 521_AT1 and 517_AT2 and 9551_AT1 and 522_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1) or (10476_AT2 and 515_AT3 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 517_AT1 and 522_AT4 and 521_AT1) or (515_AT3 and 10476_AT2 and 4905_AT1 and 516_AT2 and 9551_AT1 and 522_AT3 and 10632_AT1 and 521_AT1) or (521_AT1 and 10632_AT1 and 4905_AT1 and 522_AT2 and 9551_AT3 and 516_AT1 and 10476_AT1 and 515_AT1) or (9551_AT2 and 10632_AT1 and 521_AT1 and 522_AT1 and 515_AT3 and 518_AT3 and 10476_AT1 and 4905_AT1) or (515_AT3 and 10476_AT2 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 521_AT1 and 522_AT1 and 517_AT1) or (521_AT1 and 522_AT3 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 518_AT3 and 10476_AT2 and 515_AT1) or (10632_AT1 and 9551_AT1 and 521_AT1 and 522_AT4 and 10476_AT1 and 515_AT1 and 518_AT2 and 4905_AT1) or (515_AT3 and 10476_AT2 and 522_AT5 and 4905_AT1 and 516_AT2 and 9551_AT3 and 10632_AT1 and 521_AT1) or (9551_AT2 and 10632_AT1 and 522_AT1 and 517_AT2 and 521_AT1 and 10476_AT2 and 515_AT3 and 4905_AT1) or (9551_AT2 and 10632_AT1 and 521_AT1 and 522_AT4 and 515_AT1 and 10476_AT1 and 4905_AT1 and 516_AT2) or (521_AT1 and 517_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 522_AT5 and 515_AT3 and 10476_AT2) or (517_AT1 and 522_AT1 and 515_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 10476_AT1) or (521_AT1 and 10632_AT1 and 9551_AT1 and 522_AT2 and 4905_AT1 and 10476_AT1 and 515_AT1 and 518_AT2) or (10476_AT2 and 515_AT1 and 4905_AT1 and 10632_AT1 and 522_AT3 and 9551_AT1 and 517_AT1 and 521_AT1) or (521_AT1 and 522_AT1 and 518_AT1 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 515_AT3 and 10476_AT1) or (10476_AT2 and 515_AT1 and 9551_AT3 and 4905_AT1 and 522_AT3 and 10632_AT1 and 517_AT1 and 521_AT1) or (10632_AT1 and 9551_AT1 and 517_AT2 and 522_AT1 and 515_AT2 and 521_AT1 and 10476_AT2 and 4905_AT1) or (521_AT1 and 515_AT2 and 517_AT2 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 522_AT5 and 10476_AT1) or (4905_AT1 and 515_AT1 and 10476_AT1 and 517_AT1 and 521_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (4905_AT1 and 516_AT2 and 9551_AT3 and 522_AT2 and 10476_AT1 and 521_AT1 and 515_AT2 and 10632_AT1) or (522_AT5 and 4905_AT1 and 10476_AT1 and 518_AT1 and 515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2) or (517_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5 and 4905_AT1 and 515_AT1 and 10476_AT2) or (4905_AT1 and 522_AT2 and 518_AT3 and 515_AT1 and 10476_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1) or (10476_AT2 and 4905_AT1 and 522_AT2 and 9551_AT1 and 10632_AT1 and 515_AT2 and 521_AT1 and 518_AT1) or (521_AT1 and 522_AT4 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 516_AT2 and 10476_AT2 and 515_AT1) or (4905_AT1 and 10476_AT1 and 517_AT1 and 521_AT1 and 515_AT2 and 10632_AT1 and 9551_AT2 and 522_AT3) or (522_AT3 and 10632_AT1 and 521_AT1 and 515_AT2 and 518_AT3 and 10476_AT2 and 9551_AT3 and 4905_AT1) or (516_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 4905_AT1 and 522_AT3 and 10632_AT1 and 521_AT1) or (4905_AT1 and 515_AT1 and 10476_AT1 and 518_AT3 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT2) or (10476_AT1 and 516_AT2 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 515_AT2 and 522_AT4 and 521_AT1) or (515_AT3 and 10476_AT1 and 4905_AT1 and 9551_AT1 and 10632_AT1 and 522_AT4 and 521_AT1 and 518_AT1) or (522_AT4 and 521_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 515_AT3 and 518_AT3 and 10476_AT2) or (515_AT1 and 10476_AT1 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 522_AT1 and 518_AT1 and 521_AT1) or (4905_AT1 and 518_AT3 and 10476_AT1 and 521_AT1 and 515_AT2 and 9551_AT2 and 522_AT3 and 10632_AT1) or (10476_AT2 and 4905_AT1 and 522_AT5 and 10632_AT1 and 9551_AT2 and 517_AT2 and 515_AT2 and 521_AT1) or (515_AT3 and 10476_AT1 and 4905_AT1 and 516_AT2 and 10632_AT1 and 9551_AT2 and 521_AT1 and 522_AT4) or (4905_AT1 and 515_AT3 and 10476_AT2 and 518_AT3 and 521_AT1 and 9551_AT2 and 522_AT3 and 10632_AT1) or (9551_AT2 and 10632_AT1 and 518_AT1 and 522_AT1 and 521_AT1 and 10476_AT2 and 515_AT3 and 4905_AT1) or (522_AT3 and 10632_AT1 and 515_AT2 and 521_AT1 and 518_AT1 and 10476_AT2 and 4905_AT1 and 9551_AT3) or (521_AT1 and 9551_AT2 and 10632_AT1 and 522_AT3 and 516_AT2 and 4905_AT1 and 515_AT1 and 10476_AT2) or (515_AT3 and 10476_AT1 and 4905_AT1 and 516_AT2 and 9551_AT1 and 10632_AT1 and 521_AT1 and 522_AT1) or (518_AT2 and 10476_AT1 and 4905_AT1 and 522_AT2 and 9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT2) or (10476_AT2 and 515_AT1 and 522_AT2 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 517_AT1 and 521_AT1) or (9551_AT2 and 10632_AT1 and 521_AT1 and 517_AT1 and 515_AT3 and 10476_AT2 and 522_AT5 and 4905_AT1) or (521_AT1 and 515_AT2 and 518_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 522_AT2 and 10476_AT1) or (9551_AT2 and 10632_AT1 and 522_AT3 and 518_AT1 and 521_AT1 and 515_AT2 and 10476_AT1 and 4905_AT1) or (521_AT1 and 9551_AT1 and 10632_AT1 and 522_AT3 and 516_AT2 and 4905_AT1 and 10476_AT1 and 515_AT1) or (10476_AT2 and 515_AT1 and 4905_AT1 and 10632_AT1 and 9551_AT2 and 518_AT1 and 522_AT4 and 521_AT1) or (10476_AT1 and 515_AT3 and 522_AT2 and 516_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 521_AT1) or (521_AT1 and 522_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 515_AT3 and 10476_AT1 and 516_AT1) or (515_AT1 and 10476_AT1 and 518_AT2 and 9551_AT3 and 4905_AT1 and 522_AT3 and 10632_AT1 and 521_AT1) or (521_AT1 and 515_AT2 and 522_AT3 and 10632_AT1 and 9551_AT1 and 4905_AT1 and 10476_AT1 and 516_AT1) or (522_AT4 and 515_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1) or (521_AT1 and 522_AT3 and 10632_AT1 and 9551_AT1 and 4905_AT1 and 515_AT1 and 10476_AT2 and 518_AT3) or (521_AT1 and 522_AT3 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 518_AT2 and 515_AT1 and 10476_AT1) or (10476_AT1 and 515_AT1 and 518_AT2 and 4905_AT1 and 10632_AT1 and 522_AT3 and 9551_AT1 and 521_AT1) or (516_AT1 and 10476_AT2 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 522_AT3 and 515_AT2 and 521_AT1) or (4905_AT1 and 522_AT2 and 516_AT1 and 515_AT1 and 10476_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1) or (521_AT1 and 515_AT2 and 10632_AT1 and 522_AT3 and 4905_AT1 and 516_AT2 and 9551_AT3 and 10476_AT2) or (522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT2 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3) or (10632_AT1 and 9551_AT2 and 515_AT2 and 521_AT1 and 517_AT1 and 10476_AT2 and 4905_AT1 and 522_AT2) or (521_AT1 and 515_AT2 and 9551_AT1 and 522_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 518_AT3) or (4905_AT1 and 10476_AT1 and 521_AT1 and 515_AT2 and 517_AT1 and 9551_AT1 and 522_AT3 and 10632_AT1) or (10632_AT1 and 522_AT1 and 517_AT2 and 521_AT1 and 515_AT1 and 10476_AT1 and 9551_AT3 and 4905_AT1) or (521_AT1 and 9551_AT2 and 10632_AT1 and 522_AT2 and 4905_AT1 and 516_AT1 and 515_AT1 and 10476_AT1) or (9551_AT1 and 522_AT3 and 10632_AT1 and 521_AT1 and 515_AT3 and 10476_AT1 and 516_AT2 and 4905_AT1) or (10632_AT1 and 522_AT3 and 517_AT1 and 521_AT1 and 10476_AT2 and 515_AT3 and 9551_AT3 and 4905_AT1) or (515_AT1 and 10476_AT1 and 4905_AT1 and 9551_AT2 and 522_AT3 and 10632_AT1 and 517_AT2 and 521_AT1) or (4905_AT1 and 10476_AT2 and 515_AT1 and 517_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT1) or (4905_AT1 and 522_AT2 and 515_AT3 and 10476_AT2 and 521_AT1 and 517_AT1 and 9551_AT1 and 10632_AT1) or (9551_AT1 and 10632_AT1 and 521_AT1 and 522_AT4 and 515_AT2 and 517_AT2 and 10476_AT1 and 4905_AT1) or (10476_AT2 and 4905_AT1 and 522_AT2 and 10632_AT1 and 9551_AT2 and 521_AT1 and 515_AT2 and 518_AT1) or (517_AT1 and 521_AT1 and 515_AT2 and 522_AT3 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 10476_AT2) or (515_AT1 and 10476_AT1 and 516_AT2 and 4905_AT1 and 522_AT5 and 9551_AT3 and 10632_AT1 and 521_AT1) or (515_AT2 and 521_AT1 and 517_AT1 and 522_AT1 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 10476_AT2) or (521_AT1 and 522_AT3 and 10632_AT1 and 9551_AT1 and 4905_AT1 and 518_AT3 and 10476_AT1 and 515_AT3) or (10476_AT1 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 517_AT2 and 521_AT1 and 515_AT2 and 522_AT4) or (522_AT3 and 10632_AT1 and 521_AT1 and 10476_AT2 and 515_AT3 and 9551_AT3 and 4905_AT1 and 516_AT2) or (521_AT1 and 515_AT2 and 522_AT1 and 10632_AT1 and 9551_AT2 and 4905_AT1 and 10476_AT1 and 518_AT3) or (9551_AT1 and 522_AT3 and 10632_AT1 and 521_AT1 and 515_AT2 and 518_AT1 and 10476_AT1 and 4905_AT1) or (4905_AT1 and 518_AT3 and 10476_AT2 and 521_AT1 and 515_AT2 and 9551_AT2 and 10632_AT1 and 522_AT3) or (517_AT2 and 522_AT4 and 515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 10476_AT2) or (517_AT2 and 522_AT4 and 521_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 515_AT1 and 10476_AT1) or (10476_AT2 and 515_AT1 and 516_AT2 and 4905_AT1 and 522_AT2 and 9551_AT2 and 10632_AT1 and 521_AT1) or (518_AT2 and 10476_AT1 and 515_AT1 and 4905_AT1 and 522_AT5 and 9551_AT3 and 10632_AT1 and 521_AT1) or (518_AT1 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT2 and 4905_AT1 and 515_AT1 and 10476_AT2) or (521_AT1 and 10632_AT1 and 9551_AT2 and 4905_AT1 and 522_AT2 and 515_AT3 and 518_AT2 and 10476_AT1) or (4905_AT1 and 10476_AT2 and 515_AT1 and 517_AT1 and 522_AT4 and 521_AT1 and 9551_AT2 and 10632_AT1) or (4905_AT1 and 522_AT2 and 10476_AT2 and 515_AT2 and 521_AT1 and 517_AT2 and 9551_AT1 and 10632_AT1) or (515_AT3 and 10476_AT2 and 4905_AT1 and 522_AT5 and 9551_AT1 and 10632_AT1 and 521_AT1 and 517_AT2) or (521_AT1 and 515_AT2 and 522_AT4 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 10476_AT2 and 516_AT1) or (515_AT1 and 10476_AT1 and 522_AT5 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 518_AT1 and 521_AT1) or (521_AT1 and 10632_AT1 and 9551_AT2 and 522_AT5 and 4905_AT1 and 516_AT2 and 10476_AT1 and 515_AT1) or (522_AT1 and 521_AT1 and 515_AT2 and 10632_AT1 and 9551_AT1 and 4905_AT1 and 516_AT2 and 10476_AT1) or (10476_AT2 and 515_AT3 and 4905_AT1 and 522_AT3 and 10632_AT1 and 9551_AT1 and 517_AT2 and 521_AT1) or (521_AT1 and 522_AT4 and 517_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 515_AT3 and 10476_AT1) or (522_AT2 and 9551_AT3 and 4905_AT1 and 515_AT1 and 10476_AT2 and 518_AT2 and 521_AT1 and 10632_AT1) or (9551_AT3 and 4905_AT1 and 516_AT1 and 10476_AT2 and 515_AT1 and 522_AT1 and 521_AT1 and 10632_AT1) or (9551_AT3 and 4905_AT1 and 10476_AT1 and 518_AT2 and 521_AT1 and 522_AT4 and 515_AT2 and 10632_AT1) or (9551_AT3 and 516_AT2 and 4905_AT1 and 515_AT1 and 10476_AT1 and 522_AT1 and 521_AT1 and 10632_AT1) or (521_AT1 and 9551_AT2 and 522_AT3 and 10632_AT1 and 4905_AT1 and 515_AT3 and 516_AT1 and 10476_AT1) or (522_AT5 and 4905_AT1 and 515_AT1 and 10476_AT2 and 521_AT1 and 518_AT1 and 9551_AT1 and 10632_AT1) or (515_AT3 and 10476_AT1 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 522_AT4 and 521_AT1 and 517_AT2) or (4905_AT1 and 10476_AT2 and 518_AT3 and 521_AT1 and 515_AT2 and 522_AT1 and 9551_AT2 and 10632_AT1) or (521_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 516_AT2 and 522_AT2 and 10476_AT1 and 515_AT1) or (522_AT3 and 10632_AT1 and 9551_AT1 and 517_AT2 and 515_AT2 and 521_AT1 and 10476_AT2 and 4905_AT1) or (9551_AT3 and 4905_AT1 and 522_AT5 and 10476_AT2 and 515_AT1 and 516_AT1 and 521_AT1 and 10632_AT1) or (522_AT3 and 10632_AT1 and 521_AT1 and 518_AT1 and 515_AT3 and 10476_AT1 and 4905_AT1 and 9551_AT3) or (517_AT1 and 521_AT1 and 10632_AT1 and 9551_AT2 and 522_AT2 and 4905_AT1 and 10476_AT2 and 515_AT3) or (10476_AT1 and 515_AT3 and 516_AT2 and 522_AT5 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 521_AT1) or (10632_AT1 and 522_AT3 and 521_AT1 and 518_AT1 and 515_AT1 and 10476_AT2 and 4905_AT1 and 9551_AT3) or (10476_AT1 and 515_AT3 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 518_AT1 and 522_AT1 and 521_AT1) or (10632_AT1 and 515_AT2 and 521_AT1 and 518_AT1 and 10476_AT1 and 4905_AT1 and 522_AT2 and 9551_AT3) or (4905_AT1 and 518_AT2 and 10476_AT2 and 515_AT1 and 521_AT1 and 522_AT4 and 10632_AT1 and 9551_AT2) or (521_AT1 and 517_AT1 and 522_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 515_AT3 and 10476_AT1) or (515_AT3 and 518_AT2 and 10476_AT1 and 4905_AT1 and 9551_AT1 and 10632_AT1 and 522_AT3 and 521_AT1) or (522_AT5 and 4905_AT1 and 516_AT2 and 10476_AT2 and 515_AT1 and 521_AT1 and 9551_AT2 and 10632_AT1) or (521_AT1 and 518_AT1 and 522_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 515_AT1 and 10476_AT1) or (9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT2 and 518_AT3 and 10476_AT1 and 4905_AT1 and 522_AT5) or (10476_AT2 and 515_AT3 and 516_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 522_AT4 and 521_AT1) or (515_AT3 and 518_AT3 and 10476_AT1 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 521_AT1 and 522_AT1) or (10476_AT2 and 515_AT1 and 522_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 518_AT1 and 521_AT1) or (521_AT1 and 10632_AT1 and 9551_AT2 and 4905_AT1 and 522_AT5 and 516_AT2 and 10476_AT2 and 515_AT3) or (522_AT5 and 4905_AT1 and 9551_AT3 and 10476_AT2 and 515_AT2 and 521_AT1 and 517_AT1 and 10632_AT1) or (4905_AT1 and 522_AT2 and 518_AT2 and 10476_AT2 and 521_AT1 and 515_AT2 and 9551_AT2 and 10632_AT1) or (515_AT3 and 10476_AT2 and 522_AT5 and 4905_AT1 and 10632_AT1 and 9551_AT2 and 521_AT1 and 518_AT1) or (518_AT3 and 10476_AT2 and 515_AT3 and 522_AT2 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 521_AT1) or (4905_AT1 and 10476_AT1 and 515_AT1 and 522_AT1 and 517_AT2 and 521_AT1 and 10632_AT1 and 9551_AT1) or (9551_AT1 and 10632_AT1 and 522_AT4 and 515_AT2 and 521_AT1 and 10476_AT2 and 516_AT2 and 4905_AT1) or (9551_AT2 and 10632_AT1 and 521_AT1 and 522_AT1 and 515_AT3 and 518_AT2 and 10476_AT2 and 4905_AT1) or (10476_AT2 and 518_AT3 and 4905_AT1 and 522_AT5 and 9551_AT2 and 10632_AT1 and 515_AT2 and 521_AT1) or (518_AT1 and 521_AT1 and 522_AT3 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 10476_AT2 and 515_AT3) or (10476_AT1 and 515_AT3 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 522_AT1 and 517_AT2 and 521_AT1) or (4905_AT1 and 10476_AT1 and 515_AT1 and 521_AT1 and 522_AT4 and 518_AT1 and 9551_AT2 and 10632_AT1) or (522_AT3 and 10632_AT1 and 521_AT1 and 517_AT1 and 515_AT3 and 10476_AT1 and 4905_AT1 and 9551_AT3) or (515_AT3 and 10476_AT1 and 4905_AT1 and 516_AT2 and 9551_AT2 and 10632_AT1 and 521_AT1 and 522_AT1) or (4905_AT1 and 10476_AT2 and 515_AT2 and 521_AT1 and 517_AT1 and 522_AT1 and 10632_AT1 and 9551_AT2) or (10476_AT2 and 518_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 521_AT1 and 522_AT4 and 515_AT2) or (10632_AT1 and 9551_AT2 and 522_AT4 and 521_AT1 and 518_AT1 and 515_AT3 and 10476_AT2 and 4905_AT1) or (4905_AT1 and 522_AT2 and 9551_AT3 and 518_AT2 and 10476_AT1 and 515_AT1 and 521_AT1 and 10632_AT1) or (515_AT2 and 522_AT4 and 521_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 518_AT3 and 10476_AT2) or (4905_AT1 and 10476_AT1 and 515_AT1 and 517_AT1 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT1) or (4905_AT1 and 10476_AT2 and 515_AT1 and 518_AT1 and 521_AT1 and 9551_AT2 and 522_AT3 and 10632_AT1) or (522_AT2 and 9551_AT3 and 4905_AT1 and 518_AT3 and 10476_AT1 and 515_AT2 and 521_AT1 and 10632_AT1) or (518_AT1 and 521_AT1 and 515_AT2 and 522_AT4 and 10632_AT1 and 9551_AT2 and 4905_AT1 and 10476_AT2) or (522_AT2 and 4905_AT1 and 515_AT1 and 10476_AT2 and 518_AT3 and 521_AT1 and 10632_AT1 and 9551_AT1) or (4905_AT1 and 522_AT5 and 10476_AT1 and 516_AT1 and 515_AT3 and 521_AT1 and 9551_AT2 and 10632_AT1) or (515_AT2 and 521_AT1 and 517_AT1 and 522_AT1 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 10476_AT1) or (9551_AT3 and 4905_AT1 and 518_AT3 and 10476_AT2 and 515_AT3 and 522_AT1 and 521_AT1 and 10632_AT1) or (10632_AT1 and 521_AT1 and 517_AT1 and 515_AT3 and 10476_AT1 and 4905_AT1 and 522_AT5 and 9551_AT3) or (521_AT1 and 522_AT3 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 518_AT3 and 10476_AT1 and 515_AT3) or (521_AT1 and 515_AT2 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 522_AT5 and 516_AT2 and 10476_AT2) or (10476_AT1 and 515_AT1 and 518_AT3 and 4905_AT1 and 9551_AT1 and 10632_AT1 and 522_AT4 and 521_AT1) or (515_AT3 and 10476_AT1 and 4905_AT1 and 522_AT2 and 9551_AT1 and 10632_AT1 and 521_AT1 and 517_AT2) or (4905_AT1 and 10476_AT1 and 517_AT1 and 522_AT1 and 515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT1) or (10476_AT2 and 4905_AT1 and 9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT2 and 522_AT1 and 517_AT1) or (4905_AT1 and 515_AT3 and 10476_AT1 and 521_AT1 and 518_AT1 and 522_AT3 and 9551_AT2 and 10632_AT1) or (4905_AT1 and 9551_AT3 and 518_AT2 and 515_AT1 and 10476_AT2 and 521_AT1 and 522_AT3 and 10632_AT1) or (4905_AT1 and 10476_AT2 and 515_AT3 and 517_AT1 and 521_AT1 and 522_AT4 and 10632_AT1 and 9551_AT1) or (515_AT3 and 10476_AT1 and 4905_AT1 and 522_AT5 and 9551_AT1 and 10632_AT1 and 521_AT1 and 517_AT2) or (9551_AT2 and 10632_AT1 and 517_AT1 and 522_AT4 and 521_AT1 and 515_AT1 and 10476_AT1 and 4905_AT1) or (10632_AT1 and 521_AT1 and 518_AT1 and 515_AT3 and 10476_AT2 and 4905_AT1 and 522_AT5 and 9551_AT3) or (10632_AT1 and 521_AT1 and 10476_AT2 and 515_AT1 and 516_AT2 and 4905_AT1 and 522_AT2 and 9551_AT3) or (10476_AT2 and 518_AT3 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 521_AT1 and 515_AT2 and 522_AT1) or (10476_AT2 and 522_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT2 and 517_AT2 and 521_AT1 and 515_AT2) or (515_AT1 and 10476_AT1 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 517_AT2 and 522_AT1 and 521_AT1) or (10476_AT2 and 515_AT1 and 516_AT1 and 4905_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 522_AT4 and 521_AT1 and 515_AT3 and 518_AT2 and 10476_AT1 and 4905_AT1 and 9551_AT3) or (518_AT2 and 10476_AT2 and 515_AT1 and 4905_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3 and 521_AT1) or (9551_AT1 and 10632_AT1 and 521_AT1 and 522_AT1 and 515_AT1 and 10476_AT2 and 4905_AT1 and 516_AT2) or (521_AT1 and 10632_AT1 and 522_AT3 and 4905_AT1 and 516_AT2 and 9551_AT3 and 515_AT3 and 10476_AT1) or (518_AT3 and 10476_AT1 and 522_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 521_AT1 and 515_AT2) or (522_AT5 and 4905_AT1 and 10476_AT1 and 515_AT3 and 517_AT1 and 521_AT1 and 10632_AT1 and 9551_AT2) or (518_AT1 and 522_AT4 and 515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 10476_AT2) or (522_AT1 and 515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1) or (516_AT2 and 4905_AT1 and 9551_AT3 and 515_AT1 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT3) or (10476_AT2 and 518_AT2 and 9551_AT3 and 4905_AT1 and 522_AT5 and 10632_AT1 and 515_AT2 and 521_AT1) or (10476_AT1 and 516_AT2 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 515_AT2 and 521_AT1 and 522_AT1) or (10632_AT1 and 517_AT1 and 522_AT4 and 515_AT2 and 521_AT1 and 10476_AT1 and 9551_AT3 and 4905_AT1) or (522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3) or (10632_AT1 and 521_AT1 and 515_AT2 and 522_AT4 and 10476_AT1 and 516_AT1 and 9551_AT3 and 4905_AT1) or (9551_AT2 and 10632_AT1 and 515_AT2 and 521_AT1 and 518_AT2 and 10476_AT1 and 4905_AT1 and 522_AT5) or (10476_AT1 and 515_AT3 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 517_AT2 and 522_AT4 and 521_AT1) or (4905_AT1 and 518_AT2 and 10476_AT2 and 515_AT1 and 521_AT1 and 9551_AT1 and 10632_AT1 and 522_AT3) or (516_AT2 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 522_AT1 and 9551_AT2 and 10632_AT1) or (4905_AT1 and 522_AT5 and 9551_AT3 and 518_AT2 and 10476_AT1 and 515_AT2 and 521_AT1 and 10632_AT1) or (516_AT2 and 4905_AT1 and 10476_AT2 and 522_AT4 and 515_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1) or (4905_AT1 and 522_AT5 and 10476_AT2 and 515_AT1 and 521_AT1 and 517_AT2 and 9551_AT1 and 10632_AT1) or (515_AT3 and 516_AT1 and 10476_AT2 and 4905_AT1 and 9551_AT2 and 522_AT3 and 10632_AT1 and 521_AT1) or (9551_AT1 and 522_AT3 and 10632_AT1 and 521_AT1 and 515_AT1 and 10476_AT1 and 518_AT3 and 4905_AT1) or (522_AT1 and 518_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 10476_AT2 and 515_AT3) or (521_AT1 and 515_AT2 and 518_AT1 and 9551_AT2 and 522_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT2) or (521_AT1 and 10632_AT1 and 9551_AT1 and 4905_AT1 and 522_AT5 and 10476_AT2 and 515_AT1 and 518_AT2) or (10632_AT1 and 9551_AT1 and 517_AT2 and 522_AT4 and 521_AT1 and 10476_AT1 and 515_AT1 and 4905_AT1) or (521_AT1 and 10632_AT1 and 522_AT3 and 9551_AT1 and 516_AT2 and 4905_AT1 and 10476_AT2 and 515_AT1) or (517_AT1 and 522_AT4 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 515_AT1 and 10476_AT1) or (521_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 522_AT2 and 515_AT1 and 518_AT3 and 10476_AT1) or (10632_AT1 and 9551_AT1 and 518_AT1 and 521_AT1 and 10476_AT1 and 515_AT1 and 522_AT2 and 4905_AT1) or (10632_AT1 and 9551_AT1 and 522_AT4 and 521_AT1 and 515_AT1 and 10476_AT2 and 516_AT2 and 4905_AT1) or (522_AT3 and 10632_AT1 and 517_AT2 and 521_AT1 and 10476_AT1 and 515_AT1 and 9551_AT3 and 4905_AT1) or (10476_AT1 and 515_AT3 and 4905_AT1 and 522_AT3 and 10632_AT1 and 9551_AT1 and 518_AT1 and 521_AT1) or (4905_AT1 and 522_AT5 and 515_AT3 and 10476_AT2 and 521_AT1 and 518_AT1 and 9551_AT1 and 10632_AT1) or (10476_AT1 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 518_AT1 and 515_AT2 and 522_AT4 and 521_AT1) or (517_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 522_AT5 and 515_AT1 and 10476_AT1) or (515_AT1 and 10476_AT2 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 518_AT1 and 522_AT1 and 521_AT1) or (9551_AT3 and 4905_AT1 and 10476_AT2 and 517_AT1 and 521_AT1 and 522_AT4 and 515_AT2 and 10632_AT1) or (10476_AT1 and 4905_AT1 and 522_AT2 and 9551_AT2 and 10632_AT1 and 515_AT2 and 521_AT1 and 517_AT2) or (518_AT1 and 521_AT1 and 9551_AT2 and 522_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT2 and 515_AT3) or (522_AT3 and 10632_AT1 and 9551_AT1 and 517_AT1 and 521_AT1 and 10476_AT2 and 515_AT3 and 4905_AT1) or (522_AT4 and 521_AT1 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 515_AT3 and 518_AT3 and 10476_AT2) or (10476_AT1 and 515_AT3 and 518_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 521_AT1 and 522_AT4) or (521_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 522_AT2 and 515_AT3 and 10476_AT2 and 516_AT1) or (10632_AT1 and 517_AT1 and 522_AT4 and 521_AT1 and 10476_AT2 and 515_AT1 and 9551_AT3 and 4905_AT1) or (10632_AT1 and 522_AT4 and 521_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 516_AT2 and 4905_AT1) or (9551_AT2 and 10632_AT1 and 515_AT2 and 521_AT1 and 518_AT3 and 10476_AT1 and 522_AT2 and 4905_AT1) or (9551_AT1 and 10632_AT1 and 515_AT2 and 521_AT1 and 522_AT1 and 518_AT2 and 10476_AT1 and 4905_AT1) or (9551_AT1 and 10632_AT1 and 515_AT2 and 522_AT4 and 521_AT1 and 517_AT1 and 10476_AT2 and 4905_AT1) or (10476_AT2 and 4905_AT1 and 9551_AT1 and 10632_AT1 and 522_AT4 and 515_AT2 and 521_AT1 and 517_AT2) or (4905_AT1 and 522_AT5 and 10476_AT2 and 515_AT1 and 521_AT1 and 517_AT2 and 9551_AT2 and 10632_AT1) or (518_AT2 and 515_AT1 and 10476_AT1 and 4905_AT1 and 522_AT2 and 9551_AT2 and 10632_AT1 and 521_AT1) or (10632_AT1 and 9551_AT2 and 515_AT2 and 521_AT1 and 516_AT1 and 10476_AT2 and 522_AT2 and 4905_AT1) or (521_AT1 and 522_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 518_AT2 and 10476_AT1 and 515_AT1) or (9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT3 and 518_AT2 and 10476_AT1 and 4905_AT1 and 522_AT2) or (515_AT1 and 10476_AT1 and 522_AT2 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 518_AT1 and 521_AT1) or (4905_AT1 and 10476_AT2 and 518_AT2 and 515_AT3 and 521_AT1 and 522_AT4 and 9551_AT2 and 10632_AT1) or (516_AT2 and 4905_AT1 and 522_AT2 and 515_AT3 and 10476_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1) or (9551_AT2 and 10632_AT1 and 522_AT1 and 521_AT1 and 516_AT1 and 10476_AT1 and 515_AT1 and 4905_AT1) or (515_AT2 and 522_AT4 and 521_AT1 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 518_AT2 and 10476_AT2) or (4905_AT1 and 522_AT5 and 9551_AT3 and 10476_AT2 and 515_AT1 and 521_AT1 and 518_AT1 and 10632_AT1) or (4905_AT1 and 522_AT2 and 10476_AT2 and 518_AT3 and 515_AT2 and 521_AT1 and 9551_AT1 and 10632_AT1) or (522_AT1 and 521_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 10476_AT2 and 518_AT3 and 515_AT1) or (4905_AT1 and 522_AT5 and 518_AT2 and 10476_AT1 and 515_AT1 and 521_AT1 and 9551_AT1 and 10632_AT1) or (518_AT1 and 522_AT1 and 521_AT1 and 515_AT2 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 10476_AT1) or (4905_AT1 and 515_AT1 and 10476_AT1 and 516_AT1 and 521_AT1 and 522_AT4 and 10632_AT1 and 9551_AT1) or (9551_AT2 and 10632_AT1 and 521_AT1 and 522_AT1 and 518_AT2 and 515_AT3 and 10476_AT1 and 4905_AT1) or (4905_AT1 and 515_AT1 and 10476_AT1 and 521_AT1 and 517_AT2 and 9551_AT1 and 522_AT3 and 10632_AT1) or (10476_AT2 and 516_AT1 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 522_AT1 and 521_AT1 and 515_AT2) or (10476_AT1 and 4905_AT1 and 522_AT2 and 9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT2 and 517_AT2) or (4905_AT1 and 516_AT2 and 9551_AT3 and 515_AT3 and 10476_AT2 and 521_AT1 and 522_AT4 and 10632_AT1) or (4905_AT1 and 522_AT5 and 516_AT1 and 515_AT1 and 10476_AT1 and 521_AT1 and 10632_AT1 and 9551_AT1) or (10476_AT2 and 516_AT1 and 515_AT3 and 9551_AT3 and 522_AT2 and 4905_AT1 and 10632_AT1 and 521_AT1) or (9551_AT1 and 10632_AT1 and 521_AT1 and 522_AT4 and 518_AT1 and 10476_AT2 and 515_AT1 and 4905_AT1) or (521_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 522_AT5 and 516_AT2 and 10476_AT1 and 515_AT1) or (521_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 522_AT2 and 515_AT3 and 10476_AT2 and 518_AT3) or (4905_AT1 and 522_AT2 and 9551_AT3 and 516_AT1 and 10476_AT1 and 515_AT2 and 521_AT1 and 10632_AT1) or (515_AT3 and 516_AT1 and 10476_AT1 and 4905_AT1 and 522_AT2 and 10632_AT1 and 9551_AT2 and 521_AT1) or (516_AT1 and 10476_AT1 and 9551_AT3 and 522_AT5 and 4905_AT1 and 10632_AT1 and 515_AT2 and 521_AT1) or (10476_AT1 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 518_AT1 and 515_AT2 and 522_AT4 and 521_AT1) or (9551_AT3 and 4905_AT1 and 522_AT5 and 10476_AT1 and 518_AT3 and 521_AT1 and 515_AT2 and 10632_AT1) or (9551_AT2 and 10632_AT1 and 521_AT1 and 515_AT3 and 518_AT3 and 10476_AT2 and 522_AT5 and 4905_AT1) or (4905_AT1 and 515_AT3 and 10476_AT1 and 521_AT1 and 518_AT1 and 522_AT1 and 9551_AT2 and 10632_AT1) or (4905_AT1 and 10476_AT1 and 517_AT2 and 515_AT2 and 521_AT1 and 522_AT3 and 9551_AT2 and 10632_AT1) or (4905_AT1 and 10476_AT1 and 515_AT3 and 518_AT2 and 521_AT1 and 522_AT3 and 9551_AT2 and 10632_AT1) or (517_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5 and 4905_AT1 and 10476_AT1 and 515_AT3) or (522_AT5 and 4905_AT1 and 10476_AT2 and 518_AT2 and 521_AT1 and 515_AT2 and 10632_AT1 and 9551_AT1) or (10632_AT1 and 9551_AT1 and 517_AT1 and 521_AT1 and 515_AT1 and 10476_AT2 and 4905_AT1 and 522_AT5) or (521_AT1 and 10632_AT1 and 9551_AT1 and 522_AT2 and 4905_AT1 and 515_AT1 and 10476_AT2 and 518_AT2) or (10476_AT1 and 515_AT1 and 4905_AT1 and 516_AT2 and 522_AT2 and 9551_AT2 and 10632_AT1 and 521_AT1) or (4905_AT1 and 10476_AT2 and 515_AT3 and 517_AT1 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT1) or (516_AT2 and 522_AT5 and 4905_AT1 and 10476_AT2 and 515_AT3 and 521_AT1 and 10632_AT1 and 9551_AT1) or (518_AT3 and 10476_AT2 and 515_AT3 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 522_AT1 and 521_AT1) or (515_AT3 and 10476_AT1 and 4905_AT1 and 10632_AT1 and 9551_AT2 and 522_AT4 and 521_AT1 and 518_AT1) or (10476_AT1 and 518_AT3 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 522_AT1 and 515_AT2 and 521_AT1) or (4905_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT2 and 517_AT1 and 9551_AT1 and 10632_AT1) or (10632_AT1 and 521_AT1 and 516_AT1 and 10476_AT1 and 515_AT1 and 4905_AT1 and 522_AT5 and 9551_AT3) or (10632_AT1 and 521_AT1 and 517_AT2 and 515_AT3 and 10476_AT1 and 4905_AT1 and 9551_AT3 and 522_AT2) or (521_AT1 and 522_AT4 and 517_AT2 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 10476_AT2 and 515_AT1) or (10476_AT1 and 516_AT1 and 4905_AT1 and 522_AT2 and 9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT2) or (10632_AT1 and 9551_AT1 and 521_AT1 and 515_AT2 and 10476_AT2 and 518_AT2 and 522_AT2 and 4905_AT1) or (521_AT1 and 10632_AT1 and 9551_AT1 and 522_AT2 and 4905_AT1 and 516_AT2 and 10476_AT2 and 515_AT3) or (516_AT1 and 10476_AT2 and 515_AT1 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 521_AT1 and 522_AT1) or (10632_AT1 and 521_AT1 and 517_AT1 and 522_AT1 and 10476_AT1 and 515_AT1 and 4905_AT1 and 9551_AT3) or (10476_AT1 and 522_AT2 and 4905_AT1 and 516_AT2 and 10632_AT1 and 9551_AT1 and 521_AT1 and 515_AT2) or (10632_AT1 and 521_AT1 and 522_AT1 and 517_AT2 and 515_AT3 and 10476_AT1 and 4905_AT1 and 9551_AT3) or (516_AT2 and 4905_AT1 and 10476_AT1 and 515_AT1 and 521_AT1 and 522_AT1 and 9551_AT2 and 10632_AT1) or (10476_AT1 and 4905_AT1 and 522_AT5 and 9551_AT2 and 10632_AT1 and 517_AT1 and 515_AT2 and 521_AT1) or (10476_AT1 and 4905_AT1 and 9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT2 and 522_AT4 and 517_AT1) or (521_AT1 and 522_AT3 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 518_AT3 and 10476_AT1 and 515_AT1) or (521_AT1 and 515_AT2 and 522_AT1 and 517_AT2 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 10476_AT1) or (4905_AT1 and 10476_AT2 and 516_AT1 and 515_AT3 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT1) or (10476_AT1 and 518_AT2 and 522_AT2 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 515_AT2 and 521_AT1) or (10476_AT2 and 4905_AT1 and 9551_AT1 and 10632_AT1 and 515_AT2 and 522_AT4 and 521_AT1 and 518_AT1) or (4905_AT1 and 9551_AT3 and 515_AT1 and 10476_AT1 and 521_AT1 and 522_AT4 and 518_AT1 and 10632_AT1) or (10476_AT2 and 515_AT3 and 4905_AT1 and 516_AT2 and 10632_AT1 and 9551_AT2 and 521_AT1 and 522_AT4) or (4905_AT1 and 516_AT1 and 515_AT1 and 10476_AT1 and 522_AT4 and 521_AT1 and 9551_AT2 and 10632_AT1) or (522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 10476_AT2 and 515_AT3 and 518_AT2) or (10632_AT1 and 9551_AT2 and 521_AT1 and 518_AT2 and 515_AT3 and 10476_AT2 and 4905_AT1 and 522_AT2) or (4905_AT1 and 522_AT2 and 515_AT3 and 10476_AT1 and 521_AT1 and 517_AT2 and 9551_AT2 and 10632_AT1) or (515_AT3 and 10476_AT2 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 522_AT4 and 521_AT1 and 517_AT2) or (10476_AT2 and 518_AT3 and 4905_AT1 and 9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT2 and 522_AT1) or (522_AT5 and 4905_AT1 and 9551_AT3 and 518_AT2 and 515_AT3 and 10476_AT1 and 521_AT1 and 10632_AT1) or (9551_AT1 and 10632_AT1 and 521_AT1 and 522_AT1 and 515_AT1 and 10476_AT1 and 518_AT3 and 4905_AT1) or (521_AT1 and 515_AT2 and 522_AT1 and 517_AT2 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 10476_AT1) or (9551_AT2 and 10632_AT1 and 517_AT2 and 521_AT1 and 10476_AT2 and 515_AT3 and 522_AT2 and 4905_AT1) or (515_AT3 and 518_AT2 and 10476_AT1 and 4905_AT1 and 522_AT2 and 9551_AT3 and 10632_AT1 and 521_AT1) or (515_AT3 and 10476_AT2 and 516_AT2 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 521_AT1 and 522_AT1) or (521_AT1 and 515_AT2 and 517_AT2 and 10632_AT1 and 522_AT5 and 4905_AT1 and 9551_AT3 and 10476_AT2) or (522_AT3 and 10632_AT1 and 9551_AT1 and 521_AT1 and 515_AT1 and 10476_AT2 and 516_AT1 and 4905_AT1) or (521_AT1 and 10632_AT1 and 4905_AT1 and 516_AT2 and 9551_AT3 and 522_AT2 and 10476_AT1 and 515_AT1) or (522_AT5 and 4905_AT1 and 10476_AT1 and 515_AT1 and 521_AT1 and 517_AT2 and 9551_AT1 and 10632_AT1) or (521_AT1 and 9551_AT2 and 10632_AT1 and 522_AT5 and 4905_AT1 and 516_AT1 and 10476_AT2 and 515_AT3) or (517_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1 and 522_AT2 and 4905_AT1 and 10476_AT1 and 515_AT1) or (515_AT1 and 10476_AT2 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 521_AT1 and 517_AT1 and 522_AT1) or (10632_AT1 and 9551_AT1 and 521_AT1 and 515_AT2 and 10476_AT1 and 518_AT2 and 522_AT5 and 4905_AT1) or (521_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 522_AT5 and 516_AT1 and 515_AT1 and 10476_AT1) or (9551_AT1 and 10632_AT1 and 521_AT1 and 515_AT3 and 10476_AT2 and 516_AT1 and 522_AT5 and 4905_AT1) or (516_AT1 and 10476_AT1 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 515_AT2 and 522_AT4 and 521_AT1) or (515_AT3 and 10476_AT1 and 516_AT1 and 522_AT5 and 4905_AT1 and 9551_AT1 and 10632_AT1 and 521_AT1) or (521_AT1 and 522_AT4 and 515_AT2 and 10632_AT1 and 9551_AT2 and 4905_AT1 and 516_AT2 and 10476_AT1) or (4905_AT1 and 522_AT5 and 515_AT3 and 10476_AT1 and 521_AT1 and 517_AT2 and 9551_AT2 and 10632_AT1) or (515_AT2 and 522_AT4 and 521_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 518_AT3 and 10476_AT1) or (517_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 522_AT5 and 515_AT1 and 10476_AT2) or (515_AT3 and 516_AT1 and 10476_AT1 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 522_AT4 and 521_AT1) or (521_AT1 and 10632_AT1 and 9551_AT1 and 522_AT2 and 4905_AT1 and 515_AT1 and 10476_AT2 and 516_AT1) or (515_AT2 and 521_AT1 and 10632_AT1 and 4905_AT1 and 9551_AT3 and 522_AT2 and 518_AT2 and 10476_AT2) or (521_AT1 and 10632_AT1 and 522_AT2 and 9551_AT3 and 4905_AT1 and 10476_AT1 and 518_AT3 and 515_AT1) or (515_AT3 and 518_AT2 and 10476_AT2 and 4905_AT1 and 522_AT3 and 9551_AT2 and 10632_AT1 and 521_AT1) or (10476_AT2 and 515_AT3 and 522_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 517_AT2 and 521_AT1) or (515_AT3 and 518_AT3 and 10476_AT1 and 4905_AT1 and 522_AT2 and 9551_AT3 and 10632_AT1 and 521_AT1) or (521_AT1 and 515_AT2 and 522_AT1 and 517_AT2 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 10476_AT2) or (9551_AT3 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT1 and 521_AT1 and 522_AT3 and 10632_AT1) or (10632_AT1 and 9551_AT1 and 517_AT2 and 522_AT4 and 521_AT1 and 10476_AT2 and 515_AT1 and 4905_AT1) or (4905_AT1 and 10476_AT1 and 518_AT2 and 515_AT2 and 521_AT1 and 522_AT3 and 10632_AT1 and 9551_AT1) or (4905_AT1 and 9551_AT3 and 515_AT1 and 10476_AT1 and 521_AT1 and 517_AT1 and 522_AT3 and 10632_AT1) or (4905_AT1 and 10476_AT2 and 516_AT1 and 515_AT3 and 522_AT1 and 521_AT1 and 9551_AT2 and 10632_AT1) or (4905_AT1 and 10476_AT2 and 515_AT2 and 521_AT1 and 518_AT1 and 9551_AT1 and 522_AT3 and 10632_AT1) or (10632_AT1 and 9551_AT1 and 522_AT1 and 521_AT1 and 515_AT1 and 10476_AT1 and 516_AT2 and 4905_AT1) or (522_AT3 and 9551_AT2 and 10632_AT1 and 517_AT1 and 515_AT2 and 521_AT1 and 10476_AT2 and 4905_AT1) or (10476_AT2 and 515_AT3 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 522_AT1 and 518_AT1 and 521_AT1) or (516_AT1 and 10476_AT2 and 515_AT3 and 9551_AT3 and 4905_AT1 and 10632_AT1 and 522_AT1 and 521_AT1) or (4905_AT1 and 522_AT5 and 515_AT3 and 518_AT3 and 10476_AT1 and 521_AT1 and 9551_AT1 and 10632_AT1) or (515_AT1 and 10476_AT1 and 522_AT5 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 521_AT1 and 517_AT2) or (515_AT1 and 10476_AT1 and 518_AT2 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 522_AT4 and 521_AT1) or (9551_AT2 and 522_AT3 and 10632_AT1 and 521_AT1 and 515_AT1 and 10476_AT2 and 518_AT3 and 4905_AT1) or (515_AT1 and 10476_AT1 and 516_AT2 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 522_AT3 and 521_AT1) or (10476_AT2 and 515_AT1 and 516_AT1 and 4905_AT1 and 10632_AT1 and 9551_AT2 and 521_AT1 and 522_AT4) or (9551_AT1 and 10632_AT1 and 521_AT1 and 522_AT4 and 518_AT2 and 10476_AT2 and 515_AT1 and 4905_AT1) or (515_AT1 and 10476_AT1 and 4905_AT1 and 522_AT5 and 9551_AT3 and 10632_AT1 and 521_AT1 and 518_AT1) or (10476_AT1 and 516_AT1 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 521_AT1 and 515_AT2 and 522_AT1) or (4905_AT1 and 522_AT2 and 515_AT1 and 10476_AT2 and 521_AT1 and 518_AT1 and 9551_AT2 and 10632_AT1) or (10476_AT2 and 515_AT1 and 4905_AT1 and 10632_AT1 and 522_AT3 and 9551_AT1 and 518_AT1 and 521_AT1) or (9551_AT2 and 522_AT3 and 10632_AT1 and 517_AT1 and 521_AT1 and 10476_AT1 and 515_AT3 and 4905_AT1) or (515_AT2 and 521_AT1 and 518_AT1 and 522_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 10476_AT2) or (521_AT1 and 522_AT1 and 518_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 515_AT1 and 10476_AT2) or (4905_AT1 and 10476_AT1 and 522_AT1 and 517_AT2 and 521_AT1 and 515_AT2 and 10632_AT1 and 9551_AT2) or (10476_AT2 and 515_AT1 and 9551_AT3 and 4905_AT1 and 516_AT2 and 10632_AT1 and 521_AT1 and 522_AT4) or (9551_AT2 and 10632_AT1 and 522_AT1 and 515_AT2 and 521_AT1 and 10476_AT2 and 516_AT2 and 4905_AT1) or (10476_AT1 and 522_AT5 and 4905_AT1 and 516_AT2 and 10632_AT1 and 9551_AT2 and 521_AT1 and 515_AT2) or (9551_AT3 and 522_AT5 and 4905_AT1 and 516_AT2 and 10476_AT1 and 515_AT3 and 521_AT1 and 10632_AT1) or (516_AT1 and 515_AT1 and 10476_AT2 and 4905_AT1 and 10632_AT1 and 9551_AT1 and 522_AT4 and 521_AT1) or (522_AT4 and 521_AT1 and 9551_AT1 and 10632_AT1 and 4905_AT1 and 518_AT2 and 515_AT3 and 10476_AT2) or (522_AT3 and 10632_AT1 and 9551_AT1 and 521_AT1 and 10476_AT1 and 515_AT1 and 516_AT1 and 4905_AT1) or (4905_AT1 and 10476_AT2 and 518_AT2 and 522_AT1 and 515_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1) or (4905_AT1 and 522_AT5 and 10476_AT2 and 515_AT1 and 518_AT1 and 521_AT1 and 10632_AT1 and 9551_AT2) or (9551_AT2 and 10632_AT1 and 521_AT1 and 518_AT2 and 10476_AT1 and 515_AT1 and 522_AT5 and 4905_AT1) or (518_AT3 and 10476_AT2 and 9551_AT3 and 522_AT5 and 4905_AT1 and 10632_AT1 and 515_AT2 and 521_AT1) or (4905_AT1 and 10476_AT1 and 515_AT1 and 518_AT1 and 522_AT1 and 521_AT1 and 9551_AT2 and 10632_AT1) or (522_AT4 and 515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 518_AT3 and 10476_AT2) or (516_AT1 and 10476_AT2 and 4905_AT1 and 9551_AT2 and 522_AT3 and 10632_AT1 and 515_AT2 and 521_AT1) or (515_AT3 and 10476_AT1 and 518_AT3 and 522_AT5 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 521_AT1) or (4905_AT1 and 522_AT2 and 9551_AT3 and 515_AT1 and 10476_AT1 and 521_AT1 and 518_AT1 and 10632_AT1) or (521_AT1 and 10632_AT1 and 9551_AT3 and 4905_AT1 and 522_AT5 and 10476_AT1 and 516_AT1 and 515_AT3) or (10476_AT1 and 4905_AT1 and 9551_AT2 and 10632_AT1 and 517_AT2 and 515_AT2 and 522_AT4 and 521_AT1) or (515_AT3 and 516_AT1 and 10476_AT2 and 4905_AT1 and 9551_AT3 and 10632_AT1 and 522_AT3 and 521_AT1) or (9551_AT2 and 522_AT3 and 10632_AT1 and 521_AT1 and 517_AT1 and 10476_AT2 and 515_AT1 and 4905_AT1) or (517_AT1 and 521_AT1 and 10632_AT1 and 9551_AT1 and 522_AT2 and 4905_AT1 and 515_AT1 and 10476_AT2) or (10632_AT1 and 521_AT1 and 10476_AT1 and 518_AT3 and 515_AT1 and 522_AT5 and 4905_AT1 and 9551_AT3) or (4905_AT1 and 522_AT5 and 515_AT1 and 10476_AT2 and 518_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1) or (522_AT4 and 515_AT2 and 521_AT1 and 9551_AT2 and 10632_AT1 and 4905_AT1 and 10476_AT2 and 518_AT2) or (9551_AT1 and 10632_AT1 and 521_AT1 and 522_AT4 and 515_AT2 and 518_AT2 and 10476_AT1 and 4905_AT1) or (515_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2 and 516_AT2 and 4905_AT1 and 522_AT2 and 10476_AT1) or (10476_AT2 and 518_AT3 and 515_AT1 and 4905_AT1 and 522_AT5 and 9551_AT2 and 10632_AT1 and 521_AT1) or (9551_AT2 and 10632_AT1 and 517_AT2 and 521_AT1 and 522_AT4 and 10476_AT2 and 515_AT3 and 4905_AT1) or (521_AT1 and 518_AT1 and 9551_AT1 and 10632_AT1 and 522_AT5 and 4905_AT1 and 515_AT3 and 10476_AT1)) and ((509_AT1 and 498_AT3 and 514_AT2 and 513_AT1 and 506_AT1) or (509_AT1 and 498_AT2 and 506_AT1 and 514_AT1 and 513_AT2) or (506_AT1 and 513_AT2 and 509_AT2 and 514_AT2 and 498_AT2) or (509_AT1 and 506_AT1 and 498_AT1 and 513_AT2 and 514_AT1) or (514_AT1 and 513_AT2 and 506_AT1 and 509_AT2 and 498_AT2) or (513_AT1 and 509_AT2 and 514_AT2 and 498_AT2 and 506_AT1) or (509_AT1 and 498_AT3 and 506_AT1 and 513_AT2 and 514_AT1) or (506_AT1 and 513_AT2 and 498_AT3 and 514_AT2 and 509_AT2) or (506_AT1 and 498_AT1 and 513_AT2 and 514_AT1 and 509_AT2) or (514_AT1 and 513_AT2 and 506_AT1 and 509_AT2 and 498_AT3) or (498_AT1 and 506_AT1 and 513_AT2 and 509_AT2 and 514_AT2) or (513_AT2 and 506_AT1 and 514_AT2 and 498_AT3 and 509_AT1) or (509_AT1 and 513_AT1 and 498_AT1 and 506_AT1 and 514_AT1) or (513_AT1 and 514_AT2 and 509_AT1 and 498_AT1 and 506_AT1) or (506_AT1 and 514_AT1 and 509_AT1 and 513_AT1 and 498_AT2) or (498_AT3 and 509_AT2 and 514_AT2 and 513_AT1 and 506_AT1) or (514_AT1 and 506_AT1 and 498_AT1 and 513_AT1 and 509_AT2) or (509_AT1 and 514_AT2 and 498_AT2 and 513_AT1 and 506_AT1) or (509_AT2 and 498_AT2 and 513_AT1 and 506_AT1 and 514_AT1) or (509_AT1 and 498_AT2 and 514_AT2 and 506_AT1 and 513_AT2) or (514_AT1 and 506_AT1 and 509_AT2 and 513_AT1 and 498_AT3) or (513_AT1 and 498_AT3 and 509_AT1 and 514_AT1 and 506_AT1) or (498_AT1 and 506_AT1 and 509_AT2 and 514_AT2 and 513_AT1) or (513_AT2 and 498_AT1 and 506_AT1 and 514_AT2 and 509_AT1))

Report an error on this page ?

External database links

  • Online Mendelian Inheritance in Man: 603150
  • Human Protein Reference Database: 04397
  • NCBI Entrez Gene: 513
  • CCDS: CCDS12058.1

Provided by MetaNetX (CC BY 4.0)

Old identifiers

    513.2

Latest BiGG Models publication:

King ZA, Lu JS, Dräger A, Miller PC, Federowicz S, Lerman JA, Ebrahim A, Palsson BO, and Lewis NE. BiGG Models: A platform for integrating, standardizing, and sharing genome-scale models (2016) Nucleic Acids Research 44(D1):D515-D522. doi:10.1093/nar/gkv1049


Copyright © 2019 The Regents of the University of California.