infocon.hs3.l4.a-10.000.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l4.a-4.000.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l4.a-1.000.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l4.a-0.250.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l4.a0.125.list fp: 171 fn: 13 total: 184 (73) infocon.hs3.l4.a0.126.list fp: 170 fn: 13 total: 183 (73) infocon.hs3.l4.a0.128.list fp: 170 fn: 13 total: 183 (73) infocon.hs3.l4.a0.131.list fp: 170 fn: 13 total: 183 (73) infocon.hs3.l4.a0.137.list fp: 170 fn: 13 total: 183 (73) infocon.hs3.l4.a0.148.list fp: 170 fn: 13 total: 183 (73) infocon.hs3.l4.a0.172.list fp: 170 fn: 13 total: 183 (73) infocon.hs3.l4.a0.219.list fp: 170 fn: 13 total: 183 (73) infocon.hs3.l4.a0.220.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l4.a0.222.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l4.a0.225.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l4.a0.230.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l4.a0.242.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l4.a0.266.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l4.a0.312.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l4.a0.406.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l4.a0.453.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l4.a0.477.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l4.a0.482.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l4.a0.485.list fp: 169 fn: 13 total: 182 (73) infocon.hs3.l4.a0.487.list fp: 168 fn: 13 total: 181 (73) infocon.hs3.l4.a0.488.list fp: 168 fn: 13 total: 181 (73) infocon.hs3.l4.a0.500.list fp: 168 fn: 13 total: 181 (73) infocon.hs3.l4.a0.547.list fp: 168 fn: 13 total: 181 (73) infocon.hs3.l4.a0.570.list fp: 168 fn: 13 total: 181 (73) infocon.hs3.l4.a0.582.list fp: 168 fn: 13 total: 181 (73) infocon.hs3.l4.a0.588.list fp: 168 fn: 13 total: 181 (73) infocon.hs3.l4.a0.591.list fp: 168 fn: 13 total: 181 (73) infocon.hs3.l4.a0.592.list fp: 168 fn: 13 total: 181 (73) infocon.hs3.l4.a0.594.list fp: 163 fn: 13 total: 176 (73) infocon.hs3.l4.a0.600.list fp: 163 fn: 13 total: 176 (73) infocon.hs3.l4.a0.601.list fp: 163 fn: 13 total: 176 (73) infocon.hs3.l4.a0.603.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l4.a0.605.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l4.a0.617.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l4.a0.641.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l4.a0.664.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l4.a0.676.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l4.a0.679.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l4.a0.680.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l4.a0.682.list fp: 160 fn: 14 total: 174 (73) infocon.hs3.l4.a0.688.list fp: 160 fn: 14 total: 174 (73) infocon.hs3.l4.a0.693.list fp: 160 fn: 14 total: 174 (73) infocon.hs3.l4.a0.695.list fp: 157 fn: 14 total: 171 (73) infocon.hs3.l4.a0.696.list fp: 155 fn: 14 total: 169 (73) infocon.hs3.l4.a0.699.list fp: 155 fn: 14 total: 169 (73) infocon.hs3.l4.a0.711.list fp: 155 fn: 14 total: 169 (73) infocon.hs3.l4.a0.734.list fp: 155 fn: 14 total: 169 (73) infocon.hs3.l4.a0.758.list fp: 155 fn: 14 total: 169 (73) infocon.hs3.l4.a0.761.list fp: 155 fn: 14 total: 169 (73) infocon.hs3.l4.a0.762.list fp: 154 fn: 14 total: 168 (73) infocon.hs3.l4.a0.764.list fp: 154 fn: 14 total: 168 (73) infocon.hs3.l4.a0.770.list fp: 154 fn: 14 total: 168 (73) infocon.hs3.l4.a0.771.list fp: 154 fn: 14 total: 168 (73) infocon.hs3.l4.a0.772.list fp: 153 fn: 14 total: 167 (73) infocon.hs3.l4.a0.774.list fp: 145 fn: 14 total: 159 (73) infocon.hs3.l4.a0.775.list fp: 145 fn: 14 total: 159 (73) infocon.hs3.l4.a0.781.list fp: 145 fn: 14 total: 159 (73) infocon.hs3.l4.a0.793.list fp: 145 fn: 14 total: 159 (73) infocon.hs3.l4.a0.796.list fp: 145 fn: 14 total: 159 (73) infocon.hs3.l4.a0.797.list fp: 142 fn: 14 total: 156 (73) infocon.hs3.l4.a0.799.list fp: 142 fn: 14 total: 156 (73) infocon.hs3.l4.a0.805.list fp: 142 fn: 14 total: 156 (73) infocon.hs3.l4.a0.828.list fp: 142 fn: 14 total: 156 (73) infocon.hs3.l4.a0.830.list fp: 142 fn: 14 total: 156 (73) infocon.hs3.l4.a0.831.list fp: 140 fn: 14 total: 154 (73) infocon.hs3.l4.a0.833.list fp: 140 fn: 14 total: 154 (73) infocon.hs3.l4.a0.834.list fp: 137 fn: 14 total: 151 (73) infocon.hs3.l4.a0.840.list fp: 137 fn: 14 total: 151 (73) infocon.hs3.l4.a0.846.list fp: 137 fn: 14 total: 151 (73) infocon.hs3.l4.a0.847.list fp: 133 fn: 14 total: 147 (73) infocon.hs3.l4.a0.849.list fp: 128 fn: 14 total: 142 (73) infocon.hs3.l4.a0.850.list fp: 128 fn: 14 total: 142 (73) infocon.hs3.l4.a0.852.list fp: 125 fn: 14 total: 139 (73) infocon.hs3.l4.a0.853.list fp: 125 fn: 14 total: 139 (73) infocon.hs3.l4.a0.854.list fp: 124 fn: 17 total: 141 (73) infocon.hs3.l4.a0.857.list fp: 124 fn: 17 total: 141 (73) infocon.hs3.l4.a0.860.list fp: 124 fn: 17 total: 141 (73) infocon.hs3.l4.a0.862.list fp: 124 fn: 17 total: 141 (73) infocon.hs3.l4.a0.863.list fp: 120 fn: 17 total: 137 (73) infocon.hs3.l4.a0.869.list fp: 120 fn: 17 total: 137 (73) infocon.hs3.l4.a0.871.list fp: 107 fn: 17 total: 124 (73) infocon.hs3.l4.a0.872.list fp: 107 fn: 17 total: 124 (73) infocon.hs3.l4.a0.875.list fp: 107 fn: 17 total: 124 (73) infocon.hs3.l4.a0.876.list fp: 107 fn: 17 total: 124 (73) infocon.hs3.l4.a0.878.list fp: 107 fn: 17 total: 124 (73) infocon.hs3.l4.a0.881.list fp: 107 fn: 17 total: 124 (73) infocon.hs3.l4.a0.887.list fp: 107 fn: 17 total: 124 (73) infocon.hs3.l4.a0.893.list fp: 107 fn: 17 total: 124 (73) infocon.hs3.l4.a0.894.list fp: 107 fn: 17 total: 124 (73) infocon.hs3.l4.a0.896.list fp: 105 fn: 17 total: 122 (73) infocon.hs3.l4.a0.898.list fp: 105 fn: 17 total: 122 (73) infocon.hs3.l4.a0.910.list fp: 105 fn: 17 total: 122 (73) infocon.hs3.l4.a0.913.list fp: 105 fn: 17 total: 122 (73) infocon.hs3.l4.a0.915.list fp: 105 fn: 17 total: 122 (73) infocon.hs3.l4.a0.916.list fp: 101 fn: 17 total: 118 (73) infocon.hs3.l4.a0.917.list fp: 101 fn: 17 total: 118 (73) infocon.hs3.l4.a0.919.list fp: 98 fn: 17 total: 115 (73) infocon.hs3.l4.a0.922.list fp: 98 fn: 17 total: 115 (73) infocon.hs3.l4.a0.925.list fp: 98 fn: 17 total: 115 (73) infocon.hs3.l4.a0.926.list fp: 92 fn: 22 total: 114 (73) infocon.hs3.l4.a0.928.list fp: 92 fn: 22 total: 114 (73) infocon.hs3.l4.a0.929.list fp: 92 fn: 22 total: 114 (73) infocon.hs3.l4.a0.931.list fp: 82 fn: 22 total: 104 (73) infocon.hs3.l4.a0.932.list fp: 82 fn: 22 total: 104 (73) infocon.hs3.l4.a0.934.list fp: 74 fn: 23 total: 97 (73) infocon.hs3.l4.a0.935.list fp: 74 fn: 23 total: 97 (73) infocon.hs3.l4.a0.937.list fp: 73 fn: 26 total: 99 (73) infocon.hs3.l4.a0.939.list fp: 73 fn: 26 total: 99 (73) infocon.hs3.l4.a0.945.list fp: 73 fn: 26 total: 99 (73) infocon.hs3.l4.a0.948.list fp: 73 fn: 26 total: 99 (73) infocon.hs3.l4.a0.950.list fp: 69 fn: 26 total: 95 (73) infocon.hs3.l4.a0.951.list fp: 69 fn: 26 total: 95 (73) infocon.hs3.l4.a0.957.list fp: 69 fn: 26 total: 95 (73) infocon.hs3.l4.a0.969.list fp: 69 fn: 26 total: 95 (73) infocon.hs3.l4.a0.992.list fp: 69 fn: 26 total: 95 (73) infocon.hs3.l4.a0.995.list fp: 69 fn: 26 total: 95 (73) infocon.hs3.l4.a0.997.list fp: 66 fn: 26 total: 92 (73) infocon.hs3.l4.a0.998.list fp: 66 fn: 26 total: 92 (73) infocon.hs3.l4.a1.004.list fp: 66 fn: 26 total: 92 (73) infocon.hs3.l4.a1.007.list fp: 66 fn: 26 total: 92 (73) infocon.hs3.l4.a1.008.list fp: 66 fn: 26 total: 92 (73) infocon.hs3.l4.a1.010.list fp: 61 fn: 26 total: 87 (73) infocon.hs3.l4.a1.011.list fp: 61 fn: 26 total: 87 (73) infocon.hs3.l4.a1.013.list fp: 60 fn: 26 total: 86 (73) infocon.hs3.l4.a1.016.list fp: 60 fn: 26 total: 86 (73) infocon.hs3.l4.a1.017.list fp: 54 fn: 26 total: 80 (73) infocon.hs3.l4.a1.019.list fp: 53 fn: 26 total: 79 (73) infocon.hs3.l4.a1.020.list fp: 53 fn: 26 total: 79 (73) infocon.hs3.l4.a1.021.list fp: 45 fn: 26 total: 71 (73) infocon.hs3.l4.a1.023.list fp: 39 fn: 26 total: 65 (73) infocon.hs3.l4.a1.024.list fp: 39 fn: 26 total: 65 (73) infocon.hs3.l4.a1.027.list fp: 39 fn: 26 total: 65 (73) infocon.hs3.l4.a1.030.list fp: 39 fn: 26 total: 65 (73) infocon.hs3.l4.a1.032.list fp: 38 fn: 29 total: 67 (73) infocon.hs3.l4.a1.033.list fp: 38 fn: 29 total: 67 (73) infocon.hs3.l4.a1.039.list fp: 38 fn: 29 total: 67 (73) infocon.hs3.l4.a1.062.list fp: 38 fn: 29 total: 67 (73) infocon.hs3.l4.a1.109.list fp: 38 fn: 29 total: 67 (73) infocon.hs3.l4.a1.115.list fp: 38 fn: 29 total: 67 (73) infocon.hs3.l4.a1.117.list fp: 34 fn: 30 total: 64 (73) infocon.hs3.l4.a1.118.list fp: 34 fn: 30 total: 64 (73) infocon.hs3.l4.a1.121.list fp: 34 fn: 30 total: 64 (73) infocon.hs3.l4.a1.133.list fp: 34 fn: 30 total: 64 (73) infocon.hs3.l4.a1.145.list fp: 34 fn: 30 total: 64 (73) infocon.hs3.l4.a1.146.list fp: 31 fn: 30 total: 61 (73) infocon.hs3.l4.a1.147.list fp: 31 fn: 30 total: 61 (73) infocon.hs3.l4.a1.150.list fp: 31 fn: 30 total: 61 (73) infocon.hs3.l4.a1.156.list fp: 31 fn: 30 total: 61 (73) infocon.hs3.l4.a1.168.list fp: 31 fn: 30 total: 61 (73) infocon.hs3.l4.a1.171.list fp: 31 fn: 30 total: 61 (73) infocon.hs3.l4.a1.172.list fp: 31 fn: 30 total: 61 (73) infocon.hs3.l4.a1.174.list fp: 30 fn: 31 total: 61 (73) infocon.hs3.l4.a1.180.list fp: 30 fn: 31 total: 61 (73) infocon.hs3.l4.a1.186.list fp: 30 fn: 31 total: 61 (73) infocon.hs3.l4.a1.188.list fp: 30 fn: 31 total: 61 (73) infocon.hs3.l4.a1.190.list fp: 30 fn: 31 total: 61 (73) infocon.hs3.l4.a1.191.list fp: 28 fn: 32 total: 60 (73) infocon.hs3.l4.a1.194.list fp: 28 fn: 32 total: 60 (73) infocon.hs3.l4.a1.196.list fp: 28 fn: 34 total: 62 (73) infocon.hs3.l4.a1.197.list fp: 26 fn: 34 total: 60 (73) infocon.hs3.l4.a1.199.list fp: 21 fn: 38 total: 59 (73) infocon.hs3.l4.a1.200.list fp: 21 fn: 38 total: 59 (73) infocon.hs3.l4.a1.203.list fp: 21 fn: 38 total: 59 (73) infocon.hs3.l4.a1.209.list fp: 21 fn: 38 total: 59 (73) infocon.hs3.l4.a1.210.list fp: 21 fn: 38 total: 59 (73) infocon.hs3.l4.a1.212.list fp: 20 fn: 41 total: 61 (73) infocon.hs3.l4.a1.215.list fp: 20 fn: 41 total: 61 (73) infocon.hs3.l4.a1.227.list fp: 20 fn: 41 total: 61 (73) infocon.hs3.l4.a1.250.list fp: 20 fn: 41 total: 61 (73) infocon.hs3.l4.a1.273.list fp: 20 fn: 41 total: 61 (73) infocon.hs3.l4.a1.279.list fp: 20 fn: 41 total: 61 (73) infocon.hs3.l4.a1.281.list fp: 20 fn: 41 total: 61 (73) infocon.hs3.l4.a1.282.list fp: 15 fn: 41 total: 56 (73) infocon.hs3.l4.a1.284.list fp: 15 fn: 41 total: 56 (73) infocon.hs3.l4.a1.285.list fp: 13 fn: 43 total: 56 (73) infocon.hs3.l4.a1.291.list fp: 13 fn: 43 total: 56 (73) infocon.hs3.l4.a1.294.list fp: 13 fn: 43 total: 56 (73) infocon.hs3.l4.a1.295.list fp: 13 fn: 52 total: 65 (73) infocon.hs3.l4.a1.297.list fp: 13 fn: 52 total: 65 (73) infocon.hs3.l4.a1.309.list fp: 13 fn: 52 total: 65 (73) infocon.hs3.l4.a1.310.list fp: 13 fn: 57 total: 70 (73) infocon.hs3.l4.a1.312.list fp: 13 fn: 57 total: 70 (73) infocon.hs3.l4.a1.313.list fp: 9 fn: 59 total: 68 (73) infocon.hs3.l4.a1.314.list fp: 9 fn: 59 total: 68 (73) infocon.hs3.l4.a1.320.list fp: 9 fn: 59 total: 68 (73) infocon.hs3.l4.a1.344.list fp: 9 fn: 59 total: 68 (73) infocon.hs3.l4.a1.350.list fp: 9 fn: 59 total: 68 (73) infocon.hs3.l4.a1.353.list fp: 9 fn: 59 total: 68 (73) infocon.hs3.l4.a1.354.list fp: 4 fn: 59 total: 63 (73) infocon.hs3.l4.a1.355.list fp: 4 fn: 59 total: 63 (73) infocon.hs3.l4.a1.367.list fp: 4 fn: 59 total: 63 (73) infocon.hs3.l4.a1.391.list fp: 4 fn: 59 total: 63 (73) infocon.hs3.l4.a1.394.list fp: 4 fn: 59 total: 63 (73) infocon.hs3.l4.a1.395.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l4.a1.396.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l4.a1.402.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l4.a1.414.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l4.a1.420.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l4.a1.421.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l4.a1.423.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l4.a1.426.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l4.a1.438.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l4.a1.461.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l4.a1.464.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l4.a1.465.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l4.a1.467.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l4.a1.473.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l4.a1.484.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l4.a1.531.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l4.a1.625.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l4.a2.000.list fp: 0 fn: 73 total: 73 (73)