infocon.beta.l4.a-10.000.list fp: 145 fn: 1 total: 146 (93) infocon.beta.l4.a-4.000.list fp: 145 fn: 1 total: 146 (93) infocon.beta.l4.a-1.000.list fp: 145 fn: 1 total: 146 (93) infocon.beta.l4.a-0.250.list fp: 145 fn: 1 total: 146 (93) infocon.beta.l4.a0.125.list fp: 145 fn: 1 total: 146 (93) infocon.beta.l4.a0.312.list fp: 145 fn: 1 total: 146 (93) infocon.beta.l4.a0.359.list fp: 145 fn: 1 total: 146 (93) infocon.beta.l4.a0.383.list fp: 145 fn: 1 total: 146 (93) infocon.beta.l4.a0.389.list fp: 145 fn: 1 total: 146 (93) infocon.beta.l4.a0.392.list fp: 145 fn: 1 total: 146 (93) infocon.beta.l4.a0.393.list fp: 145 fn: 1 total: 146 (93) infocon.beta.l4.a0.395.list fp: 145 fn: 3 total: 148 (93) infocon.beta.l4.a0.406.list fp: 145 fn: 3 total: 148 (93) infocon.beta.l4.a0.500.list fp: 145 fn: 3 total: 148 (93) infocon.beta.l4.a0.512.list fp: 145 fn: 3 total: 148 (93) infocon.beta.l4.a0.518.list fp: 145 fn: 3 total: 148 (93) infocon.beta.l4.a0.521.list fp: 145 fn: 3 total: 148 (93) infocon.beta.l4.a0.522.list fp: 145 fn: 3 total: 148 (93) infocon.beta.l4.a0.523.list fp: 145 fn: 4 total: 149 (93) infocon.beta.l4.a0.547.list fp: 145 fn: 4 total: 149 (93) infocon.beta.l4.a0.570.list fp: 145 fn: 4 total: 149 (93) infocon.beta.l4.a0.576.list fp: 145 fn: 4 total: 149 (93) infocon.beta.l4.a0.578.list fp: 145 fn: 4 total: 149 (93) infocon.beta.l4.a0.579.list fp: 144 fn: 4 total: 148 (93) infocon.beta.l4.a0.582.list fp: 144 fn: 4 total: 148 (93) infocon.beta.l4.a0.594.list fp: 144 fn: 4 total: 148 (93) infocon.beta.l4.a0.641.list fp: 144 fn: 4 total: 148 (93) infocon.beta.l4.a0.644.list fp: 144 fn: 4 total: 148 (93) infocon.beta.l4.a0.645.list fp: 144 fn: 4 total: 148 (93) infocon.beta.l4.a0.646.list fp: 142 fn: 4 total: 146 (93) infocon.beta.l4.a0.652.list fp: 142 fn: 4 total: 146 (93) infocon.beta.l4.a0.664.list fp: 142 fn: 4 total: 146 (93) infocon.beta.l4.a0.676.list fp: 142 fn: 4 total: 146 (93) infocon.beta.l4.a0.682.list fp: 142 fn: 4 total: 146 (93) infocon.beta.l4.a0.685.list fp: 142 fn: 4 total: 146 (93) infocon.beta.l4.a0.686.list fp: 142 fn: 4 total: 146 (93) infocon.beta.l4.a0.688.list fp: 136 fn: 4 total: 140 (93) infocon.beta.l4.a0.693.list fp: 136 fn: 4 total: 140 (93) infocon.beta.l4.a0.696.list fp: 136 fn: 4 total: 140 (93) infocon.beta.l4.a0.698.list fp: 136 fn: 4 total: 140 (93) infocon.beta.l4.a0.699.list fp: 131 fn: 4 total: 135 (93) infocon.beta.l4.a0.711.list fp: 131 fn: 4 total: 135 (93) infocon.beta.l4.a0.734.list fp: 131 fn: 4 total: 135 (93) infocon.beta.l4.a0.758.list fp: 131 fn: 4 total: 135 (93) infocon.beta.l4.a0.761.list fp: 131 fn: 4 total: 135 (93) infocon.beta.l4.a0.762.list fp: 127 fn: 4 total: 131 (93) infocon.beta.l4.a0.764.list fp: 127 fn: 4 total: 131 (93) infocon.beta.l4.a0.767.list fp: 127 fn: 4 total: 131 (93) infocon.beta.l4.a0.768.list fp: 121 fn: 4 total: 125 (93) infocon.beta.l4.a0.770.list fp: 121 fn: 4 total: 125 (93) infocon.beta.l4.a0.771.list fp: 121 fn: 4 total: 125 (93) infocon.beta.l4.a0.772.list fp: 120 fn: 4 total: 124 (93) infocon.beta.l4.a0.775.list fp: 120 fn: 4 total: 124 (93) infocon.beta.l4.a0.781.list fp: 120 fn: 4 total: 124 (93) infocon.beta.l4.a0.783.list fp: 120 fn: 4 total: 124 (93) infocon.beta.l4.a0.784.list fp: 112 fn: 4 total: 116 (93) infocon.beta.l4.a0.787.list fp: 112 fn: 4 total: 116 (93) infocon.beta.l4.a0.793.list fp: 112 fn: 4 total: 116 (93) infocon.beta.l4.a0.796.list fp: 112 fn: 4 total: 116 (93) infocon.beta.l4.a0.797.list fp: 111 fn: 4 total: 115 (93) infocon.beta.l4.a0.799.list fp: 111 fn: 4 total: 115 (93) infocon.beta.l4.a0.805.list fp: 111 fn: 4 total: 115 (93) infocon.beta.l4.a0.828.list fp: 111 fn: 4 total: 115 (93) infocon.beta.l4.a0.840.list fp: 111 fn: 4 total: 115 (93) infocon.beta.l4.a0.846.list fp: 111 fn: 4 total: 115 (93) infocon.beta.l4.a0.849.list fp: 111 fn: 4 total: 115 (93) infocon.beta.l4.a0.850.list fp: 109 fn: 6 total: 115 (93) infocon.beta.l4.a0.852.list fp: 109 fn: 6 total: 115 (93) infocon.beta.l4.a0.857.list fp: 109 fn: 6 total: 115 (93) infocon.beta.l4.a0.859.list fp: 109 fn: 6 total: 115 (93) infocon.beta.l4.a0.860.list fp: 104 fn: 6 total: 110 (93) infocon.beta.l4.a0.863.list fp: 104 fn: 6 total: 110 (93) infocon.beta.l4.a0.875.list fp: 104 fn: 6 total: 110 (93) infocon.beta.l4.a0.876.list fp: 104 fn: 6 total: 110 (93) infocon.beta.l4.a0.878.list fp: 100 fn: 6 total: 106 (93) infocon.beta.l4.a0.881.list fp: 100 fn: 6 total: 106 (93) infocon.beta.l4.a0.887.list fp: 100 fn: 6 total: 106 (93) infocon.beta.l4.a0.890.list fp: 100 fn: 6 total: 106 (93) infocon.beta.l4.a0.891.list fp: 100 fn: 6 total: 106 (93) infocon.beta.l4.a0.893.list fp: 94 fn: 11 total: 105 (93) infocon.beta.l4.a0.898.list fp: 94 fn: 11 total: 105 (93) infocon.beta.l4.a0.910.list fp: 94 fn: 11 total: 105 (93) infocon.beta.l4.a0.916.list fp: 94 fn: 11 total: 105 (93) infocon.beta.l4.a0.917.list fp: 94 fn: 11 total: 105 (93) infocon.beta.l4.a0.919.list fp: 90 fn: 11 total: 101 (93) infocon.beta.l4.a0.922.list fp: 90 fn: 11 total: 101 (93) infocon.beta.l4.a0.925.list fp: 90 fn: 11 total: 101 (93) infocon.beta.l4.a0.926.list fp: 90 fn: 11 total: 101 (93) infocon.beta.l4.a0.928.list fp: 86 fn: 11 total: 97 (93) infocon.beta.l4.a0.929.list fp: 84 fn: 11 total: 95 (93) infocon.beta.l4.a0.931.list fp: 82 fn: 13 total: 95 (93) infocon.beta.l4.a0.934.list fp: 82 fn: 13 total: 95 (93) infocon.beta.l4.a0.939.list fp: 82 fn: 13 total: 95 (93) infocon.beta.l4.a0.941.list fp: 79 fn: 13 total: 92 (93) infocon.beta.l4.a0.942.list fp: 79 fn: 13 total: 92 (93) infocon.beta.l4.a0.945.list fp: 79 fn: 13 total: 92 (93) infocon.beta.l4.a0.969.list fp: 79 fn: 13 total: 92 (93) infocon.beta.l4.a0.975.list fp: 79 fn: 13 total: 92 (93) infocon.beta.l4.a0.978.list fp: 79 fn: 13 total: 92 (93) infocon.beta.l4.a0.979.list fp: 79 fn: 13 total: 92 (93) infocon.beta.l4.a0.980.list fp: 75 fn: 13 total: 88 (93) infocon.beta.l4.a0.983.list fp: 75 fn: 13 total: 88 (93) infocon.beta.l4.a0.985.list fp: 75 fn: 13 total: 88 (93) infocon.beta.l4.a0.986.list fp: 70 fn: 13 total: 83 (93) infocon.beta.l4.a0.992.list fp: 70 fn: 13 total: 83 (93) infocon.beta.l4.a0.998.list fp: 70 fn: 13 total: 83 (93) infocon.beta.l4.a1.001.list fp: 70 fn: 13 total: 83 (93) infocon.beta.l4.a1.002.list fp: 70 fn: 13 total: 83 (93) infocon.beta.l4.a1.004.list fp: 67 fn: 14 total: 81 (93) infocon.beta.l4.a1.016.list fp: 67 fn: 14 total: 81 (93) infocon.beta.l4.a1.017.list fp: 64 fn: 14 total: 78 (93) infocon.beta.l4.a1.019.list fp: 63 fn: 14 total: 77 (93) infocon.beta.l4.a1.021.list fp: 63 fn: 14 total: 77 (93) infocon.beta.l4.a1.027.list fp: 63 fn: 14 total: 77 (93) infocon.beta.l4.a1.039.list fp: 63 fn: 14 total: 77 (93) infocon.beta.l4.a1.041.list fp: 57 fn: 16 total: 73 (93) infocon.beta.l4.a1.042.list fp: 57 fn: 16 total: 73 (93) infocon.beta.l4.a1.043.list fp: 57 fn: 16 total: 73 (93) infocon.beta.l4.a1.045.list fp: 53 fn: 17 total: 70 (93) infocon.beta.l4.a1.051.list fp: 53 fn: 17 total: 70 (93) infocon.beta.l4.a1.052.list fp: 53 fn: 17 total: 70 (93) infocon.beta.l4.a1.054.list fp: 46 fn: 17 total: 63 (93) infocon.beta.l4.a1.057.list fp: 46 fn: 17 total: 63 (93) infocon.beta.l4.a1.058.list fp: 45 fn: 20 total: 65 (93) infocon.beta.l4.a1.060.list fp: 40 fn: 20 total: 60 (93) infocon.beta.l4.a1.061.list fp: 40 fn: 20 total: 60 (93) infocon.beta.l4.a1.062.list fp: 35 fn: 20 total: 55 (93) infocon.beta.l4.a1.065.list fp: 35 fn: 20 total: 55 (93) infocon.beta.l4.a1.067.list fp: 35 fn: 20 total: 55 (93) infocon.beta.l4.a1.068.list fp: 31 fn: 21 total: 52 (93) infocon.beta.l4.a1.071.list fp: 31 fn: 21 total: 52 (93) infocon.beta.l4.a1.073.list fp: 31 fn: 21 total: 52 (93) infocon.beta.l4.a1.074.list fp: 31 fn: 21 total: 52 (93) infocon.beta.l4.a1.086.list fp: 31 fn: 21 total: 52 (93) infocon.beta.l4.a1.089.list fp: 31 fn: 21 total: 52 (93) infocon.beta.l4.a1.090.list fp: 31 fn: 21 total: 52 (93) infocon.beta.l4.a1.092.list fp: 31 fn: 26 total: 57 (93) infocon.beta.l4.a1.095.list fp: 31 fn: 26 total: 57 (93) infocon.beta.l4.a1.096.list fp: 31 fn: 26 total: 57 (93) infocon.beta.l4.a1.098.list fp: 30 fn: 29 total: 59 (93) infocon.beta.l4.a1.099.list fp: 30 fn: 29 total: 59 (93) infocon.beta.l4.a1.101.list fp: 24 fn: 30 total: 54 (93) infocon.beta.l4.a1.104.list fp: 24 fn: 30 total: 54 (93) infocon.beta.l4.a1.105.list fp: 23 fn: 32 total: 55 (93) infocon.beta.l4.a1.106.list fp: 23 fn: 32 total: 55 (93) infocon.beta.l4.a1.109.list fp: 23 fn: 32 total: 55 (93) infocon.beta.l4.a1.115.list fp: 23 fn: 32 total: 55 (93) infocon.beta.l4.a1.117.list fp: 19 fn: 32 total: 51 (93) infocon.beta.l4.a1.118.list fp: 19 fn: 32 total: 51 (93) infocon.beta.l4.a1.120.list fp: 17 fn: 37 total: 54 (93) infocon.beta.l4.a1.121.list fp: 17 fn: 37 total: 54 (93) infocon.beta.l4.a1.133.list fp: 17 fn: 37 total: 54 (93) infocon.beta.l4.a1.139.list fp: 17 fn: 37 total: 54 (93) infocon.beta.l4.a1.140.list fp: 13 fn: 38 total: 51 (93) infocon.beta.l4.a1.142.list fp: 13 fn: 38 total: 51 (93) infocon.beta.l4.a1.145.list fp: 13 fn: 38 total: 51 (93) infocon.beta.l4.a1.150.list fp: 13 fn: 38 total: 51 (93) infocon.beta.l4.a1.152.list fp: 13 fn: 42 total: 55 (93) infocon.beta.l4.a1.153.list fp: 9 fn: 42 total: 51 (93) infocon.beta.l4.a1.156.list fp: 9 fn: 42 total: 51 (93) infocon.beta.l4.a1.158.list fp: 6 fn: 48 total: 54 (93) infocon.beta.l4.a1.159.list fp: 6 fn: 48 total: 54 (93) infocon.beta.l4.a1.162.list fp: 6 fn: 48 total: 54 (93) infocon.beta.l4.a1.165.list fp: 6 fn: 48 total: 54 (93) infocon.beta.l4.a1.167.list fp: 6 fn: 48 total: 54 (93) infocon.beta.l4.a1.168.list fp: 6 fn: 52 total: 58 (93) infocon.beta.l4.a1.174.list fp: 6 fn: 52 total: 58 (93) infocon.beta.l4.a1.177.list fp: 6 fn: 52 total: 58 (93) infocon.beta.l4.a1.178.list fp: 6 fn: 52 total: 58 (93) infocon.beta.l4.a1.180.list fp: 6 fn: 57 total: 63 (93) infocon.beta.l4.a1.186.list fp: 6 fn: 57 total: 63 (93) infocon.beta.l4.a1.187.list fp: 6 fn: 61 total: 67 (93) infocon.beta.l4.a1.188.list fp: 6 fn: 61 total: 67 (93) infocon.beta.l4.a1.190.list fp: 6 fn: 61 total: 67 (93) infocon.beta.l4.a1.191.list fp: 4 fn: 70 total: 74 (93) infocon.beta.l4.a1.194.list fp: 4 fn: 70 total: 74 (93) infocon.beta.l4.a1.196.list fp: 4 fn: 72 total: 76 (93) infocon.beta.l4.a1.197.list fp: 4 fn: 72 total: 76 (93) infocon.beta.l4.a1.203.list fp: 4 fn: 72 total: 76 (93) infocon.beta.l4.a1.215.list fp: 4 fn: 72 total: 76 (93) infocon.beta.l4.a1.218.list fp: 4 fn: 72 total: 76 (93) infocon.beta.l4.a1.219.list fp: 4 fn: 76 total: 80 (93) infocon.beta.l4.a1.221.list fp: 4 fn: 76 total: 80 (93) infocon.beta.l4.a1.227.list fp: 4 fn: 76 total: 80 (93) infocon.beta.l4.a1.250.list fp: 4 fn: 76 total: 80 (93) infocon.beta.l4.a1.297.list fp: 4 fn: 76 total: 80 (93) infocon.beta.l4.a1.300.list fp: 4 fn: 76 total: 80 (93) infocon.beta.l4.a1.301.list fp: 4 fn: 79 total: 83 (93) infocon.beta.l4.a1.303.list fp: 4 fn: 79 total: 83 (93) infocon.beta.l4.a1.306.list fp: 4 fn: 79 total: 83 (93) infocon.beta.l4.a1.307.list fp: 4 fn: 83 total: 87 (93) infocon.beta.l4.a1.309.list fp: 4 fn: 83 total: 87 (93) infocon.beta.l4.a1.320.list fp: 4 fn: 83 total: 87 (93) infocon.beta.l4.a1.332.list fp: 4 fn: 83 total: 87 (93) infocon.beta.l4.a1.333.list fp: 4 fn: 85 total: 89 (93) infocon.beta.l4.a1.335.list fp: 4 fn: 85 total: 89 (93) infocon.beta.l4.a1.338.list fp: 4 fn: 85 total: 89 (93) infocon.beta.l4.a1.344.list fp: 4 fn: 85 total: 89 (93) infocon.beta.l4.a1.391.list fp: 4 fn: 85 total: 89 (93) infocon.beta.l4.a1.396.list fp: 4 fn: 85 total: 89 (93) infocon.beta.l4.a1.398.list fp: 0 fn: 85 total: 85 (93) infocon.beta.l4.a1.399.list fp: 0 fn: 85 total: 85 (93) infocon.beta.l4.a1.402.list fp: 0 fn: 85 total: 85 (93) infocon.beta.l4.a1.414.list fp: 0 fn: 85 total: 85 (93) infocon.beta.l4.a1.420.list fp: 0 fn: 85 total: 85 (93) infocon.beta.l4.a1.421.list fp: 0 fn: 93 total: 93 (93) infocon.beta.l4.a1.423.list fp: 0 fn: 93 total: 93 (93) infocon.beta.l4.a1.426.list fp: 0 fn: 93 total: 93 (93) infocon.beta.l4.a1.438.list fp: 0 fn: 93 total: 93 (93) infocon.beta.l4.a1.625.list fp: 0 fn: 93 total: 93 (93) infocon.beta.l4.a2.000.list fp: 0 fn: 93 total: 93 (93)