infocon.hs3.l12.a-10.000.list fp: 121 fn: 21 total: 142 (73) infocon.hs3.l12.a-4.000.list fp: 121 fn: 21 total: 142 (73) infocon.hs3.l12.a-1.000.list fp: 121 fn: 21 total: 142 (73) infocon.hs3.l12.a-0.250.list fp: 121 fn: 21 total: 142 (73) infocon.hs3.l12.a0.125.list fp: 121 fn: 21 total: 142 (73) infocon.hs3.l12.a0.126.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.128.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.131.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.137.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.148.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.172.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.219.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.312.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.500.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.594.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.641.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.664.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.676.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.679.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.680.list fp: 120 fn: 21 total: 141 (73) infocon.hs3.l12.a0.682.list fp: 107 fn: 21 total: 128 (73) infocon.hs3.l12.a0.688.list fp: 107 fn: 21 total: 128 (73) infocon.hs3.l12.a0.734.list fp: 107 fn: 21 total: 128 (73) infocon.hs3.l12.a0.758.list fp: 107 fn: 21 total: 128 (73) infocon.hs3.l12.a0.770.list fp: 107 fn: 21 total: 128 (73) infocon.hs3.l12.a0.771.list fp: 107 fn: 21 total: 128 (73) infocon.hs3.l12.a0.772.list fp: 106 fn: 21 total: 127 (73) infocon.hs3.l12.a0.775.list fp: 106 fn: 21 total: 127 (73) infocon.hs3.l12.a0.781.list fp: 106 fn: 21 total: 127 (73) infocon.hs3.l12.a0.793.list fp: 106 fn: 21 total: 127 (73) infocon.hs3.l12.a0.796.list fp: 106 fn: 21 total: 127 (73) infocon.hs3.l12.a0.797.list fp: 103 fn: 21 total: 124 (73) infocon.hs3.l12.a0.799.list fp: 103 fn: 21 total: 124 (73) infocon.hs3.l12.a0.805.list fp: 103 fn: 21 total: 124 (73) infocon.hs3.l12.a0.828.list fp: 103 fn: 21 total: 124 (73) infocon.hs3.l12.a0.830.list fp: 103 fn: 21 total: 124 (73) infocon.hs3.l12.a0.831.list fp: 101 fn: 21 total: 122 (73) infocon.hs3.l12.a0.833.list fp: 101 fn: 21 total: 122 (73) infocon.hs3.l12.a0.834.list fp: 89 fn: 21 total: 110 (73) infocon.hs3.l12.a0.840.list fp: 89 fn: 21 total: 110 (73) infocon.hs3.l12.a0.852.list fp: 89 fn: 21 total: 110 (73) infocon.hs3.l12.a0.853.list fp: 89 fn: 21 total: 110 (73) infocon.hs3.l12.a0.854.list fp: 89 fn: 23 total: 112 (73) infocon.hs3.l12.a0.857.list fp: 89 fn: 23 total: 112 (73) infocon.hs3.l12.a0.860.list fp: 89 fn: 23 total: 112 (73) infocon.hs3.l12.a0.862.list fp: 89 fn: 23 total: 112 (73) infocon.hs3.l12.a0.863.list fp: 85 fn: 23 total: 108 (73) infocon.hs3.l12.a0.875.list fp: 85 fn: 23 total: 108 (73) infocon.hs3.l12.a0.887.list fp: 85 fn: 23 total: 108 (73) infocon.hs3.l12.a0.893.list fp: 85 fn: 23 total: 108 (73) infocon.hs3.l12.a0.894.list fp: 85 fn: 23 total: 108 (73) infocon.hs3.l12.a0.896.list fp: 83 fn: 23 total: 106 (73) infocon.hs3.l12.a0.898.list fp: 83 fn: 23 total: 106 (73) infocon.hs3.l12.a0.910.list fp: 83 fn: 23 total: 106 (73) infocon.hs3.l12.a0.916.list fp: 83 fn: 23 total: 106 (73) infocon.hs3.l12.a0.917.list fp: 83 fn: 23 total: 106 (73) infocon.hs3.l12.a0.919.list fp: 70 fn: 23 total: 93 (73) infocon.hs3.l12.a0.922.list fp: 70 fn: 23 total: 93 (73) infocon.hs3.l12.a0.925.list fp: 70 fn: 23 total: 93 (73) infocon.hs3.l12.a0.926.list fp: 63 fn: 31 total: 94 (73) infocon.hs3.l12.a0.928.list fp: 63 fn: 31 total: 94 (73) infocon.hs3.l12.a0.931.list fp: 63 fn: 31 total: 94 (73) infocon.hs3.l12.a0.932.list fp: 63 fn: 31 total: 94 (73) infocon.hs3.l12.a0.934.list fp: 47 fn: 35 total: 82 (73) infocon.hs3.l12.a0.945.list fp: 47 fn: 35 total: 82 (73) infocon.hs3.l12.a0.947.list fp: 47 fn: 35 total: 82 (73) infocon.hs3.l12.a0.948.list fp: 47 fn: 35 total: 82 (73) infocon.hs3.l12.a0.950.list fp: 38 fn: 41 total: 79 (73) infocon.hs3.l12.a0.951.list fp: 38 fn: 41 total: 79 (73) infocon.hs3.l12.a0.957.list fp: 38 fn: 41 total: 79 (73) infocon.hs3.l12.a0.969.list fp: 38 fn: 41 total: 79 (73) infocon.hs3.l12.a0.992.list fp: 38 fn: 41 total: 79 (73) infocon.hs3.l12.a0.995.list fp: 38 fn: 41 total: 79 (73) infocon.hs3.l12.a0.997.list fp: 26 fn: 48 total: 74 (73) infocon.hs3.l12.a0.998.list fp: 26 fn: 48 total: 74 (73) infocon.hs3.l12.a1.004.list fp: 26 fn: 48 total: 74 (73) infocon.hs3.l12.a1.007.list fp: 26 fn: 48 total: 74 (73) infocon.hs3.l12.a1.008.list fp: 26 fn: 48 total: 74 (73) infocon.hs3.l12.a1.010.list fp: 16 fn: 53 total: 69 (73) infocon.hs3.l12.a1.016.list fp: 16 fn: 53 total: 69 (73) infocon.hs3.l12.a1.019.list fp: 16 fn: 53 total: 69 (73) infocon.hs3.l12.a1.020.list fp: 16 fn: 53 total: 69 (73) infocon.hs3.l12.a1.021.list fp: 8 fn: 53 total: 61 (73) infocon.hs3.l12.a1.027.list fp: 8 fn: 53 total: 61 (73) infocon.hs3.l12.a1.039.list fp: 8 fn: 53 total: 61 (73) infocon.hs3.l12.a1.062.list fp: 8 fn: 53 total: 61 (73) infocon.hs3.l12.a1.109.list fp: 8 fn: 53 total: 61 (73) infocon.hs3.l12.a1.133.list fp: 8 fn: 53 total: 61 (73) infocon.hs3.l12.a1.145.list fp: 8 fn: 53 total: 61 (73) infocon.hs3.l12.a1.146.list fp: 5 fn: 53 total: 58 (73) infocon.hs3.l12.a1.147.list fp: 5 fn: 53 total: 58 (73) infocon.hs3.l12.a1.150.list fp: 5 fn: 53 total: 58 (73) infocon.hs3.l12.a1.156.list fp: 5 fn: 53 total: 58 (73) infocon.hs3.l12.a1.168.list fp: 5 fn: 53 total: 58 (73) infocon.hs3.l12.a1.171.list fp: 5 fn: 53 total: 58 (73) infocon.hs3.l12.a1.172.list fp: 5 fn: 53 total: 58 (73) infocon.hs3.l12.a1.174.list fp: 2 fn: 62 total: 64 (73) infocon.hs3.l12.a1.180.list fp: 2 fn: 62 total: 64 (73) infocon.hs3.l12.a1.186.list fp: 2 fn: 62 total: 64 (73) infocon.hs3.l12.a1.188.list fp: 2 fn: 62 total: 64 (73) infocon.hs3.l12.a1.190.list fp: 2 fn: 62 total: 64 (73) infocon.hs3.l12.a1.191.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l12.a1.203.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l12.a1.250.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l12.a2.000.list fp: 0 fn: 73 total: 73 (73)