$SET VERIFY $SET NOON $SET FILE/OWN=[005,004] [000000]005004.DIR;1 $SET FILE/OWN=[005,015] [000000]005015.DIR;1 $SET FILE/OWN=[005,016] [000000]005016.DIR;1 $SET FILE/OWN=[005,024] [000000]005024.DIR;1 $SET FILE/OWN=[070,122] [000000]070122.DIR;1 $SET FILE/OWN=[076,100] [000000]076100.DIR;1 $SET FILE/OWN=[076,101] [000000]076101.DIR;1 $SET FILE/OWN=[076,102] [000000]076102.DIR;1 $SET FILE/OWN=[076,103] [000000]076103.DIR;1 $SET FILE/OWN=[100,070] [000000]100070.DIR;1 $SET FILE/OWN=[120,001] [000000]120001.DIR;1 $SET FILE/OWN=[120,002] [000000]120002.DIR;1 $SET FILE/OWN=[120,003] [000000]120003.DIR;1 $SET FILE/OWN=[120,004] [000000]120004.DIR;1 $SET FILE/OWN=[170,100] [000000]170100.DIR;1 $SET FILE/OWN=[200,020] [000000]200020.DIR;1 $SET FILE/OWN=[264,002] [000000]264002.DIR;1 $SET FILE/OWN=[270,001] [000000]270001.DIR;1 $SET FILE/OWN=[277,001] [000000]277001.DIR;1 $SET FILE/OWN=[300,001] [000000]300001.DIR;1 $SET FILE/OWN=[300,002] [000000]300002.DIR;1 $SET FILE/OWN=[300,017] [000000]300017.DIR;1 $SET FILE/OWN=[300,024] [000000]300024.DIR;1 $SET FILE/OWN=[300,047] [000000]300047.DIR;1 $SET FILE/OWN=[300,051] [000000]300051.DIR;1 $SET FILE/OWN=[300,052] [000000]300052.DIR;1 $SET FILE/OWN=[300,062] [000000]300062.DIR;1 $SET FILE/OWN=[300,300] [000000]300300.DIR;1 $SET FILE/OWN=[301,011] [000000]301011.DIR;1 $SET FILE/OWN=[301,012] [000000]301012.DIR;1 $SET FILE/OWN=[301,016] [000000]301016.DIR;1 $SET FILE/OWN=[301,022] [000000]301022.DIR;1 $SET FILE/OWN=[301,026] [000000]301026.DIR;1 $SET FILE/OWN=[301,027] [000000]301027.DIR;1 $SET FILE/OWN=[301,033] [000000]301033.DIR;1 $SET FILE/OWN=[301,050] [000000]301050.DIR;1 $SET FILE/OWN=[302,022] [000000]302022.DIR;1 $SET FILE/OWN=[302,106] [000000]302106.DIR;1 $SET FILE/OWN=[302,205] [000000]302205.DIR;1 $SET FILE/OWN=[303,001] [000000]303001.DIR;1 $SET FILE/OWN=[303,040] [000000]303040.DIR;1 $SET FILE/OWN=[305,100] [000000]305100.DIR;1 $SET FILE/OWN=[305,202] [000000]305202.DIR;1 $SET FILE/OWN=[307,005] [000000]307005.DIR;1 $SET FILE/OWN=[307,011] [000000]307011.DIR;1 $SET FILE/OWN=[307,020] [000000]307020.DIR;1 $SET FILE/OWN=[307,022] [000000]307022.DIR;1 $SET FILE/OWN=[307,025] [000000]307025.DIR;1 $SET FILE/OWN=[307,026] [000000]307026.DIR;1 $SET FILE/OWN=[310,130] [000000]310130.DIR;1 $SET FILE/OWN=[311,025] [000000]311025.DIR;1 $SET FILE/OWN=[312,315] [000000]312315.DIR;1 $SET FILE/OWN=[312,356] [000000]312356.DIR;1 $SET FILE/OWN=[312,357] [000000]312357.DIR;1 $SET FILE/OWN=[312,361] [000000]312361.DIR;1 $SET FILE/OWN=[312,366] [000000]312366.DIR;1 $SET FILE/OWN=[312,371] [000000]312371.DIR;1 $SET FILE/OWN=[317,300] [000000]317300.DIR;1 $SET FILE/OWN=[321,002] [000000]321002.DIR;1 $SET FILE/OWN=[321,003] [000000]321003.DIR;1 $SET FILE/OWN=[321,005] [000000]321005.DIR;1 $SET FILE/OWN=[321,105] [000000]321105.DIR;1 $SET FILE/OWN=[323,002] [000000]323002.DIR;1 $SET FILE/OWN=[323,003] [000000]323003.DIR;1 $SET FILE/OWN=[325,007] [000000]325007.DIR;1 $SET FILE/OWN=[325,013] [000000]325013.DIR;1 $SET FILE/OWN=[330,011] [000000]330011.DIR;1 $SET FILE/OWN=[332,100] [000000]332100.DIR;1 $SET FILE/OWN=[334,002] [000000]334002.DIR;1 $SET FILE/OWN=[334,004] [000000]334004.DIR;1 $SET FILE/OWN=[334,005] [000000]334005.DIR;1 $SET FILE/OWN=[334,006] [000000]334006.DIR;1 $SET FILE/OWN=[337,030] [000000]337030.DIR;1 $SET FILE/OWN=[337,050] [000000]337050.DIR;1 $SET FILE/OWN=[340,001] [000000]340001.DIR;1 $SET FILE/OWN=[340,002] [000000]340002.DIR;1 $SET FILE/OWN=[340,020] [000000]340020.DIR;1 $SET FILE/OWN=[341,001] [000000]341001.DIR;1 $SET FILE/OWN=[341,100] [000000]341100.DIR;1 $SET FILE/OWN=[341,307] [000000]341307.DIR;1 $SET FILE/OWN=[342,002] [000000]342002.DIR;1 $SET FILE/OWN=[343,040] [000000]343040.DIR;1 $SET FILE/OWN=[344,001] [000000]344001.DIR;1 $SET FILE/OWN=[344,002] [000000]344002.DIR;1 $SET FILE/OWN=[344,003] [000000]344003.DIR;1 $SET FILE/OWN=[344,004] [000000]344004.DIR;1 $SET FILE/OWN=[344,005] [000000]344005.DIR;1 $SET FILE/OWN=[344,006] [000000]344006.DIR;1 $SET FILE/OWN=[344,030] [000000]344030.DIR;1 $SET FILE/OWN=[344,051] [000000]344051.DIR;1 $SET FILE/OWN=[346,100] [000000]346100.DIR;1 $SET FILE/OWN=[350,124] [000000]350124.DIR;1 $SET FILE/OWN=[350,125] [000000]350125.DIR;1 $SET FILE/OWN=[350,340] [000000]350340.DIR;1 $SET FILE/OWN=[351,073] [000000]351073.DIR;1 $SET FILE/OWN=[351,144] [000000]351144.DIR;1 $SET FILE/OWN=[351,145] [000000]351145.DIR;1 $SET FILE/OWN=[355,002] [000000]355002.DIR;1 $SET FILE/OWN=[356,040] [000000]356040.DIR;1 $SET FILE/OWN=[356,041] [000000]356041.DIR;1 $SET FILE/OWN=[356,042] [000000]356042.DIR;1 $SET FILE/OWN=[356,045] [000000]356045.DIR;1 $SET FILE/OWN=[360,200] [000000]360200.DIR;1 $SET FILE/OWN=[360,205] [000000]360205.DIR;1 $SET FILE/OWN=[360,214] [000000]360214.DIR;1 $SET FILE/OWN=[360,217] [000000]360217.DIR;1 $SET FILE/OWN=[364,020] [000000]364020.DIR;1 $SET FILE/OWN=[370,050] [000000]370050.DIR;1 $SET FILE/OWN=[370,070] [000000]370070.DIR;1 $SET FILE/OWN=[370,130] [000000]370130.DIR;1 $SET FILE/OWN=[370,140] [000000]370140.DIR;1 $SET FILE/OWN=[370,352] [000000]370352.DIR;1 $SET FILE/OWN=[370,365] [000000]370365.DIR;1 $SET FILE/OWN=[372,004] [000000]372004.DIR;1 $SET FILE/OWN=[373,001] [000000]373001.DIR;1 $SET FILE/OWN=[373,003] [000000]373003.DIR;1 $SET FILE/OWN=[373,004] [000000]373004.DIR;1 $SET FILE/OWN=[373,005] [000000]373005.DIR;1 $SET FILE/OWN=[373,006] [000000]373006.DIR;1 $SET FILE/OWN=[373,007] [000000]373007.DIR;1 $SET FILE/OWN=[373,010] [000000]373010.DIR;1 $SET FILE/OWN=[373,011] [000000]373011.DIR;1 $SET FILE/OWN=[373,012] [000000]373012.DIR;1 $SET FILE/OWN=[373,015] [000000]373015.DIR;1 $SET FILE/OWN=[373,016] [000000]373016.DIR;1 $SET FILE/OWN=[373,017] [000000]373017.DIR;1 $SET FILE/OWN=[373,021] [000000]373021.DIR;1 $SET FILE/OWN=[373,024] [000000]373024.DIR;1 $SET FILE/OWN=[373,034] [000000]373034.DIR;1 $SET FILE/OWN=[373,101] [000000]373101.DIR;1 $SET FILE/OWN=[373,102] [000000]373102.DIR;1 $SET FILE/OWN=[373,104] [000000]373104.DIR;1 $SET FILE/OWN=[375,001] [000000]375001.DIR;1 $SET NOVERIFY