Reaction: ATPS4m

Descriptive name:

ATP synthase (four protons for one ATP)

Model:

RECON1

Reaction:

4.0 h_c + adp_m + pi_m → atp_m + h2o_m + 3.0 h_m

Metabolites:

Stoichiometry
BiGG ID
Name
-4.0
h_c
H+
-1.0
adp_m
ADP C10H12N5O10P2
1.0
atp_m
ATP C10H12N5O13P3
1.0
h2o_m
H2O H2O
3.0
h_m
H+
-1.0
pi_m
Phosphate

Default bounds:

(0.0, 999999.0)

Objective coefficient:

0.0

Subsystem:

Oxidative Phosphorylation

Gene Reaction Rule:

((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))

Genes:

9551_AT2 (ATP5J2)
518_AT1 (ATP5G3)
517_AT2 (ATP5G2)
514_AT1 (ATP5E)
521_AT1 (ATP5I)
509_AT2 (ATP5C1)
513_AT1 (ATP5D)
10476_AT2 (ATP5H)
517_AT1 (ATP5G2)
515_AT1 (ATP5F1)
522_AT5 (ATP5J)
516_AT1 (ATP5G1)
498_AT3 (ATP5A1)
522_AT3 (ATP5J)
498_AT2 (ATP5A1)
522_AT2 (ATP5J)
518_AT2 (ATP5G3)
498_AT1 (ATP5A1)
514_AT2 (ATP5E)
513_AT2 (ATP5D)
506_AT1 (ATP5B)
522_AT4 (ATP5J)
10632_AT1 (ATP5L)
515_AT2 (ATP5F1)
10476_AT1 (ATP5H)
522_AT1 (ATP5J)
9551_AT1 (ATP5J2)
516_AT2 (ATP5G1)
509_AT1 (ATP5C1)
515_AT3 (ATP5F1)
4905_AT1 (NSF)
9551_AT3 (ATP5J2)
518_AT3 (ATP5G3)

Report an error on this page ?

Universal reaction ?

External database links

Provided by MetaNetX (CC BY 4.0)

Old identifiers

    ATPS4m

ATPS4m in other models