H(performed(X),T) /\ H(performed(Y), T) /\ X!=Y
--->false.

H(performed(X), T) /\ H(performed(Y), T2) /\ T2 == T + 1
---> EN(performed(Z),T3) /\ T3 > T /\ T3 < T2.

H(start,0)
--->E(performed(a1),Ta1).

H(performed(a1),Ta1)
--->E(performed(a2),Ta2)/\Ta2>Ta1
\/E(performed(a3),Ta3)/\Ta3>Ta1.

H(performed(a2),Ta2)
--->E(performed(a4),Ta4)/\Ta4>Ta2
\/E(performed(a5),Ta5)/\Ta5>Ta2.

H(performed(a3),Ta3)
--->E(performed(a6),Ta6)/\Ta6>Ta3
\/E(performed(a7),Ta7)/\Ta7>Ta3.

H(performed(a4),Ta4)
--->E(performed(a8),Ta8)/\Ta8>Ta4
\/E(performed(a9),Ta9)/\Ta9>Ta4.

H(performed(a5),Ta5)
--->E(performed(a10),Ta10)/\Ta10>Ta5
\/E(performed(a11),Ta11)/\Ta11>Ta5.

H(performed(a6),Ta6)
--->E(performed(a12),Ta12)/\Ta12>Ta6
\/E(performed(a13),Ta13)/\Ta13>Ta6.

H(performed(a7),Ta7)
--->E(performed(a14),Ta14)/\Ta14>Ta7
\/E(performed(a15),Ta15)/\Ta15>Ta7.

H(performed(a8),Ta8)
--->E(performed(a16),Ta16)/\Ta16>Ta8
\/E(performed(a17),Ta17)/\Ta17>Ta8.

H(performed(a9),Ta9)
--->E(performed(a18),Ta18)/\Ta18>Ta9
\/E(performed(a19),Ta19)/\Ta19>Ta9.

H(performed(a10),Ta10)
--->E(performed(a20),Ta20)/\Ta20>Ta10
\/E(performed(a21),Ta21)/\Ta21>Ta10.

H(performed(a11),Ta11)
--->E(performed(a22),Ta22)/\Ta22>Ta11
\/E(performed(a23),Ta23)/\Ta23>Ta11.

H(performed(a12),Ta12)
--->E(performed(a24),Ta24)/\Ta24>Ta12
\/E(performed(a25),Ta25)/\Ta25>Ta12.

H(performed(a13),Ta13)
--->E(performed(a26),Ta26)/\Ta26>Ta13
\/E(performed(a27),Ta27)/\Ta27>Ta13.

H(performed(a14),Ta14)
--->E(performed(a28),Ta28)/\Ta28>Ta14
\/E(performed(a29),Ta29)/\Ta29>Ta14.

H(performed(a15),Ta15)
--->E(performed(a30),Ta30)/\Ta30>Ta15
\/E(performed(a31),Ta31)/\Ta31>Ta15.

H(performed(a16),Ta16)
--->E(performed(a32),Ta32)/\Ta32>Ta16
\/E(performed(a33),Ta33)/\Ta33>Ta16.

H(performed(a17),Ta17)
--->E(performed(a34),Ta34)/\Ta34>Ta17
\/E(performed(a35),Ta35)/\Ta35>Ta17.

H(performed(a18),Ta18)
--->E(performed(a36),Ta36)/\Ta36>Ta18
\/E(performed(a37),Ta37)/\Ta37>Ta18.

H(performed(a19),Ta19)
--->E(performed(a38),Ta38)/\Ta38>Ta19
\/E(performed(a39),Ta39)/\Ta39>Ta19.

H(performed(a20),Ta20)
--->E(performed(a40),Ta40)/\Ta40>Ta20
\/E(performed(a41),Ta41)/\Ta41>Ta20.

H(performed(a21),Ta21)
--->E(performed(a42),Ta42)/\Ta42>Ta21
\/E(performed(a43),Ta43)/\Ta43>Ta21.

H(performed(a22),Ta22)
--->E(performed(a44),Ta44)/\Ta44>Ta22
\/E(performed(a45),Ta45)/\Ta45>Ta22.

H(performed(a23),Ta23)
--->E(performed(a46),Ta46)/\Ta46>Ta23
\/E(performed(a47),Ta47)/\Ta47>Ta23.

H(performed(a24),Ta24)
--->E(performed(a48),Ta48)/\Ta48>Ta24
\/E(performed(a49),Ta49)/\Ta49>Ta24.

H(performed(a25),Ta25)
--->E(performed(a50),Ta50)/\Ta50>Ta25
\/E(performed(a51),Ta51)/\Ta51>Ta25.

H(performed(a26),Ta26)
--->E(performed(a52),Ta52)/\Ta52>Ta26
\/E(performed(a53),Ta53)/\Ta53>Ta26.

H(performed(a27),Ta27)
--->E(performed(a54),Ta54)/\Ta54>Ta27
\/E(performed(a55),Ta55)/\Ta55>Ta27.

H(performed(a28),Ta28)
--->E(performed(a56),Ta56)/\Ta56>Ta28
\/E(performed(a57),Ta57)/\Ta57>Ta28.

H(performed(a29),Ta29)
--->E(performed(a58),Ta58)/\Ta58>Ta29
\/E(performed(a59),Ta59)/\Ta59>Ta29.

H(performed(a30),Ta30)
--->E(performed(a60),Ta60)/\Ta60>Ta30
\/E(performed(a61),Ta61)/\Ta61>Ta30.

H(performed(a31),Ta31)
--->E(performed(a62),Ta62)/\Ta62>Ta31
\/E(performed(a63),Ta63)/\Ta63>Ta31.

H(performed(a32),Ta32)
--->E(performed(a64),Ta64)/\Ta64>Ta32
\/E(performed(a65),Ta65)/\Ta65>Ta32.

H(performed(a33),Ta33)
--->E(performed(a66),Ta66)/\Ta66>Ta33
\/E(performed(a67),Ta67)/\Ta67>Ta33.

H(performed(a34),Ta34)
--->E(performed(a68),Ta68)/\Ta68>Ta34
\/E(performed(a69),Ta69)/\Ta69>Ta34.

H(performed(a35),Ta35)
--->E(performed(a70),Ta70)/\Ta70>Ta35
\/E(performed(a71),Ta71)/\Ta71>Ta35.

H(performed(a36),Ta36)
--->E(performed(a72),Ta72)/\Ta72>Ta36
\/E(performed(a73),Ta73)/\Ta73>Ta36.

H(performed(a37),Ta37)
--->E(performed(a74),Ta74)/\Ta74>Ta37
\/E(performed(a75),Ta75)/\Ta75>Ta37.

H(performed(a38),Ta38)
--->E(performed(a76),Ta76)/\Ta76>Ta38
\/E(performed(a77),Ta77)/\Ta77>Ta38.

H(performed(a39),Ta39)
--->E(performed(a78),Ta78)/\Ta78>Ta39
\/E(performed(a79),Ta79)/\Ta79>Ta39.

H(performed(a40),Ta40)
--->E(performed(a80),Ta80)/\Ta80>Ta40
\/E(performed(a81),Ta81)/\Ta81>Ta40.

H(performed(a41),Ta41)
--->E(performed(a82),Ta82)/\Ta82>Ta41
\/E(performed(a83),Ta83)/\Ta83>Ta41.

H(performed(a42),Ta42)
--->E(performed(a84),Ta84)/\Ta84>Ta42
\/E(performed(a85),Ta85)/\Ta85>Ta42.

H(performed(a43),Ta43)
--->E(performed(a86),Ta86)/\Ta86>Ta43
\/E(performed(a87),Ta87)/\Ta87>Ta43.

H(performed(a44),Ta44)
--->E(performed(a88),Ta88)/\Ta88>Ta44
\/E(performed(a89),Ta89)/\Ta89>Ta44.

H(performed(a45),Ta45)
--->E(performed(a90),Ta90)/\Ta90>Ta45
\/E(performed(a91),Ta91)/\Ta91>Ta45.

H(performed(a46),Ta46)
--->E(performed(a92),Ta92)/\Ta92>Ta46
\/E(performed(a93),Ta93)/\Ta93>Ta46.

H(performed(a47),Ta47)
--->E(performed(a94),Ta94)/\Ta94>Ta47
\/E(performed(a95),Ta95)/\Ta95>Ta47.

H(performed(a48),Ta48)
--->E(performed(a96),Ta96)/\Ta96>Ta48
\/E(performed(a97),Ta97)/\Ta97>Ta48.

H(performed(a49),Ta49)
--->E(performed(a98),Ta98)/\Ta98>Ta49
\/E(performed(a99),Ta99)/\Ta99>Ta49.

H(performed(a50),Ta50)
--->E(performed(a100),Ta100)/\Ta100>Ta50
\/E(performed(a101),Ta101)/\Ta101>Ta50.

H(performed(a51),Ta51)
--->E(performed(a102),Ta102)/\Ta102>Ta51
\/E(performed(a103),Ta103)/\Ta103>Ta51.

H(performed(a52),Ta52)
--->E(performed(a104),Ta104)/\Ta104>Ta52
\/E(performed(a105),Ta105)/\Ta105>Ta52.

H(performed(a53),Ta53)
--->E(performed(a106),Ta106)/\Ta106>Ta53
\/E(performed(a107),Ta107)/\Ta107>Ta53.

H(performed(a54),Ta54)
--->E(performed(a108),Ta108)/\Ta108>Ta54
\/E(performed(a109),Ta109)/\Ta109>Ta54.

H(performed(a55),Ta55)
--->E(performed(a110),Ta110)/\Ta110>Ta55
\/E(performed(a111),Ta111)/\Ta111>Ta55.

H(performed(a56),Ta56)
--->E(performed(a112),Ta112)/\Ta112>Ta56
\/E(performed(a113),Ta113)/\Ta113>Ta56.

H(performed(a57),Ta57)
--->E(performed(a114),Ta114)/\Ta114>Ta57
\/E(performed(a115),Ta115)/\Ta115>Ta57.

H(performed(a58),Ta58)
--->E(performed(a116),Ta116)/\Ta116>Ta58
\/E(performed(a117),Ta117)/\Ta117>Ta58.

H(performed(a59),Ta59)
--->E(performed(a118),Ta118)/\Ta118>Ta59
\/E(performed(a119),Ta119)/\Ta119>Ta59.

H(performed(a60),Ta60)
--->E(performed(a120),Ta120)/\Ta120>Ta60
\/E(performed(a121),Ta121)/\Ta121>Ta60.

H(performed(a61),Ta61)
--->E(performed(a122),Ta122)/\Ta122>Ta61
\/E(performed(a123),Ta123)/\Ta123>Ta61.

H(performed(a62),Ta62)
--->E(performed(a124),Ta124)/\Ta124>Ta62
\/E(performed(a125),Ta125)/\Ta125>Ta62.

H(performed(a63),Ta63)
--->E(performed(a126),Ta126)/\Ta126>Ta63
\/E(performed(a127),Ta127)/\Ta127>Ta63.

H(performed(a64),Ta64)
--->E(performed(a128),Ta128)/\Ta128>Ta64
\/E(performed(a129),Ta129)/\Ta129>Ta64.

H(performed(a65),Ta65)
--->E(performed(a130),Ta130)/\Ta130>Ta65
\/E(performed(a131),Ta131)/\Ta131>Ta65.

H(performed(a66),Ta66)
--->E(performed(a132),Ta132)/\Ta132>Ta66
\/E(performed(a133),Ta133)/\Ta133>Ta66.

H(performed(a67),Ta67)
--->E(performed(a134),Ta134)/\Ta134>Ta67
\/E(performed(a135),Ta135)/\Ta135>Ta67.

H(performed(a68),Ta68)
--->E(performed(a136),Ta136)/\Ta136>Ta68
\/E(performed(a137),Ta137)/\Ta137>Ta68.

H(performed(a69),Ta69)
--->E(performed(a138),Ta138)/\Ta138>Ta69
\/E(performed(a139),Ta139)/\Ta139>Ta69.

H(performed(a70),Ta70)
--->E(performed(a140),Ta140)/\Ta140>Ta70
\/E(performed(a141),Ta141)/\Ta141>Ta70.

H(performed(a71),Ta71)
--->E(performed(a142),Ta142)/\Ta142>Ta71
\/E(performed(a143),Ta143)/\Ta143>Ta71.

H(performed(a72),Ta72)
--->E(performed(a144),Ta144)/\Ta144>Ta72
\/E(performed(a145),Ta145)/\Ta145>Ta72.

H(performed(a73),Ta73)
--->E(performed(a146),Ta146)/\Ta146>Ta73
\/E(performed(a147),Ta147)/\Ta147>Ta73.

H(performed(a74),Ta74)
--->E(performed(a148),Ta148)/\Ta148>Ta74
\/E(performed(a149),Ta149)/\Ta149>Ta74.

H(performed(a75),Ta75)
--->E(performed(a150),Ta150)/\Ta150>Ta75
\/E(performed(a151),Ta151)/\Ta151>Ta75.

H(performed(a76),Ta76)
--->E(performed(a152),Ta152)/\Ta152>Ta76
\/E(performed(a153),Ta153)/\Ta153>Ta76.

H(performed(a77),Ta77)
--->E(performed(a154),Ta154)/\Ta154>Ta77
\/E(performed(a155),Ta155)/\Ta155>Ta77.

H(performed(a78),Ta78)
--->E(performed(a156),Ta156)/\Ta156>Ta78
\/E(performed(a157),Ta157)/\Ta157>Ta78.

H(performed(a79),Ta79)
--->E(performed(a158),Ta158)/\Ta158>Ta79
\/E(performed(a159),Ta159)/\Ta159>Ta79.

H(performed(a80),Ta80)
--->E(performed(a160),Ta160)/\Ta160>Ta80
\/E(performed(a161),Ta161)/\Ta161>Ta80.

H(performed(a81),Ta81)
--->E(performed(a162),Ta162)/\Ta162>Ta81
\/E(performed(a163),Ta163)/\Ta163>Ta81.

H(performed(a82),Ta82)
--->E(performed(a164),Ta164)/\Ta164>Ta82
\/E(performed(a165),Ta165)/\Ta165>Ta82.

H(performed(a83),Ta83)
--->E(performed(a166),Ta166)/\Ta166>Ta83
\/E(performed(a167),Ta167)/\Ta167>Ta83.

H(performed(a84),Ta84)
--->E(performed(a168),Ta168)/\Ta168>Ta84
\/E(performed(a169),Ta169)/\Ta169>Ta84.

H(performed(a85),Ta85)
--->E(performed(a170),Ta170)/\Ta170>Ta85
\/E(performed(a171),Ta171)/\Ta171>Ta85.

H(performed(a86),Ta86)
--->E(performed(a172),Ta172)/\Ta172>Ta86
\/E(performed(a173),Ta173)/\Ta173>Ta86.

H(performed(a87),Ta87)
--->E(performed(a174),Ta174)/\Ta174>Ta87
\/E(performed(a175),Ta175)/\Ta175>Ta87.

H(performed(a88),Ta88)
--->E(performed(a176),Ta176)/\Ta176>Ta88
\/E(performed(a177),Ta177)/\Ta177>Ta88.

H(performed(a89),Ta89)
--->E(performed(a178),Ta178)/\Ta178>Ta89
\/E(performed(a179),Ta179)/\Ta179>Ta89.

H(performed(a90),Ta90)
--->E(performed(a180),Ta180)/\Ta180>Ta90
\/E(performed(a181),Ta181)/\Ta181>Ta90.

H(performed(a91),Ta91)
--->E(performed(a182),Ta182)/\Ta182>Ta91
\/E(performed(a183),Ta183)/\Ta183>Ta91.

H(performed(a92),Ta92)
--->E(performed(a184),Ta184)/\Ta184>Ta92
\/E(performed(a185),Ta185)/\Ta185>Ta92.

H(performed(a93),Ta93)
--->E(performed(a186),Ta186)/\Ta186>Ta93
\/E(performed(a187),Ta187)/\Ta187>Ta93.

H(performed(a94),Ta94)
--->E(performed(a188),Ta188)/\Ta188>Ta94
\/E(performed(a189),Ta189)/\Ta189>Ta94.

H(performed(a95),Ta95)
--->E(performed(a190),Ta190)/\Ta190>Ta95
\/E(performed(a191),Ta191)/\Ta191>Ta95.

H(performed(a96),Ta96)
--->E(performed(a192),Ta192)/\Ta192>Ta96
\/E(performed(a193),Ta193)/\Ta193>Ta96.

H(performed(a97),Ta97)
--->E(performed(a194),Ta194)/\Ta194>Ta97
\/E(performed(a195),Ta195)/\Ta195>Ta97.

H(performed(a98),Ta98)
--->E(performed(a196),Ta196)/\Ta196>Ta98
\/E(performed(a197),Ta197)/\Ta197>Ta98.

H(performed(a99),Ta99)
--->E(performed(a198),Ta198)/\Ta198>Ta99
\/E(performed(a199),Ta199)/\Ta199>Ta99.

H(performed(a100),Ta100)
--->E(performed(a200),Ta200)/\Ta200>Ta100
\/E(performed(a201),Ta201)/\Ta201>Ta100.

H(performed(a101),Ta101)
--->E(performed(a202),Ta202)/\Ta202>Ta101
\/E(performed(a203),Ta203)/\Ta203>Ta101.

H(performed(a102),Ta102)
--->E(performed(a204),Ta204)/\Ta204>Ta102
\/E(performed(a205),Ta205)/\Ta205>Ta102.

H(performed(a103),Ta103)
--->E(performed(a206),Ta206)/\Ta206>Ta103
\/E(performed(a207),Ta207)/\Ta207>Ta103.

H(performed(a104),Ta104)
--->E(performed(a208),Ta208)/\Ta208>Ta104
\/E(performed(a209),Ta209)/\Ta209>Ta104.

H(performed(a105),Ta105)
--->E(performed(a210),Ta210)/\Ta210>Ta105
\/E(performed(a211),Ta211)/\Ta211>Ta105.

H(performed(a106),Ta106)
--->E(performed(a212),Ta212)/\Ta212>Ta106
\/E(performed(a213),Ta213)/\Ta213>Ta106.

H(performed(a107),Ta107)
--->E(performed(a214),Ta214)/\Ta214>Ta107
\/E(performed(a215),Ta215)/\Ta215>Ta107.

H(performed(a108),Ta108)
--->E(performed(a216),Ta216)/\Ta216>Ta108
\/E(performed(a217),Ta217)/\Ta217>Ta108.

H(performed(a109),Ta109)
--->E(performed(a218),Ta218)/\Ta218>Ta109
\/E(performed(a219),Ta219)/\Ta219>Ta109.

H(performed(a110),Ta110)
--->E(performed(a220),Ta220)/\Ta220>Ta110
\/E(performed(a221),Ta221)/\Ta221>Ta110.

H(performed(a111),Ta111)
--->E(performed(a222),Ta222)/\Ta222>Ta111
\/E(performed(a223),Ta223)/\Ta223>Ta111.

H(performed(a112),Ta112)
--->E(performed(a224),Ta224)/\Ta224>Ta112
\/E(performed(a225),Ta225)/\Ta225>Ta112.

H(performed(a113),Ta113)
--->E(performed(a226),Ta226)/\Ta226>Ta113
\/E(performed(a227),Ta227)/\Ta227>Ta113.

H(performed(a114),Ta114)
--->E(performed(a228),Ta228)/\Ta228>Ta114
\/E(performed(a229),Ta229)/\Ta229>Ta114.

H(performed(a115),Ta115)
--->E(performed(a230),Ta230)/\Ta230>Ta115
\/E(performed(a231),Ta231)/\Ta231>Ta115.

H(performed(a116),Ta116)
--->E(performed(a232),Ta232)/\Ta232>Ta116
\/E(performed(a233),Ta233)/\Ta233>Ta116.

H(performed(a117),Ta117)
--->E(performed(a234),Ta234)/\Ta234>Ta117
\/E(performed(a235),Ta235)/\Ta235>Ta117.

H(performed(a118),Ta118)
--->E(performed(a236),Ta236)/\Ta236>Ta118
\/E(performed(a237),Ta237)/\Ta237>Ta118.

H(performed(a119),Ta119)
--->E(performed(a238),Ta238)/\Ta238>Ta119
\/E(performed(a239),Ta239)/\Ta239>Ta119.

H(performed(a120),Ta120)
--->E(performed(a240),Ta240)/\Ta240>Ta120
\/E(performed(a241),Ta241)/\Ta241>Ta120.

H(performed(a121),Ta121)
--->E(performed(a242),Ta242)/\Ta242>Ta121
\/E(performed(a243),Ta243)/\Ta243>Ta121.

H(performed(a122),Ta122)
--->E(performed(a244),Ta244)/\Ta244>Ta122
\/E(performed(a245),Ta245)/\Ta245>Ta122.

H(performed(a123),Ta123)
--->E(performed(a246),Ta246)/\Ta246>Ta123
\/E(performed(a247),Ta247)/\Ta247>Ta123.

H(performed(a124),Ta124)
--->E(performed(a248),Ta248)/\Ta248>Ta124
\/E(performed(a249),Ta249)/\Ta249>Ta124.

H(performed(a125),Ta125)
--->E(performed(a250),Ta250)/\Ta250>Ta125
\/E(performed(a251),Ta251)/\Ta251>Ta125.

H(performed(a126),Ta126)
--->E(performed(a252),Ta252)/\Ta252>Ta126
\/E(performed(a253),Ta253)/\Ta253>Ta126.

H(performed(a127),Ta127)
--->E(performed(a254),Ta254)/\Ta254>Ta127
\/E(performed(a255),Ta255)/\Ta255>Ta127.

H(performed(a128),Ta128)
--->E(performed(a256),Ta256)/\Ta256>Ta128
\/E(performed(a257),Ta257)/\Ta257>Ta128.

H(performed(a129),Ta129)
--->E(performed(a258),Ta258)/\Ta258>Ta129
\/E(performed(a259),Ta259)/\Ta259>Ta129.

H(performed(a130),Ta130)
--->E(performed(a260),Ta260)/\Ta260>Ta130
\/E(performed(a261),Ta261)/\Ta261>Ta130.

H(performed(a131),Ta131)
--->E(performed(a262),Ta262)/\Ta262>Ta131
\/E(performed(a263),Ta263)/\Ta263>Ta131.

H(performed(a132),Ta132)
--->E(performed(a264),Ta264)/\Ta264>Ta132
\/E(performed(a265),Ta265)/\Ta265>Ta132.

H(performed(a133),Ta133)
--->E(performed(a266),Ta266)/\Ta266>Ta133
\/E(performed(a267),Ta267)/\Ta267>Ta133.

H(performed(a134),Ta134)
--->E(performed(a268),Ta268)/\Ta268>Ta134
\/E(performed(a269),Ta269)/\Ta269>Ta134.

H(performed(a135),Ta135)
--->E(performed(a270),Ta270)/\Ta270>Ta135
\/E(performed(a271),Ta271)/\Ta271>Ta135.

H(performed(a136),Ta136)
--->E(performed(a272),Ta272)/\Ta272>Ta136
\/E(performed(a273),Ta273)/\Ta273>Ta136.

H(performed(a137),Ta137)
--->E(performed(a274),Ta274)/\Ta274>Ta137
\/E(performed(a275),Ta275)/\Ta275>Ta137.

H(performed(a138),Ta138)
--->E(performed(a276),Ta276)/\Ta276>Ta138
\/E(performed(a277),Ta277)/\Ta277>Ta138.

H(performed(a139),Ta139)
--->E(performed(a278),Ta278)/\Ta278>Ta139
\/E(performed(a279),Ta279)/\Ta279>Ta139.

H(performed(a140),Ta140)
--->E(performed(a280),Ta280)/\Ta280>Ta140
\/E(performed(a281),Ta281)/\Ta281>Ta140.

H(performed(a141),Ta141)
--->E(performed(a282),Ta282)/\Ta282>Ta141
\/E(performed(a283),Ta283)/\Ta283>Ta141.

H(performed(a142),Ta142)
--->E(performed(a284),Ta284)/\Ta284>Ta142
\/E(performed(a285),Ta285)/\Ta285>Ta142.

H(performed(a143),Ta143)
--->E(performed(a286),Ta286)/\Ta286>Ta143
\/E(performed(a287),Ta287)/\Ta287>Ta143.

H(performed(a144),Ta144)
--->E(performed(a288),Ta288)/\Ta288>Ta144
\/E(performed(a289),Ta289)/\Ta289>Ta144.

H(performed(a145),Ta145)
--->E(performed(a290),Ta290)/\Ta290>Ta145
\/E(performed(a291),Ta291)/\Ta291>Ta145.

H(performed(a146),Ta146)
--->E(performed(a292),Ta292)/\Ta292>Ta146
\/E(performed(a293),Ta293)/\Ta293>Ta146.

H(performed(a147),Ta147)
--->E(performed(a294),Ta294)/\Ta294>Ta147
\/E(performed(a295),Ta295)/\Ta295>Ta147.

H(performed(a148),Ta148)
--->E(performed(a296),Ta296)/\Ta296>Ta148
\/E(performed(a297),Ta297)/\Ta297>Ta148.

H(performed(a149),Ta149)
--->E(performed(a298),Ta298)/\Ta298>Ta149
\/E(performed(a299),Ta299)/\Ta299>Ta149.

H(performed(a150),Ta150)
--->E(performed(a300),Ta300)/\Ta300>Ta150
\/E(performed(a301),Ta301)/\Ta301>Ta150.

H(performed(a151),Ta151)
--->E(performed(a302),Ta302)/\Ta302>Ta151
\/E(performed(a303),Ta303)/\Ta303>Ta151.

H(performed(a152),Ta152)
--->E(performed(a304),Ta304)/\Ta304>Ta152
\/E(performed(a305),Ta305)/\Ta305>Ta152.

H(performed(a153),Ta153)
--->E(performed(a306),Ta306)/\Ta306>Ta153
\/E(performed(a307),Ta307)/\Ta307>Ta153.

H(performed(a154),Ta154)
--->E(performed(a308),Ta308)/\Ta308>Ta154
\/E(performed(a309),Ta309)/\Ta309>Ta154.

H(performed(a155),Ta155)
--->E(performed(a310),Ta310)/\Ta310>Ta155
\/E(performed(a311),Ta311)/\Ta311>Ta155.

H(performed(a156),Ta156)
--->E(performed(a312),Ta312)/\Ta312>Ta156
\/E(performed(a313),Ta313)/\Ta313>Ta156.

H(performed(a157),Ta157)
--->E(performed(a314),Ta314)/\Ta314>Ta157
\/E(performed(a315),Ta315)/\Ta315>Ta157.

H(performed(a158),Ta158)
--->E(performed(a316),Ta316)/\Ta316>Ta158
\/E(performed(a317),Ta317)/\Ta317>Ta158.

H(performed(a159),Ta159)
--->E(performed(a318),Ta318)/\Ta318>Ta159
\/E(performed(a319),Ta319)/\Ta319>Ta159.

H(performed(a160),Ta160)
--->E(performed(a320),Ta320)/\Ta320>Ta160
\/E(performed(a321),Ta321)/\Ta321>Ta160.

H(performed(a161),Ta161)
--->E(performed(a322),Ta322)/\Ta322>Ta161
\/E(performed(a323),Ta323)/\Ta323>Ta161.

H(performed(a162),Ta162)
--->E(performed(a324),Ta324)/\Ta324>Ta162
\/E(performed(a325),Ta325)/\Ta325>Ta162.

H(performed(a163),Ta163)
--->E(performed(a326),Ta326)/\Ta326>Ta163
\/E(performed(a327),Ta327)/\Ta327>Ta163.

H(performed(a164),Ta164)
--->E(performed(a328),Ta328)/\Ta328>Ta164
\/E(performed(a329),Ta329)/\Ta329>Ta164.

H(performed(a165),Ta165)
--->E(performed(a330),Ta330)/\Ta330>Ta165
\/E(performed(a331),Ta331)/\Ta331>Ta165.

H(performed(a166),Ta166)
--->E(performed(a332),Ta332)/\Ta332>Ta166
\/E(performed(a333),Ta333)/\Ta333>Ta166.

H(performed(a167),Ta167)
--->E(performed(a334),Ta334)/\Ta334>Ta167
\/E(performed(a335),Ta335)/\Ta335>Ta167.

H(performed(a168),Ta168)
--->E(performed(a336),Ta336)/\Ta336>Ta168
\/E(performed(a337),Ta337)/\Ta337>Ta168.

H(performed(a169),Ta169)
--->E(performed(a338),Ta338)/\Ta338>Ta169
\/E(performed(a339),Ta339)/\Ta339>Ta169.

H(performed(a170),Ta170)
--->E(performed(a340),Ta340)/\Ta340>Ta170
\/E(performed(a341),Ta341)/\Ta341>Ta170.

H(performed(a171),Ta171)
--->E(performed(a342),Ta342)/\Ta342>Ta171
\/E(performed(a343),Ta343)/\Ta343>Ta171.

H(performed(a172),Ta172)
--->E(performed(a344),Ta344)/\Ta344>Ta172
\/E(performed(a345),Ta345)/\Ta345>Ta172.

H(performed(a173),Ta173)
--->E(performed(a346),Ta346)/\Ta346>Ta173
\/E(performed(a347),Ta347)/\Ta347>Ta173.

H(performed(a174),Ta174)
--->E(performed(a348),Ta348)/\Ta348>Ta174
\/E(performed(a349),Ta349)/\Ta349>Ta174.

H(performed(a175),Ta175)
--->E(performed(a350),Ta350)/\Ta350>Ta175
\/E(performed(a351),Ta351)/\Ta351>Ta175.

H(performed(a176),Ta176)
--->E(performed(a352),Ta352)/\Ta352>Ta176
\/E(performed(a353),Ta353)/\Ta353>Ta176.

H(performed(a177),Ta177)
--->E(performed(a354),Ta354)/\Ta354>Ta177
\/E(performed(a355),Ta355)/\Ta355>Ta177.

H(performed(a178),Ta178)
--->E(performed(a356),Ta356)/\Ta356>Ta178
\/E(performed(a357),Ta357)/\Ta357>Ta178.

H(performed(a179),Ta179)
--->E(performed(a358),Ta358)/\Ta358>Ta179
\/E(performed(a359),Ta359)/\Ta359>Ta179.

H(performed(a180),Ta180)
--->E(performed(a360),Ta360)/\Ta360>Ta180
\/E(performed(a361),Ta361)/\Ta361>Ta180.

H(performed(a181),Ta181)
--->E(performed(a362),Ta362)/\Ta362>Ta181
\/E(performed(a363),Ta363)/\Ta363>Ta181.

H(performed(a182),Ta182)
--->E(performed(a364),Ta364)/\Ta364>Ta182
\/E(performed(a365),Ta365)/\Ta365>Ta182.

H(performed(a183),Ta183)
--->E(performed(a366),Ta366)/\Ta366>Ta183
\/E(performed(a367),Ta367)/\Ta367>Ta183.

H(performed(a184),Ta184)
--->E(performed(a368),Ta368)/\Ta368>Ta184
\/E(performed(a369),Ta369)/\Ta369>Ta184.

H(performed(a185),Ta185)
--->E(performed(a370),Ta370)/\Ta370>Ta185
\/E(performed(a371),Ta371)/\Ta371>Ta185.

H(performed(a186),Ta186)
--->E(performed(a372),Ta372)/\Ta372>Ta186
\/E(performed(a373),Ta373)/\Ta373>Ta186.

H(performed(a187),Ta187)
--->E(performed(a374),Ta374)/\Ta374>Ta187
\/E(performed(a375),Ta375)/\Ta375>Ta187.

H(performed(a188),Ta188)
--->E(performed(a376),Ta376)/\Ta376>Ta188
\/E(performed(a377),Ta377)/\Ta377>Ta188.

H(performed(a189),Ta189)
--->E(performed(a378),Ta378)/\Ta378>Ta189
\/E(performed(a379),Ta379)/\Ta379>Ta189.

H(performed(a190),Ta190)
--->E(performed(a380),Ta380)/\Ta380>Ta190
\/E(performed(a381),Ta381)/\Ta381>Ta190.

H(performed(a191),Ta191)
--->E(performed(a382),Ta382)/\Ta382>Ta191
\/E(performed(a383),Ta383)/\Ta383>Ta191.

H(performed(a192),Ta192)
--->E(performed(a384),Ta384)/\Ta384>Ta192
\/E(performed(a385),Ta385)/\Ta385>Ta192.

H(performed(a193),Ta193)
--->E(performed(a386),Ta386)/\Ta386>Ta193
\/E(performed(a387),Ta387)/\Ta387>Ta193.

H(performed(a194),Ta194)
--->E(performed(a388),Ta388)/\Ta388>Ta194
\/E(performed(a389),Ta389)/\Ta389>Ta194.

H(performed(a195),Ta195)
--->E(performed(a390),Ta390)/\Ta390>Ta195
\/E(performed(a391),Ta391)/\Ta391>Ta195.

H(performed(a196),Ta196)
--->E(performed(a392),Ta392)/\Ta392>Ta196
\/E(performed(a393),Ta393)/\Ta393>Ta196.

H(performed(a197),Ta197)
--->E(performed(a394),Ta394)/\Ta394>Ta197
\/E(performed(a395),Ta395)/\Ta395>Ta197.

H(performed(a198),Ta198)
--->E(performed(a396),Ta396)/\Ta396>Ta198
\/E(performed(a397),Ta397)/\Ta397>Ta198.

H(performed(a199),Ta199)
--->E(performed(a398),Ta398)/\Ta398>Ta199
\/E(performed(a399),Ta399)/\Ta399>Ta199.

H(performed(a200),Ta200)
--->E(performed(a400),Ta400)/\Ta400>Ta200
\/E(performed(a401),Ta401)/\Ta401>Ta200.

H(performed(a201),Ta201)
--->E(performed(a402),Ta402)/\Ta402>Ta201
\/E(performed(a403),Ta403)/\Ta403>Ta201.

H(performed(a202),Ta202)
--->E(performed(a404),Ta404)/\Ta404>Ta202
\/E(performed(a405),Ta405)/\Ta405>Ta202.

H(performed(a203),Ta203)
--->E(performed(a406),Ta406)/\Ta406>Ta203
\/E(performed(a407),Ta407)/\Ta407>Ta203.

H(performed(a204),Ta204)
--->E(performed(a408),Ta408)/\Ta408>Ta204
\/E(performed(a409),Ta409)/\Ta409>Ta204.

H(performed(a205),Ta205)
--->E(performed(a410),Ta410)/\Ta410>Ta205
\/E(performed(a411),Ta411)/\Ta411>Ta205.

H(performed(a206),Ta206)
--->E(performed(a412),Ta412)/\Ta412>Ta206
\/E(performed(a413),Ta413)/\Ta413>Ta206.

H(performed(a207),Ta207)
--->E(performed(a414),Ta414)/\Ta414>Ta207
\/E(performed(a415),Ta415)/\Ta415>Ta207.

H(performed(a208),Ta208)
--->E(performed(a416),Ta416)/\Ta416>Ta208
\/E(performed(a417),Ta417)/\Ta417>Ta208.

H(performed(a209),Ta209)
--->E(performed(a418),Ta418)/\Ta418>Ta209
\/E(performed(a419),Ta419)/\Ta419>Ta209.

H(performed(a210),Ta210)
--->E(performed(a420),Ta420)/\Ta420>Ta210
\/E(performed(a421),Ta421)/\Ta421>Ta210.

H(performed(a211),Ta211)
--->E(performed(a422),Ta422)/\Ta422>Ta211
\/E(performed(a423),Ta423)/\Ta423>Ta211.

H(performed(a212),Ta212)
--->E(performed(a424),Ta424)/\Ta424>Ta212
\/E(performed(a425),Ta425)/\Ta425>Ta212.

H(performed(a213),Ta213)
--->E(performed(a426),Ta426)/\Ta426>Ta213
\/E(performed(a427),Ta427)/\Ta427>Ta213.

H(performed(a214),Ta214)
--->E(performed(a428),Ta428)/\Ta428>Ta214
\/E(performed(a429),Ta429)/\Ta429>Ta214.

H(performed(a215),Ta215)
--->E(performed(a430),Ta430)/\Ta430>Ta215
\/E(performed(a431),Ta431)/\Ta431>Ta215.

H(performed(a216),Ta216)
--->E(performed(a432),Ta432)/\Ta432>Ta216
\/E(performed(a433),Ta433)/\Ta433>Ta216.

H(performed(a217),Ta217)
--->E(performed(a434),Ta434)/\Ta434>Ta217
\/E(performed(a435),Ta435)/\Ta435>Ta217.

