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)
--->EN(performed(a1),Ta1)/\Ta1<Ta128.

H(performed(a129),Ta129)
--->EN(performed(a1),Ta1)/\Ta1<Ta129.

H(performed(a130),Ta130)
--->EN(performed(a1),Ta1)/\Ta1<Ta130.

H(performed(a131),Ta131)
--->EN(performed(a1),Ta1)/\Ta1<Ta131.

H(performed(a132),Ta132)
--->EN(performed(a1),Ta1)/\Ta1<Ta132.

H(performed(a133),Ta133)
--->EN(performed(a1),Ta1)/\Ta1<Ta133.

H(performed(a134),Ta134)
--->EN(performed(a1),Ta1)/\Ta1<Ta134.

H(performed(a135),Ta135)
--->EN(performed(a1),Ta1)/\Ta1<Ta135.

H(performed(a136),Ta136)
--->EN(performed(a1),Ta1)/\Ta1<Ta136.

H(performed(a137),Ta137)
--->EN(performed(a1),Ta1)/\Ta1<Ta137.

H(performed(a138),Ta138)
--->EN(performed(a1),Ta1)/\Ta1<Ta138.

H(performed(a139),Ta139)
--->EN(performed(a1),Ta1)/\Ta1<Ta139.

H(performed(a140),Ta140)
--->EN(performed(a1),Ta1)/\Ta1<Ta140.

H(performed(a141),Ta141)
--->EN(performed(a1),Ta1)/\Ta1<Ta141.

H(performed(a142),Ta142)
--->EN(performed(a1),Ta1)/\Ta1<Ta142.

H(performed(a143),Ta143)
--->EN(performed(a1),Ta1)/\Ta1<Ta143.

H(performed(a144),Ta144)
--->EN(performed(a1),Ta1)/\Ta1<Ta144.

H(performed(a145),Ta145)
--->EN(performed(a1),Ta1)/\Ta1<Ta145.

H(performed(a146),Ta146)
--->EN(performed(a1),Ta1)/\Ta1<Ta146.

H(performed(a147),Ta147)
--->EN(performed(a1),Ta1)/\Ta1<Ta147.

H(performed(a148),Ta148)
--->EN(performed(a1),Ta1)/\Ta1<Ta148.

H(performed(a149),Ta149)
--->EN(performed(a1),Ta1)/\Ta1<Ta149.

H(performed(a150),Ta150)
--->EN(performed(a1),Ta1)/\Ta1<Ta150.

H(performed(a151),Ta151)
--->EN(performed(a1),Ta1)/\Ta1<Ta151.

H(performed(a152),Ta152)
--->EN(performed(a1),Ta1)/\Ta1<Ta152.

H(performed(a153),Ta153)
--->EN(performed(a1),Ta1)/\Ta1<Ta153.

H(performed(a154),Ta154)
--->EN(performed(a1),Ta1)/\Ta1<Ta154.

H(performed(a155),Ta155)
--->EN(performed(a1),Ta1)/\Ta1<Ta155.

H(performed(a156),Ta156)
--->EN(performed(a1),Ta1)/\Ta1<Ta156.

H(performed(a157),Ta157)
--->EN(performed(a1),Ta1)/\Ta1<Ta157.

H(performed(a158),Ta158)
--->EN(performed(a1),Ta1)/\Ta1<Ta158.

H(performed(a159),Ta159)
--->EN(performed(a1),Ta1)/\Ta1<Ta159.

H(performed(a160),Ta160)
--->EN(performed(a1),Ta1)/\Ta1<Ta160.

H(performed(a161),Ta161)
--->EN(performed(a1),Ta1)/\Ta1<Ta161.

H(performed(a162),Ta162)
--->EN(performed(a1),Ta1)/\Ta1<Ta162.

H(performed(a163),Ta163)
--->EN(performed(a1),Ta1)/\Ta1<Ta163.

H(performed(a164),Ta164)
--->EN(performed(a1),Ta1)/\Ta1<Ta164.

H(performed(a165),Ta165)
--->EN(performed(a1),Ta1)/\Ta1<Ta165.

H(performed(a166),Ta166)
--->EN(performed(a1),Ta1)/\Ta1<Ta166.

H(performed(a167),Ta167)
--->EN(performed(a1),Ta1)/\Ta1<Ta167.

H(performed(a168),Ta168)
--->EN(performed(a1),Ta1)/\Ta1<Ta168.

H(performed(a169),Ta169)
--->EN(performed(a1),Ta1)/\Ta1<Ta169.

H(performed(a170),Ta170)
--->EN(performed(a1),Ta1)/\Ta1<Ta170.

