100644 blob 21fee933c2b7ecf68fefb5805ea27d57decc5ad9	length_cond.adb
100644 blob 525393e501bda76336db347b269139a843dc8726	pck.adb
100644 blob 61d05f4b4fa581caf15c08849f9d4ac5d3505f0c	pck.ads