H(performed(a218),Ta218)
--->E(performed(a436),Ta436)/\Ta436>Ta218
\/E(performed(a437),Ta437)/\Ta437>Ta218.

H(performed(a219),Ta219)
--->E(performed(a438),Ta438)/\Ta438>Ta219
\/E(performed(a439),Ta439)/\Ta439>Ta219.

H(performed(a220),Ta220)
--->E(performed(a440),Ta440)/\Ta440>Ta220
\/E(performed(a441),Ta441)/\Ta441>Ta220.

H(performed(a221),Ta221)
--->E(performed(a442),Ta442)/\Ta442>Ta221
\/E(performed(a443),Ta443)/\Ta443>Ta221.

H(performed(a222),Ta222)
--->E(performed(a444),Ta444)/\Ta444>Ta222
\/E(performed(a445),Ta445)/\Ta445>Ta222.

H(performed(a223),Ta223)
--->E(performed(a446),Ta446)/\Ta446>Ta223
\/E(performed(a447),Ta447)/\Ta447>Ta223.

H(performed(a224),Ta224)
--->E(performed(a448),Ta448)/\Ta448>Ta224
\/E(performed(a449),Ta449)/\Ta449>Ta224.

H(performed(a225),Ta225)
--->E(performed(a450),Ta450)/\Ta450>Ta225
\/E(performed(a451),Ta451)/\Ta451>Ta225.

H(performed(a226),Ta226)
--->E(performed(a452),Ta452)/\Ta452>Ta226
\/E(performed(a453),Ta453)/\Ta453>Ta226.

H(performed(a227),Ta227)
--->E(performed(a454),Ta454)/\Ta454>Ta227
\/E(performed(a455),Ta455)/\Ta455>Ta227.

H(performed(a228),Ta228)
--->E(performed(a456),Ta456)/\Ta456>Ta228
\/E(performed(a457),Ta457)/\Ta457>Ta228.

H(performed(a229),Ta229)
--->E(performed(a458),Ta458)/\Ta458>Ta229
\/E(performed(a459),Ta459)/\Ta459>Ta229.

H(performed(a230),Ta230)
--->E(performed(a460),Ta460)/\Ta460>Ta230
\/E(performed(a461),Ta461)/\Ta461>Ta230.

H(performed(a231),Ta231)
--->E(performed(a462),Ta462)/\Ta462>Ta231
\/E(performed(a463),Ta463)/\Ta463>Ta231.

H(performed(a232),Ta232)
--->E(performed(a464),Ta464)/\Ta464>Ta232
\/E(performed(a465),Ta465)/\Ta465>Ta232.

H(performed(a233),Ta233)
--->E(performed(a466),Ta466)/\Ta466>Ta233
\/E(performed(a467),Ta467)/\Ta467>Ta233.

H(performed(a234),Ta234)
--->E(performed(a468),Ta468)/\Ta468>Ta234
\/E(performed(a469),Ta469)/\Ta469>Ta234.

H(performed(a235),Ta235)
--->E(performed(a470),Ta470)/\Ta470>Ta235
\/E(performed(a471),Ta471)/\Ta471>Ta235.

H(performed(a236),Ta236)
--->E(performed(a472),Ta472)/\Ta472>Ta236
\/E(performed(a473),Ta473)/\Ta473>Ta236.

H(performed(a237),Ta237)
--->E(performed(a474),Ta474)/\Ta474>Ta237
\/E(performed(a475),Ta475)/\Ta475>Ta237.

H(performed(a238),Ta238)
--->E(performed(a476),Ta476)/\Ta476>Ta238
\/E(performed(a477),Ta477)/\Ta477>Ta238.

H(performed(a239),Ta239)
--->E(performed(a478),Ta478)/\Ta478>Ta239
\/E(performed(a479),Ta479)/\Ta479>Ta239.

H(performed(a240),Ta240)
--->E(performed(a480),Ta480)/\Ta480>Ta240
\/E(performed(a481),Ta481)/\Ta481>Ta240.

H(performed(a241),Ta241)
--->E(performed(a482),Ta482)/\Ta482>Ta241
\/E(performed(a483),Ta483)/\Ta483>Ta241.

H(performed(a242),Ta242)
--->E(performed(a484),Ta484)/\Ta484>Ta242
\/E(performed(a485),Ta485)/\Ta485>Ta242.

H(performed(a243),Ta243)
--->E(performed(a486),Ta486)/\Ta486>Ta243
\/E(performed(a487),Ta487)/\Ta487>Ta243.

H(performed(a244),Ta244)
--->E(performed(a488),Ta488)/\Ta488>Ta244
\/E(performed(a489),Ta489)/\Ta489>Ta244.

H(performed(a245),Ta245)
--->E(performed(a490),Ta490)/\Ta490>Ta245
\/E(performed(a491),Ta491)/\Ta491>Ta245.

H(performed(a246),Ta246)
--->E(performed(a492),Ta492)/\Ta492>Ta246
\/E(performed(a493),Ta493)/\Ta493>Ta246.

H(performed(a247),Ta247)
--->E(performed(a494),Ta494)/\Ta494>Ta247
\/E(performed(a495),Ta495)/\Ta495>Ta247.

H(performed(a248),Ta248)
--->E(performed(a496),Ta496)/\Ta496>Ta248
\/E(performed(a497),Ta497)/\Ta497>Ta248.

H(performed(a249),Ta249)
--->E(performed(a498),Ta498)/\Ta498>Ta249
\/E(performed(a499),Ta499)/\Ta499>Ta249.

H(performed(a250),Ta250)
--->E(performed(a500),Ta500)/\Ta500>Ta250
\/E(performed(a501),Ta501)/\Ta501>Ta250.

H(performed(a251),Ta251)
--->E(performed(a502),Ta502)/\Ta502>Ta251
\/E(performed(a503),Ta503)/\Ta503>Ta251.

H(performed(a252),Ta252)
--->E(performed(a504),Ta504)/\Ta504>Ta252
\/E(performed(a505),Ta505)/\Ta505>Ta252.

H(performed(a253),Ta253)
--->E(performed(a506),Ta506)/\Ta506>Ta253
\/E(performed(a507),Ta507)/\Ta507>Ta253.

H(performed(a254),Ta254)
--->E(performed(a508),Ta508)/\Ta508>Ta254
\/E(performed(a509),Ta509)/\Ta509>Ta254.

H(performed(a255),Ta255)
--->E(performed(a510),Ta510)/\Ta510>Ta255
\/E(performed(a511),Ta511)/\Ta511>Ta255.

H(performed(a256),Ta256)
--->E(performed(a512),Ta512)/\Ta512>Ta256
\/E(performed(a513),Ta513)/\Ta513>Ta256.

H(performed(a257),Ta257)
--->E(performed(a514),Ta514)/\Ta514>Ta257
\/E(performed(a515),Ta515)/\Ta515>Ta257.

H(performed(a258),Ta258)
--->E(performed(a516),Ta516)/\Ta516>Ta258
\/E(performed(a517),Ta517)/\Ta517>Ta258.

H(performed(a259),Ta259)
--->E(performed(a518),Ta518)/\Ta518>Ta259
\/E(performed(a519),Ta519)/\Ta519>Ta259.

H(performed(a260),Ta260)
--->E(performed(a520),Ta520)/\Ta520>Ta260
\/E(performed(a521),Ta521)/\Ta521>Ta260.

H(performed(a261),Ta261)
--->E(performed(a522),Ta522)/\Ta522>Ta261
\/E(performed(a523),Ta523)/\Ta523>Ta261.

H(performed(a262),Ta262)
--->E(performed(a524),Ta524)/\Ta524>Ta262
\/E(performed(a525),Ta525)/\Ta525>Ta262.

H(performed(a263),Ta263)
--->E(performed(a526),Ta526)/\Ta526>Ta263
\/E(performed(a527),Ta527)/\Ta527>Ta263.

H(performed(a264),Ta264)
--->E(performed(a528),Ta528)/\Ta528>Ta264
\/E(performed(a529),Ta529)/\Ta529>Ta264.

H(performed(a265),Ta265)
--->E(performed(a530),Ta530)/\Ta530>Ta265
\/E(performed(a531),Ta531)/\Ta531>Ta265.

H(performed(a266),Ta266)
--->E(performed(a532),Ta532)/\Ta532>Ta266
\/E(performed(a533),Ta533)/\Ta533>Ta266.

H(performed(a267),Ta267)
--->E(performed(a534),Ta534)/\Ta534>Ta267
\/E(performed(a535),Ta535)/\Ta535>Ta267.

H(performed(a268),Ta268)
--->E(performed(a536),Ta536)/\Ta536>Ta268
\/E(performed(a537),Ta537)/\Ta537>Ta268.

H(performed(a269),Ta269)
--->E(performed(a538),Ta538)/\Ta538>Ta269
\/E(performed(a539),Ta539)/\Ta539>Ta269.

H(performed(a270),Ta270)
--->E(performed(a540),Ta540)/\Ta540>Ta270
\/E(performed(a541),Ta541)/\Ta541>Ta270.

H(performed(a271),Ta271)
--->E(performed(a542),Ta542)/\Ta542>Ta271
\/E(performed(a543),Ta543)/\Ta543>Ta271.

H(performed(a272),Ta272)
--->E(performed(a544),Ta544)/\Ta544>Ta272
\/E(performed(a545),Ta545)/\Ta545>Ta272.

H(performed(a273),Ta273)
--->E(performed(a546),Ta546)/\Ta546>Ta273
\/E(performed(a547),Ta547)/\Ta547>Ta273.

H(performed(a274),Ta274)
--->E(performed(a548),Ta548)/\Ta548>Ta274
\/E(performed(a549),Ta549)/\Ta549>Ta274.

H(performed(a275),Ta275)
--->E(performed(a550),Ta550)/\Ta550>Ta275
\/E(performed(a551),Ta551)/\Ta551>Ta275.

H(performed(a276),Ta276)
--->E(performed(a552),Ta552)/\Ta552>Ta276
\/E(performed(a553),Ta553)/\Ta553>Ta276.

H(performed(a277),Ta277)
--->E(performed(a554),Ta554)/\Ta554>Ta277
\/E(performed(a555),Ta555)/\Ta555>Ta277.

H(performed(a278),Ta278)
--->E(performed(a556),Ta556)/\Ta556>Ta278
\/E(performed(a557),Ta557)/\Ta557>Ta278.

H(performed(a279),Ta279)
--->E(performed(a558),Ta558)/\Ta558>Ta279
\/E(performed(a559),Ta559)/\Ta559>Ta279.

H(performed(a280),Ta280)
--->E(performed(a560),Ta560)/\Ta560>Ta280
\/E(performed(a561),Ta561)/\Ta561>Ta280.

H(performed(a281),Ta281)
--->E(performed(a562),Ta562)/\Ta562>Ta281
\/E(performed(a563),Ta563)/\Ta563>Ta281.

H(performed(a282),Ta282)
--->E(performed(a564),Ta564)/\Ta564>Ta282
\/E(performed(a565),Ta565)/\Ta565>Ta282.

H(performed(a283),Ta283)
--->E(performed(a566),Ta566)/\Ta566>Ta283
\/E(performed(a567),Ta567)/\Ta567>Ta283.

H(performed(a284),Ta284)
--->E(performed(a568),Ta568)/\Ta568>Ta284
\/E(performed(a569),Ta569)/\Ta569>Ta284.

H(performed(a285),Ta285)
--->E(performed(a570),Ta570)/\Ta570>Ta285
\/E(performed(a571),Ta571)/\Ta571>Ta285.

H(performed(a286),Ta286)
--->E(performed(a572),Ta572)/\Ta572>Ta286
\/E(performed(a573),Ta573)/\Ta573>Ta286.

H(performed(a287),Ta287)
--->E(performed(a574),Ta574)/\Ta574>Ta287
\/E(performed(a575),Ta575)/\Ta575>Ta287.

H(performed(a288),Ta288)
--->E(performed(a576),Ta576)/\Ta576>Ta288
\/E(performed(a577),Ta577)/\Ta577>Ta288.

H(performed(a289),Ta289)
--->E(performed(a578),Ta578)/\Ta578>Ta289
\/E(performed(a579),Ta579)/\Ta579>Ta289.

H(performed(a290),Ta290)
--->E(performed(a580),Ta580)/\Ta580>Ta290
\/E(performed(a581),Ta581)/\Ta581>Ta290.

H(performed(a291),Ta291)
--->E(performed(a582),Ta582)/\Ta582>Ta291
\/E(performed(a583),Ta583)/\Ta583>Ta291.

H(performed(a292),Ta292)
--->E(performed(a584),Ta584)/\Ta584>Ta292
\/E(performed(a585),Ta585)/\Ta585>Ta292.

H(performed(a293),Ta293)
--->E(performed(a586),Ta586)/\Ta586>Ta293
\/E(performed(a587),Ta587)/\Ta587>Ta293.

H(performed(a294),Ta294)
--->E(performed(a588),Ta588)/\Ta588>Ta294
\/E(performed(a589),Ta589)/\Ta589>Ta294.

H(performed(a295),Ta295)
--->E(performed(a590),Ta590)/\Ta590>Ta295
\/E(performed(a591),Ta591)/\Ta591>Ta295.

H(performed(a296),Ta296)
--->E(performed(a592),Ta592)/\Ta592>Ta296
\/E(performed(a593),Ta593)/\Ta593>Ta296.

H(performed(a297),Ta297)
--->E(performed(a594),Ta594)/\Ta594>Ta297
\/E(performed(a595),Ta595)/\Ta595>Ta297.

H(performed(a298),Ta298)
--->E(performed(a596),Ta596)/\Ta596>Ta298
\/E(performed(a597),Ta597)/\Ta597>Ta298.

H(performed(a299),Ta299)
--->E(performed(a598),Ta598)/\Ta598>Ta299
\/E(performed(a599),Ta599)/\Ta599>Ta299.

H(performed(a300),Ta300)
--->E(performed(a600),Ta600)/\Ta600>Ta300
\/E(performed(a601),Ta601)/\Ta601>Ta300.

H(performed(a301),Ta301)
--->E(performed(a602),Ta602)/\Ta602>Ta301
\/E(performed(a603),Ta603)/\Ta603>Ta301.

H(performed(a302),Ta302)
--->E(performed(a604),Ta604)/\Ta604>Ta302
\/E(performed(a605),Ta605)/\Ta605>Ta302.

H(performed(a303),Ta303)
--->E(performed(a606),Ta606)/\Ta606>Ta303
\/E(performed(a607),Ta607)/\Ta607>Ta303.

H(performed(a304),Ta304)
--->E(performed(a608),Ta608)/\Ta608>Ta304
\/E(performed(a609),Ta609)/\Ta609>Ta304.

H(performed(a305),Ta305)
--->E(performed(a610),Ta610)/\Ta610>Ta305
\/E(performed(a611),Ta611)/\Ta611>Ta305.

H(performed(a306),Ta306)
--->E(performed(a612),Ta612)/\Ta612>Ta306
\/E(performed(a613),Ta613)/\Ta613>Ta306.

H(performed(a307),Ta307)
--->E(performed(a614),Ta614)/\Ta614>Ta307
\/E(performed(a615),Ta615)/\Ta615>Ta307.

H(performed(a308),Ta308)
--->E(performed(a616),Ta616)/\Ta616>Ta308
\/E(performed(a617),Ta617)/\Ta617>Ta308.

H(performed(a309),Ta309)
--->E(performed(a618),Ta618)/\Ta618>Ta309
\/E(performed(a619),Ta619)/\Ta619>Ta309.

H(performed(a310),Ta310)
--->E(performed(a620),Ta620)/\Ta620>Ta310
\/E(performed(a621),Ta621)/\Ta621>Ta310.

H(performed(a311),Ta311)
--->E(performed(a622),Ta622)/\Ta622>Ta311
\/E(performed(a623),Ta623)/\Ta623>Ta311.

H(performed(a312),Ta312)
--->E(performed(a624),Ta624)/\Ta624>Ta312
\/E(performed(a625),Ta625)/\Ta625>Ta312.

H(performed(a313),Ta313)
--->E(performed(a626),Ta626)/\Ta626>Ta313
\/E(performed(a627),Ta627)/\Ta627>Ta313.

H(performed(a314),Ta314)
--->E(performed(a628),Ta628)/\Ta628>Ta314
\/E(performed(a629),Ta629)/\Ta629>Ta314.

H(performed(a315),Ta315)
--->E(performed(a630),Ta630)/\Ta630>Ta315
\/E(performed(a631),Ta631)/\Ta631>Ta315.

H(performed(a316),Ta316)
--->E(performed(a632),Ta632)/\Ta632>Ta316
\/E(performed(a633),Ta633)/\Ta633>Ta316.

H(performed(a317),Ta317)
--->E(performed(a634),Ta634)/\Ta634>Ta317
\/E(performed(a635),Ta635)/\Ta635>Ta317.

H(performed(a318),Ta318)
--->E(performed(a636),Ta636)/\Ta636>Ta318
\/E(performed(a637),Ta637)/\Ta637>Ta318.

H(performed(a319),Ta319)
--->E(performed(a638),Ta638)/\Ta638>Ta319
\/E(performed(a639),Ta639)/\Ta639>Ta319.

H(performed(a320),Ta320)
--->E(performed(a640),Ta640)/\Ta640>Ta320
\/E(performed(a641),Ta641)/\Ta641>Ta320.

H(performed(a321),Ta321)
--->E(performed(a642),Ta642)/\Ta642>Ta321
\/E(performed(a643),Ta643)/\Ta643>Ta321.

H(performed(a322),Ta322)
--->E(performed(a644),Ta644)/\Ta644>Ta322
\/E(performed(a645),Ta645)/\Ta645>Ta322.

H(performed(a323),Ta323)
--->E(performed(a646),Ta646)/\Ta646>Ta323
\/E(performed(a647),Ta647)/\Ta647>Ta323.

H(performed(a324),Ta324)
--->E(performed(a648),Ta648)/\Ta648>Ta324
\/E(performed(a649),Ta649)/\Ta649>Ta324.

H(performed(a325),Ta325)
--->E(performed(a650),Ta650)/\Ta650>Ta325
\/E(performed(a651),Ta651)/\Ta651>Ta325.

H(performed(a326),Ta326)
--->E(performed(a652),Ta652)/\Ta652>Ta326
\/E(performed(a653),Ta653)/\Ta653>Ta326.

H(performed(a327),Ta327)
--->E(performed(a654),Ta654)/\Ta654>Ta327
\/E(performed(a655),Ta655)/\Ta655>Ta327.

H(performed(a328),Ta328)
--->E(performed(a656),Ta656)/\Ta656>Ta328
\/E(performed(a657),Ta657)/\Ta657>Ta328.

H(performed(a329),Ta329)
--->E(performed(a658),Ta658)/\Ta658>Ta329
\/E(performed(a659),Ta659)/\Ta659>Ta329.

H(performed(a330),Ta330)
--->E(performed(a660),Ta660)/\Ta660>Ta330
\/E(performed(a661),Ta661)/\Ta661>Ta330.

H(performed(a331),Ta331)
--->E(performed(a662),Ta662)/\Ta662>Ta331
\/E(performed(a663),Ta663)/\Ta663>Ta331.

H(performed(a332),Ta332)
--->E(performed(a664),Ta664)/\Ta664>Ta332
\/E(performed(a665),Ta665)/\Ta665>Ta332.

H(performed(a333),Ta333)
--->E(performed(a666),Ta666)/\Ta666>Ta333
\/E(performed(a667),Ta667)/\Ta667>Ta333.

H(performed(a334),Ta334)
--->E(performed(a668),Ta668)/\Ta668>Ta334
\/E(performed(a669),Ta669)/\Ta669>Ta334.

H(performed(a335),Ta335)
--->E(performed(a670),Ta670)/\Ta670>Ta335
\/E(performed(a671),Ta671)/\Ta671>Ta335.

H(performed(a336),Ta336)
--->E(performed(a672),Ta672)/\Ta672>Ta336
\/E(performed(a673),Ta673)/\Ta673>Ta336.

H(performed(a337),Ta337)
--->E(performed(a674),Ta674)/\Ta674>Ta337
\/E(performed(a675),Ta675)/\Ta675>Ta337.

H(performed(a338),Ta338)
--->E(performed(a676),Ta676)/\Ta676>Ta338
\/E(performed(a677),Ta677)/\Ta677>Ta338.

H(performed(a339),Ta339)
--->E(performed(a678),Ta678)/\Ta678>Ta339
\/E(performed(a679),Ta679)/\Ta679>Ta339.

H(performed(a340),Ta340)
--->E(performed(a680),Ta680)/\Ta680>Ta340
\/E(performed(a681),Ta681)/\Ta681>Ta340.

H(performed(a341),Ta341)
--->E(performed(a682),Ta682)/\Ta682>Ta341
\/E(performed(a683),Ta683)/\Ta683>Ta341.

H(performed(a342),Ta342)
--->E(performed(a684),Ta684)/\Ta684>Ta342
\/E(performed(a685),Ta685)/\Ta685>Ta342.

H(performed(a343),Ta343)
--->E(performed(a686),Ta686)/\Ta686>Ta343
\/E(performed(a687),Ta687)/\Ta687>Ta343.

H(performed(a344),Ta344)
--->E(performed(a688),Ta688)/\Ta688>Ta344
\/E(performed(a689),Ta689)/\Ta689>Ta344.

H(performed(a345),Ta345)
--->E(performed(a690),Ta690)/\Ta690>Ta345
\/E(performed(a691),Ta691)/\Ta691>Ta345.

H(performed(a346),Ta346)
--->E(performed(a692),Ta692)/\Ta692>Ta346
\/E(performed(a693),Ta693)/\Ta693>Ta346.

H(performed(a347),Ta347)
--->E(performed(a694),Ta694)/\Ta694>Ta347
\/E(performed(a695),Ta695)/\Ta695>Ta347.

H(performed(a348),Ta348)
--->E(performed(a696),Ta696)/\Ta696>Ta348
\/E(performed(a697),Ta697)/\Ta697>Ta348.

H(performed(a349),Ta349)
--->E(performed(a698),Ta698)/\Ta698>Ta349
\/E(performed(a699),Ta699)/\Ta699>Ta349.

H(performed(a350),Ta350)
--->E(performed(a700),Ta700)/\Ta700>Ta350
\/E(performed(a701),Ta701)/\Ta701>Ta350.

H(performed(a351),Ta351)
--->E(performed(a702),Ta702)/\Ta702>Ta351
\/E(performed(a703),Ta703)/\Ta703>Ta351.

H(performed(a352),Ta352)
--->E(performed(a704),Ta704)/\Ta704>Ta352
\/E(performed(a705),Ta705)/\Ta705>Ta352.

H(performed(a353),Ta353)
--->E(performed(a706),Ta706)/\Ta706>Ta353
\/E(performed(a707),Ta707)/\Ta707>Ta353.

H(performed(a354),Ta354)
--->E(performed(a708),Ta708)/\Ta708>Ta354
\/E(performed(a709),Ta709)/\Ta709>Ta354.

H(performed(a355),Ta355)
--->E(performed(a710),Ta710)/\Ta710>Ta355
\/E(performed(a711),Ta711)/\Ta711>Ta355.

H(performed(a356),Ta356)
--->E(performed(a712),Ta712)/\Ta712>Ta356
\/E(performed(a713),Ta713)/\Ta713>Ta356.

H(performed(a357),Ta357)
--->E(performed(a714),Ta714)/\Ta714>Ta357
\/E(performed(a715),Ta715)/\Ta715>Ta357.

H(performed(a358),Ta358)
--->E(performed(a716),Ta716)/\Ta716>Ta358
\/E(performed(a717),Ta717)/\Ta717>Ta358.

H(performed(a359),Ta359)
--->E(performed(a718),Ta718)/\Ta718>Ta359
\/E(performed(a719),Ta719)/\Ta719>Ta359.

H(performed(a360),Ta360)
--->E(performed(a720),Ta720)/\Ta720>Ta360
\/E(performed(a721),Ta721)/\Ta721>Ta360.

H(performed(a361),Ta361)
--->E(performed(a722),Ta722)/\Ta722>Ta361
\/E(performed(a723),Ta723)/\Ta723>Ta361.

H(performed(a362),Ta362)
--->E(performed(a724),Ta724)/\Ta724>Ta362
\/E(performed(a725),Ta725)/\Ta725>Ta362.

H(performed(a363),Ta363)
--->E(performed(a726),Ta726)/\Ta726>Ta363
\/E(performed(a727),Ta727)/\Ta727>Ta363.

H(performed(a364),Ta364)
--->E(performed(a728),Ta728)/\Ta728>Ta364
\/E(performed(a729),Ta729)/\Ta729>Ta364.

H(performed(a365),Ta365)
--->E(performed(a730),Ta730)/\Ta730>Ta365
\/E(performed(a731),Ta731)/\Ta731>Ta365.

H(performed(a366),Ta366)
--->E(performed(a732),Ta732)/\Ta732>Ta366
\/E(performed(a733),Ta733)/\Ta733>Ta366.

H(performed(a367),Ta367)
--->E(performed(a734),Ta734)/\Ta734>Ta367
\/E(performed(a735),Ta735)/\Ta735>Ta367.

H(performed(a368),Ta368)
--->E(performed(a736),Ta736)/\Ta736>Ta368
\/E(performed(a737),Ta737)/\Ta737>Ta368.

H(performed(a369),Ta369)
--->E(performed(a738),Ta738)/\Ta738>Ta369
\/E(performed(a739),Ta739)/\Ta739>Ta369.

H(performed(a370),Ta370)
--->E(performed(a740),Ta740)/\Ta740>Ta370
\/E(performed(a741),Ta741)/\Ta741>Ta370.

H(performed(a371),Ta371)
--->E(performed(a742),Ta742)/\Ta742>Ta371
\/E(performed(a743),Ta743)/\Ta743>Ta371.

H(performed(a372),Ta372)
--->E(performed(a744),Ta744)/\Ta744>Ta372
\/E(performed(a745),Ta745)/\Ta745>Ta372.

H(performed(a373),Ta373)
--->E(performed(a746),Ta746)/\Ta746>Ta373
\/E(performed(a747),Ta747)/\Ta747>Ta373.

H(performed(a374),Ta374)
--->E(performed(a748),Ta748)/\Ta748>Ta374
\/E(performed(a749),Ta749)/\Ta749>Ta374.

H(performed(a375),Ta375)
--->E(performed(a750),Ta750)/\Ta750>Ta375
\/E(performed(a751),Ta751)/\Ta751>Ta375.

H(performed(a376),Ta376)
--->E(performed(a752),Ta752)/\Ta752>Ta376
\/E(performed(a753),Ta753)/\Ta753>Ta376.

H(performed(a377),Ta377)
--->E(performed(a754),Ta754)/\Ta754>Ta377
\/E(performed(a755),Ta755)/\Ta755>Ta377.

H(performed(a378),Ta378)
--->E(performed(a756),Ta756)/\Ta756>Ta378
\/E(performed(a757),Ta757)/\Ta757>Ta378.

H(performed(a379),Ta379)
--->E(performed(a758),Ta758)/\Ta758>Ta379
\/E(performed(a759),Ta759)/\Ta759>Ta379.

H(performed(a380),Ta380)
--->E(performed(a760),Ta760)/\Ta760>Ta380
\/E(performed(a761),Ta761)/\Ta761>Ta380.

H(performed(a381),Ta381)
--->E(performed(a762),Ta762)/\Ta762>Ta381
\/E(performed(a763),Ta763)/\Ta763>Ta381.

H(performed(a382),Ta382)
--->E(performed(a764),Ta764)/\Ta764>Ta382
\/E(performed(a765),Ta765)/\Ta765>Ta382.

H(performed(a383),Ta383)
--->E(performed(a766),Ta766)/\Ta766>Ta383
\/E(performed(a767),Ta767)/\Ta767>Ta383.

H(performed(a384),Ta384)
--->E(performed(a768),Ta768)/\Ta768>Ta384
\/E(performed(a769),Ta769)/\Ta769>Ta384.

H(performed(a385),Ta385)
--->E(performed(a770),Ta770)/\Ta770>Ta385
\/E(performed(a771),Ta771)/\Ta771>Ta385.

H(performed(a386),Ta386)
--->E(performed(a772),Ta772)/\Ta772>Ta386
\/E(performed(a773),Ta773)/\Ta773>Ta386.

H(performed(a387),Ta387)
--->E(performed(a774),Ta774)/\Ta774>Ta387
\/E(performed(a775),Ta775)/\Ta775>Ta387.

H(performed(a388),Ta388)
--->E(performed(a776),Ta776)/\Ta776>Ta388
\/E(performed(a777),Ta777)/\Ta777>Ta388.

H(performed(a389),Ta389)
--->E(performed(a778),Ta778)/\Ta778>Ta389
\/E(performed(a779),Ta779)/\Ta779>Ta389.

H(performed(a390),Ta390)
--->E(performed(a780),Ta780)/\Ta780>Ta390
\/E(performed(a781),Ta781)/\Ta781>Ta390.

H(performed(a391),Ta391)
--->E(performed(a782),Ta782)/\Ta782>Ta391
\/E(performed(a783),Ta783)/\Ta783>Ta391.

H(performed(a392),Ta392)
--->E(performed(a784),Ta784)/\Ta784>Ta392
\/E(performed(a785),Ta785)/\Ta785>Ta392.

H(performed(a393),Ta393)
--->E(performed(a786),Ta786)/\Ta786>Ta393
\/E(performed(a787),Ta787)/\Ta787>Ta393.

H(performed(a394),Ta394)
--->E(performed(a788),Ta788)/\Ta788>Ta394
\/E(performed(a789),Ta789)/\Ta789>Ta394.

H(performed(a395),Ta395)
--->E(performed(a790),Ta790)/\Ta790>Ta395
\/E(performed(a791),Ta791)/\Ta791>Ta395.

H(performed(a396),Ta396)
--->E(performed(a792),Ta792)/\Ta792>Ta396
\/E(performed(a793),Ta793)/\Ta793>Ta396.

H(performed(a397),Ta397)
--->E(performed(a794),Ta794)/\Ta794>Ta397
\/E(performed(a795),Ta795)/\Ta795>Ta397.

H(performed(a398),Ta398)
--->E(performed(a796),Ta796)/\Ta796>Ta398
\/E(performed(a797),Ta797)/\Ta797>Ta398.

H(performed(a399),Ta399)
--->E(performed(a798),Ta798)/\Ta798>Ta399
\/E(performed(a799),Ta799)/\Ta799>Ta399.

H(performed(a400),Ta400)
--->E(performed(a800),Ta800)/\Ta800>Ta400
\/E(performed(a801),Ta801)/\Ta801>Ta400.

H(performed(a401),Ta401)
--->E(performed(a802),Ta802)/\Ta802>Ta401
\/E(performed(a803),Ta803)/\Ta803>Ta401.

H(performed(a402),Ta402)
--->E(performed(a804),Ta804)/\Ta804>Ta402
\/E(performed(a805),Ta805)/\Ta805>Ta402.

H(performed(a403),Ta403)
--->E(performed(a806),Ta806)/\Ta806>Ta403
\/E(performed(a807),Ta807)/\Ta807>Ta403.

H(performed(a404),Ta404)
--->E(performed(a808),Ta808)/\Ta808>Ta404
\/E(performed(a809),Ta809)/\Ta809>Ta404.

H(performed(a405),Ta405)
--->E(performed(a810),Ta810)/\Ta810>Ta405
\/E(performed(a811),Ta811)/\Ta811>Ta405.

H(performed(a406),Ta406)
--->E(performed(a812),Ta812)/\Ta812>Ta406
\/E(performed(a813),Ta813)/\Ta813>Ta406.

H(performed(a407),Ta407)
--->E(performed(a814),Ta814)/\Ta814>Ta407
\/E(performed(a815),Ta815)/\Ta815>Ta407.

H(performed(a408),Ta408)
--->E(performed(a816),Ta816)/\Ta816>Ta408
\/E(performed(a817),Ta817)/\Ta817>Ta408.

H(performed(a409),Ta409)
--->E(performed(a818),Ta818)/\Ta818>Ta409
\/E(performed(a819),Ta819)/\Ta819>Ta409.

H(performed(a410),Ta410)
--->E(performed(a820),Ta820)/\Ta820>Ta410
\/E(performed(a821),Ta821)/\Ta821>Ta410.

H(performed(a411),Ta411)
--->E(performed(a822),Ta822)/\Ta822>Ta411
\/E(performed(a823),Ta823)/\Ta823>Ta411.

H(performed(a412),Ta412)
--->E(performed(a824),Ta824)/\Ta824>Ta412
\/E(performed(a825),Ta825)/\Ta825>Ta412.

H(performed(a413),Ta413)
--->E(performed(a826),Ta826)/\Ta826>Ta413
\/E(performed(a827),Ta827)/\Ta827>Ta413.

H(performed(a414),Ta414)
--->E(performed(a828),Ta828)/\Ta828>Ta414
\/E(performed(a829),Ta829)/\Ta829>Ta414.

H(performed(a415),Ta415)
--->E(performed(a830),Ta830)/\Ta830>Ta415
\/E(performed(a831),Ta831)/\Ta831>Ta415.

H(performed(a416),Ta416)
--->E(performed(a832),Ta832)/\Ta832>Ta416
\/E(performed(a833),Ta833)/\Ta833>Ta416.

H(performed(a417),Ta417)
--->E(performed(a834),Ta834)/\Ta834>Ta417
\/E(performed(a835),Ta835)/\Ta835>Ta417.

H(performed(a418),Ta418)
--->E(performed(a836),Ta836)/\Ta836>Ta418
\/E(performed(a837),Ta837)/\Ta837>Ta418.

H(performed(a419),Ta419)
--->E(performed(a838),Ta838)/\Ta838>Ta419
\/E(performed(a839),Ta839)/\Ta839>Ta419.

H(performed(a420),Ta420)
--->E(performed(a840),Ta840)/\Ta840>Ta420
\/E(performed(a841),Ta841)/\Ta841>Ta420.

H(performed(a421),Ta421)
--->E(performed(a842),Ta842)/\Ta842>Ta421
\/E(performed(a843),Ta843)/\Ta843>Ta421.

H(performed(a422),Ta422)
--->E(performed(a844),Ta844)/\Ta844>Ta422
\/E(performed(a845),Ta845)/\Ta845>Ta422.

H(performed(a423),Ta423)
--->E(performed(a846),Ta846)/\Ta846>Ta423
\/E(performed(a847),Ta847)/\Ta847>Ta423.

H(performed(a424),Ta424)
--->E(performed(a848),Ta848)/\Ta848>Ta424
\/E(performed(a849),Ta849)/\Ta849>Ta424.

H(performed(a425),Ta425)
--->E(performed(a850),Ta850)/\Ta850>Ta425
\/E(performed(a851),Ta851)/\Ta851>Ta425.

H(performed(a426),Ta426)
--->E(performed(a852),Ta852)/\Ta852>Ta426
\/E(performed(a853),Ta853)/\Ta853>Ta426.

H(performed(a427),Ta427)
--->E(performed(a854),Ta854)/\Ta854>Ta427
\/E(performed(a855),Ta855)/\Ta855>Ta427.

H(performed(a428),Ta428)
--->E(performed(a856),Ta856)/\Ta856>Ta428
\/E(performed(a857),Ta857)/\Ta857>Ta428.

H(performed(a429),Ta429)
--->E(performed(a858),Ta858)/\Ta858>Ta429
\/E(performed(a859),Ta859)/\Ta859>Ta429.

H(performed(a430),Ta430)
--->E(performed(a860),Ta860)/\Ta860>Ta430
\/E(performed(a861),Ta861)/\Ta861>Ta430.

H(performed(a431),Ta431)
--->E(performed(a862),Ta862)/\Ta862>Ta431
\/E(performed(a863),Ta863)/\Ta863>Ta431.

H(performed(a432),Ta432)
--->E(performed(a864),Ta864)/\Ta864>Ta432
\/E(performed(a865),Ta865)/\Ta865>Ta432.

H(performed(a433),Ta433)
--->E(performed(a866),Ta866)/\Ta866>Ta433
\/E(performed(a867),Ta867)/\Ta867>Ta433.

H(performed(a434),Ta434)
--->E(performed(a868),Ta868)/\Ta868>Ta434
\/E(performed(a869),Ta869)/\Ta869>Ta434.

H(performed(a435),Ta435)
--->E(performed(a870),Ta870)/\Ta870>Ta435
\/E(performed(a871),Ta871)/\Ta871>Ta435.

H(performed(a436),Ta436)
--->E(performed(a872),Ta872)/\Ta872>Ta436
\/E(performed(a873),Ta873)/\Ta873>Ta436.

H(performed(a437),Ta437)
--->E(performed(a874),Ta874)/\Ta874>Ta437
\/E(performed(a875),Ta875)/\Ta875>Ta437.

