Reaction: ATPS4mi

Descriptive name:

ATP synthase (four protons for one ATP)

Model:

Recon3D

Reaction:

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

Metabolites:

Stoichiometry
BiGG ID
Name
-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
-4.0
h_i
H+

Default bounds:

(0.0, 1000.0)

Objective coefficient:

0.0

Subsystem:

Oxidative phosphorylation

Gene Reaction Rule:

((513_AT1 and 498_AT2 and 506_AT1 and 509_AT2 and 514_AT1) or (498_AT2 and 513_AT2 and 514_AT2 and 506_AT1 and 509_AT2) or (513_AT1 and 509_AT1 and 498_AT1 and 514_AT2 and 506_AT1) or (498_AT2 and 513_AT2 and 506_AT1 and 509_AT2 and 514_AT1) or (513_AT2 and 498_AT1 and 514_AT2 and 506_AT1 and 509_AT2) or (513_AT1 and 498_AT1 and 506_AT1 and 509_AT2 and 514_AT1) or (513_AT1 and 498_AT2 and 514_AT2 and 506_AT1 and 509_AT2) or (513_AT1 and 498_AT2 and 509_AT1 and 506_AT1 and 514_AT1) or (498_AT2 and 509_AT1 and 513_AT2 and 506_AT1 and 514_AT1) or (513_AT2 and 498_AT1 and 506_AT1 and 509_AT2 and 514_AT1) or (513_AT2 and 514_AT2 and 506_AT1 and 509_AT2 and 498_AT3) or (513_AT2 and 506_AT1 and 509_AT2 and 498_AT3 and 514_AT1) or (513_AT1 and 509_AT1 and 506_AT1 and 498_AT3 and 514_AT1) or (509_AT1 and 513_AT2 and 514_AT2 and 506_AT1 and 498_AT3) or (513_AT1 and 498_AT2 and 509_AT1 and 514_AT2 and 506_AT1) or (513_AT1 and 498_AT1 and 514_AT2 and 506_AT1 and 509_AT2) or (513_AT1 and 509_AT1 and 498_AT1 and 506_AT1 and 514_AT1) or (513_AT1 and 506_AT1 and 509_AT2 and 498_AT3 and 514_AT1) or (509_AT1 and 513_AT2 and 506_AT1 and 498_AT3 and 514_AT1) or (513_AT1 and 514_AT2 and 506_AT1 and 509_AT2 and 498_AT3) or (509_AT1 and 513_AT2 and 498_AT1 and 506_AT1 and 514_AT1) or (513_AT1 and 509_AT1 and 514_AT2 and 506_AT1 and 498_AT3) or (498_AT2 and 509_AT1 and 513_AT2 and 514_AT2 and 506_AT1) or (509_AT1 and 513_AT2 and 498_AT1 and 514_AT2 and 506_AT1)) and ((10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT5 and 516_AT2 and 521_AT1 and 515_AT1) or (518_AT3 and 4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT3) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT2 and 522_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT5 and 9551_AT2 and 518_AT2 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5) or (518_AT3 and 4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT4) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 518_AT2 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT3 and 518_AT2 and 521_AT1) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 522_AT1 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 522_AT1 and 9551_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT5 and 518_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 518_AT2 and 522_AT4 and 521_AT1 and 515_AT1) or (4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5 and 518_AT2) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 522_AT3) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 522_AT3 and 521_AT1 and 515_AT1) or (4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT5 and 518_AT2 and 9551_AT2) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 518_AT2 and 522_AT3) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT4 and 521_AT1) or (4905_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1 and 10632_AT1 and 518_AT2 and 9551_AT2) or (4905_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT2) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT4 and 521_AT1 and 515_AT1) or (518_AT3 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT1 and 9551_AT2 and 518_AT2 and 521_AT1) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 522_AT5) or (4905_AT1 and 10476_AT2 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT3) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT1 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 522_AT4) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT5 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT3 and 10476_AT2 and 9551_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 517_AT2 and 515_AT2 and 522_AT1 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT3 and 522_AT3 and 521_AT1 and 515_AT1) or (4905_AT1 and 10476_AT2 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT3) or (517_AT1 and 4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT3) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 518_AT2 and 522_AT3) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 518_AT2 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 515_AT2 and 9551_AT2 and 518_AT2 and 521_AT1) or (4905_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT2) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (4905_AT1 and 522_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3 and 522_AT5 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT3 and 516_AT2 and 521_AT1) or (518_AT3 and 4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT4 and 516_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT5 and 521_AT1 and 518_AT1 and 515_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT2 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 515_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3 and 522_AT1 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 517_AT2 and 515_AT2 and 522_AT5 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4 and 518_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 522_AT5 and 9551_AT2 and 521_AT1 and 518_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 516_AT2 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3) or (518_AT3 and 4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT5 and 9551_AT2) or (4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 9551_AT2 and 522_AT3) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT5 and 521_AT1) or (517_AT1 and 4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT5) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 517_AT2 and 515_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT1 and 516_AT2 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT5 and 521_AT1) or (4905_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 518_AT2) or (518_AT3 and 4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (517_AT1 and 4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT4 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT1 and 516_AT2 and 521_AT1) or (4905_AT1 and 10476_AT2 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT5 and 9551_AT2) or (518_AT3 and 4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT3) or (517_AT1 and 4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4 and 518_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT4 and 521_AT1 and 518_AT1) or (518_AT3 and 4905_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT4 and 516_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 517_AT2 and 515_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT2 and 522_AT4 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3 and 522_AT4) or (4905_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1) or (4905_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 518_AT2) or (518_AT3 and 4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT5) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 521_AT1 and 515_AT1) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT5 and 518_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT5 and 518_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT4 and 516_AT2 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT5 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT2 and 521_AT1 and 518_AT1 and 515_AT1) or (517_AT1 and 4905_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT2) or (517_AT1 and 4905_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1) or (518_AT3 and 4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT5 and 9551_AT2) or (4905_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT2) or (4905_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 518_AT2 and 522_AT4 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 522_AT2 and 10476_AT2 and 9551_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT2 and 516_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 521_AT1 and 518_AT1 and 515_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT3 and 10476_AT2 and 9551_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 516_AT2 and 522_AT3 and 521_AT1) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT4 and 518_AT2) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 518_AT2 and 9551_AT2 and 522_AT3) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT5 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT1 and 9551_AT2 and 521_AT1 and 518_AT1) or (518_AT3 and 4905_AT1 and 9551_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1) or (4905_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 518_AT2 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT5 and 518_AT2 and 521_AT1 and 515_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 9551_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT2 and 522_AT1 and 9551_AT2 and 521_AT1 and 515_AT1) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 518_AT2 and 522_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 9551_AT2 and 518_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT1 and 518_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 522_AT2 and 9551_AT3 and 10476_AT2 and 521_AT1 and 515_AT1) or (517_AT1 and 4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT5 and 521_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3 and 522_AT5) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 522_AT5 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT4 and 516_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT4 and 521_AT1 and 518_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 517_AT2 and 515_AT2 and 522_AT3 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 522_AT1 and 9551_AT2 and 521_AT1 and 518_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 521_AT1 and 518_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 517_AT2 and 522_AT1 and 521_AT1) or (4905_AT1 and 10476_AT2 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT2 and 522_AT3 and 521_AT1) or (518_AT3 and 4905_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT2) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 522_AT5) or (4905_AT1 and 10476_AT2 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 522_AT4) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT2 and 521_AT1) or (518_AT3 and 4905_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT3 and 521_AT1 and 518_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT5 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT2 and 522_AT4 and 516_AT2 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT1 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT1 and 521_AT1 and 518_AT1) or (4905_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3) or (518_AT3 and 4905_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT2) or (517_AT1 and 4905_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT2 and 521_AT1 and 515_AT1) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 522_AT4) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT5 and 516_AT2 and 521_AT1) or (517_AT1 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT5 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT1 and 516_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 517_AT2 and 522_AT1 and 521_AT1 and 515_AT1) or (518_AT3 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT4 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 517_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT3 and 521_AT1 and 518_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 517_AT2 and 515_AT2 and 522_AT3 and 521_AT1) or (4905_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT1 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT3 and 521_AT1 and 518_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 518_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 515_AT2 and 9551_AT2 and 521_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT5 and 518_AT2 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 515_AT2 and 521_AT1 and 518_AT1) or (4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 518_AT2 and 9551_AT2 and 522_AT3) or (4905_AT1 and 10476_AT2 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT4 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT2 and 521_AT1 and 518_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 517_AT2 and 522_AT1 and 9551_AT2 and 521_AT1) or (518_AT3 and 4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT2 and 10476_AT2 and 522_AT5 and 9551_AT2 and 521_AT1) or (517_AT1 and 4905_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 518_AT2 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 522_AT4 and 9551_AT2) or (518_AT3 and 4905_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT5 and 9551_AT2 and 518_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT3 and 522_AT1 and 521_AT1 and 515_AT1) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 522_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 517_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 516_AT2 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 10476_AT2 and 522_AT5 and 521_AT1 and 515_AT1) or (4905_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 517_AT2 and 515_AT2 and 522_AT1 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 522_AT5 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 516_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT5 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3 and 522_AT3) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT2 and 518_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 9551_AT2 and 518_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT5 and 9551_AT2 and 521_AT1 and 518_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT5 and 521_AT1 and 518_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5 and 518_AT2) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 517_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 522_AT1 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3 and 9551_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 517_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3 and 9551_AT2 and 522_AT3 and 521_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT2) or (4905_AT1 and 10476_AT2 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 522_AT5 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 518_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 517_AT2 and 515_AT2 and 9551_AT2 and 522_AT3 and 521_AT1) or (4905_AT1 and 10476_AT2 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 522_AT4 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 518_AT2 and 522_AT3 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT1 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 518_AT2 and 522_AT4 and 521_AT1) or (517_AT1 and 4905_AT1 and 9551_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1 and 10632_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 518_AT2 and 522_AT4 and 521_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT1 and 516_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT5 and 516_AT2 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 522_AT5 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT1 and 516_AT2 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT4 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 518_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 517_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 517_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 522_AT5 and 9551_AT2 and 518_AT2 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 522_AT1 and 9551_AT2 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT3 and 521_AT1) or (518_AT3 and 4905_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3) or (4905_AT1 and 10476_AT2 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (517_AT1 and 4905_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT3 and 10476_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (518_AT3 and 4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT5) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 522_AT5) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT3 and 515_AT2 and 10476_AT2 and 522_AT5 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT5 and 521_AT1) or (518_AT3 and 4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT5) or (517_AT1 and 4905_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3) or (518_AT3 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (4905_AT1 and 10476_AT2 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT2 and 10476_AT2 and 9551_AT2 and 522_AT4 and 521_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 522_AT4 and 9551_AT2) or (4905_AT1 and 10476_AT2 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 522_AT5 and 9551_AT2) or (517_AT1 and 4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT3) or (4905_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2) or (4905_AT1 and 515_AT3 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT3) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5 and 518_AT2) or (4905_AT1 and 522_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 518_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 522_AT2 and 515_AT2 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 517_AT2 and 522_AT5 and 521_AT1) or (517_AT1 and 4905_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 10476_AT2 and 522_AT4 and 521_AT1 and 515_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT5 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 522_AT1 and 9551_AT2 and 516_AT2 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 9551_AT2 and 522_AT4 and 521_AT1) or (517_AT1 and 4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 516_AT2 and 521_AT1 and 515_AT1) or (4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4 and 518_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT1 and 521_AT1 and 518_AT1 and 515_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT3 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT4 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT1 and 518_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT3 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT1 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 517_AT2 and 522_AT4 and 521_AT1) or (4905_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 9551_AT2 and 522_AT4 and 521_AT1 and 518_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT1 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 517_AT2 and 522_AT1 and 9551_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 522_AT5 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 517_AT2 and 522_AT1 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT1 and 521_AT1 and 518_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT3 and 521_AT1 and 515_AT1) or (517_AT1 and 4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT5 and 9551_AT2) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 516_AT2 and 521_AT1 and 10632_AT1) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1 and 10632_AT1 and 518_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT4 and 521_AT1 and 518_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 517_AT2 and 522_AT5 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT5 and 516_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 518_AT2 and 522_AT3 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT1 and 9551_AT2 and 521_AT1 and 515_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT4 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT1 and 521_AT1 and 515_AT1) or (518_AT3 and 4905_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3) or (518_AT3 and 4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 522_AT4) or (4905_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT1 and 521_AT1 and 518_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT5 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT4 and 521_AT1 and 518_AT1) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 516_AT2 and 521_AT1 and 10632_AT1) or (517_AT1 and 4905_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 517_AT2 and 522_AT5 and 9551_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT2 and 9551_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 9551_AT2 and 522_AT4 and 521_AT1) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 522_AT4) or (518_AT3 and 4905_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT1 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT3 and 9551_AT3 and 10476_AT2 and 522_AT1 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT5 and 9551_AT2 and 516_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT4 and 521_AT1 and 518_AT1) or (517_AT1 and 4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1) or (4905_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT3 and 10476_AT2 and 522_AT4 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 517_AT2 and 9551_AT2 and 522_AT3 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT5 and 521_AT1) or (4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 518_AT2 and 522_AT3) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT2 and 522_AT4 and 521_AT1 and 515_AT1) or (517_AT1 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT3) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 518_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 518_AT2 and 522_AT3 and 521_AT1) or (517_AT1 and 4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5) or (4905_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 9551_AT2) or (517_AT1 and 4905_AT1 and 9551_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 522_AT5 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT2 and 522_AT5 and 9551_AT2 and 521_AT1 and 515_AT1) or (517_AT1 and 4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4) or (4905_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 518_AT2 and 9551_AT2) or (4905_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2) or (4905_AT1 and 10476_AT2 and 522_AT1 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT2) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 522_AT1 and 9551_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 10476_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 517_AT2 and 515_AT2 and 9551_AT2 and 521_AT1) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 518_AT1 and 10632_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT4 and 521_AT1) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 522_AT3) or (517_AT1 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5) or (518_AT3 and 4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT4) or (4905_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 9551_AT2) or (4905_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT4 and 516_AT2 and 521_AT1) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 522_AT3) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT5 and 518_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 517_AT2 and 9551_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT3 and 515_AT2 and 10476_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 522_AT5 and 9551_AT2 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 517_AT2 and 515_AT2 and 521_AT1) or (518_AT3 and 4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 518_AT2 and 522_AT3) or (517_AT1 and 4905_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT1 and 518_AT2 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT4 and 518_AT2 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT3 and 521_AT1 and 518_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 521_AT1 and 518_AT1) or (518_AT3 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT5 and 9551_AT2) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT5 and 521_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT2 and 518_AT2 and 522_AT4 and 521_AT1 and 515_AT1) or (4905_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 518_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT1 and 9551_AT2 and 521_AT1 and 518_AT1 and 515_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT3 and 522_AT3) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT3 and 521_AT1) or (4905_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2) or (518_AT3 and 4905_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT1 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT2 and 518_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT1 and 518_AT2 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 517_AT2 and 522_AT4 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 522_AT3) or (4905_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3) or (517_AT1 and 4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT5) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT3 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 9551_AT2 and 516_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 517_AT2 and 515_AT2 and 522_AT5 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT1 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT5 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT5 and 516_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT2 and 522_AT4 and 521_AT1 and 518_AT1 and 515_AT1) or (517_AT1 and 4905_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT2 and 9551_AT2 and 522_AT4 and 521_AT1) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 522_AT3) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 522_AT5 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT3 and 10476_AT2 and 522_AT5 and 9551_AT2 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT1 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT2 and 522_AT4 and 516_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT3 and 9551_AT3 and 10476_AT2 and 522_AT5 and 521_AT1) or (518_AT3 and 4905_AT1 and 9551_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1 and 10632_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT2 and 518_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT1 and 516_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 9551_AT2 and 522_AT3 and 521_AT1 and 518_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 517_AT2 and 522_AT5 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3 and 522_AT3) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 518_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 517_AT2 and 522_AT1 and 521_AT1) or (517_AT1 and 4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 522_AT4) or (4905_AT1 and 9551_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT2 and 9551_AT2 and 522_AT4 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 522_AT5 and 9551_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT5 and 9551_AT2 and 516_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT2 and 516_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 522_AT2 and 9551_AT2 and 521_AT1 and 515_AT1) or (517_AT1 and 4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT4 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 516_AT2 and 522_AT3 and 521_AT1) or (4905_AT1 and 10476_AT2 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT5 and 518_AT2 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT1 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT5 and 518_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT2 and 518_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT1 and 521_AT1) or (518_AT3 and 4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT5 and 9551_AT2 and 521_AT1 and 518_AT1) or (518_AT3 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT3) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT4 and 521_AT1) or (517_AT1 and 4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT3) or (4905_AT1 and 515_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 522_AT5 and 9551_AT2) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 522_AT5) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 517_AT2 and 9551_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (4905_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 518_AT2 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 517_AT2 and 9551_AT2 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT4 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT3 and 515_AT2 and 10476_AT2 and 522_AT3 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT1 and 521_AT1 and 515_AT1) or (518_AT3 and 4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT3) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 9551_AT2 and 522_AT3 and 521_AT1) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 522_AT4) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT5) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT4) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 518_AT2 and 522_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 521_AT1 and 518_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT3 and 521_AT1 and 518_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT3 and 521_AT1 and 518_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT2 and 522_AT5 and 9551_AT2 and 521_AT1) or (517_AT1 and 4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT4) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 515_AT2 and 516_AT2 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT3) or (4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3 and 522_AT4) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT4 and 518_AT2) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 517_AT2 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 517_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 518_AT2 and 522_AT4 and 521_AT1) or (518_AT3 and 4905_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT2) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 518_AT1 and 10632_AT1) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 522_AT4) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT3 and 10476_AT2 and 522_AT5 and 521_AT1 and 515_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT1 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT2 and 518_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT5 and 9551_AT2 and 521_AT1) or (518_AT3 and 4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT5 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT3 and 9551_AT3 and 10476_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 517_AT2 and 522_AT5 and 9551_AT2 and 521_AT1) or (4905_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT2) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT1 and 521_AT1 and 515_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 515_AT2 and 9551_AT2 and 521_AT1 and 518_AT1) or (517_AT1 and 4905_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT3) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1) or (4905_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 522_AT4 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 515_AT2 and 9551_AT2 and 516_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT4 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT2 and 522_AT4 and 521_AT1 and 515_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT1 and 9551_AT2 and 518_AT2 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT3 and 522_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 517_AT2 and 522_AT4 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT2 and 10476_AT2 and 9551_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT2 and 522_AT3 and 521_AT1 and 518_AT1 and 515_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT5 and 521_AT1 and 515_AT1) or (517_AT1 and 4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT5) or (4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 522_AT5 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 516_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT2 and 9551_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT4 and 521_AT1 and 518_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 517_AT2 and 515_AT2 and 9551_AT2 and 522_AT4 and 521_AT1) or (518_AT3 and 4905_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (518_AT3 and 4905_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3) or (517_AT1 and 4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT5 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT5 and 521_AT1 and 518_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 517_AT2 and 522_AT5 and 521_AT1 and 515_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT4 and 516_AT2 and 521_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3 and 518_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT2 and 522_AT4 and 521_AT1 and 518_AT1) or (517_AT1 and 4905_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 522_AT4 and 9551_AT2) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT4 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT2 and 516_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT3 and 522_AT5 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 522_AT4 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT4 and 518_AT2 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT1 and 521_AT1) or (4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 522_AT4 and 9551_AT2) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 515_AT2 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT3 and 9551_AT3 and 10476_AT2 and 522_AT3 and 521_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT3) or (4905_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 517_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 515_AT2 and 518_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 518_AT2 and 521_AT1) or (4905_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 518_AT2) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 522_AT5) or (4905_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 518_AT2) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 522_AT5 and 9551_AT2) or (517_AT1 and 4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT3) or (518_AT3 and 4905_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2) or (4905_AT1 and 515_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT1 and 9551_AT2 and 516_AT2 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3 and 522_AT5) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 522_AT5) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 518_AT2 and 521_AT1 and 515_AT1) or (4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3 and 522_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 522_AT5 and 9551_AT2 and 516_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 522_AT3 and 521_AT1) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT5 and 518_AT2) or (4905_AT1 and 515_AT3 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 517_AT2 and 9551_AT2 and 522_AT4 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 9551_AT3 and 518_AT2) or (517_AT1 and 4905_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT3 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5) or (4905_AT1 and 515_AT3 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 522_AT4 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT1 and 521_AT1 and 518_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 517_AT2 and 9551_AT2 and 522_AT4 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 522_AT2 and 521_AT1 and 515_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT2 and 522_AT3) or (4905_AT1 and 9551_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1) or (518_AT3 and 4905_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT5 and 518_AT2 and 9551_AT2) or (518_AT3 and 4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT4 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT1 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT3 and 521_AT1 and 515_AT1) or (517_AT1 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT4 and 9551_AT2) or (4905_AT1 and 9551_AT1 and 522_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 522_AT5 and 518_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 522_AT5 and 9551_AT2 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT2 and 522_AT3 and 521_AT1) or (518_AT3 and 4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT3) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 522_AT4 and 9551_AT2) or (4905_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 518_AT2 and 9551_AT2) or (517_AT1 and 4905_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT1 and 518_AT2 and 521_AT1) or (4905_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 518_AT2) or (4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT4 and 518_AT2 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 516_AT2 and 522_AT3 and 521_AT1) or (517_AT1 and 4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT4) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT2 and 522_AT3 and 521_AT1 and 518_AT1) or (4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 522_AT3) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 518_AT2 and 9551_AT2 and 522_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 517_AT2 and 515_AT2 and 522_AT1 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT1 and 9551_AT2 and 516_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 515_AT2 and 521_AT1) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT1 and 521_AT1 and 518_AT1) or (4905_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 9551_AT2) or (517_AT1 and 4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT3) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 522_AT5 and 521_AT1) or (518_AT3 and 4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT4 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT5 and 521_AT1 and 518_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 516_AT2 and 522_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT4 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT3 and 521_AT1 and 518_AT1 and 515_AT1) or (517_AT1 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4) or (518_AT3 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT3 and 522_AT5) or (518_AT3 and 4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 522_AT4) or (10632_AT1 and 4905_AT1 and 516_AT1 and 522_AT2 and 9551_AT3 and 515_AT2 and 10476_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 10476_AT2 and 522_AT1 and 521_AT1 and 515_AT1) or (4905_AT1 and 9551_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT2 and 522_AT1 and 9551_AT2 and 521_AT1) or (4905_AT1 and 522_AT2 and 515_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT3) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 517_AT2 and 515_AT2 and 522_AT5 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT5 and 521_AT1 and 518_AT1) or (518_AT3 and 4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1) or (4905_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT2 and 522_AT1 and 518_AT2 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT2 and 516_AT2 and 521_AT1) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT4 and 518_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT3 and 521_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 522_AT1 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT2) or (4905_AT1 and 10476_AT2 and 522_AT1 and 516_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3) or (4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3 and 522_AT5) or (517_AT1 and 4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT3 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 515_AT3 and 522_AT2 and 9551_AT3 and 10476_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT5 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 522_AT1 and 9551_AT2 and 518_AT2 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 522_AT4 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 517_AT2 and 522_AT4 and 521_AT1 and 515_AT1) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 522_AT5) or (4905_AT1 and 9551_AT1 and 10476_AT2 and 521_AT1 and 518_AT1 and 515_AT1 and 10632_AT1 and 522_AT3) or (4905_AT1 and 9551_AT1 and 522_AT2 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 518_AT2) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT3 and 517_AT2 and 521_AT1) or (518_AT3 and 4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT3 and 522_AT3) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT3 and 515_AT2 and 522_AT3 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 518_AT1 and 10632_AT1 and 9551_AT3 and 522_AT4) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 517_AT2 and 515_AT2 and 522_AT4 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 522_AT1 and 9551_AT2 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT5 and 9551_AT2 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT2 and 9551_AT2 and 522_AT4 and 516_AT2 and 521_AT1) or (4905_AT1 and 515_AT3 and 10476_AT2 and 522_AT1 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2) or (517_AT1 and 4905_AT1 and 10476_AT2 and 521_AT1 and 515_AT1 and 10632_AT1 and 9551_AT2 and 522_AT3) or (517_AT1 and 4905_AT1 and 9551_AT1 and 515_AT3 and 10476_AT2 and 521_AT1 and 10632_AT1 and 522_AT4) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 516_AT2 and 522_AT3 and 521_AT1) or (10632_AT1 and 4905_AT1 and 516_AT1 and 9551_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 521_AT1) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 522_AT2 and 9551_AT3 and 515_AT2 and 521_AT1) or (4905_AT1 and 515_AT2 and 10476_AT2 and 521_AT1 and 10632_AT1 and 517_AT2 and 9551_AT3 and 522_AT4) or (518_AT3 and 10632_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 522_AT2 and 9551_AT2 and 521_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 522_AT5 and 521_AT1 and 518_AT1 and 515_AT1) or (4905_AT1 and 515_AT3 and 522_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 9551_AT2) or (10632_AT1 and 4905_AT1 and 516_AT1 and 10476_AT1 and 9551_AT3 and 522_AT4 and 521_AT1 and 515_AT1) or (10632_AT1 and 4905_AT1 and 10476_AT1 and 9551_AT1 and 515_AT3 and 522_AT5 and 516_AT2 and 521_AT1) or (4905_AT1 and 9551_AT1 and 515_AT2 and 10476_AT2 and 516_AT2 and 521_AT1 and 10632_AT1 and 522_AT5) or (10632_AT1 and 517_AT1 and 4905_AT1 and 10476_AT1 and 515_AT3 and 9551_AT3 and 522_AT3 and 521_AT1)) and (539_AT1 and 267020_AT1 and 27109_AT1)

Genes:

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

Report an error on this page ?

Universal reaction ?

External database links

Old identifiers

    ATPS4mi

ATPS4mi in other models