%%Title: ./cbc-hoare.pdf
%%Creator: extractbb 20180217
%%BoundingBox: 0 0 580 175
%%HiResBoundingBox: 0.000000 0.000000 580.000000 175.000000
%%PDFVersion: 1.3
%%Pages: 1
%%CreationDate: Wed Dec 12 18:19:49 2018