H(performed(a438),Ta438)
--->E(performed(a876),Ta876)/\Ta876>Ta438
\/E(performed(a877),Ta877)/\Ta877>Ta438.

H(performed(a439),Ta439)
--->E(performed(a878),Ta878)/\Ta878>Ta439
\/E(performed(a879),Ta879)/\Ta879>Ta439.

H(performed(a440),Ta440)
--->E(performed(a880),Ta880)/\Ta880>Ta440
\/E(performed(a881),Ta881)/\Ta881>Ta440.

H(performed(a441),Ta441)
--->E(performed(a882),Ta882)/\Ta882>Ta441
\/E(performed(a883),Ta883)/\Ta883>Ta441.

H(performed(a442),Ta442)
--->E(performed(a884),Ta884)/\Ta884>Ta442
\/E(performed(a885),Ta885)/\Ta885>Ta442.

H(performed(a443),Ta443)
--->E(performed(a886),Ta886)/\Ta886>Ta443
\/E(performed(a887),Ta887)/\Ta887>Ta443.

H(performed(a444),Ta444)
--->E(performed(a888),Ta888)/\Ta888>Ta444
\/E(performed(a889),Ta889)/\Ta889>Ta444.

H(performed(a445),Ta445)
--->E(performed(a890),Ta890)/\Ta890>Ta445
\/E(performed(a891),Ta891)/\Ta891>Ta445.

H(performed(a446),Ta446)
--->E(performed(a892),Ta892)/\Ta892>Ta446
\/E(performed(a893),Ta893)/\Ta893>Ta446.

H(performed(a447),Ta447)
--->E(performed(a894),Ta894)/\Ta894>Ta447
\/E(performed(a895),Ta895)/\Ta895>Ta447.

H(performed(a448),Ta448)
--->E(performed(a896),Ta896)/\Ta896>Ta448
\/E(performed(a897),Ta897)/\Ta897>Ta448.

H(performed(a449),Ta449)
--->E(performed(a898),Ta898)/\Ta898>Ta449
\/E(performed(a899),Ta899)/\Ta899>Ta449.

H(performed(a450),Ta450)
--->E(performed(a900),Ta900)/\Ta900>Ta450
\/E(performed(a901),Ta901)/\Ta901>Ta450.

H(performed(a451),Ta451)
--->E(performed(a902),Ta902)/\Ta902>Ta451
\/E(performed(a903),Ta903)/\Ta903>Ta451.

H(performed(a452),Ta452)
--->E(performed(a904),Ta904)/\Ta904>Ta452
\/E(performed(a905),Ta905)/\Ta905>Ta452.

H(performed(a453),Ta453)
--->E(performed(a906),Ta906)/\Ta906>Ta453
\/E(performed(a907),Ta907)/\Ta907>Ta453.

H(performed(a454),Ta454)
--->E(performed(a908),Ta908)/\Ta908>Ta454
\/E(performed(a909),Ta909)/\Ta909>Ta454.

H(performed(a455),Ta455)
--->E(performed(a910),Ta910)/\Ta910>Ta455
\/E(performed(a911),Ta911)/\Ta911>Ta455.

H(performed(a456),Ta456)
--->E(performed(a912),Ta912)/\Ta912>Ta456
\/E(performed(a913),Ta913)/\Ta913>Ta456.

H(performed(a457),Ta457)
--->E(performed(a914),Ta914)/\Ta914>Ta457
\/E(performed(a915),Ta915)/\Ta915>Ta457.

H(performed(a458),Ta458)
--->E(performed(a916),Ta916)/\Ta916>Ta458
\/E(performed(a917),Ta917)/\Ta917>Ta458.

H(performed(a459),Ta459)
--->E(performed(a918),Ta918)/\Ta918>Ta459
\/E(performed(a919),Ta919)/\Ta919>Ta459.

H(performed(a460),Ta460)
--->E(performed(a920),Ta920)/\Ta920>Ta460
\/E(performed(a921),Ta921)/\Ta921>Ta460.

H(performed(a461),Ta461)
--->E(performed(a922),Ta922)/\Ta922>Ta461
\/E(performed(a923),Ta923)/\Ta923>Ta461.

H(performed(a462),Ta462)
--->E(performed(a924),Ta924)/\Ta924>Ta462
\/E(performed(a925),Ta925)/\Ta925>Ta462.

H(performed(a463),Ta463)
--->E(performed(a926),Ta926)/\Ta926>Ta463
\/E(performed(a927),Ta927)/\Ta927>Ta463.

H(performed(a464),Ta464)
--->E(performed(a928),Ta928)/\Ta928>Ta464
\/E(performed(a929),Ta929)/\Ta929>Ta464.

H(performed(a465),Ta465)
--->E(performed(a930),Ta930)/\Ta930>Ta465
\/E(performed(a931),Ta931)/\Ta931>Ta465.

H(performed(a466),Ta466)
--->E(performed(a932),Ta932)/\Ta932>Ta466
\/E(performed(a933),Ta933)/\Ta933>Ta466.

H(performed(a467),Ta467)
--->E(performed(a934),Ta934)/\Ta934>Ta467
\/E(performed(a935),Ta935)/\Ta935>Ta467.

H(performed(a468),Ta468)
--->E(performed(a936),Ta936)/\Ta936>Ta468
\/E(performed(a937),Ta937)/\Ta937>Ta468.

H(performed(a469),Ta469)
--->E(performed(a938),Ta938)/\Ta938>Ta469
\/E(performed(a939),Ta939)/\Ta939>Ta469.

H(performed(a470),Ta470)
--->E(performed(a940),Ta940)/\Ta940>Ta470
\/E(performed(a941),Ta941)/\Ta941>Ta470.

H(performed(a471),Ta471)
--->E(performed(a942),Ta942)/\Ta942>Ta471
\/E(performed(a943),Ta943)/\Ta943>Ta471.

H(performed(a472),Ta472)
--->E(performed(a944),Ta944)/\Ta944>Ta472
\/E(performed(a945),Ta945)/\Ta945>Ta472.

H(performed(a473),Ta473)
--->E(performed(a946),Ta946)/\Ta946>Ta473
\/E(performed(a947),Ta947)/\Ta947>Ta473.

H(performed(a474),Ta474)
--->E(performed(a948),Ta948)/\Ta948>Ta474
\/E(performed(a949),Ta949)/\Ta949>Ta474.

H(performed(a475),Ta475)
--->E(performed(a950),Ta950)/\Ta950>Ta475
\/E(performed(a951),Ta951)/\Ta951>Ta475.

H(performed(a476),Ta476)
--->E(performed(a952),Ta952)/\Ta952>Ta476
\/E(performed(a953),Ta953)/\Ta953>Ta476.

H(performed(a477),Ta477)
--->E(performed(a954),Ta954)/\Ta954>Ta477
\/E(performed(a955),Ta955)/\Ta955>Ta477.

H(performed(a478),Ta478)
--->E(performed(a956),Ta956)/\Ta956>Ta478
\/E(performed(a957),Ta957)/\Ta957>Ta478.

H(performed(a479),Ta479)
--->E(performed(a958),Ta958)/\Ta958>Ta479
\/E(performed(a959),Ta959)/\Ta959>Ta479.

H(performed(a480),Ta480)
--->E(performed(a960),Ta960)/\Ta960>Ta480
\/E(performed(a961),Ta961)/\Ta961>Ta480.

H(performed(a481),Ta481)
--->E(performed(a962),Ta962)/\Ta962>Ta481
\/E(performed(a963),Ta963)/\Ta963>Ta481.

H(performed(a482),Ta482)
--->E(performed(a964),Ta964)/\Ta964>Ta482
\/E(performed(a965),Ta965)/\Ta965>Ta482.

H(performed(a483),Ta483)
--->E(performed(a966),Ta966)/\Ta966>Ta483
\/E(performed(a967),Ta967)/\Ta967>Ta483.

H(performed(a484),Ta484)
--->E(performed(a968),Ta968)/\Ta968>Ta484
\/E(performed(a969),Ta969)/\Ta969>Ta484.

H(performed(a485),Ta485)
--->E(performed(a970),Ta970)/\Ta970>Ta485
\/E(performed(a971),Ta971)/\Ta971>Ta485.

H(performed(a486),Ta486)
--->E(performed(a972),Ta972)/\Ta972>Ta486
\/E(performed(a973),Ta973)/\Ta973>Ta486.

H(performed(a487),Ta487)
--->E(performed(a974),Ta974)/\Ta974>Ta487
\/E(performed(a975),Ta975)/\Ta975>Ta487.

H(performed(a488),Ta488)
--->E(performed(a976),Ta976)/\Ta976>Ta488
\/E(performed(a977),Ta977)/\Ta977>Ta488.

H(performed(a489),Ta489)
--->E(performed(a978),Ta978)/\Ta978>Ta489
\/E(performed(a979),Ta979)/\Ta979>Ta489.

H(performed(a490),Ta490)
--->E(performed(a980),Ta980)/\Ta980>Ta490
\/E(performed(a981),Ta981)/\Ta981>Ta490.

H(performed(a491),Ta491)
--->E(performed(a982),Ta982)/\Ta982>Ta491
\/E(performed(a983),Ta983)/\Ta983>Ta491.

H(performed(a492),Ta492)
--->E(performed(a984),Ta984)/\Ta984>Ta492
\/E(performed(a985),Ta985)/\Ta985>Ta492.

H(performed(a493),Ta493)
--->E(performed(a986),Ta986)/\Ta986>Ta493
\/E(performed(a987),Ta987)/\Ta987>Ta493.

H(performed(a494),Ta494)
--->E(performed(a988),Ta988)/\Ta988>Ta494
\/E(performed(a989),Ta989)/\Ta989>Ta494.

H(performed(a495),Ta495)
--->E(performed(a990),Ta990)/\Ta990>Ta495
\/E(performed(a991),Ta991)/\Ta991>Ta495.

H(performed(a496),Ta496)
--->E(performed(a992),Ta992)/\Ta992>Ta496
\/E(performed(a993),Ta993)/\Ta993>Ta496.

H(performed(a497),Ta497)
--->E(performed(a994),Ta994)/\Ta994>Ta497
\/E(performed(a995),Ta995)/\Ta995>Ta497.

H(performed(a498),Ta498)
--->E(performed(a996),Ta996)/\Ta996>Ta498
\/E(performed(a997),Ta997)/\Ta997>Ta498.

H(performed(a499),Ta499)
--->E(performed(a998),Ta998)/\Ta998>Ta499
\/E(performed(a999),Ta999)/\Ta999>Ta499.

H(performed(a500),Ta500)
--->E(performed(a1000),Ta1000)/\Ta1000>Ta500
\/E(performed(a1001),Ta1001)/\Ta1001>Ta500.

H(performed(a501),Ta501)
--->E(performed(a1002),Ta1002)/\Ta1002>Ta501
\/E(performed(a1003),Ta1003)/\Ta1003>Ta501.

H(performed(a502),Ta502)
--->E(performed(a1004),Ta1004)/\Ta1004>Ta502
\/E(performed(a1005),Ta1005)/\Ta1005>Ta502.

H(performed(a503),Ta503)
--->E(performed(a1006),Ta1006)/\Ta1006>Ta503
\/E(performed(a1007),Ta1007)/\Ta1007>Ta503.

H(performed(a504),Ta504)
--->E(performed(a1008),Ta1008)/\Ta1008>Ta504
\/E(performed(a1009),Ta1009)/\Ta1009>Ta504.

H(performed(a505),Ta505)
--->E(performed(a1010),Ta1010)/\Ta1010>Ta505
\/E(performed(a1011),Ta1011)/\Ta1011>Ta505.

H(performed(a506),Ta506)
--->E(performed(a1012),Ta1012)/\Ta1012>Ta506
\/E(performed(a1013),Ta1013)/\Ta1013>Ta506.

H(performed(a507),Ta507)
--->E(performed(a1014),Ta1014)/\Ta1014>Ta507
\/E(performed(a1015),Ta1015)/\Ta1015>Ta507.

H(performed(a508),Ta508)
--->E(performed(a1016),Ta1016)/\Ta1016>Ta508
\/E(performed(a1017),Ta1017)/\Ta1017>Ta508.

H(performed(a509),Ta509)
--->E(performed(a1018),Ta1018)/\Ta1018>Ta509
\/E(performed(a1019),Ta1019)/\Ta1019>Ta509.

H(performed(a510),Ta510)
--->E(performed(a1020),Ta1020)/\Ta1020>Ta510
\/E(performed(a1021),Ta1021)/\Ta1021>Ta510.

H(performed(a511),Ta511)
--->E(performed(a1022),Ta1022)/\Ta1022>Ta511
\/E(performed(a1023),Ta1023)/\Ta1023>Ta511.

H(performed(a512),Ta512)
--->E(performed(a1024),Ta1024)/\Ta1024>Ta512
\/E(performed(a1025),Ta1025)/\Ta1025>Ta512.

H(performed(a513),Ta513)
--->E(performed(a1026),Ta1026)/\Ta1026>Ta513
\/E(performed(a1027),Ta1027)/\Ta1027>Ta513.

H(performed(a514),Ta514)
--->E(performed(a1028),Ta1028)/\Ta1028>Ta514
\/E(performed(a1029),Ta1029)/\Ta1029>Ta514.

H(performed(a515),Ta515)
--->E(performed(a1030),Ta1030)/\Ta1030>Ta515
\/E(performed(a1031),Ta1031)/\Ta1031>Ta515.

H(performed(a516),Ta516)
--->E(performed(a1032),Ta1032)/\Ta1032>Ta516
\/E(performed(a1033),Ta1033)/\Ta1033>Ta516.

H(performed(a517),Ta517)
--->E(performed(a1034),Ta1034)/\Ta1034>Ta517
\/E(performed(a1035),Ta1035)/\Ta1035>Ta517.

H(performed(a518),Ta518)
--->E(performed(a1036),Ta1036)/\Ta1036>Ta518
\/E(performed(a1037),Ta1037)/\Ta1037>Ta518.

H(performed(a519),Ta519)
--->E(performed(a1038),Ta1038)/\Ta1038>Ta519
\/E(performed(a1039),Ta1039)/\Ta1039>Ta519.

H(performed(a520),Ta520)
--->E(performed(a1040),Ta1040)/\Ta1040>Ta520
\/E(performed(a1041),Ta1041)/\Ta1041>Ta520.

H(performed(a521),Ta521)
--->E(performed(a1042),Ta1042)/\Ta1042>Ta521
\/E(performed(a1043),Ta1043)/\Ta1043>Ta521.

H(performed(a522),Ta522)
--->E(performed(a1044),Ta1044)/\Ta1044>Ta522
\/E(performed(a1045),Ta1045)/\Ta1045>Ta522.

H(performed(a523),Ta523)
--->E(performed(a1046),Ta1046)/\Ta1046>Ta523
\/E(performed(a1047),Ta1047)/\Ta1047>Ta523.

H(performed(a524),Ta524)
--->E(performed(a1048),Ta1048)/\Ta1048>Ta524
\/E(performed(a1049),Ta1049)/\Ta1049>Ta524.

H(performed(a525),Ta525)
--->E(performed(a1050),Ta1050)/\Ta1050>Ta525
\/E(performed(a1051),Ta1051)/\Ta1051>Ta525.

H(performed(a526),Ta526)
--->E(performed(a1052),Ta1052)/\Ta1052>Ta526
\/E(performed(a1053),Ta1053)/\Ta1053>Ta526.

H(performed(a527),Ta527)
--->E(performed(a1054),Ta1054)/\Ta1054>Ta527
\/E(performed(a1055),Ta1055)/\Ta1055>Ta527.

H(performed(a528),Ta528)
--->E(performed(a1056),Ta1056)/\Ta1056>Ta528
\/E(performed(a1057),Ta1057)/\Ta1057>Ta528.

H(performed(a529),Ta529)
--->E(performed(a1058),Ta1058)/\Ta1058>Ta529
\/E(performed(a1059),Ta1059)/\Ta1059>Ta529.

H(performed(a530),Ta530)
--->E(performed(a1060),Ta1060)/\Ta1060>Ta530
\/E(performed(a1061),Ta1061)/\Ta1061>Ta530.

H(performed(a531),Ta531)
--->E(performed(a1062),Ta1062)/\Ta1062>Ta531
\/E(performed(a1063),Ta1063)/\Ta1063>Ta531.

H(performed(a532),Ta532)
--->E(performed(a1064),Ta1064)/\Ta1064>Ta532
\/E(performed(a1065),Ta1065)/\Ta1065>Ta532.

H(performed(a533),Ta533)
--->E(performed(a1066),Ta1066)/\Ta1066>Ta533
\/E(performed(a1067),Ta1067)/\Ta1067>Ta533.

H(performed(a534),Ta534)
--->E(performed(a1068),Ta1068)/\Ta1068>Ta534
\/E(performed(a1069),Ta1069)/\Ta1069>Ta534.

H(performed(a535),Ta535)
--->E(performed(a1070),Ta1070)/\Ta1070>Ta535
\/E(performed(a1071),Ta1071)/\Ta1071>Ta535.

H(performed(a536),Ta536)
--->E(performed(a1072),Ta1072)/\Ta1072>Ta536
\/E(performed(a1073),Ta1073)/\Ta1073>Ta536.

H(performed(a537),Ta537)
--->E(performed(a1074),Ta1074)/\Ta1074>Ta537
\/E(performed(a1075),Ta1075)/\Ta1075>Ta537.

H(performed(a538),Ta538)
--->E(performed(a1076),Ta1076)/\Ta1076>Ta538
\/E(performed(a1077),Ta1077)/\Ta1077>Ta538.

H(performed(a539),Ta539)
--->E(performed(a1078),Ta1078)/\Ta1078>Ta539
\/E(performed(a1079),Ta1079)/\Ta1079>Ta539.

H(performed(a540),Ta540)
--->E(performed(a1080),Ta1080)/\Ta1080>Ta540
\/E(performed(a1081),Ta1081)/\Ta1081>Ta540.

H(performed(a541),Ta541)
--->E(performed(a1082),Ta1082)/\Ta1082>Ta541
\/E(performed(a1083),Ta1083)/\Ta1083>Ta541.

H(performed(a542),Ta542)
--->E(performed(a1084),Ta1084)/\Ta1084>Ta542
\/E(performed(a1085),Ta1085)/\Ta1085>Ta542.

H(performed(a543),Ta543)
--->E(performed(a1086),Ta1086)/\Ta1086>Ta543
\/E(performed(a1087),Ta1087)/\Ta1087>Ta543.

H(performed(a544),Ta544)
--->E(performed(a1088),Ta1088)/\Ta1088>Ta544
\/E(performed(a1089),Ta1089)/\Ta1089>Ta544.

H(performed(a545),Ta545)
--->E(performed(a1090),Ta1090)/\Ta1090>Ta545
\/E(performed(a1091),Ta1091)/\Ta1091>Ta545.

H(performed(a546),Ta546)
--->E(performed(a1092),Ta1092)/\Ta1092>Ta546
\/E(performed(a1093),Ta1093)/\Ta1093>Ta546.

H(performed(a547),Ta547)
--->E(performed(a1094),Ta1094)/\Ta1094>Ta547
\/E(performed(a1095),Ta1095)/\Ta1095>Ta547.

H(performed(a548),Ta548)
--->E(performed(a1096),Ta1096)/\Ta1096>Ta548
\/E(performed(a1097),Ta1097)/\Ta1097>Ta548.

H(performed(a549),Ta549)
--->E(performed(a1098),Ta1098)/\Ta1098>Ta549
\/E(performed(a1099),Ta1099)/\Ta1099>Ta549.

H(performed(a550),Ta550)
--->E(performed(a1100),Ta1100)/\Ta1100>Ta550
\/E(performed(a1101),Ta1101)/\Ta1101>Ta550.

H(performed(a551),Ta551)
--->E(performed(a1102),Ta1102)/\Ta1102>Ta551
\/E(performed(a1103),Ta1103)/\Ta1103>Ta551.

H(performed(a552),Ta552)
--->E(performed(a1104),Ta1104)/\Ta1104>Ta552
\/E(performed(a1105),Ta1105)/\Ta1105>Ta552.

H(performed(a553),Ta553)
--->E(performed(a1106),Ta1106)/\Ta1106>Ta553
\/E(performed(a1107),Ta1107)/\Ta1107>Ta553.

H(performed(a554),Ta554)
--->E(performed(a1108),Ta1108)/\Ta1108>Ta554
\/E(performed(a1109),Ta1109)/\Ta1109>Ta554.

H(performed(a555),Ta555)
--->E(performed(a1110),Ta1110)/\Ta1110>Ta555
\/E(performed(a1111),Ta1111)/\Ta1111>Ta555.

H(performed(a556),Ta556)
--->E(performed(a1112),Ta1112)/\Ta1112>Ta556
\/E(performed(a1113),Ta1113)/\Ta1113>Ta556.

H(performed(a557),Ta557)
--->E(performed(a1114),Ta1114)/\Ta1114>Ta557
\/E(performed(a1115),Ta1115)/\Ta1115>Ta557.

H(performed(a558),Ta558)
--->E(performed(a1116),Ta1116)/\Ta1116>Ta558
\/E(performed(a1117),Ta1117)/\Ta1117>Ta558.

H(performed(a559),Ta559)
--->E(performed(a1118),Ta1118)/\Ta1118>Ta559
\/E(performed(a1119),Ta1119)/\Ta1119>Ta559.

H(performed(a560),Ta560)
--->E(performed(a1120),Ta1120)/\Ta1120>Ta560
\/E(performed(a1121),Ta1121)/\Ta1121>Ta560.

H(performed(a561),Ta561)
--->E(performed(a1122),Ta1122)/\Ta1122>Ta561
\/E(performed(a1123),Ta1123)/\Ta1123>Ta561.

H(performed(a562),Ta562)
--->E(performed(a1124),Ta1124)/\Ta1124>Ta562
\/E(performed(a1125),Ta1125)/\Ta1125>Ta562.

H(performed(a563),Ta563)
--->E(performed(a1126),Ta1126)/\Ta1126>Ta563
\/E(performed(a1127),Ta1127)/\Ta1127>Ta563.

H(performed(a564),Ta564)
--->E(performed(a1128),Ta1128)/\Ta1128>Ta564
\/E(performed(a1129),Ta1129)/\Ta1129>Ta564.

H(performed(a565),Ta565)
--->E(performed(a1130),Ta1130)/\Ta1130>Ta565
\/E(performed(a1131),Ta1131)/\Ta1131>Ta565.

H(performed(a566),Ta566)
--->E(performed(a1132),Ta1132)/\Ta1132>Ta566
\/E(performed(a1133),Ta1133)/\Ta1133>Ta566.

H(performed(a567),Ta567)
--->E(performed(a1134),Ta1134)/\Ta1134>Ta567
\/E(performed(a1135),Ta1135)/\Ta1135>Ta567.

H(performed(a568),Ta568)
--->E(performed(a1136),Ta1136)/\Ta1136>Ta568
\/E(performed(a1137),Ta1137)/\Ta1137>Ta568.

H(performed(a569),Ta569)
--->E(performed(a1138),Ta1138)/\Ta1138>Ta569
\/E(performed(a1139),Ta1139)/\Ta1139>Ta569.

H(performed(a570),Ta570)
--->E(performed(a1140),Ta1140)/\Ta1140>Ta570
\/E(performed(a1141),Ta1141)/\Ta1141>Ta570.

H(performed(a571),Ta571)
--->E(performed(a1142),Ta1142)/\Ta1142>Ta571
\/E(performed(a1143),Ta1143)/\Ta1143>Ta571.

H(performed(a572),Ta572)
--->E(performed(a1144),Ta1144)/\Ta1144>Ta572
\/E(performed(a1145),Ta1145)/\Ta1145>Ta572.

H(performed(a573),Ta573)
--->E(performed(a1146),Ta1146)/\Ta1146>Ta573
\/E(performed(a1147),Ta1147)/\Ta1147>Ta573.

H(performed(a574),Ta574)
--->E(performed(a1148),Ta1148)/\Ta1148>Ta574
\/E(performed(a1149),Ta1149)/\Ta1149>Ta574.

H(performed(a575),Ta575)
--->E(performed(a1150),Ta1150)/\Ta1150>Ta575
\/E(performed(a1151),Ta1151)/\Ta1151>Ta575.

H(performed(a576),Ta576)
--->E(performed(a1152),Ta1152)/\Ta1152>Ta576
\/E(performed(a1153),Ta1153)/\Ta1153>Ta576.

H(performed(a577),Ta577)
--->E(performed(a1154),Ta1154)/\Ta1154>Ta577
\/E(performed(a1155),Ta1155)/\Ta1155>Ta577.

H(performed(a578),Ta578)
--->E(performed(a1156),Ta1156)/\Ta1156>Ta578
\/E(performed(a1157),Ta1157)/\Ta1157>Ta578.

H(performed(a579),Ta579)
--->E(performed(a1158),Ta1158)/\Ta1158>Ta579
\/E(performed(a1159),Ta1159)/\Ta1159>Ta579.

H(performed(a580),Ta580)
--->E(performed(a1160),Ta1160)/\Ta1160>Ta580
\/E(performed(a1161),Ta1161)/\Ta1161>Ta580.

H(performed(a581),Ta581)
--->E(performed(a1162),Ta1162)/\Ta1162>Ta581
\/E(performed(a1163),Ta1163)/\Ta1163>Ta581.

H(performed(a582),Ta582)
--->E(performed(a1164),Ta1164)/\Ta1164>Ta582
\/E(performed(a1165),Ta1165)/\Ta1165>Ta582.

H(performed(a583),Ta583)
--->E(performed(a1166),Ta1166)/\Ta1166>Ta583
\/E(performed(a1167),Ta1167)/\Ta1167>Ta583.

H(performed(a584),Ta584)
--->E(performed(a1168),Ta1168)/\Ta1168>Ta584
\/E(performed(a1169),Ta1169)/\Ta1169>Ta584.

H(performed(a585),Ta585)
--->E(performed(a1170),Ta1170)/\Ta1170>Ta585
\/E(performed(a1171),Ta1171)/\Ta1171>Ta585.

H(performed(a586),Ta586)
--->E(performed(a1172),Ta1172)/\Ta1172>Ta586
\/E(performed(a1173),Ta1173)/\Ta1173>Ta586.

H(performed(a587),Ta587)
--->E(performed(a1174),Ta1174)/\Ta1174>Ta587
\/E(performed(a1175),Ta1175)/\Ta1175>Ta587.

H(performed(a588),Ta588)
--->E(performed(a1176),Ta1176)/\Ta1176>Ta588
\/E(performed(a1177),Ta1177)/\Ta1177>Ta588.

H(performed(a589),Ta589)
--->E(performed(a1178),Ta1178)/\Ta1178>Ta589
\/E(performed(a1179),Ta1179)/\Ta1179>Ta589.

H(performed(a590),Ta590)
--->E(performed(a1180),Ta1180)/\Ta1180>Ta590
\/E(performed(a1181),Ta1181)/\Ta1181>Ta590.

H(performed(a591),Ta591)
--->E(performed(a1182),Ta1182)/\Ta1182>Ta591
\/E(performed(a1183),Ta1183)/\Ta1183>Ta591.

H(performed(a592),Ta592)
--->E(performed(a1184),Ta1184)/\Ta1184>Ta592
\/E(performed(a1185),Ta1185)/\Ta1185>Ta592.

H(performed(a593),Ta593)
--->E(performed(a1186),Ta1186)/\Ta1186>Ta593
\/E(performed(a1187),Ta1187)/\Ta1187>Ta593.

H(performed(a594),Ta594)
--->E(performed(a1188),Ta1188)/\Ta1188>Ta594
\/E(performed(a1189),Ta1189)/\Ta1189>Ta594.

H(performed(a595),Ta595)
--->E(performed(a1190),Ta1190)/\Ta1190>Ta595
\/E(performed(a1191),Ta1191)/\Ta1191>Ta595.

H(performed(a596),Ta596)
--->E(performed(a1192),Ta1192)/\Ta1192>Ta596
\/E(performed(a1193),Ta1193)/\Ta1193>Ta596.

H(performed(a597),Ta597)
--->E(performed(a1194),Ta1194)/\Ta1194>Ta597
\/E(performed(a1195),Ta1195)/\Ta1195>Ta597.

H(performed(a598),Ta598)
--->E(performed(a1196),Ta1196)/\Ta1196>Ta598
\/E(performed(a1197),Ta1197)/\Ta1197>Ta598.

H(performed(a599),Ta599)
--->E(performed(a1198),Ta1198)/\Ta1198>Ta599
\/E(performed(a1199),Ta1199)/\Ta1199>Ta599.

H(performed(a600),Ta600)
--->E(performed(a1200),Ta1200)/\Ta1200>Ta600
\/E(performed(a1201),Ta1201)/\Ta1201>Ta600.

H(performed(a601),Ta601)
--->E(performed(a1202),Ta1202)/\Ta1202>Ta601
\/E(performed(a1203),Ta1203)/\Ta1203>Ta601.

H(performed(a602),Ta602)
--->E(performed(a1204),Ta1204)/\Ta1204>Ta602
\/E(performed(a1205),Ta1205)/\Ta1205>Ta602.

H(performed(a603),Ta603)
--->E(performed(a1206),Ta1206)/\Ta1206>Ta603
\/E(performed(a1207),Ta1207)/\Ta1207>Ta603.

H(performed(a604),Ta604)
--->E(performed(a1208),Ta1208)/\Ta1208>Ta604
\/E(performed(a1209),Ta1209)/\Ta1209>Ta604.

H(performed(a605),Ta605)
--->E(performed(a1210),Ta1210)/\Ta1210>Ta605
\/E(performed(a1211),Ta1211)/\Ta1211>Ta605.

H(performed(a606),Ta606)
--->E(performed(a1212),Ta1212)/\Ta1212>Ta606
\/E(performed(a1213),Ta1213)/\Ta1213>Ta606.

H(performed(a607),Ta607)
--->E(performed(a1214),Ta1214)/\Ta1214>Ta607
\/E(performed(a1215),Ta1215)/\Ta1215>Ta607.

H(performed(a608),Ta608)
--->E(performed(a1216),Ta1216)/\Ta1216>Ta608
\/E(performed(a1217),Ta1217)/\Ta1217>Ta608.

H(performed(a609),Ta609)
--->E(performed(a1218),Ta1218)/\Ta1218>Ta609
\/E(performed(a1219),Ta1219)/\Ta1219>Ta609.

H(performed(a610),Ta610)
--->E(performed(a1220),Ta1220)/\Ta1220>Ta610
\/E(performed(a1221),Ta1221)/\Ta1221>Ta610.

H(performed(a611),Ta611)
--->E(performed(a1222),Ta1222)/\Ta1222>Ta611
\/E(performed(a1223),Ta1223)/\Ta1223>Ta611.

H(performed(a612),Ta612)
--->E(performed(a1224),Ta1224)/\Ta1224>Ta612
\/E(performed(a1225),Ta1225)/\Ta1225>Ta612.

H(performed(a613),Ta613)
--->E(performed(a1226),Ta1226)/\Ta1226>Ta613
\/E(performed(a1227),Ta1227)/\Ta1227>Ta613.

H(performed(a614),Ta614)
--->E(performed(a1228),Ta1228)/\Ta1228>Ta614
\/E(performed(a1229),Ta1229)/\Ta1229>Ta614.

H(performed(a615),Ta615)
--->E(performed(a1230),Ta1230)/\Ta1230>Ta615
\/E(performed(a1231),Ta1231)/\Ta1231>Ta615.

H(performed(a616),Ta616)
--->E(performed(a1232),Ta1232)/\Ta1232>Ta616
\/E(performed(a1233),Ta1233)/\Ta1233>Ta616.

H(performed(a617),Ta617)
--->E(performed(a1234),Ta1234)/\Ta1234>Ta617
\/E(performed(a1235),Ta1235)/\Ta1235>Ta617.

H(performed(a618),Ta618)
--->E(performed(a1236),Ta1236)/\Ta1236>Ta618
\/E(performed(a1237),Ta1237)/\Ta1237>Ta618.

H(performed(a619),Ta619)
--->E(performed(a1238),Ta1238)/\Ta1238>Ta619
\/E(performed(a1239),Ta1239)/\Ta1239>Ta619.

H(performed(a620),Ta620)
--->E(performed(a1240),Ta1240)/\Ta1240>Ta620
\/E(performed(a1241),Ta1241)/\Ta1241>Ta620.

H(performed(a621),Ta621)
--->E(performed(a1242),Ta1242)/\Ta1242>Ta621
\/E(performed(a1243),Ta1243)/\Ta1243>Ta621.

H(performed(a622),Ta622)
--->E(performed(a1244),Ta1244)/\Ta1244>Ta622
\/E(performed(a1245),Ta1245)/\Ta1245>Ta622.

H(performed(a623),Ta623)
--->E(performed(a1246),Ta1246)/\Ta1246>Ta623
\/E(performed(a1247),Ta1247)/\Ta1247>Ta623.

H(performed(a624),Ta624)
--->E(performed(a1248),Ta1248)/\Ta1248>Ta624
\/E(performed(a1249),Ta1249)/\Ta1249>Ta624.

H(performed(a625),Ta625)
--->E(performed(a1250),Ta1250)/\Ta1250>Ta625
\/E(performed(a1251),Ta1251)/\Ta1251>Ta625.

H(performed(a626),Ta626)
--->E(performed(a1252),Ta1252)/\Ta1252>Ta626
\/E(performed(a1253),Ta1253)/\Ta1253>Ta626.

H(performed(a627),Ta627)
--->E(performed(a1254),Ta1254)/\Ta1254>Ta627
\/E(performed(a1255),Ta1255)/\Ta1255>Ta627.

H(performed(a628),Ta628)
--->E(performed(a1256),Ta1256)/\Ta1256>Ta628
\/E(performed(a1257),Ta1257)/\Ta1257>Ta628.

H(performed(a629),Ta629)
--->E(performed(a1258),Ta1258)/\Ta1258>Ta629
\/E(performed(a1259),Ta1259)/\Ta1259>Ta629.

H(performed(a630),Ta630)
--->E(performed(a1260),Ta1260)/\Ta1260>Ta630
\/E(performed(a1261),Ta1261)/\Ta1261>Ta630.

H(performed(a631),Ta631)
--->E(performed(a1262),Ta1262)/\Ta1262>Ta631
\/E(performed(a1263),Ta1263)/\Ta1263>Ta631.

H(performed(a632),Ta632)
--->E(performed(a1264),Ta1264)/\Ta1264>Ta632
\/E(performed(a1265),Ta1265)/\Ta1265>Ta632.

H(performed(a633),Ta633)
--->E(performed(a1266),Ta1266)/\Ta1266>Ta633
\/E(performed(a1267),Ta1267)/\Ta1267>Ta633.

H(performed(a634),Ta634)
--->E(performed(a1268),Ta1268)/\Ta1268>Ta634
\/E(performed(a1269),Ta1269)/\Ta1269>Ta634.

H(performed(a635),Ta635)
--->E(performed(a1270),Ta1270)/\Ta1270>Ta635
\/E(performed(a1271),Ta1271)/\Ta1271>Ta635.

H(performed(a636),Ta636)
--->E(performed(a1272),Ta1272)/\Ta1272>Ta636
\/E(performed(a1273),Ta1273)/\Ta1273>Ta636.

H(performed(a637),Ta637)
--->E(performed(a1274),Ta1274)/\Ta1274>Ta637
\/E(performed(a1275),Ta1275)/\Ta1275>Ta637.

H(performed(a638),Ta638)
--->E(performed(a1276),Ta1276)/\Ta1276>Ta638
\/E(performed(a1277),Ta1277)/\Ta1277>Ta638.

H(performed(a639),Ta639)
--->E(performed(a1278),Ta1278)/\Ta1278>Ta639
\/E(performed(a1279),Ta1279)/\Ta1279>Ta639.

H(performed(a640),Ta640)
--->E(performed(a1280),Ta1280)/\Ta1280>Ta640
\/E(performed(a1281),Ta1281)/\Ta1281>Ta640.

H(performed(a641),Ta641)
--->E(performed(a1282),Ta1282)/\Ta1282>Ta641
\/E(performed(a1283),Ta1283)/\Ta1283>Ta641.

H(performed(a642),Ta642)
--->E(performed(a1284),Ta1284)/\Ta1284>Ta642
\/E(performed(a1285),Ta1285)/\Ta1285>Ta642.

H(performed(a643),Ta643)
--->E(performed(a1286),Ta1286)/\Ta1286>Ta643
\/E(performed(a1287),Ta1287)/\Ta1287>Ta643.

H(performed(a644),Ta644)
--->E(performed(a1288),Ta1288)/\Ta1288>Ta644
\/E(performed(a1289),Ta1289)/\Ta1289>Ta644.

