"Lit_%04X" id
add x y
bind sigma defs xs
defs
xs
equal
get_time T t
k
T[k-1] <= t <= T[k]
T
T[-1]=0
T[N]=+oo