protocolrefineAParamspecificationspecs/AParam/export/Atomicspecificationspecs/Atomic/export/CParamspecificationspecs/CParam/export/Protocolspecificationspecs/Protocol/export/Protocol-refines-Atomicspecificationspecs/Protocol-refines-Atomic/export/Stepspecificationspecs/Step/export/elemspecificationlib-basic../lib/basic/specs/elem/export/inputlistspecificationspecs/inputlist/export/listspecificationlib-basic../lib/basic/specs/list/export/list-dataspecificationlib-basic../lib/basic/specs/list-data/export/list-delspecificationlib-basic../lib/basic/specs/list-del/export/list-dupspecificationlib-basic../lib/basic/specs/list-dup/export/list-lastspecificationlib-basic../lib/basic/specs/list-last/export/mainspecificationspecs/main/export/natspecificationlib-basic../lib/basic/specs/nat/export/nat-basic1specificationlib-basic../lib/basic/specs/nat-basic1/export/nat-basic2specificationlib-basic../lib/basic/specs/nat-basic2/export/no-deadlocked-or-infinite-pathsspecificationspecs/no-deadlocked-or-infinite-paths/export/outputlistspecificationspecs/outputlist/export/pathspecificationspecs/path/export/path-basicspecificationspecs/path-basic/export/simulationspecificationspecs/simulation/export/synchasgspecificationspecs/synchasg/export/