H(performed(a645),Ta645)
--->E(performed(a1290),Ta1290)/\Ta1290>Ta645
\/E(performed(a1291),Ta1291)/\Ta1291>Ta645.

H(performed(a646),Ta646)
--->E(performed(a1292),Ta1292)/\Ta1292>Ta646
\/E(performed(a1293),Ta1293)/\Ta1293>Ta646.

H(performed(a647),Ta647)
--->E(performed(a1294),Ta1294)/\Ta1294>Ta647
\/E(performed(a1295),Ta1295)/\Ta1295>Ta647.

H(performed(a648),Ta648)
--->E(performed(a1296),Ta1296)/\Ta1296>Ta648
\/E(performed(a1297),Ta1297)/\Ta1297>Ta648.

H(performed(a649),Ta649)
--->E(performed(a1298),Ta1298)/\Ta1298>Ta649
\/E(performed(a1299),Ta1299)/\Ta1299>Ta649.

H(performed(a650),Ta650)
--->E(performed(a1300),Ta1300)/\Ta1300>Ta650
\/E(performed(a1301),Ta1301)/\Ta1301>Ta650.

H(performed(a651),Ta651)
--->E(performed(a1302),Ta1302)/\Ta1302>Ta651
\/E(performed(a1303),Ta1303)/\Ta1303>Ta651.

H(performed(a652),Ta652)
--->E(performed(a1304),Ta1304)/\Ta1304>Ta652
\/E(performed(a1305),Ta1305)/\Ta1305>Ta652.

H(performed(a653),Ta653)
--->E(performed(a1306),Ta1306)/\Ta1306>Ta653
\/E(performed(a1307),Ta1307)/\Ta1307>Ta653.

H(performed(a654),Ta654)
--->E(performed(a1308),Ta1308)/\Ta1308>Ta654
\/E(performed(a1309),Ta1309)/\Ta1309>Ta654.

H(performed(a655),Ta655)
--->E(performed(a1310),Ta1310)/\Ta1310>Ta655
\/E(performed(a1311),Ta1311)/\Ta1311>Ta655.

H(performed(a656),Ta656)
--->E(performed(a1312),Ta1312)/\Ta1312>Ta656
\/E(performed(a1313),Ta1313)/\Ta1313>Ta656.

H(performed(a657),Ta657)
--->E(performed(a1314),Ta1314)/\Ta1314>Ta657
\/E(performed(a1315),Ta1315)/\Ta1315>Ta657.

H(performed(a658),Ta658)
--->E(performed(a1316),Ta1316)/\Ta1316>Ta658
\/E(performed(a1317),Ta1317)/\Ta1317>Ta658.

H(performed(a659),Ta659)
--->E(performed(a1318),Ta1318)/\Ta1318>Ta659
\/E(performed(a1319),Ta1319)/\Ta1319>Ta659.

H(performed(a660),Ta660)
--->E(performed(a1320),Ta1320)/\Ta1320>Ta660
\/E(performed(a1321),Ta1321)/\Ta1321>Ta660.

H(performed(a661),Ta661)
--->E(performed(a1322),Ta1322)/\Ta1322>Ta661
\/E(performed(a1323),Ta1323)/\Ta1323>Ta661.

H(performed(a662),Ta662)
--->E(performed(a1324),Ta1324)/\Ta1324>Ta662
\/E(performed(a1325),Ta1325)/\Ta1325>Ta662.

H(performed(a663),Ta663)
--->E(performed(a1326),Ta1326)/\Ta1326>Ta663
\/E(performed(a1327),Ta1327)/\Ta1327>Ta663.

H(performed(a664),Ta664)
--->E(performed(a1328),Ta1328)/\Ta1328>Ta664
\/E(performed(a1329),Ta1329)/\Ta1329>Ta664.

H(performed(a665),Ta665)
--->E(performed(a1330),Ta1330)/\Ta1330>Ta665
\/E(performed(a1331),Ta1331)/\Ta1331>Ta665.

H(performed(a666),Ta666)
--->E(performed(a1332),Ta1332)/\Ta1332>Ta666
\/E(performed(a1333),Ta1333)/\Ta1333>Ta666.

H(performed(a667),Ta667)
--->E(performed(a1334),Ta1334)/\Ta1334>Ta667
\/E(performed(a1335),Ta1335)/\Ta1335>Ta667.

H(performed(a668),Ta668)
--->E(performed(a1336),Ta1336)/\Ta1336>Ta668
\/E(performed(a1337),Ta1337)/\Ta1337>Ta668.

H(performed(a669),Ta669)
--->E(performed(a1338),Ta1338)/\Ta1338>Ta669
\/E(performed(a1339),Ta1339)/\Ta1339>Ta669.

H(performed(a670),Ta670)
--->E(performed(a1340),Ta1340)/\Ta1340>Ta670
\/E(performed(a1341),Ta1341)/\Ta1341>Ta670.

H(performed(a671),Ta671)
--->E(performed(a1342),Ta1342)/\Ta1342>Ta671
\/E(performed(a1343),Ta1343)/\Ta1343>Ta671.

H(performed(a672),Ta672)
--->E(performed(a1344),Ta1344)/\Ta1344>Ta672
\/E(performed(a1345),Ta1345)/\Ta1345>Ta672.

H(performed(a673),Ta673)
--->E(performed(a1346),Ta1346)/\Ta1346>Ta673
\/E(performed(a1347),Ta1347)/\Ta1347>Ta673.

H(performed(a674),Ta674)
--->E(performed(a1348),Ta1348)/\Ta1348>Ta674
\/E(performed(a1349),Ta1349)/\Ta1349>Ta674.

H(performed(a675),Ta675)
--->E(performed(a1350),Ta1350)/\Ta1350>Ta675
\/E(performed(a1351),Ta1351)/\Ta1351>Ta675.

H(performed(a676),Ta676)
--->E(performed(a1352),Ta1352)/\Ta1352>Ta676
\/E(performed(a1353),Ta1353)/\Ta1353>Ta676.

H(performed(a677),Ta677)
--->E(performed(a1354),Ta1354)/\Ta1354>Ta677
\/E(performed(a1355),Ta1355)/\Ta1355>Ta677.

H(performed(a678),Ta678)
--->E(performed(a1356),Ta1356)/\Ta1356>Ta678
\/E(performed(a1357),Ta1357)/\Ta1357>Ta678.

H(performed(a679),Ta679)
--->E(performed(a1358),Ta1358)/\Ta1358>Ta679
\/E(performed(a1359),Ta1359)/\Ta1359>Ta679.

H(performed(a680),Ta680)
--->E(performed(a1360),Ta1360)/\Ta1360>Ta680
\/E(performed(a1361),Ta1361)/\Ta1361>Ta680.

H(performed(a681),Ta681)
--->E(performed(a1362),Ta1362)/\Ta1362>Ta681
\/E(performed(a1363),Ta1363)/\Ta1363>Ta681.

H(performed(a682),Ta682)
--->E(performed(a1364),Ta1364)/\Ta1364>Ta682
\/E(performed(a1365),Ta1365)/\Ta1365>Ta682.

H(performed(a683),Ta683)
--->E(performed(a1366),Ta1366)/\Ta1366>Ta683
\/E(performed(a1367),Ta1367)/\Ta1367>Ta683.

H(performed(a684),Ta684)
--->E(performed(a1368),Ta1368)/\Ta1368>Ta684
\/E(performed(a1369),Ta1369)/\Ta1369>Ta684.

H(performed(a685),Ta685)
--->E(performed(a1370),Ta1370)/\Ta1370>Ta685
\/E(performed(a1371),Ta1371)/\Ta1371>Ta685.

H(performed(a686),Ta686)
--->E(performed(a1372),Ta1372)/\Ta1372>Ta686
\/E(performed(a1373),Ta1373)/\Ta1373>Ta686.

H(performed(a687),Ta687)
--->E(performed(a1374),Ta1374)/\Ta1374>Ta687
\/E(performed(a1375),Ta1375)/\Ta1375>Ta687.

H(performed(a688),Ta688)
--->E(performed(a1376),Ta1376)/\Ta1376>Ta688
\/E(performed(a1377),Ta1377)/\Ta1377>Ta688.

H(performed(a689),Ta689)
--->E(performed(a1378),Ta1378)/\Ta1378>Ta689
\/E(performed(a1379),Ta1379)/\Ta1379>Ta689.

H(performed(a690),Ta690)
--->E(performed(a1380),Ta1380)/\Ta1380>Ta690
\/E(performed(a1381),Ta1381)/\Ta1381>Ta690.

H(performed(a691),Ta691)
--->E(performed(a1382),Ta1382)/\Ta1382>Ta691
\/E(performed(a1383),Ta1383)/\Ta1383>Ta691.

H(performed(a692),Ta692)
--->E(performed(a1384),Ta1384)/\Ta1384>Ta692
\/E(performed(a1385),Ta1385)/\Ta1385>Ta692.

H(performed(a693),Ta693)
--->E(performed(a1386),Ta1386)/\Ta1386>Ta693
\/E(performed(a1387),Ta1387)/\Ta1387>Ta693.

H(performed(a694),Ta694)
--->E(performed(a1388),Ta1388)/\Ta1388>Ta694
\/E(performed(a1389),Ta1389)/\Ta1389>Ta694.

H(performed(a695),Ta695)
--->E(performed(a1390),Ta1390)/\Ta1390>Ta695
\/E(performed(a1391),Ta1391)/\Ta1391>Ta695.

H(performed(a696),Ta696)
--->E(performed(a1392),Ta1392)/\Ta1392>Ta696
\/E(performed(a1393),Ta1393)/\Ta1393>Ta696.

H(performed(a697),Ta697)
--->E(performed(a1394),Ta1394)/\Ta1394>Ta697
\/E(performed(a1395),Ta1395)/\Ta1395>Ta697.

H(performed(a698),Ta698)
--->E(performed(a1396),Ta1396)/\Ta1396>Ta698
\/E(performed(a1397),Ta1397)/\Ta1397>Ta698.

H(performed(a699),Ta699)
--->E(performed(a1398),Ta1398)/\Ta1398>Ta699
\/E(performed(a1399),Ta1399)/\Ta1399>Ta699.

H(performed(a700),Ta700)
--->E(performed(a1400),Ta1400)/\Ta1400>Ta700
\/E(performed(a1401),Ta1401)/\Ta1401>Ta700.

H(performed(a701),Ta701)
--->E(performed(a1402),Ta1402)/\Ta1402>Ta701
\/E(performed(a1403),Ta1403)/\Ta1403>Ta701.

H(performed(a702),Ta702)
--->E(performed(a1404),Ta1404)/\Ta1404>Ta702
\/E(performed(a1405),Ta1405)/\Ta1405>Ta702.

H(performed(a703),Ta703)
--->E(performed(a1406),Ta1406)/\Ta1406>Ta703
\/E(performed(a1407),Ta1407)/\Ta1407>Ta703.

H(performed(a704),Ta704)
--->E(performed(a1408),Ta1408)/\Ta1408>Ta704
\/E(performed(a1409),Ta1409)/\Ta1409>Ta704.

H(performed(a705),Ta705)
--->E(performed(a1410),Ta1410)/\Ta1410>Ta705
\/E(performed(a1411),Ta1411)/\Ta1411>Ta705.

H(performed(a706),Ta706)
--->E(performed(a1412),Ta1412)/\Ta1412>Ta706
\/E(performed(a1413),Ta1413)/\Ta1413>Ta706.

H(performed(a707),Ta707)
--->E(performed(a1414),Ta1414)/\Ta1414>Ta707
\/E(performed(a1415),Ta1415)/\Ta1415>Ta707.

H(performed(a708),Ta708)
--->E(performed(a1416),Ta1416)/\Ta1416>Ta708
\/E(performed(a1417),Ta1417)/\Ta1417>Ta708.

H(performed(a709),Ta709)
--->E(performed(a1418),Ta1418)/\Ta1418>Ta709
\/E(performed(a1419),Ta1419)/\Ta1419>Ta709.

H(performed(a710),Ta710)
--->E(performed(a1420),Ta1420)/\Ta1420>Ta710
\/E(performed(a1421),Ta1421)/\Ta1421>Ta710.

H(performed(a711),Ta711)
--->E(performed(a1422),Ta1422)/\Ta1422>Ta711
\/E(performed(a1423),Ta1423)/\Ta1423>Ta711.

H(performed(a712),Ta712)
--->E(performed(a1424),Ta1424)/\Ta1424>Ta712
\/E(performed(a1425),Ta1425)/\Ta1425>Ta712.

H(performed(a713),Ta713)
--->E(performed(a1426),Ta1426)/\Ta1426>Ta713
\/E(performed(a1427),Ta1427)/\Ta1427>Ta713.

H(performed(a714),Ta714)
--->E(performed(a1428),Ta1428)/\Ta1428>Ta714
\/E(performed(a1429),Ta1429)/\Ta1429>Ta714.

H(performed(a715),Ta715)
--->E(performed(a1430),Ta1430)/\Ta1430>Ta715
\/E(performed(a1431),Ta1431)/\Ta1431>Ta715.

H(performed(a716),Ta716)
--->E(performed(a1432),Ta1432)/\Ta1432>Ta716
\/E(performed(a1433),Ta1433)/\Ta1433>Ta716.

H(performed(a717),Ta717)
--->E(performed(a1434),Ta1434)/\Ta1434>Ta717
\/E(performed(a1435),Ta1435)/\Ta1435>Ta717.

H(performed(a718),Ta718)
--->E(performed(a1436),Ta1436)/\Ta1436>Ta718
\/E(performed(a1437),Ta1437)/\Ta1437>Ta718.

H(performed(a719),Ta719)
--->E(performed(a1438),Ta1438)/\Ta1438>Ta719
\/E(performed(a1439),Ta1439)/\Ta1439>Ta719.

H(performed(a720),Ta720)
--->E(performed(a1440),Ta1440)/\Ta1440>Ta720
\/E(performed(a1441),Ta1441)/\Ta1441>Ta720.

H(performed(a721),Ta721)
--->E(performed(a1442),Ta1442)/\Ta1442>Ta721
\/E(performed(a1443),Ta1443)/\Ta1443>Ta721.

H(performed(a722),Ta722)
--->E(performed(a1444),Ta1444)/\Ta1444>Ta722
\/E(performed(a1445),Ta1445)/\Ta1445>Ta722.

H(performed(a723),Ta723)
--->E(performed(a1446),Ta1446)/\Ta1446>Ta723
\/E(performed(a1447),Ta1447)/\Ta1447>Ta723.

H(performed(a724),Ta724)
--->E(performed(a1448),Ta1448)/\Ta1448>Ta724
\/E(performed(a1449),Ta1449)/\Ta1449>Ta724.

H(performed(a725),Ta725)
--->E(performed(a1450),Ta1450)/\Ta1450>Ta725
\/E(performed(a1451),Ta1451)/\Ta1451>Ta725.

H(performed(a726),Ta726)
--->E(performed(a1452),Ta1452)/\Ta1452>Ta726
\/E(performed(a1453),Ta1453)/\Ta1453>Ta726.

H(performed(a727),Ta727)
--->E(performed(a1454),Ta1454)/\Ta1454>Ta727
\/E(performed(a1455),Ta1455)/\Ta1455>Ta727.

H(performed(a728),Ta728)
--->E(performed(a1456),Ta1456)/\Ta1456>Ta728
\/E(performed(a1457),Ta1457)/\Ta1457>Ta728.

H(performed(a729),Ta729)
--->E(performed(a1458),Ta1458)/\Ta1458>Ta729
\/E(performed(a1459),Ta1459)/\Ta1459>Ta729.

H(performed(a730),Ta730)
--->E(performed(a1460),Ta1460)/\Ta1460>Ta730
\/E(performed(a1461),Ta1461)/\Ta1461>Ta730.

H(performed(a731),Ta731)
--->E(performed(a1462),Ta1462)/\Ta1462>Ta731
\/E(performed(a1463),Ta1463)/\Ta1463>Ta731.

H(performed(a732),Ta732)
--->E(performed(a1464),Ta1464)/\Ta1464>Ta732
\/E(performed(a1465),Ta1465)/\Ta1465>Ta732.

H(performed(a733),Ta733)
--->E(performed(a1466),Ta1466)/\Ta1466>Ta733
\/E(performed(a1467),Ta1467)/\Ta1467>Ta733.

H(performed(a734),Ta734)
--->E(performed(a1468),Ta1468)/\Ta1468>Ta734
\/E(performed(a1469),Ta1469)/\Ta1469>Ta734.

H(performed(a735),Ta735)
--->E(performed(a1470),Ta1470)/\Ta1470>Ta735
\/E(performed(a1471),Ta1471)/\Ta1471>Ta735.

H(performed(a736),Ta736)
--->E(performed(a1472),Ta1472)/\Ta1472>Ta736
\/E(performed(a1473),Ta1473)/\Ta1473>Ta736.

H(performed(a737),Ta737)
--->E(performed(a1474),Ta1474)/\Ta1474>Ta737
\/E(performed(a1475),Ta1475)/\Ta1475>Ta737.

H(performed(a738),Ta738)
--->E(performed(a1476),Ta1476)/\Ta1476>Ta738
\/E(performed(a1477),Ta1477)/\Ta1477>Ta738.

H(performed(a739),Ta739)
--->E(performed(a1478),Ta1478)/\Ta1478>Ta739
\/E(performed(a1479),Ta1479)/\Ta1479>Ta739.

H(performed(a740),Ta740)
--->E(performed(a1480),Ta1480)/\Ta1480>Ta740
\/E(performed(a1481),Ta1481)/\Ta1481>Ta740.

H(performed(a741),Ta741)
--->E(performed(a1482),Ta1482)/\Ta1482>Ta741
\/E(performed(a1483),Ta1483)/\Ta1483>Ta741.

H(performed(a742),Ta742)
--->E(performed(a1484),Ta1484)/\Ta1484>Ta742
\/E(performed(a1485),Ta1485)/\Ta1485>Ta742.

H(performed(a743),Ta743)
--->E(performed(a1486),Ta1486)/\Ta1486>Ta743
\/E(performed(a1487),Ta1487)/\Ta1487>Ta743.

H(performed(a744),Ta744)
--->E(performed(a1488),Ta1488)/\Ta1488>Ta744
\/E(performed(a1489),Ta1489)/\Ta1489>Ta744.

H(performed(a745),Ta745)
--->E(performed(a1490),Ta1490)/\Ta1490>Ta745
\/E(performed(a1491),Ta1491)/\Ta1491>Ta745.

H(performed(a746),Ta746)
--->E(performed(a1492),Ta1492)/\Ta1492>Ta746
\/E(performed(a1493),Ta1493)/\Ta1493>Ta746.

H(performed(a747),Ta747)
--->E(performed(a1494),Ta1494)/\Ta1494>Ta747
\/E(performed(a1495),Ta1495)/\Ta1495>Ta747.

H(performed(a748),Ta748)
--->E(performed(a1496),Ta1496)/\Ta1496>Ta748
\/E(performed(a1497),Ta1497)/\Ta1497>Ta748.

H(performed(a749),Ta749)
--->E(performed(a1498),Ta1498)/\Ta1498>Ta749
\/E(performed(a1499),Ta1499)/\Ta1499>Ta749.

H(performed(a750),Ta750)
--->E(performed(a1500),Ta1500)/\Ta1500>Ta750
\/E(performed(a1501),Ta1501)/\Ta1501>Ta750.

H(performed(a751),Ta751)
--->E(performed(a1502),Ta1502)/\Ta1502>Ta751
\/E(performed(a1503),Ta1503)/\Ta1503>Ta751.

H(performed(a752),Ta752)
--->E(performed(a1504),Ta1504)/\Ta1504>Ta752
\/E(performed(a1505),Ta1505)/\Ta1505>Ta752.

H(performed(a753),Ta753)
--->E(performed(a1506),Ta1506)/\Ta1506>Ta753
\/E(performed(a1507),Ta1507)/\Ta1507>Ta753.

H(performed(a754),Ta754)
--->E(performed(a1508),Ta1508)/\Ta1508>Ta754
\/E(performed(a1509),Ta1509)/\Ta1509>Ta754.

H(performed(a755),Ta755)
--->E(performed(a1510),Ta1510)/\Ta1510>Ta755
\/E(performed(a1511),Ta1511)/\Ta1511>Ta755.

H(performed(a756),Ta756)
--->E(performed(a1512),Ta1512)/\Ta1512>Ta756
\/E(performed(a1513),Ta1513)/\Ta1513>Ta756.

H(performed(a757),Ta757)
--->E(performed(a1514),Ta1514)/\Ta1514>Ta757
\/E(performed(a1515),Ta1515)/\Ta1515>Ta757.

H(performed(a758),Ta758)
--->E(performed(a1516),Ta1516)/\Ta1516>Ta758
\/E(performed(a1517),Ta1517)/\Ta1517>Ta758.

H(performed(a759),Ta759)
--->E(performed(a1518),Ta1518)/\Ta1518>Ta759
\/E(performed(a1519),Ta1519)/\Ta1519>Ta759.

H(performed(a760),Ta760)
--->E(performed(a1520),Ta1520)/\Ta1520>Ta760
\/E(performed(a1521),Ta1521)/\Ta1521>Ta760.

H(performed(a761),Ta761)
--->E(performed(a1522),Ta1522)/\Ta1522>Ta761
\/E(performed(a1523),Ta1523)/\Ta1523>Ta761.

H(performed(a762),Ta762)
--->E(performed(a1524),Ta1524)/\Ta1524>Ta762
\/E(performed(a1525),Ta1525)/\Ta1525>Ta762.

H(performed(a763),Ta763)
--->E(performed(a1526),Ta1526)/\Ta1526>Ta763
\/E(performed(a1527),Ta1527)/\Ta1527>Ta763.

H(performed(a764),Ta764)
--->E(performed(a1528),Ta1528)/\Ta1528>Ta764
\/E(performed(a1529),Ta1529)/\Ta1529>Ta764.

H(performed(a765),Ta765)
--->E(performed(a1530),Ta1530)/\Ta1530>Ta765
\/E(performed(a1531),Ta1531)/\Ta1531>Ta765.

H(performed(a766),Ta766)
--->E(performed(a1532),Ta1532)/\Ta1532>Ta766
\/E(performed(a1533),Ta1533)/\Ta1533>Ta766.

H(performed(a767),Ta767)
--->E(performed(a1534),Ta1534)/\Ta1534>Ta767
\/E(performed(a1535),Ta1535)/\Ta1535>Ta767.

H(performed(a768),Ta768)
--->E(performed(a1536),Ta1536)/\Ta1536>Ta768
\/E(performed(a1537),Ta1537)/\Ta1537>Ta768.

H(performed(a769),Ta769)
--->E(performed(a1538),Ta1538)/\Ta1538>Ta769
\/E(performed(a1539),Ta1539)/\Ta1539>Ta769.

H(performed(a770),Ta770)
--->E(performed(a1540),Ta1540)/\Ta1540>Ta770
\/E(performed(a1541),Ta1541)/\Ta1541>Ta770.

H(performed(a771),Ta771)
--->E(performed(a1542),Ta1542)/\Ta1542>Ta771
\/E(performed(a1543),Ta1543)/\Ta1543>Ta771.

H(performed(a772),Ta772)
--->E(performed(a1544),Ta1544)/\Ta1544>Ta772
\/E(performed(a1545),Ta1545)/\Ta1545>Ta772.

H(performed(a773),Ta773)
--->E(performed(a1546),Ta1546)/\Ta1546>Ta773
\/E(performed(a1547),Ta1547)/\Ta1547>Ta773.

H(performed(a774),Ta774)
--->E(performed(a1548),Ta1548)/\Ta1548>Ta774
\/E(performed(a1549),Ta1549)/\Ta1549>Ta774.

H(performed(a775),Ta775)
--->E(performed(a1550),Ta1550)/\Ta1550>Ta775
\/E(performed(a1551),Ta1551)/\Ta1551>Ta775.

H(performed(a776),Ta776)
--->E(performed(a1552),Ta1552)/\Ta1552>Ta776
\/E(performed(a1553),Ta1553)/\Ta1553>Ta776.

H(performed(a777),Ta777)
--->E(performed(a1554),Ta1554)/\Ta1554>Ta777
\/E(performed(a1555),Ta1555)/\Ta1555>Ta777.

H(performed(a778),Ta778)
--->E(performed(a1556),Ta1556)/\Ta1556>Ta778
\/E(performed(a1557),Ta1557)/\Ta1557>Ta778.

H(performed(a779),Ta779)
--->E(performed(a1558),Ta1558)/\Ta1558>Ta779
\/E(performed(a1559),Ta1559)/\Ta1559>Ta779.

H(performed(a780),Ta780)
--->E(performed(a1560),Ta1560)/\Ta1560>Ta780
\/E(performed(a1561),Ta1561)/\Ta1561>Ta780.

H(performed(a781),Ta781)
--->E(performed(a1562),Ta1562)/\Ta1562>Ta781
\/E(performed(a1563),Ta1563)/\Ta1563>Ta781.

H(performed(a782),Ta782)
--->E(performed(a1564),Ta1564)/\Ta1564>Ta782
\/E(performed(a1565),Ta1565)/\Ta1565>Ta782.

H(performed(a783),Ta783)
--->E(performed(a1566),Ta1566)/\Ta1566>Ta783
\/E(performed(a1567),Ta1567)/\Ta1567>Ta783.

H(performed(a784),Ta784)
--->E(performed(a1568),Ta1568)/\Ta1568>Ta784
\/E(performed(a1569),Ta1569)/\Ta1569>Ta784.

H(performed(a785),Ta785)
--->E(performed(a1570),Ta1570)/\Ta1570>Ta785
\/E(performed(a1571),Ta1571)/\Ta1571>Ta785.

H(performed(a786),Ta786)
--->E(performed(a1572),Ta1572)/\Ta1572>Ta786
\/E(performed(a1573),Ta1573)/\Ta1573>Ta786.

H(performed(a787),Ta787)
--->E(performed(a1574),Ta1574)/\Ta1574>Ta787
\/E(performed(a1575),Ta1575)/\Ta1575>Ta787.

H(performed(a788),Ta788)
--->E(performed(a1576),Ta1576)/\Ta1576>Ta788
\/E(performed(a1577),Ta1577)/\Ta1577>Ta788.

H(performed(a789),Ta789)
--->E(performed(a1578),Ta1578)/\Ta1578>Ta789
\/E(performed(a1579),Ta1579)/\Ta1579>Ta789.

H(performed(a790),Ta790)
--->E(performed(a1580),Ta1580)/\Ta1580>Ta790
\/E(performed(a1581),Ta1581)/\Ta1581>Ta790.

H(performed(a791),Ta791)
--->E(performed(a1582),Ta1582)/\Ta1582>Ta791
\/E(performed(a1583),Ta1583)/\Ta1583>Ta791.

H(performed(a792),Ta792)
--->E(performed(a1584),Ta1584)/\Ta1584>Ta792
\/E(performed(a1585),Ta1585)/\Ta1585>Ta792.

H(performed(a793),Ta793)
--->E(performed(a1586),Ta1586)/\Ta1586>Ta793
\/E(performed(a1587),Ta1587)/\Ta1587>Ta793.

H(performed(a794),Ta794)
--->E(performed(a1588),Ta1588)/\Ta1588>Ta794
\/E(performed(a1589),Ta1589)/\Ta1589>Ta794.

H(performed(a795),Ta795)
--->E(performed(a1590),Ta1590)/\Ta1590>Ta795
\/E(performed(a1591),Ta1591)/\Ta1591>Ta795.

H(performed(a796),Ta796)
--->E(performed(a1592),Ta1592)/\Ta1592>Ta796
\/E(performed(a1593),Ta1593)/\Ta1593>Ta796.

H(performed(a797),Ta797)
--->E(performed(a1594),Ta1594)/\Ta1594>Ta797
\/E(performed(a1595),Ta1595)/\Ta1595>Ta797.

H(performed(a798),Ta798)
--->E(performed(a1596),Ta1596)/\Ta1596>Ta798
\/E(performed(a1597),Ta1597)/\Ta1597>Ta798.

H(performed(a799),Ta799)
--->E(performed(a1598),Ta1598)/\Ta1598>Ta799
\/E(performed(a1599),Ta1599)/\Ta1599>Ta799.

H(performed(a800),Ta800)
--->E(performed(a1600),Ta1600)/\Ta1600>Ta800
\/E(performed(a1601),Ta1601)/\Ta1601>Ta800.

H(performed(a801),Ta801)
--->E(performed(a1602),Ta1602)/\Ta1602>Ta801
\/E(performed(a1603),Ta1603)/\Ta1603>Ta801.

H(performed(a802),Ta802)
--->E(performed(a1604),Ta1604)/\Ta1604>Ta802
\/E(performed(a1605),Ta1605)/\Ta1605>Ta802.

H(performed(a803),Ta803)
--->E(performed(a1606),Ta1606)/\Ta1606>Ta803
\/E(performed(a1607),Ta1607)/\Ta1607>Ta803.

H(performed(a804),Ta804)
--->E(performed(a1608),Ta1608)/\Ta1608>Ta804
\/E(performed(a1609),Ta1609)/\Ta1609>Ta804.

H(performed(a805),Ta805)
--->E(performed(a1610),Ta1610)/\Ta1610>Ta805
\/E(performed(a1611),Ta1611)/\Ta1611>Ta805.

H(performed(a806),Ta806)
--->E(performed(a1612),Ta1612)/\Ta1612>Ta806
\/E(performed(a1613),Ta1613)/\Ta1613>Ta806.

H(performed(a807),Ta807)
--->E(performed(a1614),Ta1614)/\Ta1614>Ta807
\/E(performed(a1615),Ta1615)/\Ta1615>Ta807.

H(performed(a808),Ta808)
--->E(performed(a1616),Ta1616)/\Ta1616>Ta808
\/E(performed(a1617),Ta1617)/\Ta1617>Ta808.

H(performed(a809),Ta809)
--->E(performed(a1618),Ta1618)/\Ta1618>Ta809
\/E(performed(a1619),Ta1619)/\Ta1619>Ta809.

H(performed(a810),Ta810)
--->E(performed(a1620),Ta1620)/\Ta1620>Ta810
\/E(performed(a1621),Ta1621)/\Ta1621>Ta810.

H(performed(a811),Ta811)
--->E(performed(a1622),Ta1622)/\Ta1622>Ta811
\/E(performed(a1623),Ta1623)/\Ta1623>Ta811.

H(performed(a812),Ta812)
--->E(performed(a1624),Ta1624)/\Ta1624>Ta812
\/E(performed(a1625),Ta1625)/\Ta1625>Ta812.

H(performed(a813),Ta813)
--->E(performed(a1626),Ta1626)/\Ta1626>Ta813
\/E(performed(a1627),Ta1627)/\Ta1627>Ta813.

H(performed(a814),Ta814)
--->E(performed(a1628),Ta1628)/\Ta1628>Ta814
\/E(performed(a1629),Ta1629)/\Ta1629>Ta814.

H(performed(a815),Ta815)
--->E(performed(a1630),Ta1630)/\Ta1630>Ta815
\/E(performed(a1631),Ta1631)/\Ta1631>Ta815.

H(performed(a816),Ta816)
--->E(performed(a1632),Ta1632)/\Ta1632>Ta816
\/E(performed(a1633),Ta1633)/\Ta1633>Ta816.

H(performed(a817),Ta817)
--->E(performed(a1634),Ta1634)/\Ta1634>Ta817
\/E(performed(a1635),Ta1635)/\Ta1635>Ta817.

H(performed(a818),Ta818)
--->E(performed(a1636),Ta1636)/\Ta1636>Ta818
\/E(performed(a1637),Ta1637)/\Ta1637>Ta818.

H(performed(a819),Ta819)
--->E(performed(a1638),Ta1638)/\Ta1638>Ta819
\/E(performed(a1639),Ta1639)/\Ta1639>Ta819.

H(performed(a820),Ta820)
--->E(performed(a1640),Ta1640)/\Ta1640>Ta820
\/E(performed(a1641),Ta1641)/\Ta1641>Ta820.

H(performed(a821),Ta821)
--->E(performed(a1642),Ta1642)/\Ta1642>Ta821
\/E(performed(a1643),Ta1643)/\Ta1643>Ta821.

H(performed(a822),Ta822)
--->E(performed(a1644),Ta1644)/\Ta1644>Ta822
\/E(performed(a1645),Ta1645)/\Ta1645>Ta822.

H(performed(a823),Ta823)
--->E(performed(a1646),Ta1646)/\Ta1646>Ta823
\/E(performed(a1647),Ta1647)/\Ta1647>Ta823.

H(performed(a824),Ta824)
--->E(performed(a1648),Ta1648)/\Ta1648>Ta824
\/E(performed(a1649),Ta1649)/\Ta1649>Ta824.

H(performed(a825),Ta825)
--->E(performed(a1650),Ta1650)/\Ta1650>Ta825
\/E(performed(a1651),Ta1651)/\Ta1651>Ta825.

H(performed(a826),Ta826)
--->E(performed(a1652),Ta1652)/\Ta1652>Ta826
\/E(performed(a1653),Ta1653)/\Ta1653>Ta826.

H(performed(a827),Ta827)
--->E(performed(a1654),Ta1654)/\Ta1654>Ta827
\/E(performed(a1655),Ta1655)/\Ta1655>Ta827.

H(performed(a828),Ta828)
--->E(performed(a1656),Ta1656)/\Ta1656>Ta828
\/E(performed(a1657),Ta1657)/\Ta1657>Ta828.

H(performed(a829),Ta829)
--->E(performed(a1658),Ta1658)/\Ta1658>Ta829
\/E(performed(a1659),Ta1659)/\Ta1659>Ta829.

H(performed(a830),Ta830)
--->E(performed(a1660),Ta1660)/\Ta1660>Ta830
\/E(performed(a1661),Ta1661)/\Ta1661>Ta830.

H(performed(a831),Ta831)
--->E(performed(a1662),Ta1662)/\Ta1662>Ta831
\/E(performed(a1663),Ta1663)/\Ta1663>Ta831.

H(performed(a832),Ta832)
--->E(performed(a1664),Ta1664)/\Ta1664>Ta832
\/E(performed(a1665),Ta1665)/\Ta1665>Ta832.

H(performed(a833),Ta833)
--->E(performed(a1666),Ta1666)/\Ta1666>Ta833
\/E(performed(a1667),Ta1667)/\Ta1667>Ta833.

H(performed(a834),Ta834)
--->E(performed(a1668),Ta1668)/\Ta1668>Ta834
\/E(performed(a1669),Ta1669)/\Ta1669>Ta834.

H(performed(a835),Ta835)
--->E(performed(a1670),Ta1670)/\Ta1670>Ta835
\/E(performed(a1671),Ta1671)/\Ta1671>Ta835.

H(performed(a836),Ta836)
--->E(performed(a1672),Ta1672)/\Ta1672>Ta836
\/E(performed(a1673),Ta1673)/\Ta1673>Ta836.

H(performed(a837),Ta837)
--->E(performed(a1674),Ta1674)/\Ta1674>Ta837
\/E(performed(a1675),Ta1675)/\Ta1675>Ta837.

H(performed(a838),Ta838)
--->E(performed(a1676),Ta1676)/\Ta1676>Ta838
\/E(performed(a1677),Ta1677)/\Ta1677>Ta838.

H(performed(a839),Ta839)
--->E(performed(a1678),Ta1678)/\Ta1678>Ta839
\/E(performed(a1679),Ta1679)/\Ta1679>Ta839.

H(performed(a840),Ta840)
--->E(performed(a1680),Ta1680)/\Ta1680>Ta840
\/E(performed(a1681),Ta1681)/\Ta1681>Ta840.

H(performed(a841),Ta841)
--->E(performed(a1682),Ta1682)/\Ta1682>Ta841
\/E(performed(a1683),Ta1683)/\Ta1683>Ta841.

H(performed(a842),Ta842)
--->E(performed(a1684),Ta1684)/\Ta1684>Ta842
\/E(performed(a1685),Ta1685)/\Ta1685>Ta842.

H(performed(a843),Ta843)
--->E(performed(a1686),Ta1686)/\Ta1686>Ta843
\/E(performed(a1687),Ta1687)/\Ta1687>Ta843.

H(performed(a844),Ta844)
--->E(performed(a1688),Ta1688)/\Ta1688>Ta844
\/E(performed(a1689),Ta1689)/\Ta1689>Ta844.

H(performed(a845),Ta845)
--->E(performed(a1690),Ta1690)/\Ta1690>Ta845
\/E(performed(a1691),Ta1691)/\Ta1691>Ta845.

