infocon.hs3.l6.a-10.000.list fp: 166 fn: 13 total: 179 (73) infocon.hs3.l6.a-4.000.list fp: 166 fn: 13 total: 179 (73) infocon.hs3.l6.a-1.000.list fp: 166 fn: 13 total: 179 (73) infocon.hs3.l6.a-0.250.list fp: 166 fn: 13 total: 179 (73) infocon.hs3.l6.a0.125.list fp: 166 fn: 13 total: 179 (73) infocon.hs3.l6.a0.126.list fp: 165 fn: 13 total: 178 (73) infocon.hs3.l6.a0.128.list fp: 165 fn: 13 total: 178 (73) infocon.hs3.l6.a0.131.list fp: 165 fn: 13 total: 178 (73) infocon.hs3.l6.a0.137.list fp: 165 fn: 13 total: 178 (73) infocon.hs3.l6.a0.148.list fp: 165 fn: 13 total: 178 (73) infocon.hs3.l6.a0.172.list fp: 165 fn: 13 total: 178 (73) infocon.hs3.l6.a0.219.list fp: 165 fn: 13 total: 178 (73) infocon.hs3.l6.a0.220.list fp: 164 fn: 13 total: 177 (73) infocon.hs3.l6.a0.222.list fp: 164 fn: 13 total: 177 (73) infocon.hs3.l6.a0.225.list fp: 164 fn: 13 total: 177 (73) infocon.hs3.l6.a0.230.list fp: 164 fn: 13 total: 177 (73) infocon.hs3.l6.a0.242.list fp: 164 fn: 13 total: 177 (73) infocon.hs3.l6.a0.266.list fp: 164 fn: 13 total: 177 (73) infocon.hs3.l6.a0.312.list fp: 164 fn: 13 total: 177 (73) infocon.hs3.l6.a0.406.list fp: 164 fn: 13 total: 177 (73) infocon.hs3.l6.a0.453.list fp: 164 fn: 13 total: 177 (73) infocon.hs3.l6.a0.477.list fp: 164 fn: 13 total: 177 (73) infocon.hs3.l6.a0.482.list fp: 164 fn: 13 total: 177 (73) infocon.hs3.l6.a0.485.list fp: 164 fn: 13 total: 177 (73) infocon.hs3.l6.a0.487.list fp: 163 fn: 13 total: 176 (73) infocon.hs3.l6.a0.488.list fp: 163 fn: 13 total: 176 (73) infocon.hs3.l6.a0.500.list fp: 163 fn: 13 total: 176 (73) infocon.hs3.l6.a0.594.list fp: 163 fn: 13 total: 176 (73) infocon.hs3.l6.a0.600.list fp: 163 fn: 13 total: 176 (73) infocon.hs3.l6.a0.601.list fp: 163 fn: 13 total: 176 (73) infocon.hs3.l6.a0.603.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l6.a0.605.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l6.a0.617.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l6.a0.641.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l6.a0.664.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l6.a0.676.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l6.a0.679.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l6.a0.680.list fp: 162 fn: 14 total: 176 (73) infocon.hs3.l6.a0.682.list fp: 160 fn: 14 total: 174 (73) infocon.hs3.l6.a0.688.list fp: 160 fn: 14 total: 174 (73) infocon.hs3.l6.a0.693.list fp: 160 fn: 14 total: 174 (73) infocon.hs3.l6.a0.695.list fp: 152 fn: 14 total: 166 (73) infocon.hs3.l6.a0.696.list fp: 150 fn: 14 total: 164 (73) infocon.hs3.l6.a0.699.list fp: 150 fn: 14 total: 164 (73) infocon.hs3.l6.a0.711.list fp: 150 fn: 14 total: 164 (73) infocon.hs3.l6.a0.734.list fp: 150 fn: 14 total: 164 (73) infocon.hs3.l6.a0.736.list fp: 150 fn: 14 total: 164 (73) infocon.hs3.l6.a0.737.list fp: 150 fn: 14 total: 164 (73) infocon.hs3.l6.a0.740.list fp: 150 fn: 14 total: 164 (73) infocon.hs3.l6.a0.746.list fp: 150 fn: 14 total: 164 (73) infocon.hs3.l6.a0.758.list fp: 150 fn: 14 total: 164 (73) infocon.hs3.l6.a0.761.list fp: 150 fn: 14 total: 164 (73) infocon.hs3.l6.a0.762.list fp: 149 fn: 14 total: 163 (73) infocon.hs3.l6.a0.764.list fp: 149 fn: 14 total: 163 (73) infocon.hs3.l6.a0.770.list fp: 149 fn: 14 total: 163 (73) infocon.hs3.l6.a0.771.list fp: 149 fn: 14 total: 163 (73) infocon.hs3.l6.a0.772.list fp: 148 fn: 14 total: 162 (73) infocon.hs3.l6.a0.774.list fp: 140 fn: 14 total: 154 (73) infocon.hs3.l6.a0.775.list fp: 140 fn: 14 total: 154 (73) infocon.hs3.l6.a0.781.list fp: 140 fn: 14 total: 154 (73) infocon.hs3.l6.a0.793.list fp: 140 fn: 14 total: 154 (73) infocon.hs3.l6.a0.796.list fp: 140 fn: 14 total: 154 (73) infocon.hs3.l6.a0.797.list fp: 137 fn: 14 total: 151 (73) infocon.hs3.l6.a0.799.list fp: 137 fn: 14 total: 151 (73) infocon.hs3.l6.a0.805.list fp: 137 fn: 14 total: 151 (73) infocon.hs3.l6.a0.828.list fp: 137 fn: 14 total: 151 (73) infocon.hs3.l6.a0.830.list fp: 137 fn: 14 total: 151 (73) infocon.hs3.l6.a0.831.list fp: 135 fn: 14 total: 149 (73) infocon.hs3.l6.a0.833.list fp: 135 fn: 14 total: 149 (73) infocon.hs3.l6.a0.834.list fp: 132 fn: 14 total: 146 (73) infocon.hs3.l6.a0.840.list fp: 132 fn: 14 total: 146 (73) infocon.hs3.l6.a0.846.list fp: 132 fn: 14 total: 146 (73) infocon.hs3.l6.a0.847.list fp: 123 fn: 14 total: 137 (73) infocon.hs3.l6.a0.849.list fp: 114 fn: 14 total: 128 (73) infocon.hs3.l6.a0.850.list fp: 114 fn: 14 total: 128 (73) infocon.hs3.l6.a0.852.list fp: 111 fn: 14 total: 125 (73) infocon.hs3.l6.a0.853.list fp: 111 fn: 14 total: 125 (73) infocon.hs3.l6.a0.854.list fp: 110 fn: 17 total: 127 (73) infocon.hs3.l6.a0.857.list fp: 110 fn: 17 total: 127 (73) infocon.hs3.l6.a0.860.list fp: 110 fn: 17 total: 127 (73) infocon.hs3.l6.a0.862.list fp: 110 fn: 17 total: 127 (73) infocon.hs3.l6.a0.863.list fp: 106 fn: 17 total: 123 (73) infocon.hs3.l6.a0.869.list fp: 106 fn: 17 total: 123 (73) infocon.hs3.l6.a0.871.list fp: 93 fn: 17 total: 110 (73) infocon.hs3.l6.a0.872.list fp: 93 fn: 17 total: 110 (73) infocon.hs3.l6.a0.875.list fp: 93 fn: 17 total: 110 (73) infocon.hs3.l6.a0.887.list fp: 93 fn: 17 total: 110 (73) infocon.hs3.l6.a0.893.list fp: 93 fn: 17 total: 110 (73) infocon.hs3.l6.a0.894.list fp: 93 fn: 17 total: 110 (73) infocon.hs3.l6.a0.896.list fp: 91 fn: 17 total: 108 (73) infocon.hs3.l6.a0.898.list fp: 91 fn: 17 total: 108 (73) infocon.hs3.l6.a0.910.list fp: 91 fn: 17 total: 108 (73) infocon.hs3.l6.a0.916.list fp: 91 fn: 17 total: 108 (73) infocon.hs3.l6.a0.917.list fp: 91 fn: 17 total: 108 (73) infocon.hs3.l6.a0.919.list fp: 88 fn: 17 total: 105 (73) infocon.hs3.l6.a0.922.list fp: 88 fn: 17 total: 105 (73) infocon.hs3.l6.a0.925.list fp: 88 fn: 17 total: 105 (73) infocon.hs3.l6.a0.926.list fp: 81 fn: 25 total: 106 (73) infocon.hs3.l6.a0.928.list fp: 81 fn: 25 total: 106 (73) infocon.hs3.l6.a0.929.list fp: 81 fn: 25 total: 106 (73) infocon.hs3.l6.a0.931.list fp: 71 fn: 25 total: 96 (73) infocon.hs3.l6.a0.932.list fp: 71 fn: 25 total: 96 (73) infocon.hs3.l6.a0.934.list fp: 63 fn: 26 total: 89 (73) infocon.hs3.l6.a0.935.list fp: 63 fn: 26 total: 89 (73) infocon.hs3.l6.a0.937.list fp: 62 fn: 29 total: 91 (73) infocon.hs3.l6.a0.939.list fp: 62 fn: 29 total: 91 (73) infocon.hs3.l6.a0.945.list fp: 62 fn: 29 total: 91 (73) infocon.hs3.l6.a0.948.list fp: 62 fn: 29 total: 91 (73) infocon.hs3.l6.a0.950.list fp: 58 fn: 29 total: 87 (73) infocon.hs3.l6.a0.951.list fp: 58 fn: 29 total: 87 (73) infocon.hs3.l6.a0.957.list fp: 58 fn: 29 total: 87 (73) infocon.hs3.l6.a0.969.list fp: 58 fn: 29 total: 87 (73) infocon.hs3.l6.a0.992.list fp: 58 fn: 29 total: 87 (73) infocon.hs3.l6.a0.995.list fp: 58 fn: 29 total: 87 (73) infocon.hs3.l6.a0.997.list fp: 55 fn: 29 total: 84 (73) infocon.hs3.l6.a0.998.list fp: 55 fn: 29 total: 84 (73) infocon.hs3.l6.a1.004.list fp: 55 fn: 29 total: 84 (73) infocon.hs3.l6.a1.007.list fp: 55 fn: 29 total: 84 (73) infocon.hs3.l6.a1.008.list fp: 55 fn: 29 total: 84 (73) infocon.hs3.l6.a1.010.list fp: 50 fn: 29 total: 79 (73) infocon.hs3.l6.a1.011.list fp: 50 fn: 29 total: 79 (73) infocon.hs3.l6.a1.013.list fp: 41 fn: 30 total: 71 (73) infocon.hs3.l6.a1.016.list fp: 41 fn: 30 total: 71 (73) infocon.hs3.l6.a1.017.list fp: 39 fn: 30 total: 69 (73) infocon.hs3.l6.a1.019.list fp: 38 fn: 30 total: 68 (73) infocon.hs3.l6.a1.020.list fp: 38 fn: 30 total: 68 (73) infocon.hs3.l6.a1.021.list fp: 30 fn: 30 total: 60 (73) infocon.hs3.l6.a1.023.list fp: 24 fn: 30 total: 54 (73) infocon.hs3.l6.a1.024.list fp: 24 fn: 30 total: 54 (73) infocon.hs3.l6.a1.027.list fp: 24 fn: 30 total: 54 (73) infocon.hs3.l6.a1.039.list fp: 24 fn: 30 total: 54 (73) infocon.hs3.l6.a1.062.list fp: 24 fn: 30 total: 54 (73) infocon.hs3.l6.a1.109.list fp: 24 fn: 30 total: 54 (73) infocon.hs3.l6.a1.133.list fp: 24 fn: 30 total: 54 (73) infocon.hs3.l6.a1.145.list fp: 24 fn: 30 total: 54 (73) infocon.hs3.l6.a1.146.list fp: 21 fn: 30 total: 51 (73) infocon.hs3.l6.a1.147.list fp: 21 fn: 30 total: 51 (73) infocon.hs3.l6.a1.150.list fp: 21 fn: 30 total: 51 (73) infocon.hs3.l6.a1.156.list fp: 21 fn: 30 total: 51 (73) infocon.hs3.l6.a1.168.list fp: 21 fn: 30 total: 51 (73) infocon.hs3.l6.a1.171.list fp: 21 fn: 30 total: 51 (73) infocon.hs3.l6.a1.172.list fp: 21 fn: 30 total: 51 (73) infocon.hs3.l6.a1.174.list fp: 20 fn: 31 total: 51 (73) infocon.hs3.l6.a1.180.list fp: 20 fn: 31 total: 51 (73) infocon.hs3.l6.a1.186.list fp: 20 fn: 31 total: 51 (73) infocon.hs3.l6.a1.188.list fp: 20 fn: 31 total: 51 (73) infocon.hs3.l6.a1.190.list fp: 20 fn: 31 total: 51 (73) infocon.hs3.l6.a1.191.list fp: 18 fn: 37 total: 55 (73) infocon.hs3.l6.a1.194.list fp: 18 fn: 37 total: 55 (73) infocon.hs3.l6.a1.196.list fp: 18 fn: 39 total: 57 (73) infocon.hs3.l6.a1.197.list fp: 12 fn: 39 total: 51 (73) infocon.hs3.l6.a1.199.list fp: 11 fn: 43 total: 54 (73) infocon.hs3.l6.a1.200.list fp: 11 fn: 43 total: 54 (73) infocon.hs3.l6.a1.203.list fp: 11 fn: 43 total: 54 (73) infocon.hs3.l6.a1.209.list fp: 11 fn: 43 total: 54 (73) infocon.hs3.l6.a1.210.list fp: 11 fn: 43 total: 54 (73) infocon.hs3.l6.a1.212.list fp: 6 fn: 51 total: 57 (73) infocon.hs3.l6.a1.215.list fp: 6 fn: 51 total: 57 (73) infocon.hs3.l6.a1.227.list fp: 6 fn: 51 total: 57 (73) infocon.hs3.l6.a1.250.list fp: 6 fn: 51 total: 57 (73) infocon.hs3.l6.a1.273.list fp: 6 fn: 51 total: 57 (73) infocon.hs3.l6.a1.279.list fp: 6 fn: 51 total: 57 (73) infocon.hs3.l6.a1.282.list fp: 6 fn: 51 total: 57 (73) infocon.hs3.l6.a1.284.list fp: 6 fn: 51 total: 57 (73) infocon.hs3.l6.a1.285.list fp: 4 fn: 53 total: 57 (73) infocon.hs3.l6.a1.291.list fp: 4 fn: 53 total: 57 (73) infocon.hs3.l6.a1.294.list fp: 4 fn: 53 total: 57 (73) infocon.hs3.l6.a1.295.list fp: 4 fn: 57 total: 61 (73) infocon.hs3.l6.a1.297.list fp: 4 fn: 57 total: 61 (73) infocon.hs3.l6.a1.309.list fp: 4 fn: 57 total: 61 (73) infocon.hs3.l6.a1.312.list fp: 4 fn: 57 total: 61 (73) infocon.hs3.l6.a1.313.list fp: 0 fn: 59 total: 59 (73) infocon.hs3.l6.a1.314.list fp: 0 fn: 59 total: 59 (73) infocon.hs3.l6.a1.320.list fp: 0 fn: 59 total: 59 (73) infocon.hs3.l6.a1.344.list fp: 0 fn: 59 total: 59 (73) infocon.hs3.l6.a1.391.list fp: 0 fn: 59 total: 59 (73) infocon.hs3.l6.a1.394.list fp: 0 fn: 59 total: 59 (73) infocon.hs3.l6.a1.395.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l6.a1.396.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l6.a1.402.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l6.a1.414.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l6.a1.420.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l6.a1.421.list fp: 0 fn: 61 total: 61 (73) infocon.hs3.l6.a1.423.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l6.a1.426.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l6.a1.438.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l6.a1.461.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l6.a1.464.list fp: 0 fn: 67 total: 67 (73) infocon.hs3.l6.a1.465.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l6.a1.467.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l6.a1.473.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l6.a1.484.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l6.a1.531.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l6.a1.625.list fp: 0 fn: 73 total: 73 (73) infocon.hs3.l6.a2.000.list fp: 0 fn: 73 total: 73 (73)