Stream file: logicnest.tr