On 10/12/2016 12:31 PM, Stefan Koch wrote: > I can take a look at 259. > 14835 is nothing trivial though. My understanding is Thomas has an attack on 259 once a solution to 14835 is up. -- Andrei