H(performed(a846),Ta846)
--->E(performed(a1692),Ta1692)/\Ta1692>Ta846
\/E(performed(a1693),Ta1693)/\Ta1693>Ta846.

H(performed(a847),Ta847)
--->E(performed(a1694),Ta1694)/\Ta1694>Ta847
\/E(performed(a1695),Ta1695)/\Ta1695>Ta847.

H(performed(a848),Ta848)
--->E(performed(a1696),Ta1696)/\Ta1696>Ta848
\/E(performed(a1697),Ta1697)/\Ta1697>Ta848.

H(performed(a849),Ta849)
--->E(performed(a1698),Ta1698)/\Ta1698>Ta849
\/E(performed(a1699),Ta1699)/\Ta1699>Ta849.

H(performed(a850),Ta850)
--->E(performed(a1700),Ta1700)/\Ta1700>Ta850
\/E(performed(a1701),Ta1701)/\Ta1701>Ta850.

H(performed(a851),Ta851)
--->E(performed(a1702),Ta1702)/\Ta1702>Ta851
\/E(performed(a1703),Ta1703)/\Ta1703>Ta851.

H(performed(a852),Ta852)
--->E(performed(a1704),Ta1704)/\Ta1704>Ta852
\/E(performed(a1705),Ta1705)/\Ta1705>Ta852.

H(performed(a853),Ta853)
--->E(performed(a1706),Ta1706)/\Ta1706>Ta853
\/E(performed(a1707),Ta1707)/\Ta1707>Ta853.

H(performed(a854),Ta854)
--->E(performed(a1708),Ta1708)/\Ta1708>Ta854
\/E(performed(a1709),Ta1709)/\Ta1709>Ta854.

H(performed(a855),Ta855)
--->E(performed(a1710),Ta1710)/\Ta1710>Ta855
\/E(performed(a1711),Ta1711)/\Ta1711>Ta855.

H(performed(a856),Ta856)
--->E(performed(a1712),Ta1712)/\Ta1712>Ta856
\/E(performed(a1713),Ta1713)/\Ta1713>Ta856.

H(performed(a857),Ta857)
--->E(performed(a1714),Ta1714)/\Ta1714>Ta857
\/E(performed(a1715),Ta1715)/\Ta1715>Ta857.

H(performed(a858),Ta858)
--->E(performed(a1716),Ta1716)/\Ta1716>Ta858
\/E(performed(a1717),Ta1717)/\Ta1717>Ta858.

H(performed(a859),Ta859)
--->E(performed(a1718),Ta1718)/\Ta1718>Ta859
\/E(performed(a1719),Ta1719)/\Ta1719>Ta859.

H(performed(a860),Ta860)
--->E(performed(a1720),Ta1720)/\Ta1720>Ta860
\/E(performed(a1721),Ta1721)/\Ta1721>Ta860.

H(performed(a861),Ta861)
--->E(performed(a1722),Ta1722)/\Ta1722>Ta861
\/E(performed(a1723),Ta1723)/\Ta1723>Ta861.

H(performed(a862),Ta862)
--->E(performed(a1724),Ta1724)/\Ta1724>Ta862
\/E(performed(a1725),Ta1725)/\Ta1725>Ta862.

H(performed(a863),Ta863)
--->E(performed(a1726),Ta1726)/\Ta1726>Ta863
\/E(performed(a1727),Ta1727)/\Ta1727>Ta863.

H(performed(a864),Ta864)
--->E(performed(a1728),Ta1728)/\Ta1728>Ta864
\/E(performed(a1729),Ta1729)/\Ta1729>Ta864.

H(performed(a865),Ta865)
--->E(performed(a1730),Ta1730)/\Ta1730>Ta865
\/E(performed(a1731),Ta1731)/\Ta1731>Ta865.

H(performed(a866),Ta866)
--->E(performed(a1732),Ta1732)/\Ta1732>Ta866
\/E(performed(a1733),Ta1733)/\Ta1733>Ta866.

H(performed(a867),Ta867)
--->E(performed(a1734),Ta1734)/\Ta1734>Ta867
\/E(performed(a1735),Ta1735)/\Ta1735>Ta867.

H(performed(a868),Ta868)
--->E(performed(a1736),Ta1736)/\Ta1736>Ta868
\/E(performed(a1737),Ta1737)/\Ta1737>Ta868.

H(performed(a869),Ta869)
--->E(performed(a1738),Ta1738)/\Ta1738>Ta869
\/E(performed(a1739),Ta1739)/\Ta1739>Ta869.

H(performed(a870),Ta870)
--->E(performed(a1740),Ta1740)/\Ta1740>Ta870
\/E(performed(a1741),Ta1741)/\Ta1741>Ta870.

H(performed(a871),Ta871)
--->E(performed(a1742),Ta1742)/\Ta1742>Ta871
\/E(performed(a1743),Ta1743)/\Ta1743>Ta871.

H(performed(a872),Ta872)
--->E(performed(a1744),Ta1744)/\Ta1744>Ta872
\/E(performed(a1745),Ta1745)/\Ta1745>Ta872.

H(performed(a873),Ta873)
--->E(performed(a1746),Ta1746)/\Ta1746>Ta873
\/E(performed(a1747),Ta1747)/\Ta1747>Ta873.

H(performed(a874),Ta874)
--->E(performed(a1748),Ta1748)/\Ta1748>Ta874
\/E(performed(a1749),Ta1749)/\Ta1749>Ta874.

H(performed(a875),Ta875)
--->E(performed(a1750),Ta1750)/\Ta1750>Ta875
\/E(performed(a1751),Ta1751)/\Ta1751>Ta875.

H(performed(a876),Ta876)
--->E(performed(a1752),Ta1752)/\Ta1752>Ta876
\/E(performed(a1753),Ta1753)/\Ta1753>Ta876.

H(performed(a877),Ta877)
--->E(performed(a1754),Ta1754)/\Ta1754>Ta877
\/E(performed(a1755),Ta1755)/\Ta1755>Ta877.

H(performed(a878),Ta878)
--->E(performed(a1756),Ta1756)/\Ta1756>Ta878
\/E(performed(a1757),Ta1757)/\Ta1757>Ta878.

H(performed(a879),Ta879)
--->E(performed(a1758),Ta1758)/\Ta1758>Ta879
\/E(performed(a1759),Ta1759)/\Ta1759>Ta879.

H(performed(a880),Ta880)
--->E(performed(a1760),Ta1760)/\Ta1760>Ta880
\/E(performed(a1761),Ta1761)/\Ta1761>Ta880.

H(performed(a881),Ta881)
--->E(performed(a1762),Ta1762)/\Ta1762>Ta881
\/E(performed(a1763),Ta1763)/\Ta1763>Ta881.

H(performed(a882),Ta882)
--->E(performed(a1764),Ta1764)/\Ta1764>Ta882
\/E(performed(a1765),Ta1765)/\Ta1765>Ta882.

H(performed(a883),Ta883)
--->E(performed(a1766),Ta1766)/\Ta1766>Ta883
\/E(performed(a1767),Ta1767)/\Ta1767>Ta883.

H(performed(a884),Ta884)
--->E(performed(a1768),Ta1768)/\Ta1768>Ta884
\/E(performed(a1769),Ta1769)/\Ta1769>Ta884.

H(performed(a885),Ta885)
--->E(performed(a1770),Ta1770)/\Ta1770>Ta885
\/E(performed(a1771),Ta1771)/\Ta1771>Ta885.

H(performed(a886),Ta886)
--->E(performed(a1772),Ta1772)/\Ta1772>Ta886
\/E(performed(a1773),Ta1773)/\Ta1773>Ta886.

H(performed(a887),Ta887)
--->E(performed(a1774),Ta1774)/\Ta1774>Ta887
\/E(performed(a1775),Ta1775)/\Ta1775>Ta887.

H(performed(a888),Ta888)
--->E(performed(a1776),Ta1776)/\Ta1776>Ta888
\/E(performed(a1777),Ta1777)/\Ta1777>Ta888.

H(performed(a889),Ta889)
--->E(performed(a1778),Ta1778)/\Ta1778>Ta889
\/E(performed(a1779),Ta1779)/\Ta1779>Ta889.

H(performed(a890),Ta890)
--->E(performed(a1780),Ta1780)/\Ta1780>Ta890
\/E(performed(a1781),Ta1781)/\Ta1781>Ta890.

H(performed(a891),Ta891)
--->E(performed(a1782),Ta1782)/\Ta1782>Ta891
\/E(performed(a1783),Ta1783)/\Ta1783>Ta891.

H(performed(a892),Ta892)
--->E(performed(a1784),Ta1784)/\Ta1784>Ta892
\/E(performed(a1785),Ta1785)/\Ta1785>Ta892.

H(performed(a893),Ta893)
--->E(performed(a1786),Ta1786)/\Ta1786>Ta893
\/E(performed(a1787),Ta1787)/\Ta1787>Ta893.

H(performed(a894),Ta894)
--->E(performed(a1788),Ta1788)/\Ta1788>Ta894
\/E(performed(a1789),Ta1789)/\Ta1789>Ta894.

H(performed(a895),Ta895)
--->E(performed(a1790),Ta1790)/\Ta1790>Ta895
\/E(performed(a1791),Ta1791)/\Ta1791>Ta895.

H(performed(a896),Ta896)
--->E(performed(a1792),Ta1792)/\Ta1792>Ta896
\/E(performed(a1793),Ta1793)/\Ta1793>Ta896.

H(performed(a897),Ta897)
--->E(performed(a1794),Ta1794)/\Ta1794>Ta897
\/E(performed(a1795),Ta1795)/\Ta1795>Ta897.

H(performed(a898),Ta898)
--->E(performed(a1796),Ta1796)/\Ta1796>Ta898
\/E(performed(a1797),Ta1797)/\Ta1797>Ta898.

H(performed(a899),Ta899)
--->E(performed(a1798),Ta1798)/\Ta1798>Ta899
\/E(performed(a1799),Ta1799)/\Ta1799>Ta899.

H(performed(a900),Ta900)
--->E(performed(a1800),Ta1800)/\Ta1800>Ta900
\/E(performed(a1801),Ta1801)/\Ta1801>Ta900.

H(performed(a901),Ta901)
--->E(performed(a1802),Ta1802)/\Ta1802>Ta901
\/E(performed(a1803),Ta1803)/\Ta1803>Ta901.

H(performed(a902),Ta902)
--->E(performed(a1804),Ta1804)/\Ta1804>Ta902
\/E(performed(a1805),Ta1805)/\Ta1805>Ta902.

H(performed(a903),Ta903)
--->E(performed(a1806),Ta1806)/\Ta1806>Ta903
\/E(performed(a1807),Ta1807)/\Ta1807>Ta903.

H(performed(a904),Ta904)
--->E(performed(a1808),Ta1808)/\Ta1808>Ta904
\/E(performed(a1809),Ta1809)/\Ta1809>Ta904.

H(performed(a905),Ta905)
--->E(performed(a1810),Ta1810)/\Ta1810>Ta905
\/E(performed(a1811),Ta1811)/\Ta1811>Ta905.

H(performed(a906),Ta906)
--->E(performed(a1812),Ta1812)/\Ta1812>Ta906
\/E(performed(a1813),Ta1813)/\Ta1813>Ta906.

H(performed(a907),Ta907)
--->E(performed(a1814),Ta1814)/\Ta1814>Ta907
\/E(performed(a1815),Ta1815)/\Ta1815>Ta907.

H(performed(a908),Ta908)
--->E(performed(a1816),Ta1816)/\Ta1816>Ta908
\/E(performed(a1817),Ta1817)/\Ta1817>Ta908.

H(performed(a909),Ta909)
--->E(performed(a1818),Ta1818)/\Ta1818>Ta909
\/E(performed(a1819),Ta1819)/\Ta1819>Ta909.

H(performed(a910),Ta910)
--->E(performed(a1820),Ta1820)/\Ta1820>Ta910
\/E(performed(a1821),Ta1821)/\Ta1821>Ta910.

H(performed(a911),Ta911)
--->E(performed(a1822),Ta1822)/\Ta1822>Ta911
\/E(performed(a1823),Ta1823)/\Ta1823>Ta911.

H(performed(a912),Ta912)
--->E(performed(a1824),Ta1824)/\Ta1824>Ta912
\/E(performed(a1825),Ta1825)/\Ta1825>Ta912.

H(performed(a913),Ta913)
--->E(performed(a1826),Ta1826)/\Ta1826>Ta913
\/E(performed(a1827),Ta1827)/\Ta1827>Ta913.

H(performed(a914),Ta914)
--->E(performed(a1828),Ta1828)/\Ta1828>Ta914
\/E(performed(a1829),Ta1829)/\Ta1829>Ta914.

H(performed(a915),Ta915)
--->E(performed(a1830),Ta1830)/\Ta1830>Ta915
\/E(performed(a1831),Ta1831)/\Ta1831>Ta915.

H(performed(a916),Ta916)
--->E(performed(a1832),Ta1832)/\Ta1832>Ta916
\/E(performed(a1833),Ta1833)/\Ta1833>Ta916.

H(performed(a917),Ta917)
--->E(performed(a1834),Ta1834)/\Ta1834>Ta917
\/E(performed(a1835),Ta1835)/\Ta1835>Ta917.

H(performed(a918),Ta918)
--->E(performed(a1836),Ta1836)/\Ta1836>Ta918
\/E(performed(a1837),Ta1837)/\Ta1837>Ta918.

H(performed(a919),Ta919)
--->E(performed(a1838),Ta1838)/\Ta1838>Ta919
\/E(performed(a1839),Ta1839)/\Ta1839>Ta919.

H(performed(a920),Ta920)
--->E(performed(a1840),Ta1840)/\Ta1840>Ta920
\/E(performed(a1841),Ta1841)/\Ta1841>Ta920.

H(performed(a921),Ta921)
--->E(performed(a1842),Ta1842)/\Ta1842>Ta921
\/E(performed(a1843),Ta1843)/\Ta1843>Ta921.

H(performed(a922),Ta922)
--->E(performed(a1844),Ta1844)/\Ta1844>Ta922
\/E(performed(a1845),Ta1845)/\Ta1845>Ta922.

H(performed(a923),Ta923)
--->E(performed(a1846),Ta1846)/\Ta1846>Ta923
\/E(performed(a1847),Ta1847)/\Ta1847>Ta923.

H(performed(a924),Ta924)
--->E(performed(a1848),Ta1848)/\Ta1848>Ta924
\/E(performed(a1849),Ta1849)/\Ta1849>Ta924.

H(performed(a925),Ta925)
--->E(performed(a1850),Ta1850)/\Ta1850>Ta925
\/E(performed(a1851),Ta1851)/\Ta1851>Ta925.

H(performed(a926),Ta926)
--->E(performed(a1852),Ta1852)/\Ta1852>Ta926
\/E(performed(a1853),Ta1853)/\Ta1853>Ta926.

H(performed(a927),Ta927)
--->E(performed(a1854),Ta1854)/\Ta1854>Ta927
\/E(performed(a1855),Ta1855)/\Ta1855>Ta927.

H(performed(a928),Ta928)
--->E(performed(a1856),Ta1856)/\Ta1856>Ta928
\/E(performed(a1857),Ta1857)/\Ta1857>Ta928.

H(performed(a929),Ta929)
--->E(performed(a1858),Ta1858)/\Ta1858>Ta929
\/E(performed(a1859),Ta1859)/\Ta1859>Ta929.

H(performed(a930),Ta930)
--->E(performed(a1860),Ta1860)/\Ta1860>Ta930
\/E(performed(a1861),Ta1861)/\Ta1861>Ta930.

H(performed(a931),Ta931)
--->E(performed(a1862),Ta1862)/\Ta1862>Ta931
\/E(performed(a1863),Ta1863)/\Ta1863>Ta931.

H(performed(a932),Ta932)
--->E(performed(a1864),Ta1864)/\Ta1864>Ta932
\/E(performed(a1865),Ta1865)/\Ta1865>Ta932.

H(performed(a933),Ta933)
--->E(performed(a1866),Ta1866)/\Ta1866>Ta933
\/E(performed(a1867),Ta1867)/\Ta1867>Ta933.

H(performed(a934),Ta934)
--->E(performed(a1868),Ta1868)/\Ta1868>Ta934
\/E(performed(a1869),Ta1869)/\Ta1869>Ta934.

H(performed(a935),Ta935)
--->E(performed(a1870),Ta1870)/\Ta1870>Ta935
\/E(performed(a1871),Ta1871)/\Ta1871>Ta935.

H(performed(a936),Ta936)
--->E(performed(a1872),Ta1872)/\Ta1872>Ta936
\/E(performed(a1873),Ta1873)/\Ta1873>Ta936.

H(performed(a937),Ta937)
--->E(performed(a1874),Ta1874)/\Ta1874>Ta937
\/E(performed(a1875),Ta1875)/\Ta1875>Ta937.

H(performed(a938),Ta938)
--->E(performed(a1876),Ta1876)/\Ta1876>Ta938
\/E(performed(a1877),Ta1877)/\Ta1877>Ta938.

H(performed(a939),Ta939)
--->E(performed(a1878),Ta1878)/\Ta1878>Ta939
\/E(performed(a1879),Ta1879)/\Ta1879>Ta939.

H(performed(a940),Ta940)
--->E(performed(a1880),Ta1880)/\Ta1880>Ta940
\/E(performed(a1881),Ta1881)/\Ta1881>Ta940.

H(performed(a941),Ta941)
--->E(performed(a1882),Ta1882)/\Ta1882>Ta941
\/E(performed(a1883),Ta1883)/\Ta1883>Ta941.

H(performed(a942),Ta942)
--->E(performed(a1884),Ta1884)/\Ta1884>Ta942
\/E(performed(a1885),Ta1885)/\Ta1885>Ta942.

H(performed(a943),Ta943)
--->E(performed(a1886),Ta1886)/\Ta1886>Ta943
\/E(performed(a1887),Ta1887)/\Ta1887>Ta943.

H(performed(a944),Ta944)
--->E(performed(a1888),Ta1888)/\Ta1888>Ta944
\/E(performed(a1889),Ta1889)/\Ta1889>Ta944.

H(performed(a945),Ta945)
--->E(performed(a1890),Ta1890)/\Ta1890>Ta945
\/E(performed(a1891),Ta1891)/\Ta1891>Ta945.

H(performed(a946),Ta946)
--->E(performed(a1892),Ta1892)/\Ta1892>Ta946
\/E(performed(a1893),Ta1893)/\Ta1893>Ta946.

H(performed(a947),Ta947)
--->E(performed(a1894),Ta1894)/\Ta1894>Ta947
\/E(performed(a1895),Ta1895)/\Ta1895>Ta947.

H(performed(a948),Ta948)
--->E(performed(a1896),Ta1896)/\Ta1896>Ta948
\/E(performed(a1897),Ta1897)/\Ta1897>Ta948.

H(performed(a949),Ta949)
--->E(performed(a1898),Ta1898)/\Ta1898>Ta949
\/E(performed(a1899),Ta1899)/\Ta1899>Ta949.

H(performed(a950),Ta950)
--->E(performed(a1900),Ta1900)/\Ta1900>Ta950
\/E(performed(a1901),Ta1901)/\Ta1901>Ta950.

H(performed(a951),Ta951)
--->E(performed(a1902),Ta1902)/\Ta1902>Ta951
\/E(performed(a1903),Ta1903)/\Ta1903>Ta951.

H(performed(a952),Ta952)
--->E(performed(a1904),Ta1904)/\Ta1904>Ta952
\/E(performed(a1905),Ta1905)/\Ta1905>Ta952.

H(performed(a953),Ta953)
--->E(performed(a1906),Ta1906)/\Ta1906>Ta953
\/E(performed(a1907),Ta1907)/\Ta1907>Ta953.

H(performed(a954),Ta954)
--->E(performed(a1908),Ta1908)/\Ta1908>Ta954
\/E(performed(a1909),Ta1909)/\Ta1909>Ta954.

H(performed(a955),Ta955)
--->E(performed(a1910),Ta1910)/\Ta1910>Ta955
\/E(performed(a1911),Ta1911)/\Ta1911>Ta955.

H(performed(a956),Ta956)
--->E(performed(a1912),Ta1912)/\Ta1912>Ta956
\/E(performed(a1913),Ta1913)/\Ta1913>Ta956.

H(performed(a957),Ta957)
--->E(performed(a1914),Ta1914)/\Ta1914>Ta957
\/E(performed(a1915),Ta1915)/\Ta1915>Ta957.

H(performed(a958),Ta958)
--->E(performed(a1916),Ta1916)/\Ta1916>Ta958
\/E(performed(a1917),Ta1917)/\Ta1917>Ta958.

H(performed(a959),Ta959)
--->E(performed(a1918),Ta1918)/\Ta1918>Ta959
\/E(performed(a1919),Ta1919)/\Ta1919>Ta959.

H(performed(a960),Ta960)
--->E(performed(a1920),Ta1920)/\Ta1920>Ta960
\/E(performed(a1921),Ta1921)/\Ta1921>Ta960.

H(performed(a961),Ta961)
--->E(performed(a1922),Ta1922)/\Ta1922>Ta961
\/E(performed(a1923),Ta1923)/\Ta1923>Ta961.

H(performed(a962),Ta962)
--->E(performed(a1924),Ta1924)/\Ta1924>Ta962
\/E(performed(a1925),Ta1925)/\Ta1925>Ta962.

H(performed(a963),Ta963)
--->E(performed(a1926),Ta1926)/\Ta1926>Ta963
\/E(performed(a1927),Ta1927)/\Ta1927>Ta963.

H(performed(a964),Ta964)
--->E(performed(a1928),Ta1928)/\Ta1928>Ta964
\/E(performed(a1929),Ta1929)/\Ta1929>Ta964.

H(performed(a965),Ta965)
--->E(performed(a1930),Ta1930)/\Ta1930>Ta965
\/E(performed(a1931),Ta1931)/\Ta1931>Ta965.

H(performed(a966),Ta966)
--->E(performed(a1932),Ta1932)/\Ta1932>Ta966
\/E(performed(a1933),Ta1933)/\Ta1933>Ta966.

H(performed(a967),Ta967)
--->E(performed(a1934),Ta1934)/\Ta1934>Ta967
\/E(performed(a1935),Ta1935)/\Ta1935>Ta967.

H(performed(a968),Ta968)
--->E(performed(a1936),Ta1936)/\Ta1936>Ta968
\/E(performed(a1937),Ta1937)/\Ta1937>Ta968.

H(performed(a969),Ta969)
--->E(performed(a1938),Ta1938)/\Ta1938>Ta969
\/E(performed(a1939),Ta1939)/\Ta1939>Ta969.

H(performed(a970),Ta970)
--->E(performed(a1940),Ta1940)/\Ta1940>Ta970
\/E(performed(a1941),Ta1941)/\Ta1941>Ta970.

H(performed(a971),Ta971)
--->E(performed(a1942),Ta1942)/\Ta1942>Ta971
\/E(performed(a1943),Ta1943)/\Ta1943>Ta971.

H(performed(a972),Ta972)
--->E(performed(a1944),Ta1944)/\Ta1944>Ta972
\/E(performed(a1945),Ta1945)/\Ta1945>Ta972.

H(performed(a973),Ta973)
--->E(performed(a1946),Ta1946)/\Ta1946>Ta973
\/E(performed(a1947),Ta1947)/\Ta1947>Ta973.

H(performed(a974),Ta974)
--->E(performed(a1948),Ta1948)/\Ta1948>Ta974
\/E(performed(a1949),Ta1949)/\Ta1949>Ta974.

H(performed(a975),Ta975)
--->E(performed(a1950),Ta1950)/\Ta1950>Ta975
\/E(performed(a1951),Ta1951)/\Ta1951>Ta975.

H(performed(a976),Ta976)
--->E(performed(a1952),Ta1952)/\Ta1952>Ta976
\/E(performed(a1953),Ta1953)/\Ta1953>Ta976.

H(performed(a977),Ta977)
--->E(performed(a1954),Ta1954)/\Ta1954>Ta977
\/E(performed(a1955),Ta1955)/\Ta1955>Ta977.

H(performed(a978),Ta978)
--->E(performed(a1956),Ta1956)/\Ta1956>Ta978
\/E(performed(a1957),Ta1957)/\Ta1957>Ta978.

H(performed(a979),Ta979)
--->E(performed(a1958),Ta1958)/\Ta1958>Ta979
\/E(performed(a1959),Ta1959)/\Ta1959>Ta979.

H(performed(a980),Ta980)
--->E(performed(a1960),Ta1960)/\Ta1960>Ta980
\/E(performed(a1961),Ta1961)/\Ta1961>Ta980.

H(performed(a981),Ta981)
--->E(performed(a1962),Ta1962)/\Ta1962>Ta981
\/E(performed(a1963),Ta1963)/\Ta1963>Ta981.

H(performed(a982),Ta982)
--->E(performed(a1964),Ta1964)/\Ta1964>Ta982
\/E(performed(a1965),Ta1965)/\Ta1965>Ta982.

H(performed(a983),Ta983)
--->E(performed(a1966),Ta1966)/\Ta1966>Ta983
\/E(performed(a1967),Ta1967)/\Ta1967>Ta983.

H(performed(a984),Ta984)
--->E(performed(a1968),Ta1968)/\Ta1968>Ta984
\/E(performed(a1969),Ta1969)/\Ta1969>Ta984.

H(performed(a985),Ta985)
--->E(performed(a1970),Ta1970)/\Ta1970>Ta985
\/E(performed(a1971),Ta1971)/\Ta1971>Ta985.

H(performed(a986),Ta986)
--->E(performed(a1972),Ta1972)/\Ta1972>Ta986
\/E(performed(a1973),Ta1973)/\Ta1973>Ta986.

H(performed(a987),Ta987)
--->E(performed(a1974),Ta1974)/\Ta1974>Ta987
\/E(performed(a1975),Ta1975)/\Ta1975>Ta987.

H(performed(a988),Ta988)
--->E(performed(a1976),Ta1976)/\Ta1976>Ta988
\/E(performed(a1977),Ta1977)/\Ta1977>Ta988.

H(performed(a989),Ta989)
--->E(performed(a1978),Ta1978)/\Ta1978>Ta989
\/E(performed(a1979),Ta1979)/\Ta1979>Ta989.

H(performed(a990),Ta990)
--->E(performed(a1980),Ta1980)/\Ta1980>Ta990
\/E(performed(a1981),Ta1981)/\Ta1981>Ta990.

H(performed(a991),Ta991)
--->E(performed(a1982),Ta1982)/\Ta1982>Ta991
\/E(performed(a1983),Ta1983)/\Ta1983>Ta991.

H(performed(a992),Ta992)
--->E(performed(a1984),Ta1984)/\Ta1984>Ta992
\/E(performed(a1985),Ta1985)/\Ta1985>Ta992.

H(performed(a993),Ta993)
--->E(performed(a1986),Ta1986)/\Ta1986>Ta993
\/E(performed(a1987),Ta1987)/\Ta1987>Ta993.

H(performed(a994),Ta994)
--->E(performed(a1988),Ta1988)/\Ta1988>Ta994
\/E(performed(a1989),Ta1989)/\Ta1989>Ta994.

H(performed(a995),Ta995)
--->E(performed(a1990),Ta1990)/\Ta1990>Ta995
\/E(performed(a1991),Ta1991)/\Ta1991>Ta995.

H(performed(a996),Ta996)
--->E(performed(a1992),Ta1992)/\Ta1992>Ta996
\/E(performed(a1993),Ta1993)/\Ta1993>Ta996.

H(performed(a997),Ta997)
--->E(performed(a1994),Ta1994)/\Ta1994>Ta997
\/E(performed(a1995),Ta1995)/\Ta1995>Ta997.

H(performed(a998),Ta998)
--->E(performed(a1996),Ta1996)/\Ta1996>Ta998
\/E(performed(a1997),Ta1997)/\Ta1997>Ta998.

H(performed(a999),Ta999)
--->E(performed(a1998),Ta1998)/\Ta1998>Ta999
\/E(performed(a1999),Ta1999)/\Ta1999>Ta999.

H(performed(a1000),Ta1000)
--->E(performed(a2000),Ta2000)/\Ta2000>Ta1000
\/E(performed(a2001),Ta2001)/\Ta2001>Ta1000.

H(performed(a1001),Ta1001)
--->E(performed(a2002),Ta2002)/\Ta2002>Ta1001
\/E(performed(a2003),Ta2003)/\Ta2003>Ta1001.

H(performed(a1002),Ta1002)
--->E(performed(a2004),Ta2004)/\Ta2004>Ta1002
\/E(performed(a2005),Ta2005)/\Ta2005>Ta1002.

H(performed(a1003),Ta1003)
--->E(performed(a2006),Ta2006)/\Ta2006>Ta1003
\/E(performed(a2007),Ta2007)/\Ta2007>Ta1003.

H(performed(a1004),Ta1004)
--->E(performed(a2008),Ta2008)/\Ta2008>Ta1004
\/E(performed(a2009),Ta2009)/\Ta2009>Ta1004.

H(performed(a1005),Ta1005)
--->E(performed(a2010),Ta2010)/\Ta2010>Ta1005
\/E(performed(a2011),Ta2011)/\Ta2011>Ta1005.

H(performed(a1006),Ta1006)
--->E(performed(a2012),Ta2012)/\Ta2012>Ta1006
\/E(performed(a2013),Ta2013)/\Ta2013>Ta1006.

H(performed(a1007),Ta1007)
--->E(performed(a2014),Ta2014)/\Ta2014>Ta1007
\/E(performed(a2015),Ta2015)/\Ta2015>Ta1007.

H(performed(a1008),Ta1008)
--->E(performed(a2016),Ta2016)/\Ta2016>Ta1008
\/E(performed(a2017),Ta2017)/\Ta2017>Ta1008.

H(performed(a1009),Ta1009)
--->E(performed(a2018),Ta2018)/\Ta2018>Ta1009
\/E(performed(a2019),Ta2019)/\Ta2019>Ta1009.

H(performed(a1010),Ta1010)
--->E(performed(a2020),Ta2020)/\Ta2020>Ta1010
\/E(performed(a2021),Ta2021)/\Ta2021>Ta1010.

H(performed(a1011),Ta1011)
--->E(performed(a2022),Ta2022)/\Ta2022>Ta1011
\/E(performed(a2023),Ta2023)/\Ta2023>Ta1011.

H(performed(a1012),Ta1012)
--->E(performed(a2024),Ta2024)/\Ta2024>Ta1012
\/E(performed(a2025),Ta2025)/\Ta2025>Ta1012.

H(performed(a1013),Ta1013)
--->E(performed(a2026),Ta2026)/\Ta2026>Ta1013
\/E(performed(a2027),Ta2027)/\Ta2027>Ta1013.

H(performed(a1014),Ta1014)
--->E(performed(a2028),Ta2028)/\Ta2028>Ta1014
\/E(performed(a2029),Ta2029)/\Ta2029>Ta1014.

H(performed(a1015),Ta1015)
--->E(performed(a2030),Ta2030)/\Ta2030>Ta1015
\/E(performed(a2031),Ta2031)/\Ta2031>Ta1015.

H(performed(a1016),Ta1016)
--->E(performed(a2032),Ta2032)/\Ta2032>Ta1016
\/E(performed(a2033),Ta2033)/\Ta2033>Ta1016.

H(performed(a1017),Ta1017)
--->E(performed(a2034),Ta2034)/\Ta2034>Ta1017
\/E(performed(a2035),Ta2035)/\Ta2035>Ta1017.

H(performed(a1018),Ta1018)
--->E(performed(a2036),Ta2036)/\Ta2036>Ta1018
\/E(performed(a2037),Ta2037)/\Ta2037>Ta1018.

H(performed(a1019),Ta1019)
--->E(performed(a2038),Ta2038)/\Ta2038>Ta1019
\/E(performed(a2039),Ta2039)/\Ta2039>Ta1019.

H(performed(a1020),Ta1020)
--->E(performed(a2040),Ta2040)/\Ta2040>Ta1020
\/E(performed(a2041),Ta2041)/\Ta2041>Ta1020.

H(performed(a1021),Ta1021)
--->E(performed(a2042),Ta2042)/\Ta2042>Ta1021
\/E(performed(a2043),Ta2043)/\Ta2043>Ta1021.

H(performed(a1022),Ta1022)
--->E(performed(a2044),Ta2044)/\Ta2044>Ta1022
\/E(performed(a2045),Ta2045)/\Ta2045>Ta1022.

H(performed(a1023),Ta1023)
--->E(performed(a2046),Ta2046)/\Ta2046>Ta1023
\/E(performed(a2047),Ta2047)/\Ta2047>Ta1023.

H(performed(a1024),Ta1024)
--->EN(performed(a1),Ta1)/\Ta1<Ta1024.

H(performed(a1025),Ta1025)
--->EN(performed(a1),Ta1)/\Ta1<Ta1025.

H(performed(a1026),Ta1026)
--->EN(performed(a1),Ta1)/\Ta1<Ta1026.

H(performed(a1027),Ta1027)
--->EN(performed(a1),Ta1)/\Ta1<Ta1027.

H(performed(a1028),Ta1028)
--->EN(performed(a1),Ta1)/\Ta1<Ta1028.

H(performed(a1029),Ta1029)
--->EN(performed(a1),Ta1)/\Ta1<Ta1029.

H(performed(a1030),Ta1030)
--->EN(performed(a1),Ta1)/\Ta1<Ta1030.

H(performed(a1031),Ta1031)
--->EN(performed(a1),Ta1)/\Ta1<Ta1031.

H(performed(a1032),Ta1032)
--->EN(performed(a1),Ta1)/\Ta1<Ta1032.

H(performed(a1033),Ta1033)
--->EN(performed(a1),Ta1)/\Ta1<Ta1033.

H(performed(a1034),Ta1034)
--->EN(performed(a1),Ta1)/\Ta1<Ta1034.

H(performed(a1035),Ta1035)
--->EN(performed(a1),Ta1)/\Ta1<Ta1035.

H(performed(a1036),Ta1036)
--->EN(performed(a1),Ta1)/\Ta1<Ta1036.

H(performed(a1037),Ta1037)
--->EN(performed(a1),Ta1)/\Ta1<Ta1037.

H(performed(a1038),Ta1038)
--->EN(performed(a1),Ta1)/\Ta1<Ta1038.

H(performed(a1039),Ta1039)
--->EN(performed(a1),Ta1)/\Ta1<Ta1039.

H(performed(a1040),Ta1040)
--->EN(performed(a1),Ta1)/\Ta1<Ta1040.

H(performed(a1041),Ta1041)
--->EN(performed(a1),Ta1)/\Ta1<Ta1041.

H(performed(a1042),Ta1042)
--->EN(performed(a1),Ta1)/\Ta1<Ta1042.

H(performed(a1043),Ta1043)
--->EN(performed(a1),Ta1)/\Ta1<Ta1043.

H(performed(a1044),Ta1044)
--->EN(performed(a1),Ta1)/\Ta1<Ta1044.

H(performed(a1045),Ta1045)
--->EN(performed(a1),Ta1)/\Ta1<Ta1045.

H(performed(a1046),Ta1046)
--->EN(performed(a1),Ta1)/\Ta1<Ta1046.

H(performed(a1047),Ta1047)
--->EN(performed(a1),Ta1)/\Ta1<Ta1047.

H(performed(a1048),Ta1048)
--->EN(performed(a1),Ta1)/\Ta1<Ta1048.

H(performed(a1049),Ta1049)
--->EN(performed(a1),Ta1)/\Ta1<Ta1049.

H(performed(a1050),Ta1050)
--->EN(performed(a1),Ta1)/\Ta1<Ta1050.

H(performed(a1051),Ta1051)
--->EN(performed(a1),Ta1)/\Ta1<Ta1051.

H(performed(a1052),Ta1052)
--->EN(performed(a1),Ta1)/\Ta1<Ta1052.

H(performed(a1053),Ta1053)
--->EN(performed(a1),Ta1)/\Ta1<Ta1053.

H(performed(a1054),Ta1054)
--->EN(performed(a1),Ta1)/\Ta1<Ta1054.

H(performed(a1055),Ta1055)
--->EN(performed(a1),Ta1)/\Ta1<Ta1055.

H(performed(a1056),Ta1056)
--->EN(performed(a1),Ta1)/\Ta1<Ta1056.

H(performed(a1057),Ta1057)
--->EN(performed(a1),Ta1)/\Ta1<Ta1057.

H(performed(a1058),Ta1058)
--->EN(performed(a1),Ta1)/\Ta1<Ta1058.

H(performed(a1059),Ta1059)
--->EN(performed(a1),Ta1)/\Ta1<Ta1059.

H(performed(a1060),Ta1060)
--->EN(performed(a1),Ta1)/\Ta1<Ta1060.

