markovlambdaschoenfinkellifecircuithardnetlist