Babylonian Brothers Inheritance Problems Algorithm and eTCL demo example screenshot png