H(performed(a1061),Ta1061)
--->EN(performed(a1),Ta1)/\Ta1<Ta1061.

H(performed(a1062),Ta1062)
--->EN(performed(a1),Ta1)/\Ta1<Ta1062.

H(performed(a1063),Ta1063)
--->EN(performed(a1),Ta1)/\Ta1<Ta1063.

H(performed(a1064),Ta1064)
--->EN(performed(a1),Ta1)/\Ta1<Ta1064.

H(performed(a1065),Ta1065)
--->EN(performed(a1),Ta1)/\Ta1<Ta1065.

H(performed(a1066),Ta1066)
--->EN(performed(a1),Ta1)/\Ta1<Ta1066.

H(performed(a1067),Ta1067)
--->EN(performed(a1),Ta1)/\Ta1<Ta1067.

H(performed(a1068),Ta1068)
--->EN(performed(a1),Ta1)/\Ta1<Ta1068.

H(performed(a1069),Ta1069)
--->EN(performed(a1),Ta1)/\Ta1<Ta1069.

H(performed(a1070),Ta1070)
--->EN(performed(a1),Ta1)/\Ta1<Ta1070.

H(performed(a1071),Ta1071)
--->EN(performed(a1),Ta1)/\Ta1<Ta1071.

H(performed(a1072),Ta1072)
--->EN(performed(a1),Ta1)/\Ta1<Ta1072.

H(performed(a1073),Ta1073)
--->EN(performed(a1),Ta1)/\Ta1<Ta1073.

H(performed(a1074),Ta1074)
--->EN(performed(a1),Ta1)/\Ta1<Ta1074.

H(performed(a1075),Ta1075)
--->EN(performed(a1),Ta1)/\Ta1<Ta1075.

H(performed(a1076),Ta1076)
--->EN(performed(a1),Ta1)/\Ta1<Ta1076.

H(performed(a1077),Ta1077)
--->EN(performed(a1),Ta1)/\Ta1<Ta1077.

H(performed(a1078),Ta1078)
--->EN(performed(a1),Ta1)/\Ta1<Ta1078.

H(performed(a1079),Ta1079)
--->EN(performed(a1),Ta1)/\Ta1<Ta1079.

H(performed(a1080),Ta1080)
--->EN(performed(a1),Ta1)/\Ta1<Ta1080.

H(performed(a1081),Ta1081)
--->EN(performed(a1),Ta1)/\Ta1<Ta1081.

H(performed(a1082),Ta1082)
--->EN(performed(a1),Ta1)/\Ta1<Ta1082.

H(performed(a1083),Ta1083)
--->EN(performed(a1),Ta1)/\Ta1<Ta1083.

H(performed(a1084),Ta1084)
--->EN(performed(a1),Ta1)/\Ta1<Ta1084.

H(performed(a1085),Ta1085)
--->EN(performed(a1),Ta1)/\Ta1<Ta1085.

H(performed(a1086),Ta1086)
--->EN(performed(a1),Ta1)/\Ta1<Ta1086.

H(performed(a1087),Ta1087)
--->EN(performed(a1),Ta1)/\Ta1<Ta1087.

H(performed(a1088),Ta1088)
--->EN(performed(a1),Ta1)/\Ta1<Ta1088.

H(performed(a1089),Ta1089)
--->EN(performed(a1),Ta1)/\Ta1<Ta1089.

H(performed(a1090),Ta1090)
--->EN(performed(a1),Ta1)/\Ta1<Ta1090.

H(performed(a1091),Ta1091)
--->EN(performed(a1),Ta1)/\Ta1<Ta1091.

H(performed(a1092),Ta1092)
--->EN(performed(a1),Ta1)/\Ta1<Ta1092.

H(performed(a1093),Ta1093)
--->EN(performed(a1),Ta1)/\Ta1<Ta1093.

H(performed(a1094),Ta1094)
--->EN(performed(a1),Ta1)/\Ta1<Ta1094.

H(performed(a1095),Ta1095)
--->EN(performed(a1),Ta1)/\Ta1<Ta1095.

H(performed(a1096),Ta1096)
--->EN(performed(a1),Ta1)/\Ta1<Ta1096.

H(performed(a1097),Ta1097)
--->EN(performed(a1),Ta1)/\Ta1<Ta1097.

H(performed(a1098),Ta1098)
--->EN(performed(a1),Ta1)/\Ta1<Ta1098.

H(performed(a1099),Ta1099)
--->EN(performed(a1),Ta1)/\Ta1<Ta1099.

H(performed(a1100),Ta1100)
--->EN(performed(a1),Ta1)/\Ta1<Ta1100.

H(performed(a1101),Ta1101)
--->EN(performed(a1),Ta1)/\Ta1<Ta1101.

H(performed(a1102),Ta1102)
--->EN(performed(a1),Ta1)/\Ta1<Ta1102.

H(performed(a1103),Ta1103)
--->EN(performed(a1),Ta1)/\Ta1<Ta1103.

H(performed(a1104),Ta1104)
--->EN(performed(a1),Ta1)/\Ta1<Ta1104.

H(performed(a1105),Ta1105)
--->EN(performed(a1),Ta1)/\Ta1<Ta1105.

H(performed(a1106),Ta1106)
--->EN(performed(a1),Ta1)/\Ta1<Ta1106.

H(performed(a1107),Ta1107)
--->EN(performed(a1),Ta1)/\Ta1<Ta1107.

H(performed(a1108),Ta1108)
--->EN(performed(a1),Ta1)/\Ta1<Ta1108.

H(performed(a1109),Ta1109)
--->EN(performed(a1),Ta1)/\Ta1<Ta1109.

H(performed(a1110),Ta1110)
--->EN(performed(a1),Ta1)/\Ta1<Ta1110.

H(performed(a1111),Ta1111)
--->EN(performed(a1),Ta1)/\Ta1<Ta1111.

H(performed(a1112),Ta1112)
--->EN(performed(a1),Ta1)/\Ta1<Ta1112.

H(performed(a1113),Ta1113)
--->EN(performed(a1),Ta1)/\Ta1<Ta1113.

H(performed(a1114),Ta1114)
--->EN(performed(a1),Ta1)/\Ta1<Ta1114.

H(performed(a1115),Ta1115)
--->EN(performed(a1),Ta1)/\Ta1<Ta1115.

H(performed(a1116),Ta1116)
--->EN(performed(a1),Ta1)/\Ta1<Ta1116.

H(performed(a1117),Ta1117)
--->EN(performed(a1),Ta1)/\Ta1<Ta1117.

H(performed(a1118),Ta1118)
--->EN(performed(a1),Ta1)/\Ta1<Ta1118.

H(performed(a1119),Ta1119)
--->EN(performed(a1),Ta1)/\Ta1<Ta1119.

H(performed(a1120),Ta1120)
--->EN(performed(a1),Ta1)/\Ta1<Ta1120.

H(performed(a1121),Ta1121)
--->EN(performed(a1),Ta1)/\Ta1<Ta1121.

H(performed(a1122),Ta1122)
--->EN(performed(a1),Ta1)/\Ta1<Ta1122.

H(performed(a1123),Ta1123)
--->EN(performed(a1),Ta1)/\Ta1<Ta1123.

H(performed(a1124),Ta1124)
--->EN(performed(a1),Ta1)/\Ta1<Ta1124.

H(performed(a1125),Ta1125)
--->EN(performed(a1),Ta1)/\Ta1<Ta1125.

H(performed(a1126),Ta1126)
--->EN(performed(a1),Ta1)/\Ta1<Ta1126.

H(performed(a1127),Ta1127)
--->EN(performed(a1),Ta1)/\Ta1<Ta1127.

H(performed(a1128),Ta1128)
--->EN(performed(a1),Ta1)/\Ta1<Ta1128.

H(performed(a1129),Ta1129)
--->EN(performed(a1),Ta1)/\Ta1<Ta1129.

H(performed(a1130),Ta1130)
--->EN(performed(a1),Ta1)/\Ta1<Ta1130.

H(performed(a1131),Ta1131)
--->EN(performed(a1),Ta1)/\Ta1<Ta1131.

H(performed(a1132),Ta1132)
--->EN(performed(a1),Ta1)/\Ta1<Ta1132.

H(performed(a1133),Ta1133)
--->EN(performed(a1),Ta1)/\Ta1<Ta1133.

H(performed(a1134),Ta1134)
--->EN(performed(a1),Ta1)/\Ta1<Ta1134.

H(performed(a1135),Ta1135)
--->EN(performed(a1),Ta1)/\Ta1<Ta1135.

H(performed(a1136),Ta1136)
--->EN(performed(a1),Ta1)/\Ta1<Ta1136.

H(performed(a1137),Ta1137)
--->EN(performed(a1),Ta1)/\Ta1<Ta1137.

H(performed(a1138),Ta1138)
--->EN(performed(a1),Ta1)/\Ta1<Ta1138.

H(performed(a1139),Ta1139)
--->EN(performed(a1),Ta1)/\Ta1<Ta1139.

H(performed(a1140),Ta1140)
--->EN(performed(a1),Ta1)/\Ta1<Ta1140.

H(performed(a1141),Ta1141)
--->EN(performed(a1),Ta1)/\Ta1<Ta1141.

H(performed(a1142),Ta1142)
--->EN(performed(a1),Ta1)/\Ta1<Ta1142.

H(performed(a1143),Ta1143)
--->EN(performed(a1),Ta1)/\Ta1<Ta1143.

H(performed(a1144),Ta1144)
--->EN(performed(a1),Ta1)/\Ta1<Ta1144.

H(performed(a1145),Ta1145)
--->EN(performed(a1),Ta1)/\Ta1<Ta1145.

H(performed(a1146),Ta1146)
--->EN(performed(a1),Ta1)/\Ta1<Ta1146.

H(performed(a1147),Ta1147)
--->EN(performed(a1),Ta1)/\Ta1<Ta1147.

H(performed(a1148),Ta1148)
--->EN(performed(a1),Ta1)/\Ta1<Ta1148.

H(performed(a1149),Ta1149)
--->EN(performed(a1),Ta1)/\Ta1<Ta1149.

H(performed(a1150),Ta1150)
--->EN(performed(a1),Ta1)/\Ta1<Ta1150.

H(performed(a1151),Ta1151)
--->EN(performed(a1),Ta1)/\Ta1<Ta1151.

H(performed(a1152),Ta1152)
--->EN(performed(a1),Ta1)/\Ta1<Ta1152.

H(performed(a1153),Ta1153)
--->EN(performed(a1),Ta1)/\Ta1<Ta1153.

H(performed(a1154),Ta1154)
--->EN(performed(a1),Ta1)/\Ta1<Ta1154.

H(performed(a1155),Ta1155)
--->EN(performed(a1),Ta1)/\Ta1<Ta1155.

H(performed(a1156),Ta1156)
--->EN(performed(a1),Ta1)/\Ta1<Ta1156.

H(performed(a1157),Ta1157)
--->EN(performed(a1),Ta1)/\Ta1<Ta1157.

H(performed(a1158),Ta1158)
--->EN(performed(a1),Ta1)/\Ta1<Ta1158.

H(performed(a1159),Ta1159)
--->EN(performed(a1),Ta1)/\Ta1<Ta1159.

H(performed(a1160),Ta1160)
--->EN(performed(a1),Ta1)/\Ta1<Ta1160.

H(performed(a1161),Ta1161)
--->EN(performed(a1),Ta1)/\Ta1<Ta1161.

H(performed(a1162),Ta1162)
--->EN(performed(a1),Ta1)/\Ta1<Ta1162.

H(performed(a1163),Ta1163)
--->EN(performed(a1),Ta1)/\Ta1<Ta1163.

H(performed(a1164),Ta1164)
--->EN(performed(a1),Ta1)/\Ta1<Ta1164.

H(performed(a1165),Ta1165)
--->EN(performed(a1),Ta1)/\Ta1<Ta1165.

H(performed(a1166),Ta1166)
--->EN(performed(a1),Ta1)/\Ta1<Ta1166.

H(performed(a1167),Ta1167)
--->EN(performed(a1),Ta1)/\Ta1<Ta1167.

H(performed(a1168),Ta1168)
--->EN(performed(a1),Ta1)/\Ta1<Ta1168.

H(performed(a1169),Ta1169)
--->EN(performed(a1),Ta1)/\Ta1<Ta1169.

H(performed(a1170),Ta1170)
--->EN(performed(a1),Ta1)/\Ta1<Ta1170.

H(performed(a1171),Ta1171)
--->EN(performed(a1),Ta1)/\Ta1<Ta1171.

H(performed(a1172),Ta1172)
--->EN(performed(a1),Ta1)/\Ta1<Ta1172.

H(performed(a1173),Ta1173)
--->EN(performed(a1),Ta1)/\Ta1<Ta1173.

H(performed(a1174),Ta1174)
--->EN(performed(a1),Ta1)/\Ta1<Ta1174.

H(performed(a1175),Ta1175)
--->EN(performed(a1),Ta1)/\Ta1<Ta1175.

H(performed(a1176),Ta1176)
--->EN(performed(a1),Ta1)/\Ta1<Ta1176.

H(performed(a1177),Ta1177)
--->EN(performed(a1),Ta1)/\Ta1<Ta1177.

H(performed(a1178),Ta1178)
--->EN(performed(a1),Ta1)/\Ta1<Ta1178.

H(performed(a1179),Ta1179)
--->EN(performed(a1),Ta1)/\Ta1<Ta1179.

H(performed(a1180),Ta1180)
--->EN(performed(a1),Ta1)/\Ta1<Ta1180.

H(performed(a1181),Ta1181)
--->EN(performed(a1),Ta1)/\Ta1<Ta1181.

H(performed(a1182),Ta1182)
--->EN(performed(a1),Ta1)/\Ta1<Ta1182.

H(performed(a1183),Ta1183)
--->EN(performed(a1),Ta1)/\Ta1<Ta1183.

H(performed(a1184),Ta1184)
--->EN(performed(a1),Ta1)/\Ta1<Ta1184.

H(performed(a1185),Ta1185)
--->EN(performed(a1),Ta1)/\Ta1<Ta1185.

H(performed(a1186),Ta1186)
--->EN(performed(a1),Ta1)/\Ta1<Ta1186.

H(performed(a1187),Ta1187)
--->EN(performed(a1),Ta1)/\Ta1<Ta1187.

H(performed(a1188),Ta1188)
--->EN(performed(a1),Ta1)/\Ta1<Ta1188.

H(performed(a1189),Ta1189)
--->EN(performed(a1),Ta1)/\Ta1<Ta1189.

H(performed(a1190),Ta1190)
--->EN(performed(a1),Ta1)/\Ta1<Ta1190.

H(performed(a1191),Ta1191)
--->EN(performed(a1),Ta1)/\Ta1<Ta1191.

H(performed(a1192),Ta1192)
--->EN(performed(a1),Ta1)/\Ta1<Ta1192.

H(performed(a1193),Ta1193)
--->EN(performed(a1),Ta1)/\Ta1<Ta1193.

H(performed(a1194),Ta1194)
--->EN(performed(a1),Ta1)/\Ta1<Ta1194.

H(performed(a1195),Ta1195)
--->EN(performed(a1),Ta1)/\Ta1<Ta1195.

H(performed(a1196),Ta1196)
--->EN(performed(a1),Ta1)/\Ta1<Ta1196.

H(performed(a1197),Ta1197)
--->EN(performed(a1),Ta1)/\Ta1<Ta1197.

H(performed(a1198),Ta1198)
--->EN(performed(a1),Ta1)/\Ta1<Ta1198.

H(performed(a1199),Ta1199)
--->EN(performed(a1),Ta1)/\Ta1<Ta1199.

H(performed(a1200),Ta1200)
--->EN(performed(a1),Ta1)/\Ta1<Ta1200.

H(performed(a1201),Ta1201)
--->EN(performed(a1),Ta1)/\Ta1<Ta1201.

H(performed(a1202),Ta1202)
--->EN(performed(a1),Ta1)/\Ta1<Ta1202.

H(performed(a1203),Ta1203)
--->EN(performed(a1),Ta1)/\Ta1<Ta1203.

H(performed(a1204),Ta1204)
--->EN(performed(a1),Ta1)/\Ta1<Ta1204.

H(performed(a1205),Ta1205)
--->EN(performed(a1),Ta1)/\Ta1<Ta1205.

H(performed(a1206),Ta1206)
--->EN(performed(a1),Ta1)/\Ta1<Ta1206.

H(performed(a1207),Ta1207)
--->EN(performed(a1),Ta1)/\Ta1<Ta1207.

H(performed(a1208),Ta1208)
--->EN(performed(a1),Ta1)/\Ta1<Ta1208.

H(performed(a1209),Ta1209)
--->EN(performed(a1),Ta1)/\Ta1<Ta1209.

H(performed(a1210),Ta1210)
--->EN(performed(a1),Ta1)/\Ta1<Ta1210.

H(performed(a1211),Ta1211)
--->EN(performed(a1),Ta1)/\Ta1<Ta1211.

H(performed(a1212),Ta1212)
--->EN(performed(a1),Ta1)/\Ta1<Ta1212.

H(performed(a1213),Ta1213)
--->EN(performed(a1),Ta1)/\Ta1<Ta1213.

H(performed(a1214),Ta1214)
--->EN(performed(a1),Ta1)/\Ta1<Ta1214.

H(performed(a1215),Ta1215)
--->EN(performed(a1),Ta1)/\Ta1<Ta1215.

H(performed(a1216),Ta1216)
--->EN(performed(a1),Ta1)/\Ta1<Ta1216.

H(performed(a1217),Ta1217)
--->EN(performed(a1),Ta1)/\Ta1<Ta1217.

H(performed(a1218),Ta1218)
--->EN(performed(a1),Ta1)/\Ta1<Ta1218.

H(performed(a1219),Ta1219)
--->EN(performed(a1),Ta1)/\Ta1<Ta1219.

H(performed(a1220),Ta1220)
--->EN(performed(a1),Ta1)/\Ta1<Ta1220.

H(performed(a1221),Ta1221)
--->EN(performed(a1),Ta1)/\Ta1<Ta1221.

H(performed(a1222),Ta1222)
--->EN(performed(a1),Ta1)/\Ta1<Ta1222.

H(performed(a1223),Ta1223)
--->EN(performed(a1),Ta1)/\Ta1<Ta1223.

H(performed(a1224),Ta1224)
--->EN(performed(a1),Ta1)/\Ta1<Ta1224.

H(performed(a1225),Ta1225)
--->EN(performed(a1),Ta1)/\Ta1<Ta1225.

H(performed(a1226),Ta1226)
--->EN(performed(a1),Ta1)/\Ta1<Ta1226.

H(performed(a1227),Ta1227)
--->EN(performed(a1),Ta1)/\Ta1<Ta1227.

H(performed(a1228),Ta1228)
--->EN(performed(a1),Ta1)/\Ta1<Ta1228.

H(performed(a1229),Ta1229)
--->EN(performed(a1),Ta1)/\Ta1<Ta1229.

H(performed(a1230),Ta1230)
--->EN(performed(a1),Ta1)/\Ta1<Ta1230.

H(performed(a1231),Ta1231)
--->EN(performed(a1),Ta1)/\Ta1<Ta1231.

H(performed(a1232),Ta1232)
--->EN(performed(a1),Ta1)/\Ta1<Ta1232.

H(performed(a1233),Ta1233)
--->EN(performed(a1),Ta1)/\Ta1<Ta1233.

H(performed(a1234),Ta1234)
--->EN(performed(a1),Ta1)/\Ta1<Ta1234.

H(performed(a1235),Ta1235)
--->EN(performed(a1),Ta1)/\Ta1<Ta1235.

H(performed(a1236),Ta1236)
--->EN(performed(a1),Ta1)/\Ta1<Ta1236.

H(performed(a1237),Ta1237)
--->EN(performed(a1),Ta1)/\Ta1<Ta1237.

H(performed(a1238),Ta1238)
--->EN(performed(a1),Ta1)/\Ta1<Ta1238.

H(performed(a1239),Ta1239)
--->EN(performed(a1),Ta1)/\Ta1<Ta1239.

H(performed(a1240),Ta1240)
--->EN(performed(a1),Ta1)/\Ta1<Ta1240.

H(performed(a1241),Ta1241)
--->EN(performed(a1),Ta1)/\Ta1<Ta1241.

H(performed(a1242),Ta1242)
--->EN(performed(a1),Ta1)/\Ta1<Ta1242.

H(performed(a1243),Ta1243)
--->EN(performed(a1),Ta1)/\Ta1<Ta1243.

H(performed(a1244),Ta1244)
--->EN(performed(a1),Ta1)/\Ta1<Ta1244.

H(performed(a1245),Ta1245)
--->EN(performed(a1),Ta1)/\Ta1<Ta1245.

H(performed(a1246),Ta1246)
--->EN(performed(a1),Ta1)/\Ta1<Ta1246.

H(performed(a1247),Ta1247)
--->EN(performed(a1),Ta1)/\Ta1<Ta1247.

H(performed(a1248),Ta1248)
--->EN(performed(a1),Ta1)/\Ta1<Ta1248.

H(performed(a1249),Ta1249)
--->EN(performed(a1),Ta1)/\Ta1<Ta1249.

H(performed(a1250),Ta1250)
--->EN(performed(a1),Ta1)/\Ta1<Ta1250.

H(performed(a1251),Ta1251)
--->EN(performed(a1),Ta1)/\Ta1<Ta1251.

H(performed(a1252),Ta1252)
--->EN(performed(a1),Ta1)/\Ta1<Ta1252.

H(performed(a1253),Ta1253)
--->EN(performed(a1),Ta1)/\Ta1<Ta1253.

H(performed(a1254),Ta1254)
--->EN(performed(a1),Ta1)/\Ta1<Ta1254.

H(performed(a1255),Ta1255)
--->EN(performed(a1),Ta1)/\Ta1<Ta1255.

H(performed(a1256),Ta1256)
--->EN(performed(a1),Ta1)/\Ta1<Ta1256.

H(performed(a1257),Ta1257)
--->EN(performed(a1),Ta1)/\Ta1<Ta1257.

H(performed(a1258),Ta1258)
--->EN(performed(a1),Ta1)/\Ta1<Ta1258.

H(performed(a1259),Ta1259)
--->EN(performed(a1),Ta1)/\Ta1<Ta1259.

H(performed(a1260),Ta1260)
--->EN(performed(a1),Ta1)/\Ta1<Ta1260.

H(performed(a1261),Ta1261)
--->EN(performed(a1),Ta1)/\Ta1<Ta1261.

H(performed(a1262),Ta1262)
--->EN(performed(a1),Ta1)/\Ta1<Ta1262.

H(performed(a1263),Ta1263)
--->EN(performed(a1),Ta1)/\Ta1<Ta1263.

H(performed(a1264),Ta1264)
--->EN(performed(a1),Ta1)/\Ta1<Ta1264.

H(performed(a1265),Ta1265)
--->EN(performed(a1),Ta1)/\Ta1<Ta1265.

H(performed(a1266),Ta1266)
--->EN(performed(a1),Ta1)/\Ta1<Ta1266.

H(performed(a1267),Ta1267)
--->EN(performed(a1),Ta1)/\Ta1<Ta1267.

H(performed(a1268),Ta1268)
--->EN(performed(a1),Ta1)/\Ta1<Ta1268.

H(performed(a1269),Ta1269)
--->EN(performed(a1),Ta1)/\Ta1<Ta1269.

H(performed(a1270),Ta1270)
--->EN(performed(a1),Ta1)/\Ta1<Ta1270.

H(performed(a1271),Ta1271)
--->EN(performed(a1),Ta1)/\Ta1<Ta1271.

H(performed(a1272),Ta1272)
--->EN(performed(a1),Ta1)/\Ta1<Ta1272.

H(performed(a1273),Ta1273)
--->EN(performed(a1),Ta1)/\Ta1<Ta1273.

H(performed(a1274),Ta1274)
--->EN(performed(a1),Ta1)/\Ta1<Ta1274.

H(performed(a1275),Ta1275)
--->EN(performed(a1),Ta1)/\Ta1<Ta1275.

H(performed(a1276),Ta1276)
--->EN(performed(a1),Ta1)/\Ta1<Ta1276.

H(performed(a1277),Ta1277)
--->EN(performed(a1),Ta1)/\Ta1<Ta1277.

H(performed(a1278),Ta1278)
--->EN(performed(a1),Ta1)/\Ta1<Ta1278.

H(performed(a1279),Ta1279)
--->EN(performed(a1),Ta1)/\Ta1<Ta1279.

H(performed(a1280),Ta1280)
--->EN(performed(a1),Ta1)/\Ta1<Ta1280.

H(performed(a1281),Ta1281)
--->EN(performed(a1),Ta1)/\Ta1<Ta1281.

H(performed(a1282),Ta1282)
--->EN(performed(a1),Ta1)/\Ta1<Ta1282.

H(performed(a1283),Ta1283)
--->EN(performed(a1),Ta1)/\Ta1<Ta1283.

H(performed(a1284),Ta1284)
--->EN(performed(a1),Ta1)/\Ta1<Ta1284.

H(performed(a1285),Ta1285)
--->EN(performed(a1),Ta1)/\Ta1<Ta1285.

H(performed(a1286),Ta1286)
--->EN(performed(a1),Ta1)/\Ta1<Ta1286.

H(performed(a1287),Ta1287)
--->EN(performed(a1),Ta1)/\Ta1<Ta1287.

H(performed(a1288),Ta1288)
--->EN(performed(a1),Ta1)/\Ta1<Ta1288.

H(performed(a1289),Ta1289)
--->EN(performed(a1),Ta1)/\Ta1<Ta1289.

H(performed(a1290),Ta1290)
--->EN(performed(a1),Ta1)/\Ta1<Ta1290.

H(performed(a1291),Ta1291)
--->EN(performed(a1),Ta1)/\Ta1<Ta1291.

H(performed(a1292),Ta1292)
--->EN(performed(a1),Ta1)/\Ta1<Ta1292.

H(performed(a1293),Ta1293)
--->EN(performed(a1),Ta1)/\Ta1<Ta1293.

H(performed(a1294),Ta1294)
--->EN(performed(a1),Ta1)/\Ta1<Ta1294.

H(performed(a1295),Ta1295)
--->EN(performed(a1),Ta1)/\Ta1<Ta1295.

H(performed(a1296),Ta1296)
--->EN(performed(a1),Ta1)/\Ta1<Ta1296.

H(performed(a1297),Ta1297)
--->EN(performed(a1),Ta1)/\Ta1<Ta1297.

H(performed(a1298),Ta1298)
--->EN(performed(a1),Ta1)/\Ta1<Ta1298.

H(performed(a1299),Ta1299)
--->EN(performed(a1),Ta1)/\Ta1<Ta1299.

H(performed(a1300),Ta1300)
--->EN(performed(a1),Ta1)/\Ta1<Ta1300.

H(performed(a1301),Ta1301)
--->EN(performed(a1),Ta1)/\Ta1<Ta1301.

H(performed(a1302),Ta1302)
--->EN(performed(a1),Ta1)/\Ta1<Ta1302.

H(performed(a1303),Ta1303)
--->EN(performed(a1),Ta1)/\Ta1<Ta1303.

H(performed(a1304),Ta1304)
--->EN(performed(a1),Ta1)/\Ta1<Ta1304.

H(performed(a1305),Ta1305)
--->EN(performed(a1),Ta1)/\Ta1<Ta1305.

H(performed(a1306),Ta1306)
--->EN(performed(a1),Ta1)/\Ta1<Ta1306.

H(performed(a1307),Ta1307)
--->EN(performed(a1),Ta1)/\Ta1<Ta1307.

H(performed(a1308),Ta1308)
--->EN(performed(a1),Ta1)/\Ta1<Ta1308.

H(performed(a1309),Ta1309)
--->EN(performed(a1),Ta1)/\Ta1<Ta1309.

H(performed(a1310),Ta1310)
--->EN(performed(a1),Ta1)/\Ta1<Ta1310.

H(performed(a1311),Ta1311)
--->EN(performed(a1),Ta1)/\Ta1<Ta1311.

H(performed(a1312),Ta1312)
--->EN(performed(a1),Ta1)/\Ta1<Ta1312.

H(performed(a1313),Ta1313)
--->EN(performed(a1),Ta1)/\Ta1<Ta1313.

H(performed(a1314),Ta1314)
--->EN(performed(a1),Ta1)/\Ta1<Ta1314.

H(performed(a1315),Ta1315)
--->EN(performed(a1),Ta1)/\Ta1<Ta1315.

H(performed(a1316),Ta1316)
--->EN(performed(a1),Ta1)/\Ta1<Ta1316.

H(performed(a1317),Ta1317)
--->EN(performed(a1),Ta1)/\Ta1<Ta1317.

H(performed(a1318),Ta1318)
--->EN(performed(a1),Ta1)/\Ta1<Ta1318.

H(performed(a1319),Ta1319)
--->EN(performed(a1),Ta1)/\Ta1<Ta1319.

H(performed(a1320),Ta1320)
--->EN(performed(a1),Ta1)/\Ta1<Ta1320.

H(performed(a1321),Ta1321)
--->EN(performed(a1),Ta1)/\Ta1<Ta1321.

H(performed(a1322),Ta1322)
--->EN(performed(a1),Ta1)/\Ta1<Ta1322.

H(performed(a1323),Ta1323)
--->EN(performed(a1),Ta1)/\Ta1<Ta1323.

H(performed(a1324),Ta1324)
--->EN(performed(a1),Ta1)/\Ta1<Ta1324.

H(performed(a1325),Ta1325)
--->EN(performed(a1),Ta1)/\Ta1<Ta1325.

H(performed(a1326),Ta1326)
--->EN(performed(a1),Ta1)/\Ta1<Ta1326.

H(performed(a1327),Ta1327)
--->EN(performed(a1),Ta1)/\Ta1<Ta1327.

H(performed(a1328),Ta1328)
--->EN(performed(a1),Ta1)/\Ta1<Ta1328.

H(performed(a1329),Ta1329)
--->EN(performed(a1),Ta1)/\Ta1<Ta1329.

H(performed(a1330),Ta1330)
--->EN(performed(a1),Ta1)/\Ta1<Ta1330.

H(performed(a1331),Ta1331)
--->EN(performed(a1),Ta1)/\Ta1<Ta1331.

H(performed(a1332),Ta1332)
--->EN(performed(a1),Ta1)/\Ta1<Ta1332.

H(performed(a1333),Ta1333)
--->EN(performed(a1),Ta1)/\Ta1<Ta1333.

H(performed(a1334),Ta1334)
--->EN(performed(a1),Ta1)/\Ta1<Ta1334.

H(performed(a1335),Ta1335)
--->EN(performed(a1),Ta1)/\Ta1<Ta1335.

H(performed(a1336),Ta1336)
--->EN(performed(a1),Ta1)/\Ta1<Ta1336.

H(performed(a1337),Ta1337)
--->EN(performed(a1),Ta1)/\Ta1<Ta1337.

H(performed(a1338),Ta1338)
--->EN(performed(a1),Ta1)/\Ta1<Ta1338.

H(performed(a1339),Ta1339)
--->EN(performed(a1),Ta1)/\Ta1<Ta1339.

H(performed(a1340),Ta1340)
--->EN(performed(a1),Ta1)/\Ta1<Ta1340.

H(performed(a1341),Ta1341)
--->EN(performed(a1),Ta1)/\Ta1<Ta1341.

H(performed(a1342),Ta1342)
--->EN(performed(a1),Ta1)/\Ta1<Ta1342.

H(performed(a1343),Ta1343)
--->EN(performed(a1),Ta1)/\Ta1<Ta1343.

H(performed(a1344),Ta1344)
--->EN(performed(a1),Ta1)/\Ta1<Ta1344.

H(performed(a1345),Ta1345)
--->EN(performed(a1),Ta1)/\Ta1<Ta1345.

H(performed(a1346),Ta1346)
--->EN(performed(a1),Ta1)/\Ta1<Ta1346.

H(performed(a1347),Ta1347)
--->EN(performed(a1),Ta1)/\Ta1<Ta1347.

H(performed(a1348),Ta1348)
--->EN(performed(a1),Ta1)/\Ta1<Ta1348.

H(performed(a1349),Ta1349)
--->EN(performed(a1),Ta1)/\Ta1<Ta1349.

H(performed(a1350),Ta1350)
--->EN(performed(a1),Ta1)/\Ta1<Ta1350.

H(performed(a1351),Ta1351)
--->EN(performed(a1),Ta1)/\Ta1<Ta1351.

H(performed(a1352),Ta1352)
--->EN(performed(a1),Ta1)/\Ta1<Ta1352.

H(performed(a1353),Ta1353)
--->EN(performed(a1),Ta1)/\Ta1<Ta1353.

H(performed(a1354),Ta1354)
--->EN(performed(a1),Ta1)/\Ta1<Ta1354.

H(performed(a1355),Ta1355)
--->EN(performed(a1),Ta1)/\Ta1<Ta1355.

H(performed(a1356),Ta1356)
--->EN(performed(a1),Ta1)/\Ta1<Ta1356.

H(performed(a1357),Ta1357)
--->EN(performed(a1),Ta1)/\Ta1<Ta1357.

H(performed(a1358),Ta1358)
--->EN(performed(a1),Ta1)/\Ta1<Ta1358.

H(performed(a1359),Ta1359)
--->EN(performed(a1),Ta1)/\Ta1<Ta1359.

H(performed(a1360),Ta1360)
--->EN(performed(a1),Ta1)/\Ta1<Ta1360.

H(performed(a1361),Ta1361)
--->EN(performed(a1),Ta1)/\Ta1<Ta1361.

H(performed(a1362),Ta1362)
--->EN(performed(a1),Ta1)/\Ta1<Ta1362.

H(performed(a1363),Ta1363)
--->EN(performed(a1),Ta1)/\Ta1<Ta1363.

H(performed(a1364),Ta1364)
--->EN(performed(a1),Ta1)/\Ta1<Ta1364.

H(performed(a1365),Ta1365)
--->EN(performed(a1),Ta1)/\Ta1<Ta1365.

H(performed(a1366),Ta1366)
--->EN(performed(a1),Ta1)/\Ta1<Ta1366.

H(performed(a1367),Ta1367)
--->EN(performed(a1),Ta1)/\Ta1<Ta1367.

H(performed(a1368),Ta1368)
--->EN(performed(a1),Ta1)/\Ta1<Ta1368.

H(performed(a1369),Ta1369)
--->EN(performed(a1),Ta1)/\Ta1<Ta1369.

H(performed(a1370),Ta1370)
--->EN(performed(a1),Ta1)/\Ta1<Ta1370.

H(performed(a1371),Ta1371)
--->EN(performed(a1),Ta1)/\Ta1<Ta1371.

H(performed(a1372),Ta1372)
--->EN(performed(a1),Ta1)/\Ta1<Ta1372.

H(performed(a1373),Ta1373)
--->EN(performed(a1),Ta1)/\Ta1<Ta1373.

H(performed(a1374),Ta1374)
--->EN(performed(a1),Ta1)/\Ta1<Ta1374.

H(performed(a1375),Ta1375)
--->EN(performed(a1),Ta1)/\Ta1<Ta1375.

H(performed(a1376),Ta1376)
--->EN(performed(a1),Ta1)/\Ta1<Ta1376.

H(performed(a1377),Ta1377)
--->EN(performed(a1),Ta1)/\Ta1<Ta1377.

H(performed(a1378),Ta1378)
--->EN(performed(a1),Ta1)/\Ta1<Ta1378.

H(performed(a1379),Ta1379)
--->EN(performed(a1),Ta1)/\Ta1<Ta1379.

H(performed(a1380),Ta1380)
--->EN(performed(a1),Ta1)/\Ta1<Ta1380.

H(performed(a1381),Ta1381)
--->EN(performed(a1),Ta1)/\Ta1<Ta1381.

H(performed(a1382),Ta1382)
--->EN(performed(a1),Ta1)/\Ta1<Ta1382.

H(performed(a1383),Ta1383)
--->EN(performed(a1),Ta1)/\Ta1<Ta1383.

H(performed(a1384),Ta1384)
--->EN(performed(a1),Ta1)/\Ta1<Ta1384.

H(performed(a1385),Ta1385)
--->EN(performed(a1),Ta1)/\Ta1<Ta1385.

H(performed(a1386),Ta1386)
--->EN(performed(a1),Ta1)/\Ta1<Ta1386.

H(performed(a1387),Ta1387)
--->EN(performed(a1),Ta1)/\Ta1<Ta1387.

H(performed(a1388),Ta1388)
--->EN(performed(a1),Ta1)/\Ta1<Ta1388.

H(performed(a1389),Ta1389)
--->EN(performed(a1),Ta1)/\Ta1<Ta1389.

