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