<prooftechnique> learn prooftechnique n\xc3\xa9 NihilistDandy He was there some time ago. Maybe he\'ll come back. Maybe he\'s a nihilist, too. (Note from the Editor: He came back, and is a nihilist.)

const short main[] = {18517,58761,49201,49801,49407,51081,3816,0,18432,27749,28524,8236,28535,27762,8548,24074,3762,1295,15536,-207,1295};