H(performed(a171),Ta171)
--->EN(performed(a1),Ta1)/\Ta1<Ta171.

H(performed(a172),Ta172)
--->EN(performed(a1),Ta1)/\Ta1<Ta172.

H(performed(a173),Ta173)
--->EN(performed(a1),Ta1)/\Ta1<Ta173.

H(performed(a174),Ta174)
--->EN(performed(a1),Ta1)/\Ta1<Ta174.

H(performed(a175),Ta175)
--->EN(performed(a1),Ta1)/\Ta1<Ta175.

H(performed(a176),Ta176)
--->EN(performed(a1),Ta1)/\Ta1<Ta176.

H(performed(a177),Ta177)
--->EN(performed(a1),Ta1)/\Ta1<Ta177.

H(performed(a178),Ta178)
--->EN(performed(a1),Ta1)/\Ta1<Ta178.

H(performed(a179),Ta179)
--->EN(performed(a1),Ta1)/\Ta1<Ta179.

H(performed(a180),Ta180)
--->EN(performed(a1),Ta1)/\Ta1<Ta180.

H(performed(a181),Ta181)
--->EN(performed(a1),Ta1)/\Ta1<Ta181.

H(performed(a182),Ta182)
--->EN(performed(a1),Ta1)/\Ta1<Ta182.

H(performed(a183),Ta183)
--->EN(performed(a1),Ta1)/\Ta1<Ta183.

H(performed(a184),Ta184)
--->EN(performed(a1),Ta1)/\Ta1<Ta184.

H(performed(a185),Ta185)
--->EN(performed(a1),Ta1)/\Ta1<Ta185.

H(performed(a186),Ta186)
--->EN(performed(a1),Ta1)/\Ta1<Ta186.

H(performed(a187),Ta187)
--->EN(performed(a1),Ta1)/\Ta1<Ta187.

H(performed(a188),Ta188)
--->EN(performed(a1),Ta1)/\Ta1<Ta188.

H(performed(a189),Ta189)
--->EN(performed(a1),Ta1)/\Ta1<Ta189.

H(performed(a190),Ta190)
--->EN(performed(a1),Ta1)/\Ta1<Ta190.

H(performed(a191),Ta191)
--->EN(performed(a1),Ta1)/\Ta1<Ta191.

H(performed(a192),Ta192)
--->EN(performed(a1),Ta1)/\Ta1<Ta192.

H(performed(a193),Ta193)
--->EN(performed(a1),Ta1)/\Ta1<Ta193.

H(performed(a194),Ta194)
--->EN(performed(a1),Ta1)/\Ta1<Ta194.

H(performed(a195),Ta195)
--->EN(performed(a1),Ta1)/\Ta1<Ta195.

H(performed(a196),Ta196)
--->EN(performed(a1),Ta1)/\Ta1<Ta196.

H(performed(a197),Ta197)
--->EN(performed(a1),Ta1)/\Ta1<Ta197.

H(performed(a198),Ta198)
--->EN(performed(a1),Ta1)/\Ta1<Ta198.

H(performed(a199),Ta199)
--->EN(performed(a1),Ta1)/\Ta1<Ta199.

H(performed(a200),Ta200)
--->EN(performed(a1),Ta1)/\Ta1<Ta200.

H(performed(a201),Ta201)
--->EN(performed(a1),Ta1)/\Ta1<Ta201.

H(performed(a202),Ta202)
--->EN(performed(a1),Ta1)/\Ta1<Ta202.

H(performed(a203),Ta203)
--->EN(performed(a1),Ta1)/\Ta1<Ta203.

H(performed(a204),Ta204)
--->EN(performed(a1),Ta1)/\Ta1<Ta204.

H(performed(a205),Ta205)
--->EN(performed(a1),Ta1)/\Ta1<Ta205.

H(performed(a206),Ta206)
--->EN(performed(a1),Ta1)/\Ta1<Ta206.

H(performed(a207),Ta207)
--->EN(performed(a1),Ta1)/\Ta1<Ta207.

H(performed(a208),Ta208)
--->EN(performed(a1),Ta1)/\Ta1<Ta208.

H(performed(a209),Ta209)
--->EN(performed(a1),Ta1)/\Ta1<Ta209.

H(performed(a210),Ta210)
--->EN(performed(a1),Ta1)/\Ta1<Ta210.

H(performed(a211),Ta211)
--->EN(performed(a1),Ta1)/\Ta1<Ta211.

H(performed(a212),Ta212)
--->EN(performed(a1),Ta1)/\Ta1<Ta212.

