AQafp-Verified-Prover-2013-02-16.tar }}6p=} sTVd'iu66.qM]?@ _R?3H'Y6`f0'q3Ϸݝ;;;obs__|OfnGrW_d7=n o:ٜɊu"N=u9Iɝ='nsy~g|gNgg~8̏8 MN'[-(]Eq "S"7de\c4ƎXVvd/cQc G䧵 ~=ZE ` c:`t