infocon.hs3.l10.a-10.000.list fp: 141 fn: 21 total: 162 (73) infocon.hs3.l10.a-4.000.list fp: 141 fn: 21 total: 162 (73) infocon.hs3.l10.a-1.000.list fp: 141 fn: 21 total: 162 (73) infocon.hs3.l10.a-0.250.list fp: 141 fn: 21 total: 162 (73) infocon.hs3.l10.a0.125.list fp: 141 fn: 21 total: 162 (73) infocon.hs3.l10.a0.126.list fp: 140 fn: 21 total: 161 (73) infocon.hs3.l10.a0.128.list fp: 140 fn: 21 total: 161 (73) infocon.hs3.l10.a0.131.list fp: 140 fn: 21 total: 161 (73) infocon.hs3.l10.a0.137.list fp: 140 fn: 21 total: 161 (73) infocon.hs3.l10.a0.148.list fp: 140 fn: 21 total: 161 (73) infocon.hs3.l10.a0.172.list fp: 140 fn: 21 total: 161 (73) infocon.hs3.l10.a0.219.list fp: 140 fn: 21 total: 161 (73) infocon.hs3.l10.a0.220.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.222.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.225.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.230.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.242.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.266.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.312.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.500.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.594.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.641.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.664.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.676.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.679.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.680.list fp: 130 fn: 21 total: 151 (73) infocon.hs3.l10.a0.682.list fp: 128 fn: 21 total: 149 (73) infocon.hs3.l10.a0.688.list fp: 128 fn: 21 total: 149 (73) infocon.hs3.l10.a0.693.list fp: 128 fn: 21 total: 149 (73) infocon.hs3.l10.a0.695.list fp: 128 fn: 21 total: 149 (73) infocon.hs3.l10.a0.696.list fp: 127 fn: 21 total: 148 (73) infocon.hs3.l10.a0.699.list fp: 127 fn: 21 total: 148 (73) infocon.hs3.l10.a0.711.list fp: 127 fn: 21 total: 148 (73) infocon.hs3.l10.a0.734.list fp: 127 fn: 21 total: 148 (73) infocon.hs3.l10.a0.758.list fp: 127 fn: 21 total: 148 (73) infocon.hs3.l10.a0.761.list fp: 127 fn: 21 total: 148 (73) infocon.hs3.l10.a0.762.list fp: 117 fn: 21 total: 138 (73) infocon.hs3.l10.a0.764.list fp: 117 fn: 21 total: 138 (73) infocon.hs3.l10.a0.770.list fp: 117 fn: 21 total: 138 (73) infocon.hs3.l10.a0.771.list fp: 117 fn: 21 total: 138 (73) infocon.hs3.l10.a0.772.list fp: 116 fn: 21 total: 137 (73) infocon.hs3.l10.a0.775.list fp: 116 fn: 21 total: 137 (73) infocon.hs3.l10.a0.781.list fp: 116 fn: 21 total: 137 (73) infocon.hs3.l10.a0.793.list fp: 116 fn: 21 total: 137 (73) infocon.hs3.l10.a0.796.list fp: 116 fn: 21 total: 137 (73) infocon.hs3.l10.a0.797.list fp: 113 fn: 21 total: 134 (73) infocon.hs3.l10.a0.799.list fp: 113 fn: 21 total: 134 (73) infocon.hs3.l10.a0.805.list fp: 113 fn: 21 total: 134 (73) infocon.hs3.l10.a0.828.list fp: 113 fn: 21 total: 134 (73) infocon.hs3.l10.a0.830.list fp: 113 fn: 21 total: 134 (73) infocon.hs3.l10.a0.831.list fp: 111 fn: 21 total: 132 (73) infocon.hs3.l10.a0.833.list fp: 111 fn: 21 total: 132 (73) infocon.hs3.l10.a0.834.list fp: 99 fn: 21 total: 120 (73) infocon.hs3.l10.a0.840.list fp: 99 fn: 21 total: 120 (73) infocon.hs3.l10.a0.846.list fp: 99 fn: 21 total: 120 (73) infocon.hs3.l10.a0.849.list fp: 99 fn: 21 total: 120 (73) infocon.hs3.l10.a0.850.list fp: 99 fn: 21 total: 120 (73) infocon.hs3.l10.a0.852.list fp: 89 fn: 21 total: 110 (73) infocon.hs3.l10.a0.853.list fp: 89 fn: 21 total: 110 (73) infocon.hs3.l10.a0.854.list fp: 89 fn: 23 total: 112 (73) infocon.hs3.l10.a0.857.list fp: 89 fn: 23 total: 112 (73) infocon.hs3.l10.a0.860.list fp: 89 fn: 23 total: 112 (73) infocon.hs3.l10.a0.862.list fp: 89 fn: 23 total: 112 (73) infocon.hs3.l10.a0.863.list fp: 85 fn: 23 total: 108 (73) infocon.hs3.l10.a0.875.list fp: 85 fn: 23 total: 108 (73) infocon.hs3.l10.a0.887.list fp: 85 fn: 23 total: 108 (73) infocon.hs3.l10.a0.893.list fp: 85 fn: 23 total: 108 (73) infocon.hs3.l10.a0.894.list fp: 85 fn: 23 total: 108 (73) infocon.hs3.l10.a0.896.list fp: 83 fn: 23 total: 106 (73) infocon.hs3.l10.a0.898.list fp: 83 fn: 23 total: 106 (73) infocon.hs3.l10.a0.910.list fp: 83 fn: 23 total: 106 (73) infocon.hs3.l10.a0.916.list fp: 83 fn: 23 total: 106 (73) infocon.hs3.l10.a0.917.list fp: 83 fn: 23 total: 106 (73) infocon.hs3.l10.a0.919.list fp: 80 fn: 23 total: 103 (73) infocon.hs3.l10.a0.922.list fp: 80 fn: 23 total: 103 (73) infocon.hs3.l10.a0.925.list fp: 80 fn: 23 total: 103 (73) infocon.hs3.l10.a0.926.list fp: 73 fn: 31 total: 104 (73) infocon.hs3.l10.a0.928.list fp: 73 fn: 31 total: 104 (73) infocon.hs3.l10.a0.929.list fp: 73 fn: 31 total: 104 (73) infocon.hs3.l10.a0.931.list fp: 63 fn: 31 total: 94 (73) infocon.hs3.l10.a0.932.list fp: 63 fn: 31 total: 94 (73) infocon.hs3.l10.a0.934.list fp: 55 fn: 32 total: 87 (73) infocon.hs3.l10.a0.935.list fp: 55 fn: 32 total: 87 (73) infocon.hs3.l10.a0.937.list fp: 47 fn: 35 total: 82 (73) infocon.hs3.l10.a0.939.list fp: 47 fn: 35 total: 82 (73) infocon.hs3.l10.a0.945.list fp: 47 fn: 35 total: 82 (73) infocon.hs3.l10.a0.948.list fp: 47 fn: 35 total: 82 (73) infocon.hs3.l10.a0.950.list fp: 43 fn: 35 total: 78 (73) infocon.hs3.l10.a0.951.list fp: 43 fn: 35 total: 78 (73) infocon.hs3.l10.a0.957.list fp: 43 fn: 35 total: 78 (73) infocon.hs3.l10.a0.969.list fp: 43 fn: 35 total: 78 (73) infocon.hs3.l10.a0.992.list fp: 43 fn: 35 total: 78 (73) infocon.hs3.l10.a0.995.list fp: 43 fn: 35 total: 78 (73) infocon.hs3.l10.a0.997.list fp: 40 fn: 41 total: 81 (73) infocon.hs3.l10.a0.998.list fp: 40 fn: 41 total: 81 (73) infocon.hs3.l10.a1.004.list fp: 40 fn: 41 total: 81 (73) infocon.hs3.l10.a1.007.list fp: 40 fn: 41 total: 81 (73) infocon.hs3.l10.a1.008.list fp: 40 fn: 41 total: 81 (73) infocon.hs3.l10.a1.010.list fp: 35 fn: 41 total: 76 (73) infocon.hs3.l10.a1.011.list fp: 35 fn: 41 total: 76 (73) infocon.hs3.l10.a1.013.list fp: 26 fn: 42 total: 68 (73) infocon.hs3.l10.a1.016.list fp: 26 fn: 42 total: 68 (73) infocon.hs3.l10.a1.017.list fp: 26 fn: 42 total: 68 (73) infocon.hs3.l10.a1.019.list fp: 25 fn: 42 total: 67 (73) infocon.hs3.l10.a1.020.list fp: 25 fn: 42 total: 67 (73) infocon.hs3.l10.a1.021.list fp: 17 fn: 42 total: 59 (73) infocon.hs3.l10.a1.027.list fp: 17 fn: 42 total: 59 (73) infocon.hs3.l10.a1.039.list fp: 17 fn: 42 total: 59 (73) infocon.hs3.l10.a1.062.list fp: 17 fn: 42 total: 59 (73) infocon.hs3.l10.a1.109.list fp: 17 fn: 42 total: 59 (73) infocon.hs3.l10.a1.133.list fp: 17 fn: 42 total: 59 (73) infocon.hs3.l10.a1.145.list fp: 17 fn: 42 total: 59 (73) infocon.hs3.l10.a1.146.list fp: 14 fn: 42 total: 56 (73) infocon.hs3.l10.a1.147.list fp: 14 fn: 42 total: 56 (73) infocon.hs3.l10.a1.150.list fp: 14 fn: 42 total: 56 (73) infocon.hs3.l10.a1.156.list fp: 14 fn: 42 total: 56 (73) infocon.hs3.l10.a1.168.list fp: 14 fn: 42 total: 56 (73) infocon.hs3.l10.a1.171.list fp: 14 fn: 42 total: 56 (73) infocon.hs3.l10.a1.172.list fp: 14 fn: 42 total: 56 (73) infocon.hs3.l10.a1.174.list fp: 13 fn: 43 total: 56 (73) infocon.hs3.l10.a1.180.list fp: 13 fn: 43 total: 56 (73) infocon.hs3.l10.a1.186.list fp: 13 fn: 43 total: 56 (73) infocon.hs3.l10.a1.188.list fp: 13 fn: 43 total: 56 (73) infocon.hs3.l10.a1.190.list fp: 13 fn: 43 total: 56 (73) infocon.hs3.l10.a1.191.list fp: 11 fn: 43 total: 54 (73) infocon.hs3.l10.a1.194.list fp: 11 fn: 43 total: 54 (73) infocon.hs3.l10.a1.196.list fp: 6 fn: 48 total: 54 (73) infocon.hs3.l10.a1.197.list fp: 6 fn: 48 total: 54 (73) infocon.hs3.l10.a1.199.list fp: 6 fn: 59 total: 65 (73) infocon.hs3.l10.a1.200.list fp: 6 fn: 59 total: 65 (73) infocon.hs3.l10.a1.203.list fp: 6 fn: 59 total: 65 (73) infocon.hs3.l10.a1.250.list fp: 6 fn: 59 total: 65 (73) infocon.hs3.l10.a1.273.list fp: 6 fn: 59 total: 65 (73) infocon.hs3.l10.a1.279.list fp: 6 fn: 59 total: 65 (73) infocon.hs3.l10.a1.282.list fp: 6 fn: 59 total: 65 (73) infocon.hs3.l10.a1.284.list fp: 6 fn: 59 total: 65 (73) infocon.hs3.l10.a1.285.list fp: 4 fn: 67 total: 71 (73) infocon.hs3.l10.a1.291.list fp: 4 fn: 67 total: 71 (73) infocon.hs3.l10.a1.294.list fp: 4 fn: 67 total: 71 (73) infocon.hs3.l10.a1.295.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l10.a1.297.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l10.a1.344.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l10.a1.438.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l10.a1.625.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l10.a2.000.list fp: 0 fn: 73 total: 73 (73)