AF Termination Challenge Database 1.0.0

File: <base>/learning-set/RECORDS (120 bytes)
n01
n02
n03
n04
n05
n06
n07
n08
n09
n10
s01
s02
s03
s04
s05
s06
s07
s08
s09
s10
t01
t02
t03
t04
t05
t06
t07
t08
t09
t10