H(performed(a1390),Ta1390)
--->EN(performed(a1),Ta1)/\Ta1<Ta1390.

H(performed(a1391),Ta1391)
--->EN(performed(a1),Ta1)/\Ta1<Ta1391.

H(performed(a1392),Ta1392)
--->EN(performed(a1),Ta1)/\Ta1<Ta1392.

H(performed(a1393),Ta1393)
--->EN(performed(a1),Ta1)/\Ta1<Ta1393.

H(performed(a1394),Ta1394)
--->EN(performed(a1),Ta1)/\Ta1<Ta1394.

H(performed(a1395),Ta1395)
--->EN(performed(a1),Ta1)/\Ta1<Ta1395.

H(performed(a1396),Ta1396)
--->EN(performed(a1),Ta1)/\Ta1<Ta1396.

H(performed(a1397),Ta1397)
--->EN(performed(a1),Ta1)/\Ta1<Ta1397.

H(performed(a1398),Ta1398)
--->EN(performed(a1),Ta1)/\Ta1<Ta1398.

H(performed(a1399),Ta1399)
--->EN(performed(a1),Ta1)/\Ta1<Ta1399.

H(performed(a1400),Ta1400)
--->EN(performed(a1),Ta1)/\Ta1<Ta1400.

H(performed(a1401),Ta1401)
--->EN(performed(a1),Ta1)/\Ta1<Ta1401.

H(performed(a1402),Ta1402)
--->EN(performed(a1),Ta1)/\Ta1<Ta1402.

H(performed(a1403),Ta1403)
--->EN(performed(a1),Ta1)/\Ta1<Ta1403.

H(performed(a1404),Ta1404)
--->EN(performed(a1),Ta1)/\Ta1<Ta1404.

H(performed(a1405),Ta1405)
--->EN(performed(a1),Ta1)/\Ta1<Ta1405.

H(performed(a1406),Ta1406)
--->EN(performed(a1),Ta1)/\Ta1<Ta1406.

H(performed(a1407),Ta1407)
--->EN(performed(a1),Ta1)/\Ta1<Ta1407.

H(performed(a1408),Ta1408)
--->EN(performed(a1),Ta1)/\Ta1<Ta1408.

H(performed(a1409),Ta1409)
--->EN(performed(a1),Ta1)/\Ta1<Ta1409.

H(performed(a1410),Ta1410)
--->EN(performed(a1),Ta1)/\Ta1<Ta1410.

H(performed(a1411),Ta1411)
--->EN(performed(a1),Ta1)/\Ta1<Ta1411.

H(performed(a1412),Ta1412)
--->EN(performed(a1),Ta1)/\Ta1<Ta1412.

H(performed(a1413),Ta1413)
--->EN(performed(a1),Ta1)/\Ta1<Ta1413.

H(performed(a1414),Ta1414)
--->EN(performed(a1),Ta1)/\Ta1<Ta1414.

H(performed(a1415),Ta1415)
--->EN(performed(a1),Ta1)/\Ta1<Ta1415.

H(performed(a1416),Ta1416)
--->EN(performed(a1),Ta1)/\Ta1<Ta1416.

H(performed(a1417),Ta1417)
--->EN(performed(a1),Ta1)/\Ta1<Ta1417.

H(performed(a1418),Ta1418)
--->EN(performed(a1),Ta1)/\Ta1<Ta1418.

H(performed(a1419),Ta1419)
--->EN(performed(a1),Ta1)/\Ta1<Ta1419.

H(performed(a1420),Ta1420)
--->EN(performed(a1),Ta1)/\Ta1<Ta1420.

H(performed(a1421),Ta1421)
--->EN(performed(a1),Ta1)/\Ta1<Ta1421.

H(performed(a1422),Ta1422)
--->EN(performed(a1),Ta1)/\Ta1<Ta1422.

H(performed(a1423),Ta1423)
--->EN(performed(a1),Ta1)/\Ta1<Ta1423.

H(performed(a1424),Ta1424)
--->EN(performed(a1),Ta1)/\Ta1<Ta1424.

H(performed(a1425),Ta1425)
--->EN(performed(a1),Ta1)/\Ta1<Ta1425.

H(performed(a1426),Ta1426)
--->EN(performed(a1),Ta1)/\Ta1<Ta1426.

H(performed(a1427),Ta1427)
--->EN(performed(a1),Ta1)/\Ta1<Ta1427.

H(performed(a1428),Ta1428)
--->EN(performed(a1),Ta1)/\Ta1<Ta1428.

H(performed(a1429),Ta1429)
--->EN(performed(a1),Ta1)/\Ta1<Ta1429.

H(performed(a1430),Ta1430)
--->EN(performed(a1),Ta1)/\Ta1<Ta1430.

H(performed(a1431),Ta1431)
--->EN(performed(a1),Ta1)/\Ta1<Ta1431.

H(performed(a1432),Ta1432)
--->EN(performed(a1),Ta1)/\Ta1<Ta1432.

H(performed(a1433),Ta1433)
--->EN(performed(a1),Ta1)/\Ta1<Ta1433.

H(performed(a1434),Ta1434)
--->EN(performed(a1),Ta1)/\Ta1<Ta1434.

H(performed(a1435),Ta1435)
--->EN(performed(a1),Ta1)/\Ta1<Ta1435.

H(performed(a1436),Ta1436)
--->EN(performed(a1),Ta1)/\Ta1<Ta1436.

H(performed(a1437),Ta1437)
--->EN(performed(a1),Ta1)/\Ta1<Ta1437.

H(performed(a1438),Ta1438)
--->EN(performed(a1),Ta1)/\Ta1<Ta1438.

H(performed(a1439),Ta1439)
--->EN(performed(a1),Ta1)/\Ta1<Ta1439.

H(performed(a1440),Ta1440)
--->EN(performed(a1),Ta1)/\Ta1<Ta1440.

H(performed(a1441),Ta1441)
--->EN(performed(a1),Ta1)/\Ta1<Ta1441.

H(performed(a1442),Ta1442)
--->EN(performed(a1),Ta1)/\Ta1<Ta1442.

H(performed(a1443),Ta1443)
--->EN(performed(a1),Ta1)/\Ta1<Ta1443.

H(performed(a1444),Ta1444)
--->EN(performed(a1),Ta1)/\Ta1<Ta1444.

H(performed(a1445),Ta1445)
--->EN(performed(a1),Ta1)/\Ta1<Ta1445.

H(performed(a1446),Ta1446)
--->EN(performed(a1),Ta1)/\Ta1<Ta1446.

H(performed(a1447),Ta1447)
--->EN(performed(a1),Ta1)/\Ta1<Ta1447.

H(performed(a1448),Ta1448)
--->EN(performed(a1),Ta1)/\Ta1<Ta1448.

H(performed(a1449),Ta1449)
--->EN(performed(a1),Ta1)/\Ta1<Ta1449.

H(performed(a1450),Ta1450)
--->EN(performed(a1),Ta1)/\Ta1<Ta1450.

H(performed(a1451),Ta1451)
--->EN(performed(a1),Ta1)/\Ta1<Ta1451.

H(performed(a1452),Ta1452)
--->EN(performed(a1),Ta1)/\Ta1<Ta1452.

H(performed(a1453),Ta1453)
--->EN(performed(a1),Ta1)/\Ta1<Ta1453.

H(performed(a1454),Ta1454)
--->EN(performed(a1),Ta1)/\Ta1<Ta1454.

H(performed(a1455),Ta1455)
--->EN(performed(a1),Ta1)/\Ta1<Ta1455.

H(performed(a1456),Ta1456)
--->EN(performed(a1),Ta1)/\Ta1<Ta1456.

H(performed(a1457),Ta1457)
--->EN(performed(a1),Ta1)/\Ta1<Ta1457.

H(performed(a1458),Ta1458)
--->EN(performed(a1),Ta1)/\Ta1<Ta1458.

H(performed(a1459),Ta1459)
--->EN(performed(a1),Ta1)/\Ta1<Ta1459.

H(performed(a1460),Ta1460)
--->EN(performed(a1),Ta1)/\Ta1<Ta1460.

H(performed(a1461),Ta1461)
--->EN(performed(a1),Ta1)/\Ta1<Ta1461.

H(performed(a1462),Ta1462)
--->EN(performed(a1),Ta1)/\Ta1<Ta1462.

H(performed(a1463),Ta1463)
--->EN(performed(a1),Ta1)/\Ta1<Ta1463.

H(performed(a1464),Ta1464)
--->EN(performed(a1),Ta1)/\Ta1<Ta1464.

H(performed(a1465),Ta1465)
--->EN(performed(a1),Ta1)/\Ta1<Ta1465.

H(performed(a1466),Ta1466)
--->EN(performed(a1),Ta1)/\Ta1<Ta1466.

H(performed(a1467),Ta1467)
--->EN(performed(a1),Ta1)/\Ta1<Ta1467.

H(performed(a1468),Ta1468)
--->EN(performed(a1),Ta1)/\Ta1<Ta1468.

H(performed(a1469),Ta1469)
--->EN(performed(a1),Ta1)/\Ta1<Ta1469.

H(performed(a1470),Ta1470)
--->EN(performed(a1),Ta1)/\Ta1<Ta1470.

H(performed(a1471),Ta1471)
--->EN(performed(a1),Ta1)/\Ta1<Ta1471.

H(performed(a1472),Ta1472)
--->EN(performed(a1),Ta1)/\Ta1<Ta1472.

H(performed(a1473),Ta1473)
--->EN(performed(a1),Ta1)/\Ta1<Ta1473.

H(performed(a1474),Ta1474)
--->EN(performed(a1),Ta1)/\Ta1<Ta1474.

H(performed(a1475),Ta1475)
--->EN(performed(a1),Ta1)/\Ta1<Ta1475.

H(performed(a1476),Ta1476)
--->EN(performed(a1),Ta1)/\Ta1<Ta1476.

H(performed(a1477),Ta1477)
--->EN(performed(a1),Ta1)/\Ta1<Ta1477.

H(performed(a1478),Ta1478)
--->EN(performed(a1),Ta1)/\Ta1<Ta1478.

H(performed(a1479),Ta1479)
--->EN(performed(a1),Ta1)/\Ta1<Ta1479.

H(performed(a1480),Ta1480)
--->EN(performed(a1),Ta1)/\Ta1<Ta1480.

H(performed(a1481),Ta1481)
--->EN(performed(a1),Ta1)/\Ta1<Ta1481.

H(performed(a1482),Ta1482)
--->EN(performed(a1),Ta1)/\Ta1<Ta1482.

H(performed(a1483),Ta1483)
--->EN(performed(a1),Ta1)/\Ta1<Ta1483.

H(performed(a1484),Ta1484)
--->EN(performed(a1),Ta1)/\Ta1<Ta1484.

H(performed(a1485),Ta1485)
--->EN(performed(a1),Ta1)/\Ta1<Ta1485.

H(performed(a1486),Ta1486)
--->EN(performed(a1),Ta1)/\Ta1<Ta1486.

H(performed(a1487),Ta1487)
--->EN(performed(a1),Ta1)/\Ta1<Ta1487.

H(performed(a1488),Ta1488)
--->EN(performed(a1),Ta1)/\Ta1<Ta1488.

H(performed(a1489),Ta1489)
--->EN(performed(a1),Ta1)/\Ta1<Ta1489.

H(performed(a1490),Ta1490)
--->EN(performed(a1),Ta1)/\Ta1<Ta1490.

H(performed(a1491),Ta1491)
--->EN(performed(a1),Ta1)/\Ta1<Ta1491.

H(performed(a1492),Ta1492)
--->EN(performed(a1),Ta1)/\Ta1<Ta1492.

H(performed(a1493),Ta1493)
--->EN(performed(a1),Ta1)/\Ta1<Ta1493.

H(performed(a1494),Ta1494)
--->EN(performed(a1),Ta1)/\Ta1<Ta1494.

H(performed(a1495),Ta1495)
--->EN(performed(a1),Ta1)/\Ta1<Ta1495.

H(performed(a1496),Ta1496)
--->EN(performed(a1),Ta1)/\Ta1<Ta1496.

H(performed(a1497),Ta1497)
--->EN(performed(a1),Ta1)/\Ta1<Ta1497.

H(performed(a1498),Ta1498)
--->EN(performed(a1),Ta1)/\Ta1<Ta1498.

H(performed(a1499),Ta1499)
--->EN(performed(a1),Ta1)/\Ta1<Ta1499.

H(performed(a1500),Ta1500)
--->EN(performed(a1),Ta1)/\Ta1<Ta1500.

H(performed(a1501),Ta1501)
--->EN(performed(a1),Ta1)/\Ta1<Ta1501.

H(performed(a1502),Ta1502)
--->EN(performed(a1),Ta1)/\Ta1<Ta1502.

H(performed(a1503),Ta1503)
--->EN(performed(a1),Ta1)/\Ta1<Ta1503.

H(performed(a1504),Ta1504)
--->EN(performed(a1),Ta1)/\Ta1<Ta1504.

H(performed(a1505),Ta1505)
--->EN(performed(a1),Ta1)/\Ta1<Ta1505.

H(performed(a1506),Ta1506)
--->EN(performed(a1),Ta1)/\Ta1<Ta1506.

H(performed(a1507),Ta1507)
--->EN(performed(a1),Ta1)/\Ta1<Ta1507.

H(performed(a1508),Ta1508)
--->EN(performed(a1),Ta1)/\Ta1<Ta1508.

H(performed(a1509),Ta1509)
--->EN(performed(a1),Ta1)/\Ta1<Ta1509.

H(performed(a1510),Ta1510)
--->EN(performed(a1),Ta1)/\Ta1<Ta1510.

H(performed(a1511),Ta1511)
--->EN(performed(a1),Ta1)/\Ta1<Ta1511.

H(performed(a1512),Ta1512)
--->EN(performed(a1),Ta1)/\Ta1<Ta1512.

H(performed(a1513),Ta1513)
--->EN(performed(a1),Ta1)/\Ta1<Ta1513.

H(performed(a1514),Ta1514)
--->EN(performed(a1),Ta1)/\Ta1<Ta1514.

H(performed(a1515),Ta1515)
--->EN(performed(a1),Ta1)/\Ta1<Ta1515.

H(performed(a1516),Ta1516)
--->EN(performed(a1),Ta1)/\Ta1<Ta1516.

H(performed(a1517),Ta1517)
--->EN(performed(a1),Ta1)/\Ta1<Ta1517.

H(performed(a1518),Ta1518)
--->EN(performed(a1),Ta1)/\Ta1<Ta1518.

H(performed(a1519),Ta1519)
--->EN(performed(a1),Ta1)/\Ta1<Ta1519.

H(performed(a1520),Ta1520)
--->EN(performed(a1),Ta1)/\Ta1<Ta1520.

H(performed(a1521),Ta1521)
--->EN(performed(a1),Ta1)/\Ta1<Ta1521.

H(performed(a1522),Ta1522)
--->EN(performed(a1),Ta1)/\Ta1<Ta1522.

H(performed(a1523),Ta1523)
--->EN(performed(a1),Ta1)/\Ta1<Ta1523.

H(performed(a1524),Ta1524)
--->EN(performed(a1),Ta1)/\Ta1<Ta1524.

H(performed(a1525),Ta1525)
--->EN(performed(a1),Ta1)/\Ta1<Ta1525.

H(performed(a1526),Ta1526)
--->EN(performed(a1),Ta1)/\Ta1<Ta1526.

H(performed(a1527),Ta1527)
--->EN(performed(a1),Ta1)/\Ta1<Ta1527.

H(performed(a1528),Ta1528)
--->EN(performed(a1),Ta1)/\Ta1<Ta1528.

H(performed(a1529),Ta1529)
--->EN(performed(a1),Ta1)/\Ta1<Ta1529.

H(performed(a1530),Ta1530)
--->EN(performed(a1),Ta1)/\Ta1<Ta1530.

H(performed(a1531),Ta1531)
--->EN(performed(a1),Ta1)/\Ta1<Ta1531.

H(performed(a1532),Ta1532)
--->EN(performed(a1),Ta1)/\Ta1<Ta1532.

H(performed(a1533),Ta1533)
--->EN(performed(a1),Ta1)/\Ta1<Ta1533.

H(performed(a1534),Ta1534)
--->EN(performed(a1),Ta1)/\Ta1<Ta1534.

H(performed(a1535),Ta1535)
--->EN(performed(a1),Ta1)/\Ta1<Ta1535.

H(performed(a1536),Ta1536)
--->EN(performed(a1),Ta1)/\Ta1<Ta1536.

H(performed(a1537),Ta1537)
--->EN(performed(a1),Ta1)/\Ta1<Ta1537.

H(performed(a1538),Ta1538)
--->EN(performed(a1),Ta1)/\Ta1<Ta1538.

H(performed(a1539),Ta1539)
--->EN(performed(a1),Ta1)/\Ta1<Ta1539.

H(performed(a1540),Ta1540)
--->EN(performed(a1),Ta1)/\Ta1<Ta1540.

H(performed(a1541),Ta1541)
--->EN(performed(a1),Ta1)/\Ta1<Ta1541.

H(performed(a1542),Ta1542)
--->EN(performed(a1),Ta1)/\Ta1<Ta1542.

H(performed(a1543),Ta1543)
--->EN(performed(a1),Ta1)/\Ta1<Ta1543.

H(performed(a1544),Ta1544)
--->EN(performed(a1),Ta1)/\Ta1<Ta1544.

H(performed(a1545),Ta1545)
--->EN(performed(a1),Ta1)/\Ta1<Ta1545.

H(performed(a1546),Ta1546)
--->EN(performed(a1),Ta1)/\Ta1<Ta1546.

H(performed(a1547),Ta1547)
--->EN(performed(a1),Ta1)/\Ta1<Ta1547.

H(performed(a1548),Ta1548)
--->EN(performed(a1),Ta1)/\Ta1<Ta1548.

H(performed(a1549),Ta1549)
--->EN(performed(a1),Ta1)/\Ta1<Ta1549.

H(performed(a1550),Ta1550)
--->EN(performed(a1),Ta1)/\Ta1<Ta1550.

H(performed(a1551),Ta1551)
--->EN(performed(a1),Ta1)/\Ta1<Ta1551.

H(performed(a1552),Ta1552)
--->EN(performed(a1),Ta1)/\Ta1<Ta1552.

H(performed(a1553),Ta1553)
--->EN(performed(a1),Ta1)/\Ta1<Ta1553.

H(performed(a1554),Ta1554)
--->EN(performed(a1),Ta1)/\Ta1<Ta1554.

H(performed(a1555),Ta1555)
--->EN(performed(a1),Ta1)/\Ta1<Ta1555.

H(performed(a1556),Ta1556)
--->EN(performed(a1),Ta1)/\Ta1<Ta1556.

H(performed(a1557),Ta1557)
--->EN(performed(a1),Ta1)/\Ta1<Ta1557.

H(performed(a1558),Ta1558)
--->EN(performed(a1),Ta1)/\Ta1<Ta1558.

H(performed(a1559),Ta1559)
--->EN(performed(a1),Ta1)/\Ta1<Ta1559.

H(performed(a1560),Ta1560)
--->EN(performed(a1),Ta1)/\Ta1<Ta1560.

H(performed(a1561),Ta1561)
--->EN(performed(a1),Ta1)/\Ta1<Ta1561.

H(performed(a1562),Ta1562)
--->EN(performed(a1),Ta1)/\Ta1<Ta1562.

H(performed(a1563),Ta1563)
--->EN(performed(a1),Ta1)/\Ta1<Ta1563.

H(performed(a1564),Ta1564)
--->EN(performed(a1),Ta1)/\Ta1<Ta1564.

H(performed(a1565),Ta1565)
--->EN(performed(a1),Ta1)/\Ta1<Ta1565.

H(performed(a1566),Ta1566)
--->EN(performed(a1),Ta1)/\Ta1<Ta1566.

H(performed(a1567),Ta1567)
--->EN(performed(a1),Ta1)/\Ta1<Ta1567.

H(performed(a1568),Ta1568)
--->EN(performed(a1),Ta1)/\Ta1<Ta1568.

H(performed(a1569),Ta1569)
--->EN(performed(a1),Ta1)/\Ta1<Ta1569.

H(performed(a1570),Ta1570)
--->EN(performed(a1),Ta1)/\Ta1<Ta1570.

H(performed(a1571),Ta1571)
--->EN(performed(a1),Ta1)/\Ta1<Ta1571.

H(performed(a1572),Ta1572)
--->EN(performed(a1),Ta1)/\Ta1<Ta1572.

H(performed(a1573),Ta1573)
--->EN(performed(a1),Ta1)/\Ta1<Ta1573.

H(performed(a1574),Ta1574)
--->EN(performed(a1),Ta1)/\Ta1<Ta1574.

H(performed(a1575),Ta1575)
--->EN(performed(a1),Ta1)/\Ta1<Ta1575.

H(performed(a1576),Ta1576)
--->EN(performed(a1),Ta1)/\Ta1<Ta1576.

H(performed(a1577),Ta1577)
--->EN(performed(a1),Ta1)/\Ta1<Ta1577.

H(performed(a1578),Ta1578)
--->EN(performed(a1),Ta1)/\Ta1<Ta1578.

H(performed(a1579),Ta1579)
--->EN(performed(a1),Ta1)/\Ta1<Ta1579.

H(performed(a1580),Ta1580)
--->EN(performed(a1),Ta1)/\Ta1<Ta1580.

H(performed(a1581),Ta1581)
--->EN(performed(a1),Ta1)/\Ta1<Ta1581.

H(performed(a1582),Ta1582)
--->EN(performed(a1),Ta1)/\Ta1<Ta1582.

H(performed(a1583),Ta1583)
--->EN(performed(a1),Ta1)/\Ta1<Ta1583.

H(performed(a1584),Ta1584)
--->EN(performed(a1),Ta1)/\Ta1<Ta1584.

H(performed(a1585),Ta1585)
--->EN(performed(a1),Ta1)/\Ta1<Ta1585.

H(performed(a1586),Ta1586)
--->EN(performed(a1),Ta1)/\Ta1<Ta1586.

H(performed(a1587),Ta1587)
--->EN(performed(a1),Ta1)/\Ta1<Ta1587.

H(performed(a1588),Ta1588)
--->EN(performed(a1),Ta1)/\Ta1<Ta1588.

H(performed(a1589),Ta1589)
--->EN(performed(a1),Ta1)/\Ta1<Ta1589.

H(performed(a1590),Ta1590)
--->EN(performed(a1),Ta1)/\Ta1<Ta1590.

H(performed(a1591),Ta1591)
--->EN(performed(a1),Ta1)/\Ta1<Ta1591.

H(performed(a1592),Ta1592)
--->EN(performed(a1),Ta1)/\Ta1<Ta1592.

H(performed(a1593),Ta1593)
--->EN(performed(a1),Ta1)/\Ta1<Ta1593.

H(performed(a1594),Ta1594)
--->EN(performed(a1),Ta1)/\Ta1<Ta1594.

H(performed(a1595),Ta1595)
--->EN(performed(a1),Ta1)/\Ta1<Ta1595.

H(performed(a1596),Ta1596)
--->EN(performed(a1),Ta1)/\Ta1<Ta1596.

H(performed(a1597),Ta1597)
--->EN(performed(a1),Ta1)/\Ta1<Ta1597.

H(performed(a1598),Ta1598)
--->EN(performed(a1),Ta1)/\Ta1<Ta1598.

H(performed(a1599),Ta1599)
--->EN(performed(a1),Ta1)/\Ta1<Ta1599.

H(performed(a1600),Ta1600)
--->EN(performed(a1),Ta1)/\Ta1<Ta1600.

H(performed(a1601),Ta1601)
--->EN(performed(a1),Ta1)/\Ta1<Ta1601.

H(performed(a1602),Ta1602)
--->EN(performed(a1),Ta1)/\Ta1<Ta1602.

H(performed(a1603),Ta1603)
--->EN(performed(a1),Ta1)/\Ta1<Ta1603.

H(performed(a1604),Ta1604)
--->EN(performed(a1),Ta1)/\Ta1<Ta1604.

H(performed(a1605),Ta1605)
--->EN(performed(a1),Ta1)/\Ta1<Ta1605.

H(performed(a1606),Ta1606)
--->EN(performed(a1),Ta1)/\Ta1<Ta1606.

H(performed(a1607),Ta1607)
--->EN(performed(a1),Ta1)/\Ta1<Ta1607.

H(performed(a1608),Ta1608)
--->EN(performed(a1),Ta1)/\Ta1<Ta1608.

H(performed(a1609),Ta1609)
--->EN(performed(a1),Ta1)/\Ta1<Ta1609.

H(performed(a1610),Ta1610)
--->EN(performed(a1),Ta1)/\Ta1<Ta1610.

H(performed(a1611),Ta1611)
--->EN(performed(a1),Ta1)/\Ta1<Ta1611.

H(performed(a1612),Ta1612)
--->EN(performed(a1),Ta1)/\Ta1<Ta1612.

H(performed(a1613),Ta1613)
--->EN(performed(a1),Ta1)/\Ta1<Ta1613.

H(performed(a1614),Ta1614)
--->EN(performed(a1),Ta1)/\Ta1<Ta1614.

H(performed(a1615),Ta1615)
--->EN(performed(a1),Ta1)/\Ta1<Ta1615.

H(performed(a1616),Ta1616)
--->EN(performed(a1),Ta1)/\Ta1<Ta1616.

H(performed(a1617),Ta1617)
--->EN(performed(a1),Ta1)/\Ta1<Ta1617.

H(performed(a1618),Ta1618)
--->EN(performed(a1),Ta1)/\Ta1<Ta1618.

H(performed(a1619),Ta1619)
--->EN(performed(a1),Ta1)/\Ta1<Ta1619.

H(performed(a1620),Ta1620)
--->EN(performed(a1),Ta1)/\Ta1<Ta1620.

H(performed(a1621),Ta1621)
--->EN(performed(a1),Ta1)/\Ta1<Ta1621.

H(performed(a1622),Ta1622)
--->EN(performed(a1),Ta1)/\Ta1<Ta1622.

H(performed(a1623),Ta1623)
--->EN(performed(a1),Ta1)/\Ta1<Ta1623.

H(performed(a1624),Ta1624)
--->EN(performed(a1),Ta1)/\Ta1<Ta1624.

H(performed(a1625),Ta1625)
--->EN(performed(a1),Ta1)/\Ta1<Ta1625.

H(performed(a1626),Ta1626)
--->EN(performed(a1),Ta1)/\Ta1<Ta1626.

H(performed(a1627),Ta1627)
--->EN(performed(a1),Ta1)/\Ta1<Ta1627.

H(performed(a1628),Ta1628)
--->EN(performed(a1),Ta1)/\Ta1<Ta1628.

H(performed(a1629),Ta1629)
--->EN(performed(a1),Ta1)/\Ta1<Ta1629.

H(performed(a1630),Ta1630)
--->EN(performed(a1),Ta1)/\Ta1<Ta1630.

H(performed(a1631),Ta1631)
--->EN(performed(a1),Ta1)/\Ta1<Ta1631.

H(performed(a1632),Ta1632)
--->EN(performed(a1),Ta1)/\Ta1<Ta1632.

H(performed(a1633),Ta1633)
--->EN(performed(a1),Ta1)/\Ta1<Ta1633.

H(performed(a1634),Ta1634)
--->EN(performed(a1),Ta1)/\Ta1<Ta1634.

H(performed(a1635),Ta1635)
--->EN(performed(a1),Ta1)/\Ta1<Ta1635.

H(performed(a1636),Ta1636)
--->EN(performed(a1),Ta1)/\Ta1<Ta1636.

H(performed(a1637),Ta1637)
--->EN(performed(a1),Ta1)/\Ta1<Ta1637.

H(performed(a1638),Ta1638)
--->EN(performed(a1),Ta1)/\Ta1<Ta1638.

H(performed(a1639),Ta1639)
--->EN(performed(a1),Ta1)/\Ta1<Ta1639.

H(performed(a1640),Ta1640)
--->EN(performed(a1),Ta1)/\Ta1<Ta1640.

H(performed(a1641),Ta1641)
--->EN(performed(a1),Ta1)/\Ta1<Ta1641.

H(performed(a1642),Ta1642)
--->EN(performed(a1),Ta1)/\Ta1<Ta1642.

H(performed(a1643),Ta1643)
--->EN(performed(a1),Ta1)/\Ta1<Ta1643.

H(performed(a1644),Ta1644)
--->EN(performed(a1),Ta1)/\Ta1<Ta1644.

H(performed(a1645),Ta1645)
--->EN(performed(a1),Ta1)/\Ta1<Ta1645.

H(performed(a1646),Ta1646)
--->EN(performed(a1),Ta1)/\Ta1<Ta1646.

H(performed(a1647),Ta1647)
--->EN(performed(a1),Ta1)/\Ta1<Ta1647.

H(performed(a1648),Ta1648)
--->EN(performed(a1),Ta1)/\Ta1<Ta1648.

H(performed(a1649),Ta1649)
--->EN(performed(a1),Ta1)/\Ta1<Ta1649.

H(performed(a1650),Ta1650)
--->EN(performed(a1),Ta1)/\Ta1<Ta1650.

H(performed(a1651),Ta1651)
--->EN(performed(a1),Ta1)/\Ta1<Ta1651.

H(performed(a1652),Ta1652)
--->EN(performed(a1),Ta1)/\Ta1<Ta1652.

H(performed(a1653),Ta1653)
--->EN(performed(a1),Ta1)/\Ta1<Ta1653.

H(performed(a1654),Ta1654)
--->EN(performed(a1),Ta1)/\Ta1<Ta1654.

H(performed(a1655),Ta1655)
--->EN(performed(a1),Ta1)/\Ta1<Ta1655.

H(performed(a1656),Ta1656)
--->EN(performed(a1),Ta1)/\Ta1<Ta1656.

H(performed(a1657),Ta1657)
--->EN(performed(a1),Ta1)/\Ta1<Ta1657.

H(performed(a1658),Ta1658)
--->EN(performed(a1),Ta1)/\Ta1<Ta1658.

H(performed(a1659),Ta1659)
--->EN(performed(a1),Ta1)/\Ta1<Ta1659.

H(performed(a1660),Ta1660)
--->EN(performed(a1),Ta1)/\Ta1<Ta1660.

H(performed(a1661),Ta1661)
--->EN(performed(a1),Ta1)/\Ta1<Ta1661.

H(performed(a1662),Ta1662)
--->EN(performed(a1),Ta1)/\Ta1<Ta1662.

H(performed(a1663),Ta1663)
--->EN(performed(a1),Ta1)/\Ta1<Ta1663.

H(performed(a1664),Ta1664)
--->EN(performed(a1),Ta1)/\Ta1<Ta1664.

H(performed(a1665),Ta1665)
--->EN(performed(a1),Ta1)/\Ta1<Ta1665.

H(performed(a1666),Ta1666)
--->EN(performed(a1),Ta1)/\Ta1<Ta1666.

H(performed(a1667),Ta1667)
--->EN(performed(a1),Ta1)/\Ta1<Ta1667.

H(performed(a1668),Ta1668)
--->EN(performed(a1),Ta1)/\Ta1<Ta1668.

H(performed(a1669),Ta1669)
--->EN(performed(a1),Ta1)/\Ta1<Ta1669.

H(performed(a1670),Ta1670)
--->EN(performed(a1),Ta1)/\Ta1<Ta1670.

H(performed(a1671),Ta1671)
--->EN(performed(a1),Ta1)/\Ta1<Ta1671.

H(performed(a1672),Ta1672)
--->EN(performed(a1),Ta1)/\Ta1<Ta1672.

H(performed(a1673),Ta1673)
--->EN(performed(a1),Ta1)/\Ta1<Ta1673.

H(performed(a1674),Ta1674)
--->EN(performed(a1),Ta1)/\Ta1<Ta1674.

H(performed(a1675),Ta1675)
--->EN(performed(a1),Ta1)/\Ta1<Ta1675.

H(performed(a1676),Ta1676)
--->EN(performed(a1),Ta1)/\Ta1<Ta1676.

H(performed(a1677),Ta1677)
--->EN(performed(a1),Ta1)/\Ta1<Ta1677.

H(performed(a1678),Ta1678)
--->EN(performed(a1),Ta1)/\Ta1<Ta1678.

H(performed(a1679),Ta1679)
--->EN(performed(a1),Ta1)/\Ta1<Ta1679.

H(performed(a1680),Ta1680)
--->EN(performed(a1),Ta1)/\Ta1<Ta1680.

H(performed(a1681),Ta1681)
--->EN(performed(a1),Ta1)/\Ta1<Ta1681.

H(performed(a1682),Ta1682)
--->EN(performed(a1),Ta1)/\Ta1<Ta1682.

H(performed(a1683),Ta1683)
--->EN(performed(a1),Ta1)/\Ta1<Ta1683.

H(performed(a1684),Ta1684)
--->EN(performed(a1),Ta1)/\Ta1<Ta1684.

H(performed(a1685),Ta1685)
--->EN(performed(a1),Ta1)/\Ta1<Ta1685.

H(performed(a1686),Ta1686)
--->EN(performed(a1),Ta1)/\Ta1<Ta1686.

H(performed(a1687),Ta1687)
--->EN(performed(a1),Ta1)/\Ta1<Ta1687.

H(performed(a1688),Ta1688)
--->EN(performed(a1),Ta1)/\Ta1<Ta1688.

H(performed(a1689),Ta1689)
--->EN(performed(a1),Ta1)/\Ta1<Ta1689.

H(performed(a1690),Ta1690)
--->EN(performed(a1),Ta1)/\Ta1<Ta1690.

H(performed(a1691),Ta1691)
--->EN(performed(a1),Ta1)/\Ta1<Ta1691.

H(performed(a1692),Ta1692)
--->EN(performed(a1),Ta1)/\Ta1<Ta1692.

H(performed(a1693),Ta1693)
--->EN(performed(a1),Ta1)/\Ta1<Ta1693.

H(performed(a1694),Ta1694)
--->EN(performed(a1),Ta1)/\Ta1<Ta1694.

H(performed(a1695),Ta1695)
--->EN(performed(a1),Ta1)/\Ta1<Ta1695.

H(performed(a1696),Ta1696)
--->EN(performed(a1),Ta1)/\Ta1<Ta1696.

H(performed(a1697),Ta1697)
--->EN(performed(a1),Ta1)/\Ta1<Ta1697.

H(performed(a1698),Ta1698)
--->EN(performed(a1),Ta1)/\Ta1<Ta1698.

H(performed(a1699),Ta1699)
--->EN(performed(a1),Ta1)/\Ta1<Ta1699.

H(performed(a1700),Ta1700)
--->EN(performed(a1),Ta1)/\Ta1<Ta1700.

H(performed(a1701),Ta1701)
--->EN(performed(a1),Ta1)/\Ta1<Ta1701.

H(performed(a1702),Ta1702)
--->EN(performed(a1),Ta1)/\Ta1<Ta1702.

H(performed(a1703),Ta1703)
--->EN(performed(a1),Ta1)/\Ta1<Ta1703.

H(performed(a1704),Ta1704)
--->EN(performed(a1),Ta1)/\Ta1<Ta1704.

H(performed(a1705),Ta1705)
--->EN(performed(a1),Ta1)/\Ta1<Ta1705.

H(performed(a1706),Ta1706)
--->EN(performed(a1),Ta1)/\Ta1<Ta1706.

H(performed(a1707),Ta1707)
--->EN(performed(a1),Ta1)/\Ta1<Ta1707.

H(performed(a1708),Ta1708)
--->EN(performed(a1),Ta1)/\Ta1<Ta1708.

H(performed(a1709),Ta1709)
--->EN(performed(a1),Ta1)/\Ta1<Ta1709.

H(performed(a1710),Ta1710)
--->EN(performed(a1),Ta1)/\Ta1<Ta1710.

H(performed(a1711),Ta1711)
--->EN(performed(a1),Ta1)/\Ta1<Ta1711.

H(performed(a1712),Ta1712)
--->EN(performed(a1),Ta1)/\Ta1<Ta1712.

H(performed(a1713),Ta1713)
--->EN(performed(a1),Ta1)/\Ta1<Ta1713.

H(performed(a1714),Ta1714)
--->EN(performed(a1),Ta1)/\Ta1<Ta1714.

H(performed(a1715),Ta1715)
--->EN(performed(a1),Ta1)/\Ta1<Ta1715.

H(performed(a1716),Ta1716)
--->EN(performed(a1),Ta1)/\Ta1<Ta1716.

H(performed(a1717),Ta1717)
--->EN(performed(a1),Ta1)/\Ta1<Ta1717.

H(performed(a1718),Ta1718)
--->EN(performed(a1),Ta1)/\Ta1<Ta1718.

