<<>> <> <> <> <> DIRECTORY CrRPC, Rope, TimeP15V2, FilingAttributesP10V5, CHNameP2V0, AuthenticationP14V2, BulkDataP0V1, FilingP10V5; FilingP10V5Init: CEDAR PROGRAM EXPORTS FilingP10V5 ~ { OPEN FilingP10V5; ROPE: TYPE ~ Rope.ROPE; InitProc1: PROC RETURNS [result: AttributeTypeSequence] ~ { result ¬ NEW[AttributeTypeSequenceObject[1]]; result.body[0] ¬ 4294967295; }; allAttributeTypes: PUBLIC AttributeTypeSequence ¬ InitProc1[]; nullFilter: PUBLIC Filter ¬ NEW [FilterObject.all ¬ [all[all~[]]]]; }...