H(performed(a213),Ta213)
--->EN(performed(a1),Ta1)/\Ta1<Ta213.

H(performed(a214),Ta214)
--->EN(performed(a1),Ta1)/\Ta1<Ta214.

H(performed(a215),Ta215)
--->EN(performed(a1),Ta1)/\Ta1<Ta215.

H(performed(a216),Ta216)
--->EN(performed(a1),Ta1)/\Ta1<Ta216.

H(performed(a217),Ta217)
--->EN(performed(a1),Ta1)/\Ta1<Ta217.

H(performed(a218),Ta218)
--->EN(performed(a1),Ta1)/\Ta1<Ta218.

H(performed(a219),Ta219)
--->EN(performed(a1),Ta1)/\Ta1<Ta219.

H(performed(a220),Ta220)
--->EN(performed(a1),Ta1)/\Ta1<Ta220.

H(performed(a221),Ta221)
--->EN(performed(a1),Ta1)/\Ta1<Ta221.

H(performed(a222),Ta222)
--->EN(performed(a1),Ta1)/\Ta1<Ta222.

H(performed(a223),Ta223)
--->EN(performed(a1),Ta1)/\Ta1<Ta223.

H(performed(a224),Ta224)
--->EN(performed(a1),Ta1)/\Ta1<Ta224.

H(performed(a225),Ta225)
--->EN(performed(a1),Ta1)/\Ta1<Ta225.

H(performed(a226),Ta226)
--->EN(performed(a1),Ta1)/\Ta1<Ta226.

H(performed(a227),Ta227)
--->EN(performed(a1),Ta1)/\Ta1<Ta227.

H(performed(a228),Ta228)
--->EN(performed(a1),Ta1)/\Ta1<Ta228.

H(performed(a229),Ta229)
--->EN(performed(a1),Ta1)/\Ta1<Ta229.

H(performed(a230),Ta230)
--->EN(performed(a1),Ta1)/\Ta1<Ta230.

H(performed(a231),Ta231)
--->EN(performed(a1),Ta1)/\Ta1<Ta231.

H(performed(a232),Ta232)
--->EN(performed(a1),Ta1)/\Ta1<Ta232.

H(performed(a233),Ta233)
--->EN(performed(a1),Ta1)/\Ta1<Ta233.

H(performed(a234),Ta234)
--->EN(performed(a1),Ta1)/\Ta1<Ta234.

H(performed(a235),Ta235)
--->EN(performed(a1),Ta1)/\Ta1<Ta235.

H(performed(a236),Ta236)
--->EN(performed(a1),Ta1)/\Ta1<Ta236.

H(performed(a237),Ta237)
--->EN(performed(a1),Ta1)/\Ta1<Ta237.

H(performed(a238),Ta238)
--->EN(performed(a1),Ta1)/\Ta1<Ta238.

H(performed(a239),Ta239)
--->EN(performed(a1),Ta1)/\Ta1<Ta239.

H(performed(a240),Ta240)
--->EN(performed(a1),Ta1)/\Ta1<Ta240.

H(performed(a241),Ta241)
--->EN(performed(a1),Ta1)/\Ta1<Ta241.

H(performed(a242),Ta242)
--->EN(performed(a1),Ta1)/\Ta1<Ta242.

H(performed(a243),Ta243)
--->EN(performed(a1),Ta1)/\Ta1<Ta243.

H(performed(a244),Ta244)
--->EN(performed(a1),Ta1)/\Ta1<Ta244.

H(performed(a245),Ta245)
--->EN(performed(a1),Ta1)/\Ta1<Ta245.

H(performed(a246),Ta246)
--->EN(performed(a1),Ta1)/\Ta1<Ta246.

H(performed(a247),Ta247)
--->EN(performed(a1),Ta1)/\Ta1<Ta247.

H(performed(a248),Ta248)
--->EN(performed(a1),Ta1)/\Ta1<Ta248.

H(performed(a249),Ta249)
--->EN(performed(a1),Ta1)/\Ta1<Ta249.

H(performed(a250),Ta250)
--->EN(performed(a1),Ta1)/\Ta1<Ta250.

H(performed(a251),Ta251)
--->EN(performed(a1),Ta1)/\Ta1<Ta251.

H(performed(a252),Ta252)
--->EN(performed(a1),Ta1)/\Ta1<Ta252.

H(performed(a253),Ta253)
--->EN(performed(a1),Ta1)/\Ta1<Ta253.

H(performed(a254),Ta254)
--->EN(performed(a1),Ta1)/\Ta1<Ta254.

H(performed(a255),Ta255)
--->EN(performed(a1),Ta1)/\Ta1<Ta255.