H(performed(a1719),Ta1719)
--->EN(performed(a1),Ta1)/\Ta1<Ta1719.

H(performed(a1720),Ta1720)
--->EN(performed(a1),Ta1)/\Ta1<Ta1720.

H(performed(a1721),Ta1721)
--->EN(performed(a1),Ta1)/\Ta1<Ta1721.

H(performed(a1722),Ta1722)
--->EN(performed(a1),Ta1)/\Ta1<Ta1722.

H(performed(a1723),Ta1723)
--->EN(performed(a1),Ta1)/\Ta1<Ta1723.

H(performed(a1724),Ta1724)
--->EN(performed(a1),Ta1)/\Ta1<Ta1724.

H(performed(a1725),Ta1725)
--->EN(performed(a1),Ta1)/\Ta1<Ta1725.

H(performed(a1726),Ta1726)
--->EN(performed(a1),Ta1)/\Ta1<Ta1726.

H(performed(a1727),Ta1727)
--->EN(performed(a1),Ta1)/\Ta1<Ta1727.

H(performed(a1728),Ta1728)
--->EN(performed(a1),Ta1)/\Ta1<Ta1728.

H(performed(a1729),Ta1729)
--->EN(performed(a1),Ta1)/\Ta1<Ta1729.

H(performed(a1730),Ta1730)
--->EN(performed(a1),Ta1)/\Ta1<Ta1730.

H(performed(a1731),Ta1731)
--->EN(performed(a1),Ta1)/\Ta1<Ta1731.

H(performed(a1732),Ta1732)
--->EN(performed(a1),Ta1)/\Ta1<Ta1732.

H(performed(a1733),Ta1733)
--->EN(performed(a1),Ta1)/\Ta1<Ta1733.

H(performed(a1734),Ta1734)
--->EN(performed(a1),Ta1)/\Ta1<Ta1734.

H(performed(a1735),Ta1735)
--->EN(performed(a1),Ta1)/\Ta1<Ta1735.

H(performed(a1736),Ta1736)
--->EN(performed(a1),Ta1)/\Ta1<Ta1736.

H(performed(a1737),Ta1737)
--->EN(performed(a1),Ta1)/\Ta1<Ta1737.

H(performed(a1738),Ta1738)
--->EN(performed(a1),Ta1)/\Ta1<Ta1738.

H(performed(a1739),Ta1739)
--->EN(performed(a1),Ta1)/\Ta1<Ta1739.

H(performed(a1740),Ta1740)
--->EN(performed(a1),Ta1)/\Ta1<Ta1740.

H(performed(a1741),Ta1741)
--->EN(performed(a1),Ta1)/\Ta1<Ta1741.

H(performed(a1742),Ta1742)
--->EN(performed(a1),Ta1)/\Ta1<Ta1742.

H(performed(a1743),Ta1743)
--->EN(performed(a1),Ta1)/\Ta1<Ta1743.

H(performed(a1744),Ta1744)
--->EN(performed(a1),Ta1)/\Ta1<Ta1744.

H(performed(a1745),Ta1745)
--->EN(performed(a1),Ta1)/\Ta1<Ta1745.

H(performed(a1746),Ta1746)
--->EN(performed(a1),Ta1)/\Ta1<Ta1746.

H(performed(a1747),Ta1747)
--->EN(performed(a1),Ta1)/\Ta1<Ta1747.

H(performed(a1748),Ta1748)
--->EN(performed(a1),Ta1)/\Ta1<Ta1748.

H(performed(a1749),Ta1749)
--->EN(performed(a1),Ta1)/\Ta1<Ta1749.

H(performed(a1750),Ta1750)
--->EN(performed(a1),Ta1)/\Ta1<Ta1750.

H(performed(a1751),Ta1751)
--->EN(performed(a1),Ta1)/\Ta1<Ta1751.

H(performed(a1752),Ta1752)
--->EN(performed(a1),Ta1)/\Ta1<Ta1752.

H(performed(a1753),Ta1753)
--->EN(performed(a1),Ta1)/\Ta1<Ta1753.

H(performed(a1754),Ta1754)
--->EN(performed(a1),Ta1)/\Ta1<Ta1754.

H(performed(a1755),Ta1755)
--->EN(performed(a1),Ta1)/\Ta1<Ta1755.

H(performed(a1756),Ta1756)
--->EN(performed(a1),Ta1)/\Ta1<Ta1756.

H(performed(a1757),Ta1757)
--->EN(performed(a1),Ta1)/\Ta1<Ta1757.

H(performed(a1758),Ta1758)
--->EN(performed(a1),Ta1)/\Ta1<Ta1758.

H(performed(a1759),Ta1759)
--->EN(performed(a1),Ta1)/\Ta1<Ta1759.

H(performed(a1760),Ta1760)
--->EN(performed(a1),Ta1)/\Ta1<Ta1760.

H(performed(a1761),Ta1761)
--->EN(performed(a1),Ta1)/\Ta1<Ta1761.

H(performed(a1762),Ta1762)
--->EN(performed(a1),Ta1)/\Ta1<Ta1762.

H(performed(a1763),Ta1763)
--->EN(performed(a1),Ta1)/\Ta1<Ta1763.

H(performed(a1764),Ta1764)
--->EN(performed(a1),Ta1)/\Ta1<Ta1764.

H(performed(a1765),Ta1765)
--->EN(performed(a1),Ta1)/\Ta1<Ta1765.

H(performed(a1766),Ta1766)
--->EN(performed(a1),Ta1)/\Ta1<Ta1766.

H(performed(a1767),Ta1767)
--->EN(performed(a1),Ta1)/\Ta1<Ta1767.

H(performed(a1768),Ta1768)
--->EN(performed(a1),Ta1)/\Ta1<Ta1768.

H(performed(a1769),Ta1769)
--->EN(performed(a1),Ta1)/\Ta1<Ta1769.

H(performed(a1770),Ta1770)
--->EN(performed(a1),Ta1)/\Ta1<Ta1770.

H(performed(a1771),Ta1771)
--->EN(performed(a1),Ta1)/\Ta1<Ta1771.

H(performed(a1772),Ta1772)
--->EN(performed(a1),Ta1)/\Ta1<Ta1772.

H(performed(a1773),Ta1773)
--->EN(performed(a1),Ta1)/\Ta1<Ta1773.

H(performed(a1774),Ta1774)
--->EN(performed(a1),Ta1)/\Ta1<Ta1774.

H(performed(a1775),Ta1775)
--->EN(performed(a1),Ta1)/\Ta1<Ta1775.

H(performed(a1776),Ta1776)
--->EN(performed(a1),Ta1)/\Ta1<Ta1776.

H(performed(a1777),Ta1777)
--->EN(performed(a1),Ta1)/\Ta1<Ta1777.

H(performed(a1778),Ta1778)
--->EN(performed(a1),Ta1)/\Ta1<Ta1778.

H(performed(a1779),Ta1779)
--->EN(performed(a1),Ta1)/\Ta1<Ta1779.

H(performed(a1780),Ta1780)
--->EN(performed(a1),Ta1)/\Ta1<Ta1780.

H(performed(a1781),Ta1781)
--->EN(performed(a1),Ta1)/\Ta1<Ta1781.

H(performed(a1782),Ta1782)
--->EN(performed(a1),Ta1)/\Ta1<Ta1782.

H(performed(a1783),Ta1783)
--->EN(performed(a1),Ta1)/\Ta1<Ta1783.

H(performed(a1784),Ta1784)
--->EN(performed(a1),Ta1)/\Ta1<Ta1784.

H(performed(a1785),Ta1785)
--->EN(performed(a1),Ta1)/\Ta1<Ta1785.

H(performed(a1786),Ta1786)
--->EN(performed(a1),Ta1)/\Ta1<Ta1786.

H(performed(a1787),Ta1787)
--->EN(performed(a1),Ta1)/\Ta1<Ta1787.

H(performed(a1788),Ta1788)
--->EN(performed(a1),Ta1)/\Ta1<Ta1788.

H(performed(a1789),Ta1789)
--->EN(performed(a1),Ta1)/\Ta1<Ta1789.

H(performed(a1790),Ta1790)
--->EN(performed(a1),Ta1)/\Ta1<Ta1790.

H(performed(a1791),Ta1791)
--->EN(performed(a1),Ta1)/\Ta1<Ta1791.

H(performed(a1792),Ta1792)
--->EN(performed(a1),Ta1)/\Ta1<Ta1792.

H(performed(a1793),Ta1793)
--->EN(performed(a1),Ta1)/\Ta1<Ta1793.

H(performed(a1794),Ta1794)
--->EN(performed(a1),Ta1)/\Ta1<Ta1794.

H(performed(a1795),Ta1795)
--->EN(performed(a1),Ta1)/\Ta1<Ta1795.

H(performed(a1796),Ta1796)
--->EN(performed(a1),Ta1)/\Ta1<Ta1796.

H(performed(a1797),Ta1797)
--->EN(performed(a1),Ta1)/\Ta1<Ta1797.

H(performed(a1798),Ta1798)
--->EN(performed(a1),Ta1)/\Ta1<Ta1798.

H(performed(a1799),Ta1799)
--->EN(performed(a1),Ta1)/\Ta1<Ta1799.

H(performed(a1800),Ta1800)
--->EN(performed(a1),Ta1)/\Ta1<Ta1800.

H(performed(a1801),Ta1801)
--->EN(performed(a1),Ta1)/\Ta1<Ta1801.

H(performed(a1802),Ta1802)
--->EN(performed(a1),Ta1)/\Ta1<Ta1802.

H(performed(a1803),Ta1803)
--->EN(performed(a1),Ta1)/\Ta1<Ta1803.

H(performed(a1804),Ta1804)
--->EN(performed(a1),Ta1)/\Ta1<Ta1804.

H(performed(a1805),Ta1805)
--->EN(performed(a1),Ta1)/\Ta1<Ta1805.

H(performed(a1806),Ta1806)
--->EN(performed(a1),Ta1)/\Ta1<Ta1806.

H(performed(a1807),Ta1807)
--->EN(performed(a1),Ta1)/\Ta1<Ta1807.

H(performed(a1808),Ta1808)
--->EN(performed(a1),Ta1)/\Ta1<Ta1808.

H(performed(a1809),Ta1809)
--->EN(performed(a1),Ta1)/\Ta1<Ta1809.

H(performed(a1810),Ta1810)
--->EN(performed(a1),Ta1)/\Ta1<Ta1810.

H(performed(a1811),Ta1811)
--->EN(performed(a1),Ta1)/\Ta1<Ta1811.

H(performed(a1812),Ta1812)
--->EN(performed(a1),Ta1)/\Ta1<Ta1812.

H(performed(a1813),Ta1813)
--->EN(performed(a1),Ta1)/\Ta1<Ta1813.

H(performed(a1814),Ta1814)
--->EN(performed(a1),Ta1)/\Ta1<Ta1814.

H(performed(a1815),Ta1815)
--->EN(performed(a1),Ta1)/\Ta1<Ta1815.

H(performed(a1816),Ta1816)
--->EN(performed(a1),Ta1)/\Ta1<Ta1816.

H(performed(a1817),Ta1817)
--->EN(performed(a1),Ta1)/\Ta1<Ta1817.

H(performed(a1818),Ta1818)
--->EN(performed(a1),Ta1)/\Ta1<Ta1818.

H(performed(a1819),Ta1819)
--->EN(performed(a1),Ta1)/\Ta1<Ta1819.

H(performed(a1820),Ta1820)
--->EN(performed(a1),Ta1)/\Ta1<Ta1820.

H(performed(a1821),Ta1821)
--->EN(performed(a1),Ta1)/\Ta1<Ta1821.

H(performed(a1822),Ta1822)
--->EN(performed(a1),Ta1)/\Ta1<Ta1822.

H(performed(a1823),Ta1823)
--->EN(performed(a1),Ta1)/\Ta1<Ta1823.

H(performed(a1824),Ta1824)
--->EN(performed(a1),Ta1)/\Ta1<Ta1824.

H(performed(a1825),Ta1825)
--->EN(performed(a1),Ta1)/\Ta1<Ta1825.

H(performed(a1826),Ta1826)
--->EN(performed(a1),Ta1)/\Ta1<Ta1826.

H(performed(a1827),Ta1827)
--->EN(performed(a1),Ta1)/\Ta1<Ta1827.

H(performed(a1828),Ta1828)
--->EN(performed(a1),Ta1)/\Ta1<Ta1828.

H(performed(a1829),Ta1829)
--->EN(performed(a1),Ta1)/\Ta1<Ta1829.

H(performed(a1830),Ta1830)
--->EN(performed(a1),Ta1)/\Ta1<Ta1830.

H(performed(a1831),Ta1831)
--->EN(performed(a1),Ta1)/\Ta1<Ta1831.

H(performed(a1832),Ta1832)
--->EN(performed(a1),Ta1)/\Ta1<Ta1832.

H(performed(a1833),Ta1833)
--->EN(performed(a1),Ta1)/\Ta1<Ta1833.

H(performed(a1834),Ta1834)
--->EN(performed(a1),Ta1)/\Ta1<Ta1834.

H(performed(a1835),Ta1835)
--->EN(performed(a1),Ta1)/\Ta1<Ta1835.

H(performed(a1836),Ta1836)
--->EN(performed(a1),Ta1)/\Ta1<Ta1836.

H(performed(a1837),Ta1837)
--->EN(performed(a1),Ta1)/\Ta1<Ta1837.

H(performed(a1838),Ta1838)
--->EN(performed(a1),Ta1)/\Ta1<Ta1838.

H(performed(a1839),Ta1839)
--->EN(performed(a1),Ta1)/\Ta1<Ta1839.

H(performed(a1840),Ta1840)
--->EN(performed(a1),Ta1)/\Ta1<Ta1840.

H(performed(a1841),Ta1841)
--->EN(performed(a1),Ta1)/\Ta1<Ta1841.

H(performed(a1842),Ta1842)
--->EN(performed(a1),Ta1)/\Ta1<Ta1842.

H(performed(a1843),Ta1843)
--->EN(performed(a1),Ta1)/\Ta1<Ta1843.

H(performed(a1844),Ta1844)
--->EN(performed(a1),Ta1)/\Ta1<Ta1844.

H(performed(a1845),Ta1845)
--->EN(performed(a1),Ta1)/\Ta1<Ta1845.

H(performed(a1846),Ta1846)
--->EN(performed(a1),Ta1)/\Ta1<Ta1846.

H(performed(a1847),Ta1847)
--->EN(performed(a1),Ta1)/\Ta1<Ta1847.

H(performed(a1848),Ta1848)
--->EN(performed(a1),Ta1)/\Ta1<Ta1848.

H(performed(a1849),Ta1849)
--->EN(performed(a1),Ta1)/\Ta1<Ta1849.

H(performed(a1850),Ta1850)
--->EN(performed(a1),Ta1)/\Ta1<Ta1850.

H(performed(a1851),Ta1851)
--->EN(performed(a1),Ta1)/\Ta1<Ta1851.

H(performed(a1852),Ta1852)
--->EN(performed(a1),Ta1)/\Ta1<Ta1852.

H(performed(a1853),Ta1853)
--->EN(performed(a1),Ta1)/\Ta1<Ta1853.

H(performed(a1854),Ta1854)
--->EN(performed(a1),Ta1)/\Ta1<Ta1854.

H(performed(a1855),Ta1855)
--->EN(performed(a1),Ta1)/\Ta1<Ta1855.

H(performed(a1856),Ta1856)
--->EN(performed(a1),Ta1)/\Ta1<Ta1856.

H(performed(a1857),Ta1857)
--->EN(performed(a1),Ta1)/\Ta1<Ta1857.

H(performed(a1858),Ta1858)
--->EN(performed(a1),Ta1)/\Ta1<Ta1858.

H(performed(a1859),Ta1859)
--->EN(performed(a1),Ta1)/\Ta1<Ta1859.

H(performed(a1860),Ta1860)
--->EN(performed(a1),Ta1)/\Ta1<Ta1860.

H(performed(a1861),Ta1861)
--->EN(performed(a1),Ta1)/\Ta1<Ta1861.

H(performed(a1862),Ta1862)
--->EN(performed(a1),Ta1)/\Ta1<Ta1862.

H(performed(a1863),Ta1863)
--->EN(performed(a1),Ta1)/\Ta1<Ta1863.

H(performed(a1864),Ta1864)
--->EN(performed(a1),Ta1)/\Ta1<Ta1864.

H(performed(a1865),Ta1865)
--->EN(performed(a1),Ta1)/\Ta1<Ta1865.

H(performed(a1866),Ta1866)
--->EN(performed(a1),Ta1)/\Ta1<Ta1866.

H(performed(a1867),Ta1867)
--->EN(performed(a1),Ta1)/\Ta1<Ta1867.

H(performed(a1868),Ta1868)
--->EN(performed(a1),Ta1)/\Ta1<Ta1868.

H(performed(a1869),Ta1869)
--->EN(performed(a1),Ta1)/\Ta1<Ta1869.

H(performed(a1870),Ta1870)
--->EN(performed(a1),Ta1)/\Ta1<Ta1870.

H(performed(a1871),Ta1871)
--->EN(performed(a1),Ta1)/\Ta1<Ta1871.

H(performed(a1872),Ta1872)
--->EN(performed(a1),Ta1)/\Ta1<Ta1872.

H(performed(a1873),Ta1873)
--->EN(performed(a1),Ta1)/\Ta1<Ta1873.

H(performed(a1874),Ta1874)
--->EN(performed(a1),Ta1)/\Ta1<Ta1874.

H(performed(a1875),Ta1875)
--->EN(performed(a1),Ta1)/\Ta1<Ta1875.

H(performed(a1876),Ta1876)
--->EN(performed(a1),Ta1)/\Ta1<Ta1876.

H(performed(a1877),Ta1877)
--->EN(performed(a1),Ta1)/\Ta1<Ta1877.

H(performed(a1878),Ta1878)
--->EN(performed(a1),Ta1)/\Ta1<Ta1878.

H(performed(a1879),Ta1879)
--->EN(performed(a1),Ta1)/\Ta1<Ta1879.

H(performed(a1880),Ta1880)
--->EN(performed(a1),Ta1)/\Ta1<Ta1880.

H(performed(a1881),Ta1881)
--->EN(performed(a1),Ta1)/\Ta1<Ta1881.

H(performed(a1882),Ta1882)
--->EN(performed(a1),Ta1)/\Ta1<Ta1882.

H(performed(a1883),Ta1883)
--->EN(performed(a1),Ta1)/\Ta1<Ta1883.

H(performed(a1884),Ta1884)
--->EN(performed(a1),Ta1)/\Ta1<Ta1884.

H(performed(a1885),Ta1885)
--->EN(performed(a1),Ta1)/\Ta1<Ta1885.

H(performed(a1886),Ta1886)
--->EN(performed(a1),Ta1)/\Ta1<Ta1886.

H(performed(a1887),Ta1887)
--->EN(performed(a1),Ta1)/\Ta1<Ta1887.

H(performed(a1888),Ta1888)
--->EN(performed(a1),Ta1)/\Ta1<Ta1888.

H(performed(a1889),Ta1889)
--->EN(performed(a1),Ta1)/\Ta1<Ta1889.

H(performed(a1890),Ta1890)
--->EN(performed(a1),Ta1)/\Ta1<Ta1890.

H(performed(a1891),Ta1891)
--->EN(performed(a1),Ta1)/\Ta1<Ta1891.

H(performed(a1892),Ta1892)
--->EN(performed(a1),Ta1)/\Ta1<Ta1892.

H(performed(a1893),Ta1893)
--->EN(performed(a1),Ta1)/\Ta1<Ta1893.

H(performed(a1894),Ta1894)
--->EN(performed(a1),Ta1)/\Ta1<Ta1894.

H(performed(a1895),Ta1895)
--->EN(performed(a1),Ta1)/\Ta1<Ta1895.

H(performed(a1896),Ta1896)
--->EN(performed(a1),Ta1)/\Ta1<Ta1896.

H(performed(a1897),Ta1897)
--->EN(performed(a1),Ta1)/\Ta1<Ta1897.

H(performed(a1898),Ta1898)
--->EN(performed(a1),Ta1)/\Ta1<Ta1898.

H(performed(a1899),Ta1899)
--->EN(performed(a1),Ta1)/\Ta1<Ta1899.

H(performed(a1900),Ta1900)
--->EN(performed(a1),Ta1)/\Ta1<Ta1900.

H(performed(a1901),Ta1901)
--->EN(performed(a1),Ta1)/\Ta1<Ta1901.

H(performed(a1902),Ta1902)
--->EN(performed(a1),Ta1)/\Ta1<Ta1902.

H(performed(a1903),Ta1903)
--->EN(performed(a1),Ta1)/\Ta1<Ta1903.

H(performed(a1904),Ta1904)
--->EN(performed(a1),Ta1)/\Ta1<Ta1904.

H(performed(a1905),Ta1905)
--->EN(performed(a1),Ta1)/\Ta1<Ta1905.

H(performed(a1906),Ta1906)
--->EN(performed(a1),Ta1)/\Ta1<Ta1906.

H(performed(a1907),Ta1907)
--->EN(performed(a1),Ta1)/\Ta1<Ta1907.

H(performed(a1908),Ta1908)
--->EN(performed(a1),Ta1)/\Ta1<Ta1908.

H(performed(a1909),Ta1909)
--->EN(performed(a1),Ta1)/\Ta1<Ta1909.

H(performed(a1910),Ta1910)
--->EN(performed(a1),Ta1)/\Ta1<Ta1910.

H(performed(a1911),Ta1911)
--->EN(performed(a1),Ta1)/\Ta1<Ta1911.

H(performed(a1912),Ta1912)
--->EN(performed(a1),Ta1)/\Ta1<Ta1912.

H(performed(a1913),Ta1913)
--->EN(performed(a1),Ta1)/\Ta1<Ta1913.

H(performed(a1914),Ta1914)
--->EN(performed(a1),Ta1)/\Ta1<Ta1914.

H(performed(a1915),Ta1915)
--->EN(performed(a1),Ta1)/\Ta1<Ta1915.

H(performed(a1916),Ta1916)
--->EN(performed(a1),Ta1)/\Ta1<Ta1916.

H(performed(a1917),Ta1917)
--->EN(performed(a1),Ta1)/\Ta1<Ta1917.

H(performed(a1918),Ta1918)
--->EN(performed(a1),Ta1)/\Ta1<Ta1918.

H(performed(a1919),Ta1919)
--->EN(performed(a1),Ta1)/\Ta1<Ta1919.

H(performed(a1920),Ta1920)
--->EN(performed(a1),Ta1)/\Ta1<Ta1920.

H(performed(a1921),Ta1921)
--->EN(performed(a1),Ta1)/\Ta1<Ta1921.

H(performed(a1922),Ta1922)
--->EN(performed(a1),Ta1)/\Ta1<Ta1922.

H(performed(a1923),Ta1923)
--->EN(performed(a1),Ta1)/\Ta1<Ta1923.

H(performed(a1924),Ta1924)
--->EN(performed(a1),Ta1)/\Ta1<Ta1924.

H(performed(a1925),Ta1925)
--->EN(performed(a1),Ta1)/\Ta1<Ta1925.

H(performed(a1926),Ta1926)
--->EN(performed(a1),Ta1)/\Ta1<Ta1926.

H(performed(a1927),Ta1927)
--->EN(performed(a1),Ta1)/\Ta1<Ta1927.

H(performed(a1928),Ta1928)
--->EN(performed(a1),Ta1)/\Ta1<Ta1928.

H(performed(a1929),Ta1929)
--->EN(performed(a1),Ta1)/\Ta1<Ta1929.

H(performed(a1930),Ta1930)
--->EN(performed(a1),Ta1)/\Ta1<Ta1930.

H(performed(a1931),Ta1931)
--->EN(performed(a1),Ta1)/\Ta1<Ta1931.

H(performed(a1932),Ta1932)
--->EN(performed(a1),Ta1)/\Ta1<Ta1932.

H(performed(a1933),Ta1933)
--->EN(performed(a1),Ta1)/\Ta1<Ta1933.

H(performed(a1934),Ta1934)
--->EN(performed(a1),Ta1)/\Ta1<Ta1934.

H(performed(a1935),Ta1935)
--->EN(performed(a1),Ta1)/\Ta1<Ta1935.

H(performed(a1936),Ta1936)
--->EN(performed(a1),Ta1)/\Ta1<Ta1936.

H(performed(a1937),Ta1937)
--->EN(performed(a1),Ta1)/\Ta1<Ta1937.

H(performed(a1938),Ta1938)
--->EN(performed(a1),Ta1)/\Ta1<Ta1938.

H(performed(a1939),Ta1939)
--->EN(performed(a1),Ta1)/\Ta1<Ta1939.

H(performed(a1940),Ta1940)
--->EN(performed(a1),Ta1)/\Ta1<Ta1940.

H(performed(a1941),Ta1941)
--->EN(performed(a1),Ta1)/\Ta1<Ta1941.

H(performed(a1942),Ta1942)
--->EN(performed(a1),Ta1)/\Ta1<Ta1942.

H(performed(a1943),Ta1943)
--->EN(performed(a1),Ta1)/\Ta1<Ta1943.

H(performed(a1944),Ta1944)
--->EN(performed(a1),Ta1)/\Ta1<Ta1944.

H(performed(a1945),Ta1945)
--->EN(performed(a1),Ta1)/\Ta1<Ta1945.

H(performed(a1946),Ta1946)
--->EN(performed(a1),Ta1)/\Ta1<Ta1946.

H(performed(a1947),Ta1947)
--->EN(performed(a1),Ta1)/\Ta1<Ta1947.

H(performed(a1948),Ta1948)
--->EN(performed(a1),Ta1)/\Ta1<Ta1948.

H(performed(a1949),Ta1949)
--->EN(performed(a1),Ta1)/\Ta1<Ta1949.

H(performed(a1950),Ta1950)
--->EN(performed(a1),Ta1)/\Ta1<Ta1950.

H(performed(a1951),Ta1951)
--->EN(performed(a1),Ta1)/\Ta1<Ta1951.

H(performed(a1952),Ta1952)
--->EN(performed(a1),Ta1)/\Ta1<Ta1952.

H(performed(a1953),Ta1953)
--->EN(performed(a1),Ta1)/\Ta1<Ta1953.

H(performed(a1954),Ta1954)
--->EN(performed(a1),Ta1)/\Ta1<Ta1954.

H(performed(a1955),Ta1955)
--->EN(performed(a1),Ta1)/\Ta1<Ta1955.

H(performed(a1956),Ta1956)
--->EN(performed(a1),Ta1)/\Ta1<Ta1956.

H(performed(a1957),Ta1957)
--->EN(performed(a1),Ta1)/\Ta1<Ta1957.

H(performed(a1958),Ta1958)
--->EN(performed(a1),Ta1)/\Ta1<Ta1958.

H(performed(a1959),Ta1959)
--->EN(performed(a1),Ta1)/\Ta1<Ta1959.

H(performed(a1960),Ta1960)
--->EN(performed(a1),Ta1)/\Ta1<Ta1960.

H(performed(a1961),Ta1961)
--->EN(performed(a1),Ta1)/\Ta1<Ta1961.

H(performed(a1962),Ta1962)
--->EN(performed(a1),Ta1)/\Ta1<Ta1962.

H(performed(a1963),Ta1963)
--->EN(performed(a1),Ta1)/\Ta1<Ta1963.

H(performed(a1964),Ta1964)
--->EN(performed(a1),Ta1)/\Ta1<Ta1964.

H(performed(a1965),Ta1965)
--->EN(performed(a1),Ta1)/\Ta1<Ta1965.

H(performed(a1966),Ta1966)
--->EN(performed(a1),Ta1)/\Ta1<Ta1966.

H(performed(a1967),Ta1967)
--->EN(performed(a1),Ta1)/\Ta1<Ta1967.

H(performed(a1968),Ta1968)
--->EN(performed(a1),Ta1)/\Ta1<Ta1968.

H(performed(a1969),Ta1969)
--->EN(performed(a1),Ta1)/\Ta1<Ta1969.

H(performed(a1970),Ta1970)
--->EN(performed(a1),Ta1)/\Ta1<Ta1970.

H(performed(a1971),Ta1971)
--->EN(performed(a1),Ta1)/\Ta1<Ta1971.

H(performed(a1972),Ta1972)
--->EN(performed(a1),Ta1)/\Ta1<Ta1972.

H(performed(a1973),Ta1973)
--->EN(performed(a1),Ta1)/\Ta1<Ta1973.

H(performed(a1974),Ta1974)
--->EN(performed(a1),Ta1)/\Ta1<Ta1974.

H(performed(a1975),Ta1975)
--->EN(performed(a1),Ta1)/\Ta1<Ta1975.

H(performed(a1976),Ta1976)
--->EN(performed(a1),Ta1)/\Ta1<Ta1976.

H(performed(a1977),Ta1977)
--->EN(performed(a1),Ta1)/\Ta1<Ta1977.

H(performed(a1978),Ta1978)
--->EN(performed(a1),Ta1)/\Ta1<Ta1978.

H(performed(a1979),Ta1979)
--->EN(performed(a1),Ta1)/\Ta1<Ta1979.

H(performed(a1980),Ta1980)
--->EN(performed(a1),Ta1)/\Ta1<Ta1980.

H(performed(a1981),Ta1981)
--->EN(performed(a1),Ta1)/\Ta1<Ta1981.

H(performed(a1982),Ta1982)
--->EN(performed(a1),Ta1)/\Ta1<Ta1982.

H(performed(a1983),Ta1983)
--->EN(performed(a1),Ta1)/\Ta1<Ta1983.

H(performed(a1984),Ta1984)
--->EN(performed(a1),Ta1)/\Ta1<Ta1984.

H(performed(a1985),Ta1985)
--->EN(performed(a1),Ta1)/\Ta1<Ta1985.

H(performed(a1986),Ta1986)
--->EN(performed(a1),Ta1)/\Ta1<Ta1986.

H(performed(a1987),Ta1987)
--->EN(performed(a1),Ta1)/\Ta1<Ta1987.

H(performed(a1988),Ta1988)
--->EN(performed(a1),Ta1)/\Ta1<Ta1988.

H(performed(a1989),Ta1989)
--->EN(performed(a1),Ta1)/\Ta1<Ta1989.

H(performed(a1990),Ta1990)
--->EN(performed(a1),Ta1)/\Ta1<Ta1990.

H(performed(a1991),Ta1991)
--->EN(performed(a1),Ta1)/\Ta1<Ta1991.

H(performed(a1992),Ta1992)
--->EN(performed(a1),Ta1)/\Ta1<Ta1992.

H(performed(a1993),Ta1993)
--->EN(performed(a1),Ta1)/\Ta1<Ta1993.

H(performed(a1994),Ta1994)
--->EN(performed(a1),Ta1)/\Ta1<Ta1994.

H(performed(a1995),Ta1995)
--->EN(performed(a1),Ta1)/\Ta1<Ta1995.

H(performed(a1996),Ta1996)
--->EN(performed(a1),Ta1)/\Ta1<Ta1996.

H(performed(a1997),Ta1997)
--->EN(performed(a1),Ta1)/\Ta1<Ta1997.

H(performed(a1998),Ta1998)
--->EN(performed(a1),Ta1)/\Ta1<Ta1998.

H(performed(a1999),Ta1999)
--->EN(performed(a1),Ta1)/\Ta1<Ta1999.

H(performed(a2000),Ta2000)
--->EN(performed(a1),Ta1)/\Ta1<Ta2000.

H(performed(a2001),Ta2001)
--->EN(performed(a1),Ta1)/\Ta1<Ta2001.

H(performed(a2002),Ta2002)
--->EN(performed(a1),Ta1)/\Ta1<Ta2002.

H(performed(a2003),Ta2003)
--->EN(performed(a1),Ta1)/\Ta1<Ta2003.

H(performed(a2004),Ta2004)
--->EN(performed(a1),Ta1)/\Ta1<Ta2004.

H(performed(a2005),Ta2005)
--->EN(performed(a1),Ta1)/\Ta1<Ta2005.

H(performed(a2006),Ta2006)
--->EN(performed(a1),Ta1)/\Ta1<Ta2006.

H(performed(a2007),Ta2007)
--->EN(performed(a1),Ta1)/\Ta1<Ta2007.

H(performed(a2008),Ta2008)
--->EN(performed(a1),Ta1)/\Ta1<Ta2008.

H(performed(a2009),Ta2009)
--->EN(performed(a1),Ta1)/\Ta1<Ta2009.

H(performed(a2010),Ta2010)
--->EN(performed(a1),Ta1)/\Ta1<Ta2010.

H(performed(a2011),Ta2011)
--->EN(performed(a1),Ta1)/\Ta1<Ta2011.

H(performed(a2012),Ta2012)
--->EN(performed(a1),Ta1)/\Ta1<Ta2012.

H(performed(a2013),Ta2013)
--->EN(performed(a1),Ta1)/\Ta1<Ta2013.

H(performed(a2014),Ta2014)
--->EN(performed(a1),Ta1)/\Ta1<Ta2014.

H(performed(a2015),Ta2015)
--->EN(performed(a1),Ta1)/\Ta1<Ta2015.

H(performed(a2016),Ta2016)
--->EN(performed(a1),Ta1)/\Ta1<Ta2016.

H(performed(a2017),Ta2017)
--->EN(performed(a1),Ta1)/\Ta1<Ta2017.

H(performed(a2018),Ta2018)
--->EN(performed(a1),Ta1)/\Ta1<Ta2018.

H(performed(a2019),Ta2019)
--->EN(performed(a1),Ta1)/\Ta1<Ta2019.

H(performed(a2020),Ta2020)
--->EN(performed(a1),Ta1)/\Ta1<Ta2020.

H(performed(a2021),Ta2021)
--->EN(performed(a1),Ta1)/\Ta1<Ta2021.

H(performed(a2022),Ta2022)
--->EN(performed(a1),Ta1)/\Ta1<Ta2022.

H(performed(a2023),Ta2023)
--->EN(performed(a1),Ta1)/\Ta1<Ta2023.

H(performed(a2024),Ta2024)
--->EN(performed(a1),Ta1)/\Ta1<Ta2024.

H(performed(a2025),Ta2025)
--->EN(performed(a1),Ta1)/\Ta1<Ta2025.

H(performed(a2026),Ta2026)
--->EN(performed(a1),Ta1)/\Ta1<Ta2026.

H(performed(a2027),Ta2027)
--->EN(performed(a1),Ta1)/\Ta1<Ta2027.

H(performed(a2028),Ta2028)
--->EN(performed(a1),Ta1)/\Ta1<Ta2028.

H(performed(a2029),Ta2029)
--->EN(performed(a1),Ta1)/\Ta1<Ta2029.

H(performed(a2030),Ta2030)
--->EN(performed(a1),Ta1)/\Ta1<Ta2030.

H(performed(a2031),Ta2031)
--->EN(performed(a1),Ta1)/\Ta1<Ta2031.

H(performed(a2032),Ta2032)
--->EN(performed(a1),Ta1)/\Ta1<Ta2032.

H(performed(a2033),Ta2033)
--->EN(performed(a1),Ta1)/\Ta1<Ta2033.

H(performed(a2034),Ta2034)
--->EN(performed(a1),Ta1)/\Ta1<Ta2034.

H(performed(a2035),Ta2035)
--->EN(performed(a1),Ta1)/\Ta1<Ta2035.

H(performed(a2036),Ta2036)
--->EN(performed(a1),Ta1)/\Ta1<Ta2036.

H(performed(a2037),Ta2037)
--->EN(performed(a1),Ta1)/\Ta1<Ta2037.

H(performed(a2038),Ta2038)
--->EN(performed(a1),Ta1)/\Ta1<Ta2038.

H(performed(a2039),Ta2039)
--->EN(performed(a1),Ta1)/\Ta1<Ta2039.

H(performed(a2040),Ta2040)
--->EN(performed(a1),Ta1)/\Ta1<Ta2040.

H(performed(a2041),Ta2041)
--->EN(performed(a1),Ta1)/\Ta1<Ta2041.

H(performed(a2042),Ta2042)
--->EN(performed(a1),Ta1)/\Ta1<Ta2042.

H(performed(a2043),Ta2043)
--->EN(performed(a1),Ta1)/\Ta1<Ta2043.

H(performed(a2044),Ta2044)
--->EN(performed(a1),Ta1)/\Ta1<Ta2044.

H(performed(a2045),Ta2045)
--->EN(performed(a1),Ta1)/\Ta1<Ta2045.

H(performed(a2046),Ta2046)
--->EN(performed(a1),Ta1)/\Ta1<Ta2046.

H(performed(a2047),Ta2047)
--->EN(performed(a1),Ta1)/\Ta1<Ta2047.

