ï„•¦¾a¯@  °@ +PocklingtonÿB A °@ &PrologÿB °@ 'ProgramÿB °@ %TautoÿB °@ #InvÿB °@ (EqualityÿB °@ &ProPreÿB °@ 0Logic_TypeSyntaxÿB °@ *Logic_TypeÿB °@ 'PreludeÿB °@ "WfÿB °@ %PeanoÿB °@ ,SpecifSyntaxÿB °@ &SpecifÿB °@ +LogicSyntaxÿB °@ %LogicÿB °@ /DatatypesSyntaxÿB °@ )DatatypesÿB °@ $CoreÿB °@ "IOÿB@  ° S@ !_HB ° GB ° FB °   EB °  DB ° CB ° BB ° AB ° @B@@  ³%Arith°@ %ArithÿB@  ³&ZArith°@ &ZArithÿB@  ³$list°@ $listÿB@  "³'divides°@ 'dividesÿB@  ,³#mod°@ #modÿB@  6³#exp°@ #expÿB@  @³#gcd°@ #gcdÿB@  J³%prime°@ %primeÿB@  V³$pock°@ $pockÿB@@