100644 blob 6ef2f14c1c4de5b1598fdd1c2a9375369b5161d5	spec1101.out
100644 blob 9d89f991189ba0c4a411fc792eef39f16f8d14c6	spec1102.out
100644 blob c2481ee713b68ad9d615edd7e081e37284d948e8	spec1103.out
100644 blob 545c6a5ee3c1f87ffcd8cfb7a0420a6761e20e83	spec1104.out
100644 blob 90ef0de47df613292dfd6d52c3e8ad88d1f733d8	spec1105.out
100644 blob 2642ebe7cfe719067141dab36deeb0dbb689e8f4	spec1106.out
100644 blob 4789bd1955945b9db2e0d51c98251d378ec883f3	spec1107.out
100644 blob cbb16cee4f1a4a8bd6ea4e64aade3e0358000118	spec1108.out
100644 blob d774a5240be0a70b1e04221818419785c9a67cec	spec1109.out
100644 blob 0f6630a117a5205f192b7a5aaf1e1063b0a8ca04	spec1110.out