ATPS4mi

ATP synthase (four protons for one ATP)

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