markovlambdaschoenfinkellifecircuitnetlist