infocon.hs3.l3.a-10.000.list fp: 174 fn: 13 total: 187 (73) infocon.hs3.l3.a-4.000.list fp: 174 fn: 13 total: 187 (73) infocon.hs3.l3.a-1.000.list fp: 174 fn: 13 total: 187 (73) infocon.hs3.l3.a-0.250.list fp: 174 fn: 13 total: 187 (73) infocon.hs3.l3.a0.125.list fp: 174 fn: 13 total: 187 (73) infocon.hs3.l3.a0.126.list fp: 173 fn: 13 total: 186 (73) infocon.hs3.l3.a0.128.list fp: 173 fn: 13 total: 186 (73) infocon.hs3.l3.a0.131.list fp: 173 fn: 13 total: 186 (73) infocon.hs3.l3.a0.137.list fp: 173 fn: 13 total: 186 (73) infocon.hs3.l3.a0.148.list fp: 173 fn: 13 total: 186 (73) infocon.hs3.l3.a0.172.list fp: 173 fn: 13 total: 186 (73) infocon.hs3.l3.a0.219.list fp: 173 fn: 13 total: 186 (73) infocon.hs3.l3.a0.220.list fp: 172 fn: 13 total: 185 (73) infocon.hs3.l3.a0.222.list fp: 172 fn: 13 total: 185 (73) infocon.hs3.l3.a0.225.list fp: 172 fn: 13 total: 185 (73) infocon.hs3.l3.a0.230.list fp: 172 fn: 13 total: 185 (73) infocon.hs3.l3.a0.242.list fp: 172 fn: 13 total: 185 (73) infocon.hs3.l3.a0.266.list fp: 172 fn: 13 total: 185 (73) infocon.hs3.l3.a0.312.list fp: 172 fn: 13 total: 185 (73) infocon.hs3.l3.a0.406.list fp: 172 fn: 13 total: 185 (73) infocon.hs3.l3.a0.453.list fp: 172 fn: 13 total: 185 (73) infocon.hs3.l3.a0.477.list fp: 172 fn: 13 total: 185 (73) infocon.hs3.l3.a0.482.list fp: 172 fn: 13 total: 185 (73) infocon.hs3.l3.a0.485.list fp: 172 fn: 13 total: 185 (73) infocon.hs3.l3.a0.487.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l3.a0.488.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l3.a0.500.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l3.a0.547.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l3.a0.570.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l3.a0.582.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l3.a0.588.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l3.a0.591.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l3.a0.592.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l3.a0.594.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l3.a0.600.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l3.a0.601.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l3.a0.603.list fp: 168 fn: 14 total: 182 (73) infocon.hs3.l3.a0.605.list fp: 168 fn: 14 total: 182 (73) infocon.hs3.l3.a0.617.list fp: 168 fn: 14 total: 182 (73) infocon.hs3.l3.a0.641.list fp: 168 fn: 14 total: 182 (73) infocon.hs3.l3.a0.664.list fp: 168 fn: 14 total: 182 (73) infocon.hs3.l3.a0.676.list fp: 168 fn: 14 total: 182 (73) infocon.hs3.l3.a0.679.list fp: 168 fn: 14 total: 182 (73) infocon.hs3.l3.a0.680.list fp: 168 fn: 14 total: 182 (73) infocon.hs3.l3.a0.682.list fp: 166 fn: 14 total: 180 (73) infocon.hs3.l3.a0.688.list fp: 166 fn: 14 total: 180 (73) infocon.hs3.l3.a0.690.list fp: 166 fn: 14 total: 180 (73) infocon.hs3.l3.a0.692.list fp: 163 fn: 14 total: 177 (73) infocon.hs3.l3.a0.693.list fp: 163 fn: 14 total: 177 (73) infocon.hs3.l3.a0.695.list fp: 160 fn: 14 total: 174 (73) infocon.hs3.l3.a0.696.list fp: 158 fn: 14 total: 172 (73) infocon.hs3.l3.a0.699.list fp: 158 fn: 14 total: 172 (73) infocon.hs3.l3.a0.711.list fp: 158 fn: 14 total: 172 (73) infocon.hs3.l3.a0.734.list fp: 158 fn: 14 total: 172 (73) infocon.hs3.l3.a0.758.list fp: 158 fn: 14 total: 172 (73) infocon.hs3.l3.a0.761.list fp: 158 fn: 14 total: 172 (73) infocon.hs3.l3.a0.762.list fp: 157 fn: 14 total: 171 (73) infocon.hs3.l3.a0.764.list fp: 157 fn: 14 total: 171 (73) infocon.hs3.l3.a0.770.list fp: 157 fn: 14 total: 171 (73) infocon.hs3.l3.a0.771.list fp: 157 fn: 14 total: 171 (73) infocon.hs3.l3.a0.772.list fp: 156 fn: 14 total: 170 (73) infocon.hs3.l3.a0.774.list fp: 148 fn: 14 total: 162 (73) infocon.hs3.l3.a0.775.list fp: 148 fn: 14 total: 162 (73) infocon.hs3.l3.a0.781.list fp: 148 fn: 14 total: 162 (73) infocon.hs3.l3.a0.793.list fp: 148 fn: 14 total: 162 (73) infocon.hs3.l3.a0.796.list fp: 148 fn: 14 total: 162 (73) infocon.hs3.l3.a0.797.list fp: 145 fn: 14 total: 159 (73) infocon.hs3.l3.a0.799.list fp: 145 fn: 14 total: 159 (73) infocon.hs3.l3.a0.805.list fp: 145 fn: 14 total: 159 (73) infocon.hs3.l3.a0.828.list fp: 145 fn: 14 total: 159 (73) infocon.hs3.l3.a0.830.list fp: 145 fn: 14 total: 159 (73) infocon.hs3.l3.a0.831.list fp: 143 fn: 14 total: 157 (73) infocon.hs3.l3.a0.833.list fp: 143 fn: 14 total: 157 (73) infocon.hs3.l3.a0.834.list fp: 140 fn: 14 total: 154 (73) infocon.hs3.l3.a0.840.list fp: 140 fn: 14 total: 154 (73) infocon.hs3.l3.a0.846.list fp: 140 fn: 14 total: 154 (73) infocon.hs3.l3.a0.847.list fp: 136 fn: 14 total: 150 (73) infocon.hs3.l3.a0.849.list fp: 134 fn: 14 total: 148 (73) infocon.hs3.l3.a0.850.list fp: 134 fn: 14 total: 148 (73) infocon.hs3.l3.a0.852.list fp: 131 fn: 14 total: 145 (73) infocon.hs3.l3.a0.853.list fp: 131 fn: 14 total: 145 (73) infocon.hs3.l3.a0.854.list fp: 130 fn: 17 total: 147 (73) infocon.hs3.l3.a0.857.list fp: 130 fn: 17 total: 147 (73) infocon.hs3.l3.a0.860.list fp: 130 fn: 17 total: 147 (73) infocon.hs3.l3.a0.862.list fp: 130 fn: 17 total: 147 (73) infocon.hs3.l3.a0.863.list fp: 126 fn: 17 total: 143 (73) infocon.hs3.l3.a0.869.list fp: 126 fn: 17 total: 143 (73) infocon.hs3.l3.a0.871.list fp: 119 fn: 17 total: 136 (73) infocon.hs3.l3.a0.872.list fp: 119 fn: 17 total: 136 (73) infocon.hs3.l3.a0.875.list fp: 119 fn: 17 total: 136 (73) infocon.hs3.l3.a0.876.list fp: 116 fn: 17 total: 133 (73) infocon.hs3.l3.a0.878.list fp: 116 fn: 17 total: 133 (73) infocon.hs3.l3.a0.881.list fp: 116 fn: 17 total: 133 (73) infocon.hs3.l3.a0.887.list fp: 116 fn: 17 total: 133 (73) infocon.hs3.l3.a0.893.list fp: 116 fn: 17 total: 133 (73) infocon.hs3.l3.a0.894.list fp: 116 fn: 17 total: 133 (73) infocon.hs3.l3.a0.896.list fp: 114 fn: 17 total: 131 (73) infocon.hs3.l3.a0.898.list fp: 114 fn: 17 total: 131 (73) infocon.hs3.l3.a0.910.list fp: 114 fn: 17 total: 131 (73) infocon.hs3.l3.a0.913.list fp: 114 fn: 17 total: 131 (73) infocon.hs3.l3.a0.915.list fp: 114 fn: 17 total: 131 (73) infocon.hs3.l3.a0.916.list fp: 110 fn: 17 total: 127 (73) infocon.hs3.l3.a0.917.list fp: 110 fn: 17 total: 127 (73) infocon.hs3.l3.a0.919.list fp: 107 fn: 17 total: 124 (73) infocon.hs3.l3.a0.922.list fp: 107 fn: 17 total: 124 (73) infocon.hs3.l3.a0.925.list fp: 107 fn: 17 total: 124 (73) infocon.hs3.l3.a0.926.list fp: 101 fn: 19 total: 120 (73) infocon.hs3.l3.a0.928.list fp: 101 fn: 19 total: 120 (73) infocon.hs3.l3.a0.929.list fp: 101 fn: 19 total: 120 (73) infocon.hs3.l3.a0.931.list fp: 97 fn: 19 total: 116 (73) infocon.hs3.l3.a0.932.list fp: 97 fn: 19 total: 116 (73) infocon.hs3.l3.a0.934.list fp: 89 fn: 20 total: 109 (73) infocon.hs3.l3.a0.935.list fp: 89 fn: 20 total: 109 (73) infocon.hs3.l3.a0.937.list fp: 88 fn: 23 total: 111 (73) infocon.hs3.l3.a0.939.list fp: 88 fn: 23 total: 111 (73) infocon.hs3.l3.a0.945.list fp: 88 fn: 23 total: 111 (73) infocon.hs3.l3.a0.947.list fp: 88 fn: 23 total: 111 (73) infocon.hs3.l3.a0.948.list fp: 88 fn: 23 total: 111 (73) infocon.hs3.l3.a0.950.list fp: 84 fn: 23 total: 107 (73) infocon.hs3.l3.a0.951.list fp: 84 fn: 23 total: 107 (73) infocon.hs3.l3.a0.957.list fp: 84 fn: 23 total: 107 (73) infocon.hs3.l3.a0.969.list fp: 84 fn: 23 total: 107 (73) infocon.hs3.l3.a0.992.list fp: 84 fn: 23 total: 107 (73) infocon.hs3.l3.a0.995.list fp: 84 fn: 23 total: 107 (73) infocon.hs3.l3.a0.997.list fp: 81 fn: 23 total: 104 (73) infocon.hs3.l3.a0.998.list fp: 81 fn: 23 total: 104 (73) infocon.hs3.l3.a1.004.list fp: 81 fn: 23 total: 104 (73) infocon.hs3.l3.a1.007.list fp: 81 fn: 23 total: 104 (73) infocon.hs3.l3.a1.008.list fp: 81 fn: 23 total: 104 (73) infocon.hs3.l3.a1.010.list fp: 79 fn: 23 total: 102 (73) infocon.hs3.l3.a1.011.list fp: 79 fn: 23 total: 102 (73) infocon.hs3.l3.a1.013.list fp: 78 fn: 23 total: 101 (73) infocon.hs3.l3.a1.016.list fp: 78 fn: 23 total: 101 (73) infocon.hs3.l3.a1.017.list fp: 66 fn: 26 total: 92 (73) infocon.hs3.l3.a1.019.list fp: 62 fn: 26 total: 88 (73) infocon.hs3.l3.a1.020.list fp: 62 fn: 26 total: 88 (73) infocon.hs3.l3.a1.021.list fp: 54 fn: 26 total: 80 (73) infocon.hs3.l3.a1.023.list fp: 48 fn: 26 total: 74 (73) infocon.hs3.l3.a1.024.list fp: 48 fn: 26 total: 74 (73) infocon.hs3.l3.a1.027.list fp: 48 fn: 26 total: 74 (73) infocon.hs3.l3.a1.030.list fp: 48 fn: 26 total: 74 (73) infocon.hs3.l3.a1.032.list fp: 47 fn: 29 total: 76 (73) infocon.hs3.l3.a1.033.list fp: 47 fn: 29 total: 76 (73) infocon.hs3.l3.a1.039.list fp: 47 fn: 29 total: 76 (73) infocon.hs3.l3.a1.051.list fp: 47 fn: 29 total: 76 (73) infocon.hs3.l3.a1.057.list fp: 47 fn: 29 total: 76 (73) infocon.hs3.l3.a1.058.list fp: 47 fn: 29 total: 76 (73) infocon.hs3.l3.a1.060.list fp: 44 fn: 29 total: 73 (73) infocon.hs3.l3.a1.062.list fp: 44 fn: 29 total: 73 (73) infocon.hs3.l3.a1.109.list fp: 44 fn: 29 total: 73 (73) infocon.hs3.l3.a1.115.list fp: 44 fn: 29 total: 73 (73) infocon.hs3.l3.a1.117.list fp: 40 fn: 30 total: 70 (73) infocon.hs3.l3.a1.118.list fp: 40 fn: 30 total: 70 (73) infocon.hs3.l3.a1.121.list fp: 40 fn: 30 total: 70 (73) infocon.hs3.l3.a1.133.list fp: 40 fn: 30 total: 70 (73) infocon.hs3.l3.a1.145.list fp: 40 fn: 30 total: 70 (73) infocon.hs3.l3.a1.146.list fp: 37 fn: 30 total: 67 (73) infocon.hs3.l3.a1.147.list fp: 37 fn: 30 total: 67 (73) infocon.hs3.l3.a1.150.list fp: 37 fn: 30 total: 67 (73) infocon.hs3.l3.a1.156.list fp: 37 fn: 30 total: 67 (73) infocon.hs3.l3.a1.168.list fp: 37 fn: 30 total: 67 (73) infocon.hs3.l3.a1.171.list fp: 37 fn: 30 total: 67 (73) infocon.hs3.l3.a1.172.list fp: 37 fn: 30 total: 67 (73) infocon.hs3.l3.a1.174.list fp: 36 fn: 31 total: 67 (73) infocon.hs3.l3.a1.180.list fp: 36 fn: 31 total: 67 (73) infocon.hs3.l3.a1.186.list fp: 36 fn: 31 total: 67 (73) infocon.hs3.l3.a1.188.list fp: 36 fn: 31 total: 67 (73) infocon.hs3.l3.a1.190.list fp: 36 fn: 31 total: 67 (73) infocon.hs3.l3.a1.191.list fp: 31 fn: 32 total: 63 (73) infocon.hs3.l3.a1.194.list fp: 31 fn: 32 total: 63 (73) infocon.hs3.l3.a1.196.list fp: 31 fn: 34 total: 65 (73) infocon.hs3.l3.a1.197.list fp: 29 fn: 34 total: 63 (73) infocon.hs3.l3.a1.199.list fp: 24 fn: 38 total: 62 (73) infocon.hs3.l3.a1.200.list fp: 24 fn: 38 total: 62 (73) infocon.hs3.l3.a1.203.list fp: 24 fn: 38 total: 62 (73) infocon.hs3.l3.a1.209.list fp: 24 fn: 38 total: 62 (73) infocon.hs3.l3.a1.210.list fp: 24 fn: 38 total: 62 (73) infocon.hs3.l3.a1.212.list fp: 23 fn: 41 total: 64 (73) infocon.hs3.l3.a1.215.list fp: 23 fn: 41 total: 64 (73) infocon.hs3.l3.a1.227.list fp: 23 fn: 41 total: 64 (73) infocon.hs3.l3.a1.250.list fp: 23 fn: 41 total: 64 (73) infocon.hs3.l3.a1.273.list fp: 23 fn: 41 total: 64 (73) infocon.hs3.l3.a1.279.list fp: 23 fn: 41 total: 64 (73) infocon.hs3.l3.a1.281.list fp: 23 fn: 41 total: 64 (73) infocon.hs3.l3.a1.282.list fp: 18 fn: 41 total: 59 (73) infocon.hs3.l3.a1.284.list fp: 18 fn: 41 total: 59 (73) infocon.hs3.l3.a1.285.list fp: 18 fn: 42 total: 60 (73) infocon.hs3.l3.a1.291.list fp: 18 fn: 42 total: 60 (73) infocon.hs3.l3.a1.294.list fp: 18 fn: 42 total: 60 (73) infocon.hs3.l3.a1.295.list fp: 18 fn: 51 total: 69 (73) infocon.hs3.l3.a1.297.list fp: 18 fn: 51 total: 69 (73) infocon.hs3.l3.a1.309.list fp: 18 fn: 51 total: 69 (73) infocon.hs3.l3.a1.310.list fp: 18 fn: 56 total: 74 (73) infocon.hs3.l3.a1.312.list fp: 18 fn: 56 total: 74 (73) infocon.hs3.l3.a1.313.list fp: 15 fn: 56 total: 71 (73) infocon.hs3.l3.a1.314.list fp: 15 fn: 56 total: 71 (73) infocon.hs3.l3.a1.320.list fp: 15 fn: 56 total: 71 (73) infocon.hs3.l3.a1.344.list fp: 15 fn: 56 total: 71 (73) infocon.hs3.l3.a1.350.list fp: 15 fn: 56 total: 71 (73) infocon.hs3.l3.a1.353.list fp: 15 fn: 56 total: 71 (73) infocon.hs3.l3.a1.354.list fp: 13 fn: 56 total: 69 (73) infocon.hs3.l3.a1.355.list fp: 13 fn: 56 total: 69 (73) infocon.hs3.l3.a1.367.list fp: 13 fn: 56 total: 69 (73) infocon.hs3.l3.a1.391.list fp: 13 fn: 56 total: 69 (73) infocon.hs3.l3.a1.394.list fp: 13 fn: 56 total: 69 (73) infocon.hs3.l3.a1.395.list fp: 5 fn: 60 total: 65 (73) infocon.hs3.l3.a1.396.list fp: 5 fn: 60 total: 65 (73) infocon.hs3.l3.a1.398.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l3.a1.399.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l3.a1.402.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l3.a1.414.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l3.a1.420.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l3.a1.421.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l3.a1.423.list fp: 0 fn: 64 total: 64 (73) infocon.hs3.l3.a1.424.list fp: 0 fn: 64 total: 64 (73) infocon.hs3.l3.a1.426.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l3.a1.438.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l3.a1.461.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l3.a1.464.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l3.a1.465.list fp: 0 fn: 70 total: 70 (73) infocon.hs3.l3.a1.467.list fp: 0 fn: 70 total: 70 (73) infocon.hs3.l3.a1.473.list fp: 0 fn: 70 total: 70 (73) infocon.hs3.l3.a1.484.list fp: 0 fn: 70 total: 70 (73) infocon.hs3.l3.a1.531.list fp: 0 fn: 70 total: 70 (73) infocon.hs3.l3.a1.578.list fp: 0 fn: 70 total: 70 (73) infocon.hs3.l3.a1.590.list fp: 0 fn: 70 total: 70 (73) infocon.hs3.l3.a1.596.list fp: 0 fn: 70 total: 70 (73) infocon.hs3.l3.a1.597.list fp: 0 fn: 70 total: 70 (73) infocon.hs3.l3.a1.599.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l3.a1.602.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l3.a1.625.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l3.a2.000.list fp: 0 fn: 73 total: 73 (73)