feat(optimizer): improve p_error precision

internally use p_error instead of p_success
This commit is contained in:
Mayeul@Zama
2022-09-21 16:10:07 +02:00
committed by mayeul-zama
parent 06c8bdfce0
commit 3c1c0ca951
17 changed files with 2547 additions and 57 deletions

View File

@@ -4,17 +4,11 @@ use crate::utils::square;
pub fn sigma_scale_of_error_probability(p_error: f64) -> f64 {
// https://en.wikipedia.org/wiki/Error_function#Applications
let p_in = 1.0 - p_error;
statrs::function::erf::erf_inv(p_in) * 2_f64.sqrt()
}
pub fn success_probability_of_sigma_scale(sigma_scale: f64) -> f64 {
// https://en.wikipedia.org/wiki/Error_function#Applications
statrs::function::erf::erf(sigma_scale / 2_f64.sqrt())
statrs::function::erf::erfc_inv(p_error) * 2_f64.sqrt()
}
pub fn error_probability_of_sigma_scale(sigma_scale: f64) -> f64 {
1.0 - success_probability_of_sigma_scale(sigma_scale)
statrs::function::erf::erfc(sigma_scale / 2_f64.sqrt())
}
const LEFT_PADDING_BITS: u64 = 1;

View File

@@ -1,2 +1,3 @@
pub mod error;
pub mod operators;
pub mod p_error;

View File

@@ -0,0 +1,14 @@
pub fn combine_errors(p_error1: f64, p_error2: f64) -> f64 {
// (1 - p_error) = (1 - p_error1) * (1 - p_error2)
p_error1 + p_error2 - p_error1 * p_error2
}
pub fn repeat_p_error(p_error: f64, count: u64) -> f64 {
let mut global_p_error = 0.0;
for _ in 0..count {
global_p_error = combine_errors(global_p_error, p_error);
}
global_p_error
}

View File

@@ -4,13 +4,13 @@ use crate::dag::operator::{
};
use crate::dag::unparametrized;
use crate::noise_estimator::error;
use crate::noise_estimator::p_error::{combine_errors, repeat_p_error};
use crate::optimization::config::NoiseBoundConfig;
use crate::utils::square;
use std::collections::{HashMap, HashSet};
// private short convention
use DotKind as DK;
use VarianceOrigin as VO;
use {DotKind as DK, VarianceOrigin as VO};
type Op = unparametrized::UnparameterizedOperator;
fn first<'a, Property>(inputs: &[OperatorIndex], properties: &'a [Property]) -> &'a Property {
@@ -555,12 +555,12 @@ fn peak_relative_variance(
(max_relative_var, safe_noise)
}
fn p_success_from_relative_variance(relative_variance: f64, kappa: f64) -> f64 {
fn p_error_from_relative_variance(relative_variance: f64, kappa: f64) -> f64 {
let sigma_scale = kappa / relative_variance.sqrt();
error::success_probability_of_sigma_scale(sigma_scale)
error::error_probability_of_sigma_scale(sigma_scale)
}
fn p_success_per_constraint(
fn p_error_per_constraint(
constraint: &VariancesAndBound,
input_noise_out: f64,
blind_rotate_noise_out: f64,
@@ -569,13 +569,14 @@ fn p_success_per_constraint(
kappa: f64,
) -> f64 {
// Note: no log probability to keep accuracy near 0, 0 is a fine answer when p_success is very small.
let mut p_success = 1.0;
let mut p_error = 0.0;
for &(count, vf) in &constraint.all_output {
assert!(0 < count);
let variance = vf.eval(input_noise_out, blind_rotate_noise_out);
let relative_variance = variance / constraint.safe_variance_bound;
let vf_p_success = p_success_from_relative_variance(relative_variance, kappa);
p_success *= vf_p_success.powi(count as i32);
let vf_p_error = p_error_from_relative_variance(relative_variance, kappa);
p_error = combine_errors(p_error, repeat_p_error(vf_p_error, count));
}
// the maximal variance encountered during a lut computation
for &(count, vf) in &constraint.all_in_lut {
@@ -583,10 +584,11 @@ fn p_success_per_constraint(
let variance = vf.eval(input_noise_out, blind_rotate_noise_out);
let relative_variance =
(variance + noise_keyswitch + noise_modulus_switching) / constraint.safe_variance_bound;
let vf_p_success = p_success_from_relative_variance(relative_variance, kappa);
p_success *= vf_p_success.powi(count as i32);
let vf_p_error = p_error_from_relative_variance(relative_variance, kappa);
p_error = combine_errors(p_error, repeat_p_error(vf_p_error, count));
}
p_success
p_error
}
impl OperationDag {
@@ -606,7 +608,7 @@ impl OperationDag {
noise_modulus_switching,
);
(
1.0 - p_success_from_relative_variance(relative_var, kappa),
p_error_from_relative_variance(relative_var, kappa),
relative_var * variance_bound,
)
}
@@ -618,9 +620,9 @@ impl OperationDag {
noise_modulus_switching: f64,
kappa: f64,
) -> f64 {
let mut p_success = 1.0;
let mut p_error = 0.0;
for ns in &self.constraints_by_precisions {
p_success *= p_success_per_constraint(
let p_error_c = p_error_per_constraint(
ns,
input_noise_out,
blind_rotate_noise_out,
@@ -628,9 +630,11 @@ impl OperationDag {
noise_modulus_switching,
kappa,
);
p_error = combine_errors(p_error, p_error_c);
}
assert!(0.0 <= p_success && p_success <= 1.0);
1.0 - p_success
assert!(0.0 <= p_error && p_error <= 1.0);
p_error
}
pub fn feasible(

View File

@@ -363,13 +363,14 @@ mod tests {
use super::*;
use crate::computing_cost::cpu::CpuComplexity;
use crate::dag::operator::{FunctionTable, Shape, Weights};
use crate::noise_estimator::p_error::repeat_p_error;
use crate::optimization::atomic_pattern;
use crate::optimization::config::SearchSpace;
use crate::optimization::dag::solo_key::symbolic_variance::VarianceOrigin;
use crate::utils::square;
fn small_relative_diff(v1: f64, v2: f64) -> bool {
f64::abs(v1 - v2) / f64::max(v1, v2) <= f64::EPSILON
f64::abs(v1 - v2) / f64::max(v1, v2) <= 0.000_000_1
}
impl Solution {
@@ -700,12 +701,11 @@ mod tests {
if local_p_error == 0f64 {
return 0.0;
}
let local_p_success = 1.0 - local_p_error;
assert!(local_p_success < 1.0);
let p_success = local_p_success.powi(nb_pbs as i32);
assert!(p_success < 1.0);
assert!(0.0 < p_success);
1.0 - p_success
assert!(local_p_error <= 1.0);
assert!(0.0 <= local_p_error);
repeat_p_error(local_p_error, nb_pbs)
}
#[test]

View File

@@ -1,5 +1,6 @@
use crate::dag::operator::{Operator, Precision};
use crate::dag::unparametrized::{OperationDag, UnparameterizedOperator};
use crate::noise_estimator::p_error::repeat_p_error;
use crate::optimization::atomic_pattern::Solution as WpSolution;
use crate::optimization::config::{Config, SearchSpace};
use crate::optimization::dag::solo_key::{analyze, optimize};
@@ -34,7 +35,8 @@ fn max_precision(dag: &OperationDag) -> Precision {
}
fn updated_global_p_error(nb_luts: u64, sol: WopSolution) -> WopSolution {
let global_p_error = 1.0 - (1.0 - sol.p_error).powi(nb_luts as i32);
let global_p_error = repeat_p_error(sol.p_error, nb_luts);
WopSolution {
global_p_error,
..sol

View File

@@ -0,0 +1,275 @@
{ /* Security level: 112 */
{ /* 6.3e-5 errors */
{ /* precision 1 */
/* 0 */ V0Parameter( 1, 10, 512, 1, 13, 3, 3), // 31 mops, 6.7e-7 errors
/* 1 */ V0Parameter( 1, 10, 521, 1, 13, 12, 1), // 40 mops, 6.3e-5 errors
/* 2 */ V0Parameter( 1, 10, 512, 2, 9, 3, 3), // 44 mops, 1.1e-9 errors
/* 3 */ V0Parameter( 1, 10, 512, 2, 9, 3, 3), // 44 mops, 3.8e-9 errors
/* 4 */ V0Parameter( 1, 10, 512, 2, 9, 3, 3), // 44 mops, 1.7e-7 errors
/* 5 */ V0Parameter( 1, 10, 524, 2, 9, 3, 3), // 44 mops, 6.2e-5 errors
/* 6 */ V0Parameter( 2, 10, 512, 1, 23, 3, 3), // 51 mops, 1.2e-5 errors
/* 7 */ V0Parameter( 2, 10, 512, 1, 23, 3, 3), // 51 mops, 1.3e-5 errors
/* 8 */ V0Parameter( 2, 10, 512, 1, 23, 3, 3), // 51 mops, 1.7e-5 errors
/* 9 */ V0Parameter( 2, 10, 512, 1, 23, 3, 3), // 51 mops, 4.6e-5 errors
/* 10 */ V0Parameter( 2, 10, 521, 1, 23, 4, 3), // 54 mops, 6.2e-5 errors
/* 11 */ V0Parameter( 2, 10, 512, 2, 16, 3, 3), // 72 mops, 1.2e-5 errors
/* 12 */ V0Parameter( 2, 10, 512, 2, 16, 3, 3), // 72 mops, 1.2e-5 errors
/* 13 */ V0Parameter( 2, 10, 512, 2, 16, 3, 3), // 72 mops, 1.2e-5 errors
/* 14 */ V0Parameter( 2, 10, 512, 2, 16, 3, 3), // 72 mops, 1.3e-5 errors
/* 15 */ V0Parameter( 2, 10, 512, 2, 16, 3, 3), // 72 mops, 1.6e-5 errors
/* 16 */ V0Parameter( 2, 10, 512, 2, 16, 3, 3), // 72 mops, 3.5e-5 errors
/* 17 */ V0Parameter( 2, 10, 529, 2, 16, 3, 3), // 74 mops, 6.0e-5 errors
/* 18 */ V0Parameter( 2, 10, 512, 3, 12, 3, 3), // 93 mops, 1.3e-5 errors
/* 19 */ V0Parameter( 2, 10, 512, 3, 12, 3, 3), // 93 mops, 1.8e-5 errors
/* 20 */ V0Parameter( 2, 10, 512, 3, 12, 3, 3), // 93 mops, 5.3e-5 errors
/* 21 */ V0Parameter( 2, 10, 512, 3, 12, 5, 2), // 97 mops, 2.4e-5 errors
/* 22 */ V0Parameter( 2, 10, 512, 4, 9, 3, 3), // 114 mops, 4.6e-5 errors
/* 23 */ V0Parameter( 2, 10, 521, 4, 9, 4, 3), // 118 mops, 6.2e-5 errors
/* 24 */ V0Parameter( 2, 10, 517, 5, 8, 3, 3), // 136 mops, 5.5e-5 errors
/* 25 */ V0Parameter( 2, 10, 512, 6, 7, 4, 3), // 158 mops, 4.2e-5 errors
/* 26 */ V0Parameter( 2, 10, 513, 7, 6, 4, 3), // 179 mops, 5.3e-5 errors
/* 27 */ V0Parameter( 2, 10, 516, 8, 5, 5, 2), // 204 mops, 6.0e-5 errors
/* 28 */ V0Parameter( 2, 10, 512, 11, 4, 5, 2), // 265 mops, 1.2e-5 errors
/* 29 */ V0Parameter( 2, 10, 512, 15, 3, 6, 2), // 351 mops, 5.8e-5 errors
/* 30 */ V0Parameter( 2, 10, 512, 44, 1, 5, 2), // 958 mops, 2.8e-5 errors
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 2 */
/* 0 */ V0Parameter( 1, 10, 520, 2, 9, 4, 3), // 45 mops, 5.6e-5 errors
/* 1 */ V0Parameter( 1, 10, 520, 2, 9, 4, 3), // 45 mops, 6.0e-5 errors
/* 2 */ V0Parameter( 1, 10, 521, 2, 9, 4, 3), // 45 mops, 5.6e-5 errors
/* 3 */ V0Parameter( 1, 10, 512, 2, 9, 5, 2), // 46 mops, 8.0e-6 errors
/* 4 */ V0Parameter( 1, 10, 552, 2, 9, 4, 3), // 48 mops, 6.2e-5 errors
/* 5 */ V0Parameter( 2, 10, 537, 1, 23, 4, 3), // 55 mops, 5.8e-5 errors
/* 6 */ V0Parameter( 2, 10, 537, 1, 23, 4, 3), // 55 mops, 6.1e-5 errors
/* 7 */ V0Parameter( 2, 10, 538, 1, 23, 4, 3), // 55 mops, 5.5e-5 errors
/* 8 */ V0Parameter( 2, 10, 541, 1, 23, 4, 3), // 56 mops, 5.4e-5 errors
/* 9 */ V0Parameter( 2, 10, 559, 1, 23, 4, 3), // 57 mops, 6.1e-5 errors
/* 10 */ V0Parameter( 2, 10, 521, 2, 16, 5, 2), // 77 mops, 5.2e-5 errors
/* 11 */ V0Parameter( 2, 10, 521, 2, 16, 5, 2), // 77 mops, 5.2e-5 errors
/* 12 */ V0Parameter( 2, 10, 521, 2, 16, 5, 2), // 77 mops, 5.3e-5 errors
/* 13 */ V0Parameter( 2, 10, 521, 2, 16, 5, 2), // 77 mops, 5.5e-5 errors
/* 14 */ V0Parameter( 2, 10, 522, 2, 16, 5, 2), // 77 mops, 5.2e-5 errors
/* 15 */ V0Parameter( 2, 10, 540, 2, 16, 4, 3), // 78 mops, 5.5e-5 errors
/* 16 */ V0Parameter( 2, 10, 552, 2, 16, 4, 3), // 79 mops, 5.3e-5 errors
/* 17 */ V0Parameter( 2, 10, 521, 3, 12, 5, 2), // 99 mops, 5.6e-5 errors
/* 18 */ V0Parameter( 2, 10, 522, 3, 12, 5, 2), // 99 mops, 5.8e-5 errors
/* 19 */ V0Parameter( 2, 10, 527, 3, 12, 5, 2), // 100 mops, 5.9e-5 errors
/* 20 */ V0Parameter( 2, 10, 564, 3, 12, 4, 3), // 104 mops, 6.2e-5 errors
/* 21 */ V0Parameter( 2, 10, 526, 4, 9, 5, 2), // 121 mops, 6.1e-5 errors
/* 22 */ V0Parameter( 2, 10, 536, 4, 9, 6, 2), // 125 mops, 5.9e-5 errors
/* 23 */ V0Parameter( 2, 10, 523, 5, 8, 6, 2), // 144 mops, 5.1e-5 errors
/* 24 */ V0Parameter( 2, 10, 524, 6, 7, 6, 2), // 166 mops, 5.9e-5 errors
/* 25 */ V0Parameter( 2, 10, 526, 7, 6, 6, 2), // 188 mops, 6.0e-5 errors
/* 26 */ V0Parameter( 2, 10, 555, 8, 5, 6, 2), // 221 mops, 6.1e-5 errors
/* 27 */ V0Parameter( 2, 10, 536, 11, 4, 6, 2), // 279 mops, 5.9e-5 errors
/* 28 */ V0Parameter( 2, 10, 555, 15, 3, 6, 2), // 380 mops, 6.1e-5 errors
/* 29 */ V0Parameter( 2, 10, 531, 44, 1, 12, 1), // 1008 mops, 6.0e-5 errors
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 3 */
/* 0 */ V0Parameter( 1, 10, 557, 2, 9, 4, 3), // 48 mops, 5.1e-5 errors
/* 1 */ V0Parameter( 1, 10, 558, 2, 9, 4, 3), // 48 mops, 5.1e-5 errors
/* 2 */ V0Parameter( 1, 10, 562, 2, 9, 4, 3), // 49 mops, 5.8e-5 errors
/* 3 */ V0Parameter( 1, 10, 585, 2, 9, 6, 2), // 53 mops, 6.2e-5 errors
/* 4 */ V0Parameter( 2, 10, 601, 1, 23, 3, 4), // 59 mops, 5.4e-5 errors
/* 5 */ V0Parameter( 2, 10, 601, 1, 23, 3, 4), // 59 mops, 5.7e-5 errors
/* 6 */ V0Parameter( 2, 10, 602, 1, 23, 3, 4), // 59 mops, 5.6e-5 errors
/* 7 */ V0Parameter( 2, 10, 579, 1, 23, 4, 3), // 59 mops, 6.2e-5 errors
/* 8 */ V0Parameter( 2, 10, 609, 1, 23, 4, 3), // 62 mops, 6.2e-5 errors
/* 9 */ V0Parameter( 2, 10, 575, 2, 16, 4, 3), // 82 mops, 4.9e-5 errors
/* 10 */ V0Parameter( 2, 10, 575, 2, 16, 4, 3), // 82 mops, 4.9e-5 errors
/* 11 */ V0Parameter( 2, 10, 575, 2, 16, 4, 3), // 82 mops, 4.9e-5 errors
/* 12 */ V0Parameter( 2, 10, 575, 2, 16, 4, 3), // 82 mops, 5.2e-5 errors
/* 13 */ V0Parameter( 2, 10, 575, 2, 16, 4, 3), // 82 mops, 6.2e-5 errors
/* 14 */ V0Parameter( 2, 10, 578, 2, 16, 4, 3), // 83 mops, 5.8e-5 errors
/* 15 */ V0Parameter( 2, 10, 595, 2, 16, 4, 3), // 85 mops, 5.7e-5 errors
/* 16 */ V0Parameter( 2, 10, 575, 3, 12, 4, 3), // 106 mops, 5.3e-5 errors
/* 17 */ V0Parameter( 2, 10, 576, 3, 12, 4, 3), // 106 mops, 5.3e-5 errors
/* 18 */ V0Parameter( 2, 10, 580, 3, 12, 4, 3), // 107 mops, 5.7e-5 errors
/* 19 */ V0Parameter( 2, 10, 596, 3, 12, 6, 2), // 114 mops, 6.1e-5 errors
/* 20 */ V0Parameter( 2, 10, 557, 4, 9, 6, 2), // 130 mops, 6.1e-5 errors
/* 21 */ V0Parameter( 2, 10, 584, 4, 9, 6, 2), // 136 mops, 6.2e-5 errors
/* 22 */ V0Parameter( 2, 10, 562, 5, 8, 6, 2), // 154 mops, 5.9e-5 errors
/* 23 */ V0Parameter( 2, 10, 564, 6, 7, 6, 2), // 178 mops, 6.1e-5 errors
/* 24 */ V0Parameter( 2, 10, 567, 7, 6, 6, 2), // 202 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 2, 10, 574, 9, 5, 6, 2), // 251 mops, 5.7e-5 errors
/* 26 */ V0Parameter( 2, 10, 584, 11, 4, 6, 2), // 304 mops, 6.2e-5 errors
/* 27 */ V0Parameter( 2, 10, 564, 22, 2, 6, 2), // 548 mops, 5.9e-5 errors
/* 28 */ V0Parameter( 2, 10, 578, 44, 1, 13, 1), // 1099 mops, 6.2e-5 errors
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 4 */
/* 0 */ V0Parameter( 1, 10, 610, 2, 9, 4, 3), // 52 mops, 5.8e-5 errors
/* 1 */ V0Parameter( 1, 10, 623, 2, 9, 4, 3), // 53 mops, 6.0e-5 errors
/* 2 */ V0Parameter( 2, 10, 665, 1, 23, 3, 4), // 64 mops, 6.2e-5 errors
/* 3 */ V0Parameter( 2, 10, 665, 1, 23, 3, 4), // 64 mops, 6.3e-5 errors
/* 4 */ V0Parameter( 2, 10, 666, 1, 23, 3, 4), // 64 mops, 6.3e-5 errors
/* 5 */ V0Parameter( 2, 10, 671, 1, 23, 3, 4), // 65 mops, 6.0e-5 errors
/* 6 */ V0Parameter( 2, 10, 687, 1, 23, 3, 5), // 66 mops, 6.2e-5 errors
/* 7 */ V0Parameter( 1, 11, 652, 1, 23, 5, 3), // 86 mops, 6.3e-5 errors
/* 8 */ V0Parameter( 2, 10, 637, 2, 16, 4, 3), // 90 mops, 6.2e-5 errors
/* 9 */ V0Parameter( 2, 10, 637, 2, 16, 4, 3), // 90 mops, 6.2e-5 errors
/* 10 */ V0Parameter( 2, 10, 637, 2, 16, 4, 3), // 90 mops, 6.3e-5 errors
/* 11 */ V0Parameter( 2, 10, 638, 2, 16, 4, 3), // 90 mops, 6.1e-5 errors
/* 12 */ V0Parameter( 2, 10, 641, 2, 16, 4, 3), // 91 mops, 6.0e-5 errors
/* 13 */ V0Parameter( 2, 10, 628, 2, 16, 5, 3), // 92 mops, 5.5e-5 errors
/* 14 */ V0Parameter( 2, 10, 655, 2, 16, 8, 2), // 103 mops, 6.3e-5 errors
/* 15 */ V0Parameter( 2, 10, 622, 3, 12, 5, 3), // 116 mops, 6.1e-5 errors
/* 16 */ V0Parameter( 2, 10, 624, 3, 12, 5, 3), // 117 mops, 5.6e-5 errors
/* 17 */ V0Parameter( 2, 10, 631, 3, 12, 5, 3), // 118 mops, 6.0e-5 errors
/* 18 */ V0Parameter( 2, 10, 600, 4, 9, 7, 2), // 142 mops, 5.9e-5 errors
/* 19 */ V0Parameter( 2, 10, 606, 4, 9, 7, 2), // 143 mops, 6.0e-5 errors
/* 20 */ V0Parameter( 2, 10, 602, 5, 8, 7, 2), // 167 mops, 5.5e-5 errors
/* 21 */ V0Parameter( 2, 10, 616, 5, 8, 7, 2), // 171 mops, 5.9e-5 errors
/* 22 */ V0Parameter( 2, 10, 621, 6, 7, 7, 2), // 197 mops, 6.2e-5 errors
/* 23 */ V0Parameter( 2, 10, 630, 7, 6, 7, 2), // 226 mops, 6.3e-5 errors
/* 24 */ V0Parameter( 2, 10, 606, 11, 4, 7, 2), // 317 mops, 6.0e-5 errors
/* 25 */ V0Parameter( 2, 10, 617, 14, 3, 7, 2), // 399 mops, 5.9e-5 errors
/* 26 */ V0Parameter( 2, 10, 621, 22, 2, 7, 2), // 605 mops, 5.9e-5 errors
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 5 */
/* 0 */ V0Parameter( 1, 11, 657, 1, 23, 5, 3), // 87 mops, 6.0e-5 errors
/* 1 */ V0Parameter( 1, 11, 657, 1, 23, 5, 3), // 87 mops, 6.0e-5 errors
/* 2 */ V0Parameter( 1, 11, 657, 1, 23, 5, 3), // 87 mops, 6.1e-5 errors
/* 3 */ V0Parameter( 1, 11, 658, 1, 23, 5, 3), // 87 mops, 5.5e-5 errors
/* 4 */ V0Parameter( 1, 11, 659, 1, 23, 5, 3), // 87 mops, 6.2e-5 errors
/* 5 */ V0Parameter( 1, 11, 668, 1, 23, 5, 3), // 88 mops, 5.7e-5 errors
/* 6 */ V0Parameter( 1, 11, 657, 2, 15, 5, 3), // 123 mops, 6.0e-5 errors
/* 7 */ V0Parameter( 1, 11, 657, 2, 15, 5, 3), // 123 mops, 6.0e-5 errors
/* 8 */ V0Parameter( 1, 11, 657, 2, 15, 5, 3), // 123 mops, 6.0e-5 errors
/* 9 */ V0Parameter( 1, 11, 657, 2, 15, 5, 3), // 123 mops, 6.1e-5 errors
/* 10 */ V0Parameter( 1, 11, 658, 2, 15, 5, 3), // 123 mops, 5.4e-5 errors
/* 11 */ V0Parameter( 1, 11, 659, 2, 15, 5, 3), // 123 mops, 5.7e-5 errors
/* 12 */ V0Parameter( 1, 11, 665, 2, 15, 5, 3), // 124 mops, 5.9e-5 errors
/* 13 */ V0Parameter( 1, 11, 657, 3, 12, 5, 3), // 159 mops, 6.2e-5 errors
/* 14 */ V0Parameter( 1, 11, 658, 3, 12, 5, 3), // 159 mops, 5.6e-5 errors
/* 15 */ V0Parameter( 1, 11, 660, 3, 12, 5, 3), // 160 mops, 5.8e-5 errors
/* 16 */ V0Parameter( 1, 11, 671, 3, 12, 5, 3), // 162 mops, 6.3e-5 errors
/* 17 */ V0Parameter( 1, 11, 638, 4, 9, 7, 2), // 194 mops, 6.2e-5 errors
/* 18 */ V0Parameter( 1, 11, 647, 4, 9, 7, 2), // 197 mops, 6.2e-5 errors
/* 19 */ V0Parameter( 1, 11, 641, 5, 8, 7, 2), // 230 mops, 6.1e-5 errors
/* 20 */ V0Parameter( 1, 11, 665, 5, 8, 8, 2), // 241 mops, 6.1e-5 errors
/* 21 */ V0Parameter( 1, 11, 683, 6, 7, 8, 2), // 285 mops, 6.3e-5 errors
/* 22 */ V0Parameter( 1, 11, 650, 8, 5, 8, 2), // 343 mops, 6.3e-5 errors
/* 23 */ V0Parameter( 1, 11, 649, 11, 4, 7, 2), // 446 mops, 6.3e-5 errors
/* 24 */ V0Parameter( 1, 11, 663, 14, 3, 8, 2), // 567 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 1, 11, 678, 22, 2, 8, 2), // 876 mops, 6.3e-5 errors
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 6 */
/* 0 */ V0Parameter( 1, 12, 739, 1, 23, 4, 4), // 200 mops, 5.9e-5 errors
/* 1 */ V0Parameter( 1, 12, 739, 1, 23, 4, 4), // 200 mops, 6.3e-5 errors
/* 2 */ V0Parameter( 1, 12, 741, 1, 23, 4, 4), // 201 mops, 6.0e-5 errors
/* 3 */ V0Parameter( 1, 12, 749, 1, 23, 4, 4), // 203 mops, 6.2e-5 errors
/* 4 */ V0Parameter( 1, 12, 718, 2, 15, 5, 3), // 285 mops, 5.8e-5 errors
/* 5 */ V0Parameter( 1, 12, 718, 2, 15, 5, 3), // 285 mops, 5.8e-5 errors
/* 6 */ V0Parameter( 1, 12, 718, 2, 15, 5, 3), // 285 mops, 5.8e-5 errors
/* 7 */ V0Parameter( 1, 12, 718, 2, 15, 5, 3), // 285 mops, 5.8e-5 errors
/* 8 */ V0Parameter( 1, 12, 718, 2, 15, 5, 3), // 285 mops, 6.1e-5 errors
/* 9 */ V0Parameter( 1, 12, 720, 2, 15, 5, 3), // 286 mops, 5.7e-5 errors
/* 10 */ V0Parameter( 1, 12, 727, 2, 15, 5, 3), // 288 mops, 5.9e-5 errors
/* 11 */ V0Parameter( 1, 12, 734, 2, 15, 9, 2), // 314 mops, 6.3e-5 errors
/* 12 */ V0Parameter( 1, 12, 719, 3, 12, 5, 3), // 369 mops, 6.0e-5 errors
/* 13 */ V0Parameter( 1, 12, 723, 3, 12, 5, 3), // 371 mops, 6.2e-5 errors
/* 14 */ V0Parameter( 1, 12, 710, 3, 12, 8, 2), // 382 mops, 6.2e-5 errors
/* 15 */ V0Parameter( 1, 12, 691, 4, 9, 8, 2), // 453 mops, 6.2e-5 errors
/* 16 */ V0Parameter( 1, 12, 698, 4, 9, 8, 2), // 457 mops, 6.1e-5 errors
/* 17 */ V0Parameter( 1, 12, 696, 5, 8, 8, 2), // 538 mops, 5.8e-5 errors
/* 18 */ V0Parameter( 1, 12, 697, 6, 7, 8, 2), // 620 mops, 6.2e-5 errors
/* 19 */ V0Parameter( 1, 12, 699, 7, 6, 8, 2), // 704 mops, 6.0e-5 errors
/* 20 */ V0Parameter( 1, 12, 706, 8, 5, 8, 2), // 793 mops, 6.1e-5 errors
/* 21 */ V0Parameter( 1, 12, 707, 11, 4, 8, 2), // 1043 mops, 6.2e-5 errors
/* 22 */ V0Parameter( 1, 12, 724, 14, 3, 9, 2), // 1328 mops, 6.1e-5 errors
/* 23 */ V0Parameter( 1, 12, 700, 43, 1, 17, 1), // 3707 mops, 6.1e-5 errors
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 7 */
/* 0 */ V0Parameter( 1, 13, 768, 1, 23, 6, 3), // 464 mops, 5.9e-5 errors
/* 1 */ V0Parameter( 1, 13, 775, 1, 23, 6, 3), // 468 mops, 6.2e-5 errors
/* 2 */ V0Parameter( 1, 13, 766, 2, 15, 6, 3), // 654 mops, 5.9e-5 errors
/* 3 */ V0Parameter( 1, 13, 766, 2, 15, 6, 3), // 654 mops, 5.9e-5 errors
/* 4 */ V0Parameter( 1, 13, 766, 2, 15, 6, 3), // 654 mops, 5.9e-5 errors
/* 5 */ V0Parameter( 1, 13, 766, 2, 15, 6, 3), // 654 mops, 6.0e-5 errors
/* 6 */ V0Parameter( 1, 13, 766, 2, 15, 6, 3), // 654 mops, 6.2e-5 errors
/* 7 */ V0Parameter( 1, 13, 767, 2, 15, 6, 3), // 655 mops, 6.1e-5 errors
/* 8 */ V0Parameter( 1, 13, 771, 2, 15, 6, 3), // 658 mops, 6.1e-5 errors
/* 9 */ V0Parameter( 1, 13, 808, 2, 15, 6, 3), // 688 mops, 6.3e-5 errors
/* 10 */ V0Parameter( 1, 13, 767, 3, 11, 6, 3), // 847 mops, 5.7e-5 errors
/* 11 */ V0Parameter( 1, 13, 769, 3, 11, 6, 3), // 849 mops, 5.9e-5 errors
/* 12 */ V0Parameter( 1, 13, 781, 3, 11, 6, 3), // 861 mops, 6.2e-5 errors
/* 13 */ V0Parameter( 1, 13, 768, 4, 9, 6, 3), // 1040 mops, 5.9e-5 errors
/* 14 */ V0Parameter( 1, 13, 775, 4, 9, 6, 3), // 1049 mops, 6.2e-5 errors
/* 15 */ V0Parameter( 1, 13, 752, 5, 8, 9, 2), // 1242 mops, 5.9e-5 errors
/* 16 */ V0Parameter( 1, 13, 754, 6, 7, 9, 2), // 1434 mops, 6.0e-5 errors
/* 17 */ V0Parameter( 1, 13, 756, 7, 6, 9, 2), // 1626 mops, 6.3e-5 errors
/* 18 */ V0Parameter( 1, 13, 762, 8, 5, 9, 2), // 1830 mops, 6.3e-5 errors
/* 19 */ V0Parameter( 1, 13, 799, 10, 4, 10, 2), // 2329 mops, 6.3e-5 errors
/* 20 */ V0Parameter( 1, 13, 803, 14, 3, 20, 1), // 3269 mops, 6.3e-5 errors
/* 21 */ V0Parameter( 1, 13, 761, 43, 1, 19, 1), // 8605 mops, 6.3e-5 errors
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 8 */
/* 0 */ V0Parameter( 1, 14, 829, 2, 15, 6, 3), // 1489 mops, 5.8e-5 errors
/* 1 */ V0Parameter( 1, 14, 829, 2, 15, 6, 3), // 1489 mops, 5.8e-5 errors
/* 2 */ V0Parameter( 1, 14, 829, 2, 15, 6, 3), // 1489 mops, 5.8e-5 errors
/* 3 */ V0Parameter( 1, 14, 829, 2, 15, 6, 3), // 1489 mops, 5.9e-5 errors
/* 4 */ V0Parameter( 1, 14, 829, 2, 15, 6, 3), // 1489 mops, 6.1e-5 errors
/* 5 */ V0Parameter( 1, 14, 831, 2, 15, 6, 3), // 1492 mops, 5.8e-5 errors
/* 6 */ V0Parameter( 1, 14, 853, 2, 15, 5, 4), // 1503 mops, 6.2e-5 errors
/* 7 */ V0Parameter( 1, 14, 865, 2, 15, 7, 3), // 1578 mops, 6.3e-5 errors
/* 8 */ V0Parameter( 1, 14, 830, 3, 11, 6, 3), // 1931 mops, 5.8e-5 errors
/* 9 */ V0Parameter( 1, 14, 833, 3, 11, 6, 3), // 1938 mops, 6.0e-5 errors
/* 10 */ V0Parameter( 1, 14, 833, 3, 11, 7, 3), // 1964 mops, 6.2e-5 errors
/* 11 */ V0Parameter( 1, 14, 832, 4, 9, 6, 3), // 2378 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 1, 14, 832, 4, 9, 7, 3), // 2404 mops, 5.9e-5 errors
/* 13 */ V0Parameter( 1, 14, 809, 5, 8, 10, 2), // 2845 mops, 6.3e-5 errors
/* 14 */ V0Parameter( 1, 14, 813, 6, 7, 10, 2), // 3291 mops, 5.9e-5 errors
/* 15 */ V0Parameter( 1, 14, 816, 7, 6, 10, 2), // 3736 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 1, 14, 824, 8, 5, 10, 2), // 4210 mops, 6.1e-5 errors
/* 17 */ V0Parameter( 1, 14, 853, 11, 4, 11, 2), // 5742 mops, 6.3e-5 errors
/* 18 */ V0Parameter( 1, 14, 812, 21, 2, 10, 2), // 9757 mops, 5.9e-5 errors
/* 19 */ V0Parameter( 1, 14, 840, 43, 1, 21, 1), // 20198 mops, 6.3e-5 errors
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
}

View File

@@ -0,0 +1,275 @@
{ /* Security level: 128 */
{ /* 6.3e-5 errors */
{ /* precision 1 */
/* 0 */ V0Parameter( 1, 10, 556, 2, 8, 3, 3), // 47 mops, 5.3e-5 errors
/* 1 */ V0Parameter( 1, 10, 558, 2, 8, 3, 3), // 47 mops, 6.1e-5 errors
/* 2 */ V0Parameter( 1, 10, 543, 2, 8, 5, 2), // 48 mops, 5.9e-5 errors
/* 3 */ V0Parameter( 2, 10, 580, 1, 23, 3, 3), // 57 mops, 5.8e-5 errors
/* 4 */ V0Parameter( 2, 10, 580, 1, 23, 3, 3), // 57 mops, 5.8e-5 errors
/* 5 */ V0Parameter( 2, 10, 580, 1, 23, 3, 3), // 57 mops, 5.8e-5 errors
/* 6 */ V0Parameter( 2, 10, 580, 1, 23, 3, 3), // 57 mops, 5.9e-5 errors
/* 7 */ V0Parameter( 2, 10, 580, 1, 23, 3, 3), // 57 mops, 6.3e-5 errors
/* 8 */ V0Parameter( 2, 10, 582, 1, 23, 3, 3), // 57 mops, 5.4e-5 errors
/* 9 */ V0Parameter( 2, 10, 587, 1, 23, 3, 3), // 57 mops, 5.9e-5 errors
/* 10 */ V0Parameter( 2, 10, 603, 1, 23, 4, 3), // 61 mops, 6.3e-5 errors
/* 11 */ V0Parameter( 2, 10, 580, 2, 16, 3, 3), // 81 mops, 5.8e-5 errors
/* 12 */ V0Parameter( 2, 10, 580, 2, 16, 3, 3), // 81 mops, 5.8e-5 errors
/* 13 */ V0Parameter( 2, 10, 580, 2, 16, 3, 3), // 81 mops, 5.9e-5 errors
/* 14 */ V0Parameter( 2, 10, 580, 2, 16, 3, 3), // 81 mops, 6.2e-5 errors
/* 15 */ V0Parameter( 2, 10, 581, 2, 16, 3, 3), // 81 mops, 6.1e-5 errors
/* 16 */ V0Parameter( 2, 10, 585, 2, 16, 3, 3), // 81 mops, 6.1e-5 errors
/* 17 */ V0Parameter( 2, 10, 568, 2, 16, 5, 2), // 84 mops, 5.8e-5 errors
/* 18 */ V0Parameter( 2, 10, 550, 3, 12, 5, 2), // 104 mops, 5.6e-5 errors
/* 19 */ V0Parameter( 2, 10, 551, 3, 12, 5, 2), // 104 mops, 5.5e-5 errors
/* 20 */ V0Parameter( 2, 10, 555, 3, 12, 5, 2), // 105 mops, 5.6e-5 errors
/* 21 */ V0Parameter( 2, 10, 586, 3, 12, 5, 2), // 110 mops, 6.2e-5 errors
/* 22 */ V0Parameter( 2, 10, 554, 4, 9, 5, 2), // 127 mops, 6.1e-5 errors
/* 23 */ V0Parameter( 2, 10, 578, 4, 9, 5, 2), // 132 mops, 6.2e-5 errors
/* 24 */ V0Parameter( 2, 10, 559, 5, 8, 5, 2), // 151 mops, 5.8e-5 errors
/* 25 */ V0Parameter( 2, 10, 561, 6, 7, 5, 2), // 175 mops, 6.0e-5 errors
/* 26 */ V0Parameter( 2, 10, 564, 7, 6, 5, 2), // 199 mops, 5.8e-5 errors
/* 27 */ V0Parameter( 2, 10, 604, 8, 5, 6, 2), // 239 mops, 6.2e-5 errors
/* 28 */ V0Parameter( 2, 10, 578, 11, 4, 5, 2), // 298 mops, 6.2e-5 errors
/* 29 */ V0Parameter( 2, 10, 604, 15, 3, 6, 2), // 413 mops, 6.2e-5 errors
/* 30 */ V0Parameter( 2, 10, 572, 44, 1, 11, 1), // 1083 mops, 5.8e-5 errors
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 2 */
/* 0 */ V0Parameter( 1, 10, 575, 2, 8, 5, 2), // 51 mops, 6.3e-5 errors
/* 1 */ V0Parameter( 1, 10, 591, 2, 8, 5, 2), // 52 mops, 5.8e-5 errors
/* 2 */ V0Parameter( 2, 10, 616, 1, 23, 4, 3), // 62 mops, 5.1e-5 errors
/* 3 */ V0Parameter( 2, 10, 616, 1, 23, 4, 3), // 62 mops, 5.1e-5 errors
/* 4 */ V0Parameter( 2, 10, 616, 1, 23, 4, 3), // 62 mops, 5.1e-5 errors
/* 5 */ V0Parameter( 2, 10, 616, 1, 23, 4, 3), // 62 mops, 5.2e-5 errors
/* 6 */ V0Parameter( 2, 10, 616, 1, 23, 4, 3), // 62 mops, 5.6e-5 errors
/* 7 */ V0Parameter( 2, 10, 617, 1, 23, 4, 3), // 62 mops, 5.4e-5 errors
/* 8 */ V0Parameter( 2, 10, 621, 1, 23, 4, 3), // 63 mops, 5.2e-5 errors
/* 9 */ V0Parameter( 2, 10, 648, 1, 23, 4, 3), // 65 mops, 6.1e-5 errors
/* 10 */ V0Parameter( 2, 10, 597, 2, 16, 5, 2), // 87 mops, 6.0e-5 errors
/* 11 */ V0Parameter( 2, 10, 597, 2, 16, 5, 2), // 87 mops, 6.0e-5 errors
/* 12 */ V0Parameter( 2, 10, 597, 2, 16, 5, 2), // 87 mops, 6.0e-5 errors
/* 13 */ V0Parameter( 2, 10, 597, 2, 16, 5, 2), // 87 mops, 6.3e-5 errors
/* 14 */ V0Parameter( 2, 10, 598, 2, 16, 5, 2), // 88 mops, 6.3e-5 errors
/* 15 */ V0Parameter( 2, 10, 619, 2, 16, 4, 3), // 88 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 2, 10, 636, 2, 16, 4, 3), // 90 mops, 5.7e-5 errors
/* 17 */ V0Parameter( 2, 10, 598, 3, 12, 5, 2), // 112 mops, 5.4e-5 errors
/* 18 */ V0Parameter( 2, 10, 599, 3, 12, 5, 2), // 112 mops, 5.9e-5 errors
/* 19 */ V0Parameter( 2, 10, 606, 3, 12, 5, 2), // 113 mops, 5.7e-5 errors
/* 20 */ V0Parameter( 2, 10, 630, 3, 12, 6, 2), // 120 mops, 6.1e-5 errors
/* 21 */ V0Parameter( 2, 10, 605, 4, 9, 5, 2), // 138 mops, 5.6e-5 errors
/* 22 */ V0Parameter( 2, 10, 621, 4, 9, 6, 2), // 144 mops, 6.1e-5 errors
/* 23 */ V0Parameter( 2, 10, 601, 5, 8, 6, 2), // 164 mops, 5.6e-5 errors
/* 24 */ V0Parameter( 2, 10, 603, 6, 7, 6, 2), // 189 mops, 5.9e-5 errors
/* 25 */ V0Parameter( 2, 10, 606, 7, 6, 6, 2), // 215 mops, 5.8e-5 errors
/* 26 */ V0Parameter( 2, 10, 612, 9, 5, 6, 2), // 268 mops, 6.0e-5 errors
/* 27 */ V0Parameter( 2, 10, 621, 11, 4, 6, 2), // 322 mops, 6.2e-5 errors
/* 28 */ V0Parameter( 2, 10, 629, 21, 2, 6, 2), // 584 mops, 6.1e-5 errors
/* 29 */ V0Parameter( 2, 10, 620, 44, 1, 12, 1), // 1176 mops, 6.1e-5 errors
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 3 */
/* 0 */ V0Parameter( 1, 10, 658, 2, 8, 4, 3), // 56 mops, 6.3e-5 errors
/* 1 */ V0Parameter( 2, 10, 688, 1, 23, 3, 4), // 66 mops, 5.2e-5 errors
/* 2 */ V0Parameter( 2, 10, 688, 1, 23, 3, 4), // 66 mops, 5.2e-5 errors
/* 3 */ V0Parameter( 2, 10, 688, 1, 23, 3, 4), // 66 mops, 5.2e-5 errors
/* 4 */ V0Parameter( 2, 10, 688, 1, 23, 3, 4), // 66 mops, 5.3e-5 errors
/* 5 */ V0Parameter( 2, 10, 688, 1, 23, 3, 4), // 66 mops, 5.7e-5 errors
/* 6 */ V0Parameter( 2, 10, 689, 1, 23, 3, 4), // 66 mops, 5.9e-5 errors
/* 7 */ V0Parameter( 2, 10, 695, 1, 23, 3, 4), // 67 mops, 5.3e-5 errors
/* 8 */ V0Parameter( 2, 10, 736, 1, 23, 4, 3), // 73 mops, 6.3e-5 errors
/* 9 */ V0Parameter( 2, 10, 658, 2, 16, 4, 3), // 93 mops, 5.8e-5 errors
/* 10 */ V0Parameter( 2, 10, 658, 2, 16, 4, 3), // 93 mops, 5.8e-5 errors
/* 11 */ V0Parameter( 2, 10, 658, 2, 16, 4, 3), // 93 mops, 5.9e-5 errors
/* 12 */ V0Parameter( 2, 10, 658, 2, 16, 4, 3), // 93 mops, 6.2e-5 errors
/* 13 */ V0Parameter( 2, 10, 659, 2, 16, 4, 3), // 93 mops, 6.0e-5 errors
/* 14 */ V0Parameter( 2, 10, 663, 2, 16, 4, 3), // 94 mops, 5.6e-5 errors
/* 15 */ V0Parameter( 2, 10, 688, 2, 16, 4, 3), // 97 mops, 6.1e-5 errors
/* 16 */ V0Parameter( 2, 10, 659, 3, 12, 4, 3), // 120 mops, 5.0e-5 errors
/* 17 */ V0Parameter( 2, 10, 660, 3, 12, 4, 3), // 120 mops, 5.4e-5 errors
/* 18 */ V0Parameter( 2, 10, 666, 3, 12, 4, 3), // 121 mops, 5.3e-5 errors
/* 19 */ V0Parameter( 2, 10, 702, 3, 12, 7, 2), // 136 mops, 6.3e-5 errors
/* 20 */ V0Parameter( 2, 10, 640, 4, 9, 6, 2), // 148 mops, 5.4e-5 errors
/* 21 */ V0Parameter( 2, 10, 677, 4, 9, 7, 2), // 159 mops, 6.1e-5 errors
/* 22 */ V0Parameter( 2, 10, 646, 5, 8, 6, 2), // 176 mops, 6.3e-5 errors
/* 23 */ V0Parameter( 2, 10, 650, 6, 7, 6, 2), // 204 mops, 5.7e-5 errors
/* 24 */ V0Parameter( 2, 10, 654, 7, 6, 6, 2), // 232 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 2, 10, 665, 9, 5, 6, 2), // 290 mops, 6.1e-5 errors
/* 26 */ V0Parameter( 2, 10, 677, 11, 4, 7, 2), // 353 mops, 6.2e-5 errors
/* 27 */ V0Parameter( 2, 10, 649, 22, 2, 6, 2), // 629 mops, 6.3e-5 errors
/* 28 */ V0Parameter( 2, 10, 672, 45, 1, 13, 1), // 1304 mops, 6.1e-5 errors
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 4 */
/* 0 */ V0Parameter( 2, 10, 769, 1, 23, 3, 4), // 73 mops, 6.1e-5 errors
/* 1 */ V0Parameter( 2, 10, 769, 1, 23, 3, 4), // 73 mops, 6.2e-5 errors
/* 2 */ V0Parameter( 2, 10, 769, 1, 23, 3, 4), // 73 mops, 6.2e-5 errors
/* 3 */ V0Parameter( 2, 10, 769, 1, 23, 3, 4), // 73 mops, 6.3e-5 errors
/* 4 */ V0Parameter( 2, 10, 771, 1, 23, 3, 4), // 73 mops, 6.3e-5 errors
/* 5 */ V0Parameter( 2, 10, 745, 1, 23, 4, 3), // 74 mops, 6.3e-5 errors
/* 6 */ V0Parameter( 2, 10, 792, 1, 23, 3, 5), // 75 mops, 6.3e-5 errors
/* 7 */ V0Parameter( 2, 10, 714, 2, 16, 5, 3), // 103 mops, 5.6e-5 errors
/* 8 */ V0Parameter( 2, 10, 714, 2, 16, 5, 3), // 103 mops, 5.6e-5 errors
/* 9 */ V0Parameter( 2, 10, 714, 2, 16, 5, 3), // 103 mops, 5.6e-5 errors
/* 10 */ V0Parameter( 2, 10, 714, 2, 16, 5, 3), // 103 mops, 5.7e-5 errors
/* 11 */ V0Parameter( 2, 10, 714, 2, 16, 5, 3), // 103 mops, 6.0e-5 errors
/* 12 */ V0Parameter( 2, 10, 716, 2, 16, 5, 3), // 103 mops, 5.6e-5 errors
/* 13 */ V0Parameter( 2, 10, 723, 2, 16, 5, 3), // 104 mops, 5.7e-5 errors
/* 14 */ V0Parameter( 2, 10, 714, 3, 12, 5, 3), // 132 mops, 5.8e-5 errors
/* 15 */ V0Parameter( 2, 10, 714, 3, 12, 5, 3), // 132 mops, 6.2e-5 errors
/* 16 */ V0Parameter( 2, 10, 717, 3, 12, 5, 3), // 133 mops, 5.6e-5 errors
/* 17 */ V0Parameter( 2, 10, 728, 3, 12, 5, 3), // 135 mops, 6.2e-5 errors
/* 18 */ V0Parameter( 2, 10, 690, 4, 9, 7, 2), // 162 mops, 5.7e-5 errors
/* 19 */ V0Parameter( 2, 10, 699, 4, 9, 7, 2), // 164 mops, 6.1e-5 errors
/* 20 */ V0Parameter( 2, 10, 692, 5, 8, 7, 2), // 191 mops, 6.0e-5 errors
/* 21 */ V0Parameter( 2, 10, 718, 5, 8, 7, 2), // 198 mops, 6.2e-5 errors
/* 22 */ V0Parameter( 2, 10, 735, 6, 7, 7, 2), // 232 mops, 6.3e-5 errors
/* 23 */ V0Parameter( 2, 10, 705, 8, 5, 7, 2), // 281 mops, 6.3e-5 errors
/* 24 */ V0Parameter( 2, 10, 699, 11, 4, 7, 2), // 365 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 2, 10, 720, 14, 3, 7, 2), // 464 mops, 6.2e-5 errors
/* 26 */ V0Parameter( 2, 10, 733, 22, 2, 7, 2), // 713 mops, 6.2e-5 errors
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 5 */
/* 0 */ V0Parameter( 1, 11, 754, 1, 23, 5, 3), // 99 mops, 5.8e-5 errors
/* 1 */ V0Parameter( 1, 11, 754, 1, 23, 5, 3), // 99 mops, 5.8e-5 errors
/* 2 */ V0Parameter( 1, 11, 754, 1, 23, 5, 3), // 99 mops, 5.9e-5 errors
/* 3 */ V0Parameter( 1, 11, 755, 1, 23, 5, 3), // 99 mops, 5.6e-5 errors
/* 4 */ V0Parameter( 1, 11, 757, 1, 23, 5, 3), // 99 mops, 6.0e-5 errors
/* 5 */ V0Parameter( 1, 11, 771, 1, 23, 5, 3), // 101 mops, 6.0e-5 errors
/* 6 */ V0Parameter( 1, 11, 754, 2, 15, 5, 3), // 140 mops, 5.7e-5 errors
/* 7 */ V0Parameter( 1, 11, 754, 2, 15, 5, 3), // 140 mops, 5.8e-5 errors
/* 8 */ V0Parameter( 1, 11, 754, 2, 15, 5, 3), // 140 mops, 5.8e-5 errors
/* 9 */ V0Parameter( 1, 11, 754, 2, 15, 5, 3), // 140 mops, 5.9e-5 errors
/* 10 */ V0Parameter( 1, 11, 754, 2, 15, 5, 3), // 140 mops, 6.3e-5 errors
/* 11 */ V0Parameter( 1, 11, 756, 2, 15, 5, 3), // 140 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 1, 11, 766, 2, 15, 5, 3), // 142 mops, 6.1e-5 errors
/* 13 */ V0Parameter( 1, 11, 754, 3, 12, 5, 3), // 181 mops, 6.0e-5 errors
/* 14 */ V0Parameter( 1, 11, 755, 3, 12, 5, 3), // 182 mops, 5.8e-5 errors
/* 15 */ V0Parameter( 1, 11, 758, 3, 12, 5, 3), // 182 mops, 6.0e-5 errors
/* 16 */ V0Parameter( 1, 11, 779, 3, 12, 5, 3), // 187 mops, 6.0e-5 errors
/* 17 */ V0Parameter( 1, 11, 734, 4, 9, 7, 2), // 223 mops, 5.9e-5 errors
/* 18 */ V0Parameter( 1, 11, 749, 4, 9, 7, 2), // 227 mops, 6.2e-5 errors
/* 19 */ V0Parameter( 1, 11, 738, 5, 8, 7, 2), // 264 mops, 6.3e-5 errors
/* 20 */ V0Parameter( 1, 11, 740, 6, 7, 7, 2), // 305 mops, 6.2e-5 errors
/* 21 */ V0Parameter( 1, 11, 742, 7, 6, 7, 2), // 347 mops, 6.3e-5 errors
/* 22 */ V0Parameter( 1, 11, 754, 8, 5, 8, 2), // 396 mops, 6.3e-5 errors
/* 23 */ V0Parameter( 1, 11, 747, 11, 4, 8, 2), // 515 mops, 6.2e-5 errors
/* 24 */ V0Parameter( 1, 11, 760, 15, 3, 8, 2), // 690 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 1, 11, 752, 43, 1, 16, 1), // 1858 mops, 6.3e-5 errors
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 6 */
/* 0 */ V0Parameter( 1, 12, 847, 1, 23, 4, 4), // 227 mops, 5.9e-5 errors
/* 1 */ V0Parameter( 1, 12, 848, 1, 23, 4, 4), // 228 mops, 5.7e-5 errors
/* 2 */ V0Parameter( 1, 12, 850, 1, 23, 4, 4), // 228 mops, 6.1e-5 errors
/* 3 */ V0Parameter( 1, 12, 864, 1, 23, 4, 4), // 232 mops, 6.3e-5 errors
/* 4 */ V0Parameter( 1, 12, 824, 2, 15, 5, 3), // 325 mops, 6.2e-5 errors
/* 5 */ V0Parameter( 1, 12, 824, 2, 15, 5, 3), // 325 mops, 6.2e-5 errors
/* 6 */ V0Parameter( 1, 12, 824, 2, 15, 5, 3), // 325 mops, 6.2e-5 errors
/* 7 */ V0Parameter( 1, 12, 824, 2, 15, 5, 3), // 325 mops, 6.3e-5 errors
/* 8 */ V0Parameter( 1, 12, 825, 2, 15, 5, 3), // 325 mops, 6.1e-5 errors
/* 9 */ V0Parameter( 1, 12, 827, 2, 15, 5, 3), // 326 mops, 6.3e-5 errors
/* 10 */ V0Parameter( 1, 12, 858, 2, 15, 4, 4), // 331 mops, 5.9e-5 errors
/* 11 */ V0Parameter( 1, 12, 825, 3, 12, 5, 3), // 422 mops, 6.0e-5 errors
/* 12 */ V0Parameter( 1, 12, 826, 3, 12, 5, 3), // 422 mops, 6.3e-5 errors
/* 13 */ V0Parameter( 1, 12, 796, 3, 12, 8, 2), // 426 mops, 6.1e-5 errors
/* 14 */ V0Parameter( 1, 12, 858, 3, 12, 6, 3), // 445 mops, 6.3e-5 errors
/* 15 */ V0Parameter( 1, 12, 793, 4, 9, 8, 2), // 517 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 1, 12, 805, 4, 9, 8, 2), // 525 mops, 6.0e-5 errors
/* 17 */ V0Parameter( 1, 12, 801, 5, 8, 8, 2), // 616 mops, 5.9e-5 errors
/* 18 */ V0Parameter( 1, 12, 803, 6, 7, 8, 2), // 712 mops, 6.2e-5 errors
/* 19 */ V0Parameter( 1, 12, 806, 7, 6, 8, 2), // 809 mops, 6.2e-5 errors
/* 20 */ V0Parameter( 1, 12, 821, 8, 5, 8, 2), // 920 mops, 6.3e-5 errors
/* 21 */ V0Parameter( 1, 12, 820, 11, 4, 9, 2), // 1214 mops, 6.1e-5 errors
/* 22 */ V0Parameter( 1, 12, 809, 21, 2, 8, 2), // 2139 mops, 6.0e-5 errors
/* 23 */ V0Parameter( 1, 12, 821, 43, 1, 17, 1), // 4345 mops, 6.3e-5 errors
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 7 */
/* 0 */ V0Parameter( 1, 13, 880, 1, 23, 6, 3), // 527 mops, 6.3e-5 errors
/* 1 */ V0Parameter( 1, 13, 893, 1, 23, 6, 3), // 534 mops, 6.1e-5 errors
/* 2 */ V0Parameter( 1, 13, 877, 2, 15, 6, 3), // 744 mops, 6.2e-5 errors
/* 3 */ V0Parameter( 1, 13, 877, 2, 15, 6, 3), // 744 mops, 6.2e-5 errors
/* 4 */ V0Parameter( 1, 13, 877, 2, 15, 6, 3), // 744 mops, 6.2e-5 errors
/* 5 */ V0Parameter( 1, 13, 877, 2, 15, 6, 3), // 744 mops, 6.3e-5 errors
/* 6 */ V0Parameter( 1, 13, 878, 2, 15, 6, 3), // 745 mops, 5.8e-5 errors
/* 7 */ V0Parameter( 1, 13, 879, 2, 15, 6, 3), // 746 mops, 6.1e-5 errors
/* 8 */ V0Parameter( 1, 13, 886, 2, 15, 6, 3), // 752 mops, 5.9e-5 errors
/* 9 */ V0Parameter( 1, 13, 878, 3, 11, 6, 3), // 965 mops, 5.7e-5 errors
/* 10 */ V0Parameter( 1, 13, 878, 3, 11, 6, 3), // 965 mops, 6.3e-5 errors
/* 11 */ V0Parameter( 1, 13, 882, 3, 11, 6, 3), // 969 mops, 6.0e-5 errors
/* 12 */ V0Parameter( 1, 13, 906, 3, 11, 6, 3), // 994 mops, 6.3e-5 errors
/* 13 */ V0Parameter( 1, 13, 880, 4, 9, 6, 3), // 1187 mops, 6.3e-5 errors
/* 14 */ V0Parameter( 1, 13, 893, 4, 9, 6, 3), // 1204 mops, 6.1e-5 errors
/* 15 */ V0Parameter( 1, 13, 866, 5, 8, 9, 2), // 1425 mops, 5.9e-5 errors
/* 16 */ V0Parameter( 1, 13, 870, 6, 7, 9, 2), // 1649 mops, 6.0e-5 errors
/* 17 */ V0Parameter( 1, 13, 875, 7, 6, 9, 2), // 1877 mops, 6.0e-5 errors
/* 18 */ V0Parameter( 1, 13, 891, 8, 5, 9, 2), // 2134 mops, 6.2e-5 errors
/* 19 */ V0Parameter( 1, 13, 906, 11, 4, 20, 1), // 3005 mops, 6.3e-5 errors
/* 20 */ V0Parameter( 1, 13, 871, 21, 2, 9, 2), // 4917 mops, 6.2e-5 errors
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 8 */
/* 0 */ V0Parameter( 1, 14, 952, 2, 15, 6, 3), // 1700 mops, 6.1e-5 errors
/* 1 */ V0Parameter( 1, 14, 952, 2, 15, 6, 3), // 1700 mops, 6.1e-5 errors
/* 2 */ V0Parameter( 1, 14, 952, 2, 15, 6, 3), // 1700 mops, 6.1e-5 errors
/* 3 */ V0Parameter( 1, 14, 952, 2, 15, 6, 3), // 1700 mops, 6.2e-5 errors
/* 4 */ V0Parameter( 1, 14, 953, 2, 15, 6, 3), // 1702 mops, 6.1e-5 errors
/* 5 */ V0Parameter( 1, 14, 972, 2, 15, 5, 4), // 1704 mops, 6.1e-5 errors
/* 6 */ V0Parameter( 1, 14, 980, 2, 15, 5, 4), // 1717 mops, 6.0e-5 errors
/* 7 */ V0Parameter( 1, 14, 952, 3, 11, 6, 3), // 2206 mops, 6.3e-5 errors
/* 8 */ V0Parameter( 1, 14, 954, 3, 11, 6, 3), // 2210 mops, 6.1e-5 errors
/* 9 */ V0Parameter( 1, 14, 944, 3, 11, 7, 3), // 2217 mops, 5.9e-5 errors
/* 10 */ V0Parameter( 1, 14, 962, 3, 11, 7, 3), // 2258 mops, 6.1e-5 errors
/* 11 */ V0Parameter( 1, 14, 943, 4, 9, 7, 3), // 2716 mops, 6.3e-5 errors
/* 12 */ V0Parameter( 1, 14, 959, 4, 9, 7, 3), // 2761 mops, 6.0e-5 errors
/* 13 */ V0Parameter( 1, 14, 934, 5, 8, 10, 2), // 3275 mops, 6.1e-5 errors
/* 14 */ V0Parameter( 1, 14, 941, 6, 7, 10, 2), // 3799 mops, 6.3e-5 errors
/* 15 */ V0Parameter( 1, 14, 953, 7, 6, 10, 2), // 4352 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 1, 14, 924, 10, 4, 10, 2), // 5695 mops, 5.9e-5 errors
/* 17 */ V0Parameter( 1, 14, 926, 14, 3, 10, 2), // 7675 mops, 6.3e-5 errors
/* 18 */ V0Parameter( 1, 14, 939, 21, 2, 10, 2), // 11273 mops, 6.3e-5 errors
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
}

View File

@@ -0,0 +1,275 @@
{ /* Security level: 144 */
{ /* 6.3e-5 errors */
{ /* precision 1 */
/* 0 */ V0Parameter( 1, 10, 611, 2, 7, 5, 2), // 54 mops, 6.2e-5 errors
/* 1 */ V0Parameter( 2, 10, 653, 1, 22, 3, 3), // 63 mops, 5.6e-5 errors
/* 2 */ V0Parameter( 2, 10, 653, 1, 22, 3, 3), // 63 mops, 5.6e-5 errors
/* 3 */ V0Parameter( 2, 10, 653, 1, 22, 3, 3), // 63 mops, 5.6e-5 errors
/* 4 */ V0Parameter( 2, 10, 653, 1, 22, 3, 3), // 63 mops, 5.6e-5 errors
/* 5 */ V0Parameter( 2, 10, 653, 1, 22, 3, 3), // 63 mops, 5.7e-5 errors
/* 6 */ V0Parameter( 2, 10, 653, 1, 22, 3, 3), // 63 mops, 6.1e-5 errors
/* 7 */ V0Parameter( 2, 10, 655, 1, 22, 3, 3), // 63 mops, 5.4e-5 errors
/* 8 */ V0Parameter( 2, 10, 661, 1, 22, 3, 3), // 64 mops, 5.5e-5 errors
/* 9 */ V0Parameter( 2, 10, 678, 1, 22, 4, 3), // 68 mops, 6.2e-5 errors
/* 10 */ V0Parameter( 2, 10, 653, 2, 15, 3, 3), // 90 mops, 5.6e-5 errors
/* 11 */ V0Parameter( 2, 10, 653, 2, 15, 3, 3), // 90 mops, 5.6e-5 errors
/* 12 */ V0Parameter( 2, 10, 653, 2, 15, 3, 3), // 90 mops, 5.7e-5 errors
/* 13 */ V0Parameter( 2, 10, 653, 2, 15, 3, 3), // 90 mops, 5.9e-5 errors
/* 14 */ V0Parameter( 2, 10, 654, 2, 15, 3, 3), // 90 mops, 5.9e-5 errors
/* 15 */ V0Parameter( 2, 10, 658, 2, 15, 3, 3), // 90 mops, 6.1e-5 errors
/* 16 */ V0Parameter( 2, 10, 638, 2, 15, 5, 2), // 93 mops, 5.7e-5 errors
/* 17 */ V0Parameter( 2, 10, 620, 3, 11, 5, 2), // 116 mops, 5.1e-5 errors
/* 18 */ V0Parameter( 2, 10, 621, 3, 11, 5, 2), // 116 mops, 5.7e-5 errors
/* 19 */ V0Parameter( 2, 10, 627, 3, 11, 5, 2), // 117 mops, 6.3e-5 errors
/* 20 */ V0Parameter( 2, 10, 621, 4, 9, 5, 2), // 142 mops, 5.3e-5 errors
/* 21 */ V0Parameter( 2, 10, 626, 4, 9, 5, 2), // 143 mops, 5.5e-5 errors
/* 22 */ V0Parameter( 2, 10, 676, 4, 9, 5, 2), // 153 mops, 6.3e-5 errors
/* 23 */ V0Parameter( 2, 10, 678, 5, 8, 6, 2), // 184 mops, 6.2e-5 errors
/* 24 */ V0Parameter( 2, 10, 630, 7, 6, 5, 2), // 221 mops, 5.7e-5 errors
/* 25 */ V0Parameter( 2, 10, 633, 8, 5, 5, 2), // 248 mops, 6.0e-5 errors
/* 26 */ V0Parameter( 2, 10, 643, 10, 4, 5, 2), // 305 mops, 6.3e-5 errors
/* 27 */ V0Parameter( 2, 10, 652, 14, 3, 5, 2), // 416 mops, 6.1e-5 errors
/* 28 */ V0Parameter( 3, 10, 662, 14, 3, 6, 2), // 606 mops, 6.2e-5 errors
/* 29 */ V0Parameter( 3, 10, 675, 22, 2, 6, 2), // 934 mops, 6.2e-5 errors
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 2 */
/* 0 */ V0Parameter( 2, 10, 692, 1, 22, 4, 3), // 69 mops, 6.3e-5 errors
/* 1 */ V0Parameter( 2, 10, 692, 1, 22, 4, 3), // 69 mops, 6.3e-5 errors
/* 2 */ V0Parameter( 2, 10, 692, 1, 22, 4, 3), // 69 mops, 6.3e-5 errors
/* 3 */ V0Parameter( 2, 10, 692, 1, 22, 4, 3), // 69 mops, 6.3e-5 errors
/* 4 */ V0Parameter( 2, 10, 693, 1, 22, 4, 3), // 69 mops, 4.9e-5 errors
/* 5 */ V0Parameter( 2, 10, 693, 1, 22, 4, 3), // 69 mops, 5.2e-5 errors
/* 6 */ V0Parameter( 2, 10, 694, 1, 22, 4, 3), // 69 mops, 5.2e-5 errors
/* 7 */ V0Parameter( 2, 10, 698, 1, 22, 4, 3), // 70 mops, 5.6e-5 errors
/* 8 */ V0Parameter( 2, 10, 728, 1, 22, 4, 3), // 72 mops, 5.9e-5 errors
/* 9 */ V0Parameter( 2, 10, 692, 2, 15, 4, 3), // 97 mops, 6.3e-5 errors
/* 10 */ V0Parameter( 2, 10, 692, 2, 15, 4, 3), // 97 mops, 6.3e-5 errors
/* 11 */ V0Parameter( 2, 10, 672, 2, 15, 5, 2), // 97 mops, 5.8e-5 errors
/* 12 */ V0Parameter( 2, 10, 672, 2, 15, 5, 2), // 97 mops, 6.0e-5 errors
/* 13 */ V0Parameter( 2, 10, 693, 2, 15, 4, 3), // 98 mops, 6.2e-5 errors
/* 14 */ V0Parameter( 2, 10, 696, 2, 15, 4, 3), // 98 mops, 6.1e-5 errors
/* 15 */ V0Parameter( 2, 10, 713, 2, 15, 4, 3), // 100 mops, 5.8e-5 errors
/* 16 */ V0Parameter( 2, 10, 673, 3, 11, 5, 2), // 125 mops, 5.4e-5 errors
/* 17 */ V0Parameter( 2, 10, 675, 3, 11, 5, 2), // 126 mops, 5.7e-5 errors
/* 18 */ V0Parameter( 2, 10, 701, 3, 11, 4, 3), // 127 mops, 6.2e-5 errors
/* 19 */ V0Parameter( 2, 10, 674, 4, 9, 5, 2), // 153 mops, 6.1e-5 errors
/* 20 */ V0Parameter( 2, 10, 683, 4, 9, 5, 2), // 155 mops, 5.9e-5 errors
/* 21 */ V0Parameter( 2, 10, 729, 4, 9, 6, 2), // 168 mops, 6.2e-5 errors
/* 22 */ V0Parameter( 2, 10, 675, 6, 7, 6, 2), // 211 mops, 5.2e-5 errors
/* 23 */ V0Parameter( 2, 10, 676, 7, 6, 6, 2), // 239 mops, 6.2e-5 errors
/* 24 */ V0Parameter( 2, 10, 680, 8, 5, 6, 2), // 269 mops, 5.7e-5 errors
/* 25 */ V0Parameter( 2, 10, 691, 10, 4, 6, 2), // 329 mops, 5.8e-5 errors
/* 26 */ V0Parameter( 2, 10, 700, 14, 3, 6, 2), // 448 mops, 6.0e-5 errors
/* 27 */ V0Parameter( 3, 10, 712, 14, 3, 6, 2), // 651 mops, 6.1e-5 errors
/* 28 */ V0Parameter( 3, 10, 734, 22, 2, 6, 2), // 1015 mops, 6.3e-5 errors
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 3 */
/* 0 */ V0Parameter( 2, 10, 773, 1, 22, 3, 4), // 73 mops, 5.2e-5 errors
/* 1 */ V0Parameter( 2, 10, 773, 1, 22, 3, 4), // 73 mops, 5.2e-5 errors
/* 2 */ V0Parameter( 2, 10, 773, 1, 22, 3, 4), // 73 mops, 5.2e-5 errors
/* 3 */ V0Parameter( 2, 10, 773, 1, 22, 3, 4), // 73 mops, 5.3e-5 errors
/* 4 */ V0Parameter( 2, 10, 773, 1, 22, 3, 4), // 73 mops, 5.7e-5 errors
/* 5 */ V0Parameter( 2, 10, 774, 1, 22, 3, 4), // 73 mops, 6.1e-5 errors
/* 6 */ V0Parameter( 2, 10, 780, 1, 22, 3, 4), // 74 mops, 6.1e-5 errors
/* 7 */ V0Parameter( 2, 10, 796, 1, 22, 5, 3), // 81 mops, 6.2e-5 errors
/* 8 */ V0Parameter( 2, 10, 740, 2, 15, 4, 3), // 104 mops, 5.5e-5 errors
/* 9 */ V0Parameter( 2, 10, 740, 2, 15, 4, 3), // 104 mops, 5.5e-5 errors
/* 10 */ V0Parameter( 2, 10, 740, 2, 15, 4, 3), // 104 mops, 5.6e-5 errors
/* 11 */ V0Parameter( 2, 10, 740, 2, 15, 4, 3), // 104 mops, 5.8e-5 errors
/* 12 */ V0Parameter( 2, 10, 741, 2, 15, 4, 3), // 104 mops, 5.7e-5 errors
/* 13 */ V0Parameter( 2, 10, 745, 2, 15, 4, 3), // 104 mops, 5.7e-5 errors
/* 14 */ V0Parameter( 2, 10, 771, 2, 15, 4, 3), // 108 mops, 5.9e-5 errors
/* 15 */ V0Parameter( 2, 10, 740, 3, 11, 4, 3), // 134 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 2, 10, 742, 3, 11, 4, 3), // 134 mops, 6.2e-5 errors
/* 17 */ V0Parameter( 2, 10, 752, 3, 11, 4, 3), // 136 mops, 5.8e-5 errors
/* 18 */ V0Parameter( 2, 10, 715, 4, 9, 6, 2), // 165 mops, 5.3e-5 errors
/* 19 */ V0Parameter( 2, 10, 722, 4, 9, 6, 2), // 166 mops, 5.6e-5 errors
/* 20 */ V0Parameter( 2, 10, 722, 5, 8, 6, 2), // 196 mops, 6.3e-5 errors
/* 21 */ V0Parameter( 2, 10, 725, 6, 7, 6, 2), // 226 mops, 5.9e-5 errors
/* 22 */ V0Parameter( 2, 10, 728, 7, 6, 6, 2), // 257 mops, 5.7e-5 errors
/* 23 */ V0Parameter( 2, 10, 733, 8, 5, 6, 2), // 289 mops, 6.0e-5 errors
/* 24 */ V0Parameter( 2, 10, 754, 10, 4, 6, 2), // 359 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 2, 10, 765, 14, 3, 7, 2), // 492 mops, 6.2e-5 errors
/* 26 */ V0Parameter( 3, 10, 776, 14, 3, 7, 2), // 713 mops, 6.1e-5 errors
/* 27 */ V0Parameter( 3, 10, 745, 43, 1, 13, 1), // 1977 mops, 6.2e-5 errors
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 4 */
/* 0 */ V0Parameter( 2, 10, 875, 1, 22, 3, 5), // 82 mops, 6.2e-5 errors
/* 1 */ V0Parameter( 2, 10, 875, 1, 22, 3, 5), // 82 mops, 6.2e-5 errors
/* 2 */ V0Parameter( 2, 10, 875, 1, 22, 3, 5), // 82 mops, 6.3e-5 errors
/* 3 */ V0Parameter( 2, 10, 876, 1, 22, 3, 5), // 82 mops, 6.1e-5 errors
/* 4 */ V0Parameter( 2, 10, 879, 1, 22, 3, 5), // 82 mops, 6.2e-5 errors
/* 5 */ V0Parameter( 2, 10, 821, 1, 22, 5, 3), // 84 mops, 6.0e-5 errors
/* 6 */ V0Parameter( 2, 10, 805, 2, 15, 5, 3), // 115 mops, 5.6e-5 errors
/* 7 */ V0Parameter( 2, 10, 805, 2, 15, 5, 3), // 115 mops, 5.6e-5 errors
/* 8 */ V0Parameter( 2, 10, 805, 2, 15, 5, 3), // 115 mops, 5.6e-5 errors
/* 9 */ V0Parameter( 2, 10, 805, 2, 15, 5, 3), // 115 mops, 5.7e-5 errors
/* 10 */ V0Parameter( 2, 10, 805, 2, 15, 5, 3), // 115 mops, 6.0e-5 errors
/* 11 */ V0Parameter( 2, 10, 807, 2, 15, 5, 3), // 115 mops, 5.9e-5 errors
/* 12 */ V0Parameter( 2, 10, 815, 2, 15, 5, 3), // 117 mops, 6.2e-5 errors
/* 13 */ V0Parameter( 2, 10, 805, 3, 11, 5, 3), // 148 mops, 5.8e-5 errors
/* 14 */ V0Parameter( 2, 10, 806, 3, 11, 5, 3), // 148 mops, 5.8e-5 errors
/* 15 */ V0Parameter( 2, 10, 810, 3, 11, 5, 3), // 149 mops, 5.8e-5 errors
/* 16 */ V0Parameter( 2, 10, 837, 3, 11, 5, 3), // 154 mops, 6.3e-5 errors
/* 17 */ V0Parameter( 2, 10, 779, 4, 9, 7, 2), // 182 mops, 6.1e-5 errors
/* 18 */ V0Parameter( 2, 10, 797, 4, 9, 7, 2), // 186 mops, 6.1e-5 errors
/* 19 */ V0Parameter( 2, 10, 799, 5, 8, 7, 2), // 219 mops, 6.3e-5 errors
/* 20 */ V0Parameter( 2, 10, 809, 6, 7, 7, 2), // 255 mops, 6.3e-5 errors
/* 21 */ V0Parameter( 2, 10, 827, 7, 6, 7, 2), // 294 mops, 6.3e-5 errors
/* 22 */ V0Parameter( 2, 10, 788, 10, 4, 7, 2), // 378 mops, 6.0e-5 errors
/* 23 */ V0Parameter( 2, 10, 791, 14, 3, 7, 2), // 509 mops, 6.1e-5 errors
/* 24 */ V0Parameter( 3, 10, 805, 14, 3, 7, 2), // 740 mops, 6.2e-5 errors
/* 25 */ V0Parameter( 3, 10, 810, 22, 2, 7, 2), // 1124 mops, 6.3e-5 errors
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 5 */
/* 0 */ V0Parameter( 1, 11, 850, 1, 22, 5, 3), // 110 mops, 5.7e-5 errors
/* 1 */ V0Parameter( 1, 11, 850, 1, 22, 5, 3), // 110 mops, 5.9e-5 errors
/* 2 */ V0Parameter( 1, 11, 851, 1, 22, 5, 3), // 111 mops, 5.7e-5 errors
/* 3 */ V0Parameter( 1, 11, 854, 1, 22, 5, 3), // 111 mops, 5.9e-5 errors
/* 4 */ V0Parameter( 1, 11, 873, 1, 22, 5, 3), // 113 mops, 6.1e-5 errors
/* 5 */ V0Parameter( 1, 11, 850, 2, 15, 5, 3), // 157 mops, 5.7e-5 errors
/* 6 */ V0Parameter( 1, 11, 850, 2, 15, 5, 3), // 157 mops, 5.7e-5 errors
/* 7 */ V0Parameter( 1, 11, 850, 2, 15, 5, 3), // 157 mops, 5.7e-5 errors
/* 8 */ V0Parameter( 1, 11, 850, 2, 15, 5, 3), // 157 mops, 5.8e-5 errors
/* 9 */ V0Parameter( 1, 11, 850, 2, 15, 5, 3), // 157 mops, 6.2e-5 errors
/* 10 */ V0Parameter( 1, 11, 853, 2, 15, 5, 3), // 157 mops, 6.0e-5 errors
/* 11 */ V0Parameter( 1, 11, 867, 2, 15, 5, 3), // 160 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 1, 11, 850, 3, 11, 5, 3), // 203 mops, 6.0e-5 errors
/* 13 */ V0Parameter( 1, 11, 851, 3, 11, 5, 3), // 204 mops, 6.1e-5 errors
/* 14 */ V0Parameter( 1, 11, 857, 3, 11, 5, 3), // 205 mops, 6.0e-5 errors
/* 15 */ V0Parameter( 1, 11, 884, 3, 11, 8, 2), // 222 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 1, 11, 831, 4, 9, 7, 2), // 251 mops, 6.1e-5 errors
/* 17 */ V0Parameter( 1, 11, 864, 4, 9, 8, 2), // 264 mops, 6.2e-5 errors
/* 18 */ V0Parameter( 1, 11, 884, 5, 8, 8, 2), // 318 mops, 6.3e-5 errors
/* 19 */ V0Parameter( 1, 11, 836, 7, 6, 7, 2), // 390 mops, 6.2e-5 errors
/* 20 */ V0Parameter( 1, 11, 840, 8, 5, 7, 2), // 437 mops, 6.1e-5 errors
/* 21 */ V0Parameter( 1, 11, 842, 10, 4, 8, 2), // 534 mops, 6.1e-5 errors
/* 22 */ V0Parameter( 1, 11, 850, 14, 3, 8, 2), // 725 mops, 6.1e-5 errors
/* 23 */ V0Parameter( 2, 11, 900, 15, 3, 8, 2), // 1322 mops, 6.3e-5 errors
/* 24 */ V0Parameter( 1, 12, 866, 22, 2, 8, 2), // 2390 mops, 6.1e-5 errors
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 6 */
/* 0 */ V0Parameter( 1, 12, 954, 1, 23, 4, 4), // 254 mops, 6.3e-5 errors
/* 1 */ V0Parameter( 1, 12, 955, 1, 23, 4, 4), // 254 mops, 6.3e-5 errors
/* 2 */ V0Parameter( 1, 12, 959, 1, 23, 4, 4), // 255 mops, 6.3e-5 errors
/* 3 */ V0Parameter( 1, 12, 989, 1, 23, 4, 4), // 263 mops, 6.3e-5 errors
/* 4 */ V0Parameter( 1, 12, 932, 2, 15, 5, 3), // 365 mops, 6.0e-5 errors
/* 5 */ V0Parameter( 1, 12, 932, 2, 15, 5, 3), // 365 mops, 6.0e-5 errors
/* 6 */ V0Parameter( 1, 12, 932, 2, 15, 5, 3), // 365 mops, 6.1e-5 errors
/* 7 */ V0Parameter( 1, 12, 932, 2, 15, 5, 3), // 365 mops, 6.2e-5 errors
/* 8 */ V0Parameter( 1, 12, 933, 2, 15, 5, 3), // 365 mops, 6.1e-5 errors
/* 9 */ V0Parameter( 1, 12, 937, 2, 15, 5, 3), // 367 mops, 6.3e-5 errors
/* 10 */ V0Parameter( 1, 12, 973, 2, 15, 4, 4), // 373 mops, 6.1e-5 errors
/* 11 */ V0Parameter( 1, 12, 933, 3, 12, 5, 3), // 475 mops, 6.0e-5 errors
/* 12 */ V0Parameter( 1, 12, 935, 3, 12, 5, 3), // 476 mops, 6.3e-5 errors
/* 13 */ V0Parameter( 1, 12, 928, 3, 12, 6, 3), // 480 mops, 6.3e-5 errors
/* 14 */ V0Parameter( 1, 12, 892, 4, 9, 8, 2), // 580 mops, 6.1e-5 errors
/* 15 */ V0Parameter( 1, 12, 895, 4, 9, 8, 2), // 582 mops, 6.2e-5 errors
/* 16 */ V0Parameter( 1, 12, 915, 4, 9, 8, 2), // 595 mops, 6.3e-5 errors
/* 17 */ V0Parameter( 1, 12, 907, 5, 8, 8, 2), // 696 mops, 6.3e-5 errors
/* 18 */ V0Parameter( 1, 12, 912, 6, 7, 8, 2), // 806 mops, 6.3e-5 errors
/* 19 */ V0Parameter( 1, 12, 919, 7, 6, 8, 2), // 920 mops, 6.2e-5 errors
/* 20 */ V0Parameter( 1, 12, 955, 8, 5, 9, 2), // 1075 mops, 6.3e-5 errors
/* 21 */ V0Parameter( 1, 12, 950, 11, 4, 18, 1), // 1470 mops, 6.3e-5 errors
/* 22 */ V0Parameter( 1, 12, 919, 21, 2, 9, 2), // 2435 mops, 6.2e-5 errors
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 7 */
/* 0 */ V0Parameter( 1, 13, 993, 1, 23, 6, 3), // 590 mops, 6.1e-5 errors
/* 1 */ V0Parameter( 1, 13, 1018, 1, 23, 6, 3), // 604 mops, 6.2e-5 errors
/* 2 */ V0Parameter( 1, 13, 988, 2, 15, 6, 3), // 834 mops, 6.2e-5 errors
/* 3 */ V0Parameter( 1, 13, 988, 2, 15, 6, 3), // 834 mops, 6.2e-5 errors
/* 4 */ V0Parameter( 1, 13, 988, 2, 15, 6, 3), // 834 mops, 6.2e-5 errors
/* 5 */ V0Parameter( 1, 13, 988, 2, 15, 6, 3), // 834 mops, 6.3e-5 errors
/* 6 */ V0Parameter( 1, 13, 989, 2, 15, 6, 3), // 835 mops, 6.0e-5 errors
/* 7 */ V0Parameter( 1, 13, 991, 2, 15, 6, 3), // 837 mops, 6.1e-5 errors
/* 8 */ V0Parameter( 1, 13, 1002, 2, 15, 6, 3), // 846 mops, 6.2e-5 errors
/* 9 */ V0Parameter( 1, 13, 989, 3, 11, 6, 3), // 1082 mops, 5.9e-5 errors
/* 10 */ V0Parameter( 1, 13, 990, 3, 11, 6, 3), // 1084 mops, 6.0e-5 errors
/* 11 */ V0Parameter( 1, 13, 996, 3, 11, 6, 3), // 1090 mops, 6.0e-5 errors
/* 12 */ V0Parameter( 1, 13, 1017, 3, 11, 10, 2), // 1176 mops, 6.3e-5 errors
/* 13 */ V0Parameter( 1, 13, 993, 4, 9, 6, 3), // 1335 mops, 6.1e-5 errors
/* 14 */ V0Parameter( 1, 13, 1018, 4, 9, 6, 3), // 1368 mops, 6.2e-5 errors
/* 15 */ V0Parameter( 1, 13, 984, 5, 8, 9, 2), // 1615 mops, 6.2e-5 errors
/* 16 */ V0Parameter( 1, 13, 994, 6, 7, 9, 2), // 1880 mops, 6.3e-5 errors
/* 17 */ V0Parameter( 1, 13, 1006, 7, 6, 10, 2), // 2169 mops, 6.3e-5 errors
/* 18 */ V0Parameter( 1, 13, 975, 10, 4, 9, 2), // 2820 mops, 6.0e-5 errors
/* 19 */ V0Parameter( 1, 13, 976, 14, 3, 9, 2), // 3798 mops, 6.0e-5 errors
/* 20 */ V0Parameter( 1, 13, 996, 21, 2, 10, 2), // 5634 mops, 6.3e-5 errors
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 8 */
/* 0 */ V0Parameter( 1, 14, 1017, 2, 15, 19, 1), // 2226 mops, 6.3e-5 errors
/* 1 */ V0Parameter( 1, 14, 1017, 2, 15, 19, 1), // 2226 mops, 6.3e-5 errors
/* 2 */ V0Parameter( 1, 14, 1017, 2, 15, 19, 1), // 2226 mops, 6.3e-5 errors
/* 3 */ V0Parameter( 1, 14, 1018, 2, 15, 19, 1), // 2228 mops, 5.9e-5 errors
/* 4 */ V0Parameter( 1, 14, 1018, 2, 15, 19, 1), // 2228 mops, 6.1e-5 errors
/* 5 */ V0Parameter( 1, 14, 1020, 2, 15, 19, 1), // 2232 mops, 6.3e-5 errors
/* 6 */ V0Parameter( 1, 14, 1017, 3, 11, 19, 1), // 2766 mops, 6.3e-5 errors
/* 7 */ V0Parameter( 1, 14, 1018, 3, 11, 19, 1), // 2768 mops, 6.0e-5 errors
/* 8 */ V0Parameter( 1, 14, 1019, 3, 11, 19, 1), // 2771 mops, 6.0e-5 errors
/* 9 */ V0Parameter( 1, 14, 1024, 3, 11, 19, 1), // 2784 mops, 6.1e-5 errors
/* 10 */ V0Parameter( 1, 14, 1019, 4, 9, 19, 1), // 3312 mops, 6.0e-5 errors
/* 11 */ V0Parameter( 1, 14, 1023, 4, 9, 19, 1), // 3325 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 1, 14, 1024, 5, 8, 19, 1), // 3872 mops, 6.1e-5 errors
/* 13 */ V0Parameter( 1, 14, 1023, 6, 7, 20, 1), // 4444 mops, 6.1e-5 errors
/* 14 */ V0Parameter( 1, 14, 1024, 7, 6, 20, 1), // 4992 mops, 6.2e-5 errors
/* 15 */ V0Parameter( 1, 14, 1021, 10, 4, 19, 1), // 6573 mops, 6.1e-5 errors
/* 16 */ V0Parameter( 1, 14, 1022, 14, 3, 19, 1), // 8751 mops, 6.1e-5 errors
/* 17 */ V0Parameter( 1, 14, 1022, 21, 2, 20, 1), // 12584 mops, 6.3e-5 errors
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
}

View File

@@ -0,0 +1,275 @@
{ /* Security level: 160 */
{ /* 6.3e-5 errors */
{ /* precision 1 */
/* 0 */ V0Parameter( 2, 10, 725, 1, 20, 3, 3), // 69 mops, 6.2e-5 errors
/* 1 */ V0Parameter( 2, 10, 725, 1, 20, 3, 3), // 69 mops, 6.2e-5 errors
/* 2 */ V0Parameter( 2, 10, 725, 1, 20, 3, 3), // 69 mops, 6.3e-5 errors
/* 3 */ V0Parameter( 2, 10, 726, 1, 20, 3, 3), // 69 mops, 5.4e-5 errors
/* 4 */ V0Parameter( 2, 10, 726, 1, 20, 3, 3), // 69 mops, 5.8e-5 errors
/* 5 */ V0Parameter( 2, 10, 728, 1, 20, 3, 3), // 69 mops, 5.8e-5 errors
/* 6 */ V0Parameter( 2, 10, 737, 1, 20, 3, 3), // 70 mops, 6.2e-5 errors
/* 7 */ V0Parameter( 2, 10, 787, 1, 20, 4, 3), // 77 mops, 6.3e-5 errors
/* 8 */ V0Parameter( 2, 10, 725, 2, 13, 3, 3), // 99 mops, 6.2e-5 errors
/* 9 */ V0Parameter( 2, 10, 726, 2, 13, 3, 3), // 99 mops, 5.4e-5 errors
/* 10 */ V0Parameter( 2, 10, 726, 2, 13, 3, 3), // 99 mops, 5.7e-5 errors
/* 11 */ V0Parameter( 2, 10, 727, 2, 13, 3, 3), // 99 mops, 6.3e-5 errors
/* 12 */ V0Parameter( 2, 10, 735, 2, 13, 3, 3), // 100 mops, 5.6e-5 errors
/* 13 */ V0Parameter( 2, 10, 728, 2, 13, 5, 2), // 105 mops, 6.0e-5 errors
/* 14 */ V0Parameter( 2, 10, 689, 3, 10, 5, 2), // 128 mops, 6.1e-5 errors
/* 15 */ V0Parameter( 2, 10, 692, 3, 10, 5, 2), // 128 mops, 5.4e-5 errors
/* 16 */ V0Parameter( 2, 10, 704, 3, 10, 5, 2), // 131 mops, 6.0e-5 errors
/* 17 */ V0Parameter( 2, 10, 693, 4, 8, 5, 2), // 157 mops, 5.2e-5 errors
/* 18 */ V0Parameter( 2, 10, 709, 4, 8, 5, 2), // 161 mops, 6.0e-5 errors
/* 19 */ V0Parameter( 3, 10, 708, 3, 12, 5, 2), // 187 mops, 5.4e-5 errors
/* 20 */ V0Parameter( 3, 10, 725, 3, 12, 5, 2), // 191 mops, 6.0e-5 errors
/* 21 */ V0Parameter( 3, 10, 707, 4, 9, 5, 2), // 228 mops, 5.3e-5 errors
/* 22 */ V0Parameter( 3, 10, 718, 4, 9, 5, 2), // 232 mops, 6.0e-5 errors
/* 23 */ V0Parameter( 3, 10, 711, 5, 8, 5, 2), // 271 mops, 5.4e-5 errors
/* 24 */ V0Parameter( 3, 10, 747, 5, 8, 6, 2), // 289 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 3, 10, 775, 6, 7, 6, 2), // 345 mops, 6.2e-5 errors
/* 26 */ V0Parameter( 3, 10, 728, 8, 5, 5, 2), // 405 mops, 5.8e-5 errors
/* 27 */ V0Parameter( 3, 10, 722, 11, 4, 5, 2), // 529 mops, 6.0e-5 errors
/* 28 */ V0Parameter( 3, 10, 742, 14, 3, 6, 2), // 678 mops, 6.3e-5 errors
/* 29 */ V0Parameter( 3, 10, 766, 22, 2, 6, 2), // 1059 mops, 6.2e-5 errors
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 2 */
/* 0 */ V0Parameter( 2, 10, 769, 1, 20, 4, 3), // 76 mops, 5.4e-5 errors
/* 1 */ V0Parameter( 2, 10, 769, 1, 20, 4, 3), // 76 mops, 5.5e-5 errors
/* 2 */ V0Parameter( 2, 10, 769, 1, 20, 4, 3), // 76 mops, 5.6e-5 errors
/* 3 */ V0Parameter( 2, 10, 769, 1, 20, 4, 3), // 76 mops, 6.1e-5 errors
/* 4 */ V0Parameter( 2, 10, 771, 1, 20, 4, 3), // 76 mops, 5.3e-5 errors
/* 5 */ V0Parameter( 2, 10, 777, 1, 20, 4, 3), // 77 mops, 6.0e-5 errors
/* 6 */ V0Parameter( 2, 10, 834, 1, 20, 7, 2), // 91 mops, 6.3e-5 errors
/* 7 */ V0Parameter( 2, 10, 746, 2, 13, 5, 2), // 107 mops, 6.3e-5 errors
/* 8 */ V0Parameter( 2, 10, 769, 2, 13, 4, 3), // 107 mops, 5.6e-5 errors
/* 9 */ V0Parameter( 2, 10, 769, 2, 13, 4, 3), // 107 mops, 6.0e-5 errors
/* 10 */ V0Parameter( 2, 10, 770, 2, 13, 4, 3), // 108 mops, 6.1e-5 errors
/* 11 */ V0Parameter( 2, 10, 775, 2, 13, 4, 3), // 108 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 2, 10, 814, 2, 13, 4, 3), // 113 mops, 6.3e-5 errors
/* 13 */ V0Parameter( 2, 10, 748, 3, 10, 5, 2), // 138 mops, 5.5e-5 errors
/* 14 */ V0Parameter( 2, 10, 752, 3, 10, 5, 2), // 139 mops, 5.5e-5 errors
/* 15 */ V0Parameter( 2, 10, 786, 3, 10, 4, 3), // 142 mops, 5.9e-5 errors
/* 16 */ V0Parameter( 2, 10, 753, 4, 8, 5, 2), // 170 mops, 5.8e-5 errors
/* 17 */ V0Parameter( 2, 10, 761, 4, 8, 6, 2), // 175 mops, 5.7e-5 errors
/* 18 */ V0Parameter( 3, 10, 787, 3, 12, 4, 3), // 202 mops, 5.6e-5 errors
/* 19 */ V0Parameter( 3, 10, 805, 3, 12, 4, 3), // 206 mops, 6.0e-5 errors
/* 20 */ V0Parameter( 3, 10, 756, 4, 9, 6, 2), // 248 mops, 5.7e-5 errors
/* 21 */ V0Parameter( 3, 10, 767, 4, 9, 6, 2), // 251 mops, 6.2e-5 errors
/* 22 */ V0Parameter( 3, 10, 760, 5, 8, 6, 2), // 294 mops, 5.8e-5 errors
/* 23 */ V0Parameter( 3, 10, 809, 5, 8, 6, 2), // 312 mops, 6.1e-5 errors
/* 24 */ V0Parameter( 3, 10, 763, 7, 6, 6, 2), // 384 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 3, 10, 777, 8, 5, 6, 2), // 436 mops, 5.8e-5 errors
/* 26 */ V0Parameter( 3, 10, 771, 11, 4, 6, 2), // 569 mops, 6.1e-5 errors
/* 27 */ V0Parameter( 3, 10, 801, 14, 3, 6, 2), // 731 mops, 6.1e-5 errors
/* 28 */ V0Parameter( 3, 10, 834, 22, 2, 13, 1), // 1186 mops, 6.3e-5 errors
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 3 */
/* 0 */ V0Parameter( 2, 10, 857, 1, 20, 3, 4), // 80 mops, 6.0e-5 errors
/* 1 */ V0Parameter( 2, 10, 857, 1, 20, 3, 4), // 80 mops, 6.1e-5 errors
/* 2 */ V0Parameter( 2, 10, 858, 1, 20, 3, 4), // 80 mops, 5.5e-5 errors
/* 3 */ V0Parameter( 2, 10, 860, 1, 20, 3, 4), // 81 mops, 5.5e-5 errors
/* 4 */ V0Parameter( 2, 10, 869, 1, 20, 3, 4), // 81 mops, 6.1e-5 errors
/* 5 */ V0Parameter( 2, 10, 821, 2, 13, 4, 3), // 114 mops, 6.0e-5 errors
/* 6 */ V0Parameter( 2, 10, 821, 2, 13, 4, 3), // 114 mops, 6.0e-5 errors
/* 7 */ V0Parameter( 2, 10, 821, 2, 13, 4, 3), // 114 mops, 6.1e-5 errors
/* 8 */ V0Parameter( 2, 10, 822, 2, 13, 4, 3), // 114 mops, 5.4e-5 errors
/* 9 */ V0Parameter( 2, 10, 823, 2, 13, 4, 3), // 114 mops, 6.0e-5 errors
/* 10 */ V0Parameter( 2, 10, 830, 2, 13, 4, 3), // 115 mops, 5.8e-5 errors
/* 11 */ V0Parameter( 2, 10, 863, 2, 13, 7, 2), // 130 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 2, 10, 822, 3, 10, 4, 3), // 148 mops, 6.1e-5 errors
/* 13 */ V0Parameter( 2, 10, 826, 3, 10, 4, 3), // 149 mops, 5.6e-5 errors
/* 14 */ V0Parameter( 2, 10, 846, 3, 10, 4, 3), // 152 mops, 6.2e-5 errors
/* 15 */ V0Parameter( 2, 10, 797, 4, 8, 6, 2), // 183 mops, 5.6e-5 errors
/* 16 */ V0Parameter( 2, 10, 824, 4, 8, 6, 2), // 189 mops, 6.1e-5 errors
/* 17 */ V0Parameter( 3, 10, 843, 3, 12, 4, 3), // 216 mops, 5.4e-5 errors
/* 18 */ V0Parameter( 3, 10, 875, 3, 12, 4, 3), // 223 mops, 6.1e-5 errors
/* 19 */ V0Parameter( 3, 10, 841, 4, 9, 4, 3), // 264 mops, 5.8e-5 errors
/* 20 */ V0Parameter( 3, 10, 860, 4, 9, 4, 3), // 270 mops, 6.0e-5 errors
/* 21 */ V0Parameter( 3, 10, 817, 5, 8, 6, 2), // 315 mops, 5.7e-5 errors
/* 22 */ V0Parameter( 3, 10, 819, 6, 7, 6, 2), // 363 mops, 5.9e-5 errors
/* 23 */ V0Parameter( 3, 10, 822, 7, 6, 6, 2), // 413 mops, 5.8e-5 errors
/* 24 */ V0Parameter( 3, 10, 838, 8, 5, 7, 2), // 475 mops, 5.9e-5 errors
/* 25 */ V0Parameter( 3, 10, 836, 11, 4, 6, 2), // 616 mops, 6.0e-5 errors
/* 26 */ V0Parameter( 3, 10, 846, 15, 3, 7, 2), // 826 mops, 6.2e-5 errors
/* 27 */ V0Parameter( 3, 10, 819, 44, 1, 13, 1), // 2221 mops, 6.2e-5 errors
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 4 */
/* 0 */ V0Parameter( 2, 10, 975, 1, 20, 3, 5), // 90 mops, 6.0e-5 errors
/* 1 */ V0Parameter( 2, 10, 976, 1, 20, 3, 5), // 90 mops, 6.2e-5 errors
/* 2 */ V0Parameter( 2, 10, 982, 1, 20, 3, 5), // 91 mops, 6.1e-5 errors
/* 3 */ V0Parameter( 2, 10, 933, 1, 20, 5, 3), // 94 mops, 6.3e-5 errors
/* 4 */ V0Parameter( 2, 10, 896, 2, 13, 5, 3), // 127 mops, 6.1e-5 errors
/* 5 */ V0Parameter( 2, 10, 896, 2, 13, 5, 3), // 127 mops, 6.1e-5 errors
/* 6 */ V0Parameter( 2, 10, 896, 2, 13, 5, 3), // 127 mops, 6.2e-5 errors
/* 7 */ V0Parameter( 2, 10, 897, 2, 13, 5, 3), // 128 mops, 6.1e-5 errors
/* 8 */ V0Parameter( 2, 10, 900, 2, 13, 5, 3), // 128 mops, 6.3e-5 errors
/* 9 */ V0Parameter( 2, 10, 921, 2, 13, 5, 3), // 131 mops, 6.1e-5 errors
/* 10 */ V0Parameter( 2, 10, 897, 3, 10, 5, 3), // 164 mops, 5.8e-5 errors
/* 11 */ V0Parameter( 2, 10, 898, 3, 10, 5, 3), // 165 mops, 6.3e-5 errors
/* 12 */ V0Parameter( 2, 10, 907, 3, 10, 5, 3), // 166 mops, 6.2e-5 errors
/* 13 */ V0Parameter( 2, 10, 866, 4, 8, 7, 2), // 201 mops, 6.3e-5 errors
/* 14 */ V0Parameter( 2, 10, 877, 4, 8, 7, 2), // 204 mops, 6.2e-5 errors
/* 15 */ V0Parameter( 3, 10, 913, 3, 12, 5, 3), // 238 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 3, 10, 925, 3, 12, 5, 3), // 241 mops, 6.1e-5 errors
/* 17 */ V0Parameter( 3, 10, 913, 4, 9, 5, 3), // 292 mops, 5.9e-5 errors
/* 18 */ V0Parameter( 3, 10, 921, 4, 9, 5, 3), // 294 mops, 6.0e-5 errors
/* 19 */ V0Parameter( 3, 10, 884, 5, 8, 7, 2), // 345 mops, 6.0e-5 errors
/* 20 */ V0Parameter( 3, 10, 908, 5, 8, 7, 2), // 354 mops, 6.3e-5 errors
/* 21 */ V0Parameter( 3, 10, 921, 6, 7, 7, 2), // 413 mops, 6.2e-5 errors
/* 22 */ V0Parameter( 3, 10, 936, 7, 6, 8, 2), // 480 mops, 6.3e-5 errors
/* 23 */ V0Parameter( 3, 10, 891, 11, 4, 7, 2), // 661 mops, 6.1e-5 errors
/* 24 */ V0Parameter( 3, 10, 906, 14, 3, 7, 2), // 831 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 3, 10, 917, 22, 2, 7, 2), // 1271 mops, 6.3e-5 errors
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 5 */
/* 0 */ V0Parameter( 1, 11, 948, 1, 20, 5, 3), // 122 mops, 6.1e-5 errors
/* 1 */ V0Parameter( 1, 11, 954, 1, 20, 5, 3), // 123 mops, 6.2e-5 errors
/* 2 */ V0Parameter( 1, 11, 982, 1, 20, 8, 2), // 138 mops, 6.3e-5 errors
/* 3 */ V0Parameter( 1, 11, 946, 2, 13, 5, 3), // 174 mops, 6.2e-5 errors
/* 4 */ V0Parameter( 1, 11, 946, 2, 13, 5, 3), // 174 mops, 6.2e-5 errors
/* 5 */ V0Parameter( 1, 11, 947, 2, 13, 5, 3), // 174 mops, 5.8e-5 errors
/* 6 */ V0Parameter( 1, 11, 948, 2, 13, 5, 3), // 174 mops, 5.9e-5 errors
/* 7 */ V0Parameter( 1, 11, 952, 2, 13, 5, 3), // 175 mops, 6.2e-5 errors
/* 8 */ V0Parameter( 1, 11, 988, 2, 13, 5, 3), // 181 mops, 6.2e-5 errors
/* 9 */ V0Parameter( 1, 11, 947, 3, 10, 5, 3), // 226 mops, 6.1e-5 errors
/* 10 */ V0Parameter( 1, 11, 950, 3, 10, 5, 3), // 226 mops, 6.0e-5 errors
/* 11 */ V0Parameter( 1, 11, 965, 3, 10, 5, 3), // 230 mops, 6.1e-5 errors
/* 12 */ V0Parameter( 1, 11, 924, 4, 8, 7, 2), // 278 mops, 6.0e-5 errors
/* 13 */ V0Parameter( 1, 11, 972, 4, 8, 5, 3), // 285 mops, 6.2e-5 errors
/* 14 */ V0Parameter( 1, 11, 936, 5, 7, 8, 2), // 337 mops, 6.2e-5 errors
/* 15 */ V0Parameter( 1, 11, 943, 6, 6, 8, 2), // 391 mops, 6.2e-5 errors
/* 16 */ V0Parameter( 1, 11, 968, 7, 5, 8, 2), // 454 mops, 6.3e-5 errors
/* 17 */ V0Parameter( 2, 11, 1005, 4, 9, 5, 3), // 479 mops, 6.3e-5 errors
/* 18 */ V0Parameter( 2, 11, 991, 5, 8, 5, 3), // 559 mops, 6.1e-5 errors
/* 19 */ V0Parameter( 2, 11, 958, 6, 7, 8, 2), // 648 mops, 6.1e-5 errors
/* 20 */ V0Parameter( 2, 11, 962, 7, 6, 8, 2), // 735 mops, 6.2e-5 errors
/* 21 */ V0Parameter( 2, 11, 1003, 8, 5, 8, 2), // 854 mops, 6.3e-5 errors
/* 22 */ V0Parameter( 2, 11, 996, 11, 4, 8, 2), // 1111 mops, 6.3e-5 errors
/* 23 */ V0Parameter( 1, 12, 944, 14, 3, 8, 2), // 1719 mops, 6.3e-5 errors
/* 24 */ V0Parameter( 1, 12, 979, 22, 2, 8, 2), // 2700 mops, 6.3e-5 errors
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 6 */
/* 0 */ V0Parameter( 1, 12, 993, 1, 23, 8, 2), // 295 mops, 6.1e-5 errors
/* 1 */ V0Parameter( 1, 12, 994, 1, 23, 8, 2), // 295 mops, 6.2e-5 errors
/* 2 */ V0Parameter( 1, 12, 999, 1, 23, 8, 2), // 297 mops, 6.3e-5 errors
/* 3 */ V0Parameter( 1, 12, 1014, 1, 23, 17, 1), // 372 mops, 6.3e-5 errors
/* 4 */ V0Parameter( 1, 12, 1024, 2, 15, 6, 3), // 408 mops, 6.3e-5 errors
/* 5 */ V0Parameter( 1, 12, 1024, 2, 15, 6, 3), // 408 mops, 6.3e-5 errors
/* 6 */ V0Parameter( 1, 12, 1024, 2, 15, 6, 3), // 408 mops, 6.3e-5 errors
/* 7 */ V0Parameter( 1, 12, 993, 2, 15, 8, 2), // 411 mops, 6.1e-5 errors
/* 8 */ V0Parameter( 1, 12, 994, 2, 15, 8, 2), // 412 mops, 6.0e-5 errors
/* 9 */ V0Parameter( 1, 12, 997, 2, 15, 8, 2), // 413 mops, 6.2e-5 errors
/* 10 */ V0Parameter( 1, 12, 1018, 2, 15, 8, 2), // 421 mops, 6.2e-5 errors
/* 11 */ V0Parameter( 1, 12, 993, 3, 12, 8, 2), // 528 mops, 6.3e-5 errors
/* 12 */ V0Parameter( 1, 12, 996, 3, 12, 8, 2), // 529 mops, 6.0e-5 errors
/* 13 */ V0Parameter( 1, 12, 1007, 3, 12, 8, 2), // 535 mops, 6.1e-5 errors
/* 14 */ V0Parameter( 1, 12, 994, 4, 9, 8, 2), // 645 mops, 6.2e-5 errors
/* 15 */ V0Parameter( 1, 12, 999, 4, 9, 8, 2), // 648 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 1, 12, 1014, 4, 9, 17, 1), // 729 mops, 6.3e-5 errors
/* 17 */ V0Parameter( 1, 12, 1023, 5, 8, 8, 2), // 783 mops, 6.2e-5 errors
/* 18 */ V0Parameter( 1, 12, 1008, 6, 7, 17, 1), // 961 mops, 6.3e-5 errors
/* 19 */ V0Parameter( 1, 12, 1022, 7, 6, 17, 1), // 1094 mops, 6.3e-5 errors
/* 20 */ V0Parameter( 1, 12, 1017, 10, 4, 9, 2), // 1382 mops, 6.1e-5 errors
/* 21 */ V0Parameter( 1, 12, 1014, 14, 3, 8, 2), // 1846 mops, 6.3e-5 errors
/* 22 */ V0Parameter( 1, 12, 1022, 22, 2, 9, 2), // 2826 mops, 6.2e-5 errors
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 7 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 8 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
}

View File

@@ -0,0 +1,275 @@
{ /* Security level: 176 */
{ /* 6.3e-5 errors */
{ /* precision 1 */
/* 0 */ V0Parameter( 2, 10, 786, 1, 18, 3, 3), // 74 mops, 6.1e-5 errors
/* 1 */ V0Parameter( 2, 10, 786, 1, 18, 3, 3), // 74 mops, 6.2e-5 errors
/* 2 */ V0Parameter( 2, 10, 787, 1, 18, 3, 3), // 74 mops, 5.8e-5 errors
/* 3 */ V0Parameter( 2, 10, 789, 1, 18, 3, 3), // 75 mops, 5.7e-5 errors
/* 4 */ V0Parameter( 2, 10, 798, 1, 18, 3, 3), // 75 mops, 6.0e-5 errors
/* 5 */ V0Parameter( 2, 10, 836, 1, 18, 4, 3), // 82 mops, 6.2e-5 errors
/* 6 */ V0Parameter( 2, 10, 786, 2, 12, 3, 3), // 107 mops, 6.1e-5 errors
/* 7 */ V0Parameter( 2, 10, 786, 2, 12, 3, 3), // 107 mops, 6.3e-5 errors
/* 8 */ V0Parameter( 2, 10, 787, 2, 12, 3, 3), // 107 mops, 5.9e-5 errors
/* 9 */ V0Parameter( 2, 10, 790, 2, 12, 3, 3), // 107 mops, 5.6e-5 errors
/* 10 */ V0Parameter( 2, 10, 802, 2, 12, 3, 3), // 109 mops, 6.2e-5 errors
/* 11 */ V0Parameter( 2, 10, 747, 3, 9, 5, 2), // 138 mops, 5.3e-5 errors
/* 12 */ V0Parameter( 2, 10, 749, 3, 9, 5, 2), // 138 mops, 5.5e-5 errors
/* 13 */ V0Parameter( 2, 10, 759, 3, 9, 5, 2), // 140 mops, 5.8e-5 errors
/* 14 */ V0Parameter( 3, 10, 813, 2, 15, 3, 3), // 156 mops, 5.9e-5 errors
/* 15 */ V0Parameter( 3, 10, 765, 2, 15, 5, 2), // 156 mops, 6.0e-5 errors
/* 16 */ V0Parameter( 3, 10, 775, 2, 15, 5, 2), // 158 mops, 6.2e-5 errors
/* 17 */ V0Parameter( 3, 10, 763, 3, 12, 5, 2), // 201 mops, 5.4e-5 errors
/* 18 */ V0Parameter( 3, 10, 764, 3, 12, 5, 2), // 201 mops, 5.3e-5 errors
/* 19 */ V0Parameter( 3, 10, 767, 3, 12, 5, 2), // 202 mops, 6.1e-5 errors
/* 20 */ V0Parameter( 3, 10, 789, 3, 12, 5, 2), // 207 mops, 6.0e-5 errors
/* 21 */ V0Parameter( 3, 10, 766, 4, 9, 5, 2), // 246 mops, 5.8e-5 errors
/* 22 */ V0Parameter( 3, 10, 780, 4, 9, 5, 2), // 251 mops, 6.0e-5 errors
/* 23 */ V0Parameter( 3, 10, 771, 5, 8, 5, 2), // 293 mops, 5.8e-5 errors
/* 24 */ V0Parameter( 3, 10, 820, 5, 8, 6, 2), // 316 mops, 6.2e-5 errors
/* 25 */ V0Parameter( 3, 10, 775, 7, 6, 5, 2), // 385 mops, 5.9e-5 errors
/* 26 */ V0Parameter( 3, 10, 792, 8, 5, 5, 2), // 440 mops, 6.2e-5 errors
/* 27 */ V0Parameter( 3, 10, 785, 11, 4, 5, 2), // 574 mops, 6.0e-5 errors
/* 28 */ V0Parameter( 3, 10, 813, 14, 3, 6, 2), // 742 mops, 6.1e-5 errors
/* 29 */ V0Parameter( 3, 10, 843, 22, 2, 12, 1), // 1194 mops, 6.3e-5 errors
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 2 */
/* 0 */ V0Parameter( 2, 10, 834, 1, 18, 4, 3), // 82 mops, 5.6e-5 errors
/* 1 */ V0Parameter( 2, 10, 834, 1, 18, 4, 3), // 82 mops, 6.0e-5 errors
/* 2 */ V0Parameter( 2, 10, 836, 1, 18, 4, 3), // 82 mops, 5.4e-5 errors
/* 3 */ V0Parameter( 2, 10, 842, 1, 18, 4, 3), // 82 mops, 5.9e-5 errors
/* 4 */ V0Parameter( 2, 10, 912, 1, 18, 4, 3), // 89 mops, 6.3e-5 errors
/* 5 */ V0Parameter( 2, 10, 809, 2, 12, 5, 2), // 116 mops, 6.2e-5 errors
/* 6 */ V0Parameter( 2, 10, 834, 2, 12, 4, 3), // 116 mops, 5.6e-5 errors
/* 7 */ V0Parameter( 2, 10, 834, 2, 12, 4, 3), // 116 mops, 6.2e-5 errors
/* 8 */ V0Parameter( 2, 10, 836, 2, 12, 4, 3), // 116 mops, 6.0e-5 errors
/* 9 */ V0Parameter( 2, 10, 845, 2, 12, 4, 3), // 117 mops, 5.8e-5 errors
/* 10 */ V0Parameter( 2, 10, 810, 3, 9, 5, 2), // 149 mops, 6.2e-5 errors
/* 11 */ V0Parameter( 2, 10, 814, 3, 9, 5, 2), // 150 mops, 5.8e-5 errors
/* 12 */ V0Parameter( 2, 10, 848, 3, 9, 4, 3), // 152 mops, 5.9e-5 errors
/* 13 */ V0Parameter( 3, 10, 850, 2, 15, 4, 3), // 168 mops, 5.3e-5 errors
/* 14 */ V0Parameter( 3, 10, 852, 2, 15, 4, 3), // 168 mops, 5.5e-5 errors
/* 15 */ V0Parameter( 3, 10, 862, 2, 15, 4, 3), // 170 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 3, 10, 849, 3, 12, 4, 3), // 217 mops, 6.0e-5 errors
/* 17 */ V0Parameter( 3, 10, 850, 3, 12, 4, 3), // 217 mops, 5.9e-5 errors
/* 18 */ V0Parameter( 3, 10, 854, 3, 12, 4, 3), // 218 mops, 5.8e-5 errors
/* 19 */ V0Parameter( 3, 10, 877, 3, 12, 4, 3), // 224 mops, 5.9e-5 errors
/* 20 */ V0Parameter( 3, 10, 820, 4, 9, 6, 2), // 268 mops, 5.8e-5 errors
/* 21 */ V0Parameter( 3, 10, 834, 4, 9, 6, 2), // 272 mops, 5.9e-5 errors
/* 22 */ V0Parameter( 3, 10, 825, 5, 8, 6, 2), // 318 mops, 5.7e-5 errors
/* 23 */ V0Parameter( 3, 10, 905, 5, 8, 6, 2), // 347 mops, 6.3e-5 errors
/* 24 */ V0Parameter( 3, 10, 829, 7, 6, 6, 2), // 416 mops, 5.8e-5 errors
/* 25 */ V0Parameter( 3, 10, 846, 8, 5, 6, 2), // 474 mops, 6.0e-5 errors
/* 26 */ V0Parameter( 3, 10, 839, 11, 4, 6, 2), // 618 mops, 5.9e-5 errors
/* 27 */ V0Parameter( 3, 10, 884, 14, 3, 6, 2), // 806 mops, 6.3e-5 errors
/* 28 */ V0Parameter( 3, 10, 842, 43, 1, 12, 1), // 2228 mops, 6.0e-5 errors
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 3 */
/* 0 */ V0Parameter( 2, 10, 931, 1, 18, 3, 4), // 87 mops, 6.2e-5 errors
/* 1 */ V0Parameter( 2, 10, 933, 1, 18, 3, 4), // 87 mops, 6.2e-5 errors
/* 2 */ V0Parameter( 2, 10, 943, 1, 18, 3, 4), // 88 mops, 5.8e-5 errors
/* 3 */ V0Parameter( 2, 10, 891, 2, 12, 4, 3), // 123 mops, 6.3e-5 errors
/* 4 */ V0Parameter( 2, 10, 891, 2, 12, 4, 3), // 123 mops, 6.3e-5 errors
/* 5 */ V0Parameter( 2, 10, 892, 2, 12, 4, 3), // 123 mops, 5.4e-5 errors
/* 6 */ V0Parameter( 2, 10, 892, 2, 12, 4, 3), // 123 mops, 6.0e-5 errors
/* 7 */ V0Parameter( 2, 10, 895, 2, 12, 4, 3), // 124 mops, 5.5e-5 errors
/* 8 */ V0Parameter( 2, 10, 907, 2, 12, 4, 3), // 125 mops, 6.0e-5 errors
/* 9 */ V0Parameter( 2, 10, 892, 3, 9, 4, 3), // 160 mops, 6.2e-5 errors
/* 10 */ V0Parameter( 2, 10, 895, 3, 9, 4, 3), // 160 mops, 6.3e-5 errors
/* 11 */ V0Parameter( 2, 10, 912, 3, 9, 4, 3), // 163 mops, 5.9e-5 errors
/* 12 */ V0Parameter( 3, 10, 909, 2, 15, 4, 3), // 178 mops, 6.1e-5 errors
/* 13 */ V0Parameter( 3, 10, 912, 2, 15, 4, 3), // 179 mops, 6.2e-5 errors
/* 14 */ V0Parameter( 3, 10, 929, 2, 15, 4, 3), // 182 mops, 6.0e-5 errors
/* 15 */ V0Parameter( 3, 10, 909, 3, 12, 4, 3), // 232 mops, 5.5e-5 errors
/* 16 */ V0Parameter( 3, 10, 910, 3, 12, 4, 3), // 232 mops, 5.8e-5 errors
/* 17 */ V0Parameter( 3, 10, 916, 3, 12, 4, 3), // 233 mops, 5.5e-5 errors
/* 18 */ V0Parameter( 3, 10, 961, 3, 12, 4, 3), // 244 mops, 6.2e-5 errors
/* 19 */ V0Parameter( 3, 10, 914, 4, 9, 4, 3), // 286 mops, 5.5e-5 errors
/* 20 */ V0Parameter( 3, 10, 938, 4, 9, 4, 3), // 294 mops, 6.1e-5 errors
/* 21 */ V0Parameter( 3, 10, 888, 5, 8, 6, 2), // 341 mops, 5.9e-5 errors
/* 22 */ V0Parameter( 3, 10, 891, 6, 7, 6, 2), // 394 mops, 5.9e-5 errors
/* 23 */ V0Parameter( 3, 10, 894, 7, 6, 6, 2), // 448 mops, 6.3e-5 errors
/* 24 */ V0Parameter( 3, 10, 916, 8, 5, 7, 2), // 518 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 3, 10, 905, 11, 4, 7, 2), // 671 mops, 6.0e-5 errors
/* 26 */ V0Parameter( 3, 10, 930, 15, 3, 7, 2), // 907 mops, 6.1e-5 errors
/* 27 */ V0Parameter( 3, 10, 895, 44, 1, 13, 1), // 2426 mops, 6.0e-5 errors
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 4 */
/* 0 */ V0Parameter( 2, 10, 984, 1, 18, 5, 3), // 99 mops, 6.3e-5 errors
/* 1 */ V0Parameter( 2, 10, 985, 1, 18, 7, 2), // 107 mops, 6.2e-5 errors
/* 2 */ V0Parameter( 2, 10, 978, 2, 12, 5, 3), // 138 mops, 5.9e-5 errors
/* 3 */ V0Parameter( 2, 10, 978, 2, 12, 5, 3), // 138 mops, 6.0e-5 errors
/* 4 */ V0Parameter( 2, 10, 978, 2, 12, 5, 3), // 138 mops, 6.2e-5 errors
/* 5 */ V0Parameter( 2, 10, 980, 2, 12, 5, 3), // 139 mops, 6.0e-5 errors
/* 6 */ V0Parameter( 2, 10, 987, 2, 12, 5, 3), // 140 mops, 6.0e-5 errors
/* 7 */ V0Parameter( 1, 11, 965, 2, 12, 5, 3), // 177 mops, 5.7e-5 errors
/* 8 */ V0Parameter( 2, 10, 980, 3, 9, 5, 3), // 179 mops, 6.2e-5 errors
/* 9 */ V0Parameter( 2, 10, 989, 3, 9, 5, 3), // 180 mops, 6.2e-5 errors
/* 10 */ V0Parameter( 3, 10, 994, 2, 15, 5, 3), // 200 mops, 6.2e-5 errors
/* 11 */ V0Parameter( 3, 10, 996, 2, 15, 5, 3), // 200 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 3, 10, 1005, 2, 15, 5, 3), // 202 mops, 6.2e-5 errors
/* 13 */ V0Parameter( 3, 10, 994, 3, 12, 5, 3), // 258 mops, 6.1e-5 errors
/* 14 */ V0Parameter( 3, 10, 995, 3, 12, 5, 3), // 258 mops, 6.0e-5 errors
/* 15 */ V0Parameter( 3, 10, 998, 3, 12, 5, 3), // 259 mops, 6.1e-5 errors
/* 16 */ V0Parameter( 3, 10, 1016, 3, 12, 5, 3), // 264 mops, 6.3e-5 errors
/* 17 */ V0Parameter( 3, 10, 997, 4, 9, 5, 3), // 317 mops, 6.1e-5 errors
/* 18 */ V0Parameter( 3, 10, 1009, 4, 9, 5, 3), // 321 mops, 6.2e-5 errors
/* 19 */ V0Parameter( 3, 10, 966, 5, 8, 7, 2), // 376 mops, 6.2e-5 errors
/* 20 */ V0Parameter( 3, 10, 1020, 5, 8, 7, 2), // 396 mops, 6.3e-5 errors
/* 21 */ V0Parameter( 3, 10, 969, 7, 6, 7, 2), // 490 mops, 6.3e-5 errors
/* 22 */ V0Parameter( 3, 10, 983, 8, 5, 7, 2), // 555 mops, 6.2e-5 errors
/* 23 */ V0Parameter( 3, 10, 977, 11, 4, 7, 2), // 723 mops, 6.3e-5 errors
/* 24 */ V0Parameter( 3, 10, 1001, 14, 3, 8, 2), // 923 mops, 6.3e-5 errors
/* 25 */ V0Parameter( 3, 10, 1008, 22, 2, 15, 1), // 1443 mops, 6.3e-5 errors
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 5 */
/* 0 */ V0Parameter( 1, 11, 1004, 2, 12, 7, 2), // 192 mops, 6.3e-5 errors
/* 1 */ V0Parameter( 1, 11, 1004, 2, 12, 7, 2), // 192 mops, 6.3e-5 errors
/* 2 */ V0Parameter( 1, 11, 1004, 2, 12, 7, 2), // 192 mops, 6.3e-5 errors
/* 3 */ V0Parameter( 1, 11, 1005, 2, 12, 7, 2), // 192 mops, 6.2e-5 errors
/* 4 */ V0Parameter( 1, 11, 1008, 2, 12, 7, 2), // 193 mops, 6.1e-5 errors
/* 5 */ V0Parameter( 1, 11, 1021, 2, 12, 7, 2), // 195 mops, 6.2e-5 errors
/* 6 */ V0Parameter( 1, 11, 1005, 3, 9, 7, 2), // 247 mops, 6.3e-5 errors
/* 7 */ V0Parameter( 1, 11, 1009, 3, 9, 7, 2), // 248 mops, 6.1e-5 errors
/* 8 */ V0Parameter( 1, 11, 1015, 3, 9, 8, 2), // 253 mops, 6.1e-5 errors
/* 9 */ V0Parameter( 1, 11, 1016, 4, 7, 7, 2), // 305 mops, 6.1e-5 errors
/* 10 */ V0Parameter( 1, 11, 1011, 5, 6, 7, 2), // 359 mops, 6.1e-5 errors
/* 11 */ V0Parameter( 1, 11, 1024, 5, 6, 8, 2), // 368 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 2, 11, 1013, 3, 12, 15, 1), // 473 mops, 6.2e-5 errors
/* 13 */ V0Parameter( 2, 11, 1015, 3, 12, 15, 1), // 474 mops, 6.2e-5 errors
/* 14 */ V0Parameter( 2, 11, 1022, 3, 12, 16, 1), // 485 mops, 6.1e-5 errors
/* 15 */ V0Parameter( 1, 12, 1017, 3, 12, 8, 2), // 540 mops, 5.8e-5 errors
/* 16 */ V0Parameter( 2, 11, 1019, 4, 9, 15, 1), // 565 mops, 6.2e-5 errors
/* 17 */ V0Parameter( 1, 12, 1009, 4, 9, 7, 2), // 646 mops, 6.2e-5 errors
/* 18 */ V0Parameter( 2, 11, 1018, 6, 7, 15, 1), // 743 mops, 6.1e-5 errors
/* 19 */ V0Parameter( 2, 11, 1019, 7, 6, 15, 1), // 834 mops, 6.1e-5 errors
/* 20 */ V0Parameter( 2, 11, 1023, 8, 5, 15, 1), // 927 mops, 6.3e-5 errors
/* 21 */ V0Parameter( 1, 12, 1012, 8, 5, 8, 2), // 1130 mops, 6.1e-5 errors
/* 22 */ V0Parameter( 1, 12, 1013, 11, 4, 8, 2), // 1488 mops, 6.3e-5 errors
/* 23 */ V0Parameter( 1, 12, 1019, 14, 3, 15, 1), // 1910 mops, 6.1e-5 errors
/* 24 */ V0Parameter( 1, 12, 1005, 43, 1, 15, 1), // 5300 mops, 6.2e-5 errors
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 6 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 7 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 8 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
}

View File

@@ -0,0 +1,275 @@
{ /* Security level: 192 */
{ /* 6.3e-5 errors */
{ /* precision 1 */
/* 0 */ V0Parameter( 2, 10, 867, 1, 17, 3, 3), // 81 mops, 6.1e-5 errors
/* 1 */ V0Parameter( 2, 10, 868, 1, 17, 3, 3), // 81 mops, 6.3e-5 errors
/* 2 */ V0Parameter( 2, 10, 874, 1, 17, 3, 3), // 82 mops, 5.7e-5 errors
/* 3 */ V0Parameter( 2, 10, 909, 1, 17, 3, 3), // 85 mops, 6.2e-5 errors
/* 4 */ V0Parameter( 2, 10, 867, 2, 11, 3, 3), // 117 mops, 5.9e-5 errors
/* 5 */ V0Parameter( 2, 10, 867, 2, 11, 3, 3), // 117 mops, 6.0e-5 errors
/* 6 */ V0Parameter( 2, 10, 868, 2, 11, 3, 3), // 117 mops, 5.9e-5 errors
/* 7 */ V0Parameter( 2, 10, 871, 2, 11, 3, 3), // 117 mops, 6.1e-5 errors
/* 8 */ V0Parameter( 3, 10, 902, 1, 23, 3, 3), // 119 mops, 6.3e-5 errors
/* 9 */ V0Parameter( 3, 10, 940, 1, 23, 3, 4), // 124 mops, 6.3e-5 errors
/* 10 */ V0Parameter( 2, 10, 833, 3, 8, 5, 2), // 153 mops, 5.5e-5 errors
/* 11 */ V0Parameter( 2, 10, 909, 3, 8, 5, 2), // 166 mops, 6.3e-5 errors
/* 12 */ V0Parameter( 3, 10, 894, 2, 15, 3, 3), // 170 mops, 6.0e-5 errors
/* 13 */ V0Parameter( 3, 10, 894, 2, 15, 3, 3), // 170 mops, 6.2e-5 errors
/* 14 */ V0Parameter( 3, 10, 895, 2, 15, 3, 3), // 171 mops, 6.3e-5 errors
/* 15 */ V0Parameter( 3, 10, 900, 2, 15, 3, 3), // 171 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 3, 10, 857, 2, 15, 5, 2), // 174 mops, 6.0e-5 errors
/* 17 */ V0Parameter( 3, 10, 842, 3, 12, 5, 2), // 220 mops, 5.5e-5 errors
/* 18 */ V0Parameter( 3, 10, 843, 3, 12, 5, 2), // 221 mops, 5.5e-5 errors
/* 19 */ V0Parameter( 3, 10, 847, 3, 12, 5, 2), // 222 mops, 6.0e-5 errors
/* 20 */ V0Parameter( 3, 10, 875, 3, 12, 5, 2), // 229 mops, 5.9e-5 errors
/* 21 */ V0Parameter( 3, 10, 846, 4, 9, 5, 2), // 271 mops, 5.5e-5 errors
/* 22 */ V0Parameter( 3, 10, 863, 4, 9, 5, 2), // 276 mops, 6.0e-5 errors
/* 23 */ V0Parameter( 3, 10, 852, 5, 8, 5, 2), // 323 mops, 5.5e-5 errors
/* 24 */ V0Parameter( 3, 10, 928, 5, 8, 6, 2), // 356 mops, 6.3e-5 errors
/* 25 */ V0Parameter( 3, 10, 857, 7, 6, 5, 2), // 425 mops, 5.6e-5 errors
/* 26 */ V0Parameter( 3, 10, 879, 8, 5, 5, 2), // 487 mops, 6.2e-5 errors
/* 27 */ V0Parameter( 3, 10, 869, 11, 4, 5, 2), // 634 mops, 6.3e-5 errors
/* 28 */ V0Parameter( 3, 10, 911, 14, 3, 6, 2), // 830 mops, 6.3e-5 errors
/* 29 */ V0Parameter( 3, 10, 868, 43, 1, 11, 1), // 2292 mops, 6.3e-5 errors
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 2 */
/* 0 */ V0Parameter( 2, 10, 961, 1, 17, 3, 4), // 89 mops, 5.5e-5 errors
/* 1 */ V0Parameter( 2, 10, 965, 1, 17, 3, 4), // 90 mops, 5.5e-5 errors
/* 2 */ V0Parameter( 2, 10, 943, 1, 17, 4, 3), // 91 mops, 6.2e-5 errors
/* 3 */ V0Parameter( 2, 10, 918, 2, 11, 4, 3), // 127 mops, 5.6e-5 errors
/* 4 */ V0Parameter( 2, 10, 918, 2, 11, 4, 3), // 127 mops, 5.8e-5 errors
/* 5 */ V0Parameter( 2, 10, 919, 2, 11, 4, 3), // 127 mops, 5.3e-5 errors
/* 6 */ V0Parameter( 2, 10, 921, 2, 11, 4, 3), // 127 mops, 5.8e-5 errors
/* 7 */ V0Parameter( 3, 10, 980, 1, 23, 3, 4), // 128 mops, 6.3e-5 errors
/* 8 */ V0Parameter( 3, 10, 1000, 1, 23, 3, 4), // 131 mops, 6.0e-5 errors
/* 9 */ V0Parameter( 2, 10, 927, 3, 8, 4, 3), // 166 mops, 6.3e-5 errors
/* 10 */ V0Parameter( 3, 10, 934, 2, 15, 4, 3), // 183 mops, 5.8e-5 errors
/* 11 */ V0Parameter( 3, 10, 934, 2, 15, 4, 3), // 183 mops, 5.8e-5 errors
/* 12 */ V0Parameter( 3, 10, 934, 2, 15, 4, 3), // 183 mops, 6.0e-5 errors
/* 13 */ V0Parameter( 3, 10, 935, 2, 15, 4, 3), // 183 mops, 5.6e-5 errors
/* 14 */ V0Parameter( 3, 10, 937, 2, 15, 4, 3), // 184 mops, 6.3e-5 errors
/* 15 */ V0Parameter( 3, 10, 950, 2, 15, 4, 3), // 186 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 3, 10, 934, 3, 12, 4, 3), // 238 mops, 6.2e-5 errors
/* 17 */ V0Parameter( 3, 10, 935, 3, 12, 4, 3), // 238 mops, 6.3e-5 errors
/* 18 */ V0Parameter( 3, 10, 940, 3, 12, 4, 3), // 239 mops, 5.9e-5 errors
/* 19 */ V0Parameter( 3, 10, 969, 3, 12, 4, 3), // 246 mops, 6.1e-5 errors
/* 20 */ V0Parameter( 3, 10, 938, 4, 9, 4, 3), // 294 mops, 6.3e-5 errors
/* 21 */ V0Parameter( 3, 10, 921, 4, 9, 6, 2), // 299 mops, 5.8e-5 errors
/* 22 */ V0Parameter( 3, 10, 909, 5, 8, 6, 2), // 349 mops, 6.3e-5 errors
/* 23 */ V0Parameter( 3, 10, 912, 6, 7, 6, 2), // 403 mops, 5.6e-5 errors
/* 24 */ V0Parameter( 3, 10, 914, 7, 6, 6, 2), // 458 mops, 6.2e-5 errors
/* 25 */ V0Parameter( 3, 10, 937, 8, 5, 6, 2), // 524 mops, 6.0e-5 errors
/* 26 */ V0Parameter( 3, 10, 927, 11, 4, 6, 2), // 681 mops, 6.1e-5 errors
/* 27 */ V0Parameter( 3, 10, 947, 15, 3, 6, 2), // 918 mops, 6.3e-5 errors
/* 28 */ V0Parameter( 3, 10, 915, 44, 1, 12, 1), // 2474 mops, 6.3e-5 errors
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 3 */
/* 0 */ V0Parameter( 2, 10, 987, 1, 17, 4, 3), // 95 mops, 5.7e-5 errors
/* 1 */ V0Parameter( 2, 10, 1021, 1, 17, 4, 3), // 98 mops, 6.3e-5 errors
/* 2 */ V0Parameter( 2, 10, 980, 2, 11, 4, 3), // 135 mops, 6.0e-5 errors
/* 3 */ V0Parameter( 2, 10, 980, 2, 11, 4, 3), // 135 mops, 6.2e-5 errors
/* 4 */ V0Parameter( 2, 10, 981, 2, 11, 4, 3), // 135 mops, 5.9e-5 errors
/* 5 */ V0Parameter( 2, 10, 984, 2, 11, 4, 3), // 135 mops, 6.2e-5 errors
/* 6 */ V0Parameter( 3, 10, 1005, 1, 23, 4, 3), // 137 mops, 5.6e-5 errors
/* 7 */ V0Parameter( 3, 10, 999, 1, 23, 6, 2), // 148 mops, 6.2e-5 errors
/* 8 */ V0Parameter( 2, 10, 994, 3, 8, 4, 3), // 177 mops, 5.7e-5 errors
/* 9 */ V0Parameter( 3, 10, 998, 2, 15, 4, 3), // 195 mops, 6.0e-5 errors
/* 10 */ V0Parameter( 3, 10, 998, 2, 15, 4, 3), // 195 mops, 6.1e-5 errors
/* 11 */ V0Parameter( 3, 10, 998, 2, 15, 4, 3), // 195 mops, 6.3e-5 errors
/* 12 */ V0Parameter( 3, 10, 999, 2, 15, 4, 3), // 195 mops, 6.2e-5 errors
/* 13 */ V0Parameter( 3, 10, 1003, 2, 15, 4, 3), // 196 mops, 6.0e-5 errors
/* 14 */ V0Parameter( 3, 10, 1024, 2, 15, 4, 3), // 200 mops, 6.2e-5 errors
/* 15 */ V0Parameter( 3, 10, 999, 3, 12, 4, 3), // 253 mops, 5.6e-5 errors
/* 16 */ V0Parameter( 3, 10, 1000, 3, 12, 4, 3), // 254 mops, 6.0e-5 errors
/* 17 */ V0Parameter( 3, 10, 1007, 3, 12, 4, 3), // 255 mops, 5.9e-5 errors
/* 18 */ V0Parameter( 3, 10, 1010, 3, 12, 7, 2), // 274 mops, 6.1e-5 errors
/* 19 */ V0Parameter( 3, 10, 1005, 4, 9, 4, 3), // 314 mops, 5.6e-5 errors
/* 20 */ V0Parameter( 3, 10, 999, 4, 9, 6, 2), // 324 mops, 6.2e-5 errors
/* 21 */ V0Parameter( 3, 10, 978, 5, 8, 6, 2), // 374 mops, 6.2e-5 errors
/* 22 */ V0Parameter( 3, 10, 982, 6, 7, 6, 2), // 434 mops, 6.1e-5 errors
/* 23 */ V0Parameter( 3, 10, 987, 7, 6, 6, 2), // 493 mops, 6.0e-5 errors
/* 24 */ V0Parameter( 3, 10, 1019, 8, 5, 7, 2), // 575 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 3, 10, 1001, 11, 4, 7, 2), // 741 mops, 6.1e-5 errors
/* 26 */ V0Parameter( 3, 10, 998, 21, 2, 7, 2), // 1323 mops, 6.0e-5 errors
/* 27 */ V0Parameter( 3, 10, 993, 44, 1, 13, 1), // 2690 mops, 6.1e-5 errors
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 4 */
/* 0 */ V0Parameter( 2, 10, 1024, 2, 11, 14, 1), // 181 mops, 6.1e-5 errors
/* 1 */ V0Parameter( 2, 10, 1024, 2, 11, 14, 1), // 181 mops, 6.1e-5 errors
/* 2 */ V0Parameter( 1, 11, 1016, 2, 11, 6, 2), // 190 mops, 5.8e-5 errors
/* 3 */ V0Parameter( 1, 11, 1017, 2, 11, 6, 2), // 190 mops, 6.0e-5 errors
/* 4 */ V0Parameter( 1, 11, 1023, 2, 11, 6, 2), // 191 mops, 6.3e-5 errors
/* 5 */ V0Parameter( 1, 11, 1014, 2, 11, 13, 1), // 218 mops, 6.1e-5 errors
/* 6 */ V0Parameter( 1, 11, 1020, 3, 8, 6, 2), // 247 mops, 6.2e-5 errors
/* 7 */ V0Parameter( 1, 11, 1016, 3, 8, 7, 2), // 250 mops, 6.2e-5 errors
/* 8 */ V0Parameter( 1, 11, 1008, 4, 7, 7, 2), // 303 mops, 5.7e-5 errors
/* 9 */ V0Parameter( 1, 11, 1021, 4, 7, 13, 1), // 331 mops, 6.2e-5 errors
/* 10 */ V0Parameter( 2, 11, 1019, 2, 15, 13, 1), // 370 mops, 5.7e-5 errors
/* 11 */ V0Parameter( 2, 11, 1020, 2, 15, 13, 1), // 370 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 2, 11, 1022, 2, 15, 14, 1), // 379 mops, 5.6e-5 errors
/* 13 */ V0Parameter( 2, 11, 1019, 3, 12, 13, 1), // 459 mops, 5.5e-5 errors
/* 14 */ V0Parameter( 2, 11, 1019, 3, 12, 13, 1), // 459 mops, 6.3e-5 errors
/* 15 */ V0Parameter( 2, 11, 1023, 3, 12, 13, 1), // 461 mops, 6.0e-5 errors
/* 16 */ V0Parameter( 2, 11, 1019, 4, 9, 13, 1), // 549 mops, 5.9e-5 errors
/* 17 */ V0Parameter( 2, 11, 1021, 4, 9, 13, 1), // 550 mops, 6.0e-5 errors
/* 18 */ V0Parameter( 2, 11, 1020, 5, 8, 13, 1), // 639 mops, 6.1e-5 errors
/* 19 */ V0Parameter( 2, 11, 1021, 5, 8, 14, 1), // 648 mops, 6.1e-5 errors
/* 20 */ V0Parameter( 2, 11, 1023, 6, 7, 14, 1), // 739 mops, 5.7e-5 errors
/* 21 */ V0Parameter( 2, 11, 1024, 7, 6, 14, 1), // 830 mops, 6.2e-5 errors
/* 22 */ V0Parameter( 2, 11, 1022, 10, 4, 14, 1), // 1098 mops, 6.3e-5 errors
/* 23 */ V0Parameter( 2, 11, 1020, 14, 3, 14, 1), // 1454 mops, 6.1e-5 errors
/* 24 */ V0Parameter( 2, 11, 1022, 22, 2, 14, 1), // 2175 mops, 6.1e-5 errors
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 5 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 6 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 7 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 8 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
}

View File

@@ -0,0 +1,275 @@
{ /* Security level: 256 */
{ /* 6.3e-5 errors */
{ /* precision 1 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 2 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 3 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 4 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 5 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 6 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 7 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 8 */
/* 0 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 1 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 2 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 3 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 4 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 5 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 6 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 7 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 8 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 9 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 10 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 11 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 12 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 13 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 14 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 15 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 16 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 17 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 18 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 19 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
}

View File

@@ -0,0 +1,275 @@
{ /* Security level: 80 */
{ /* 6.3e-5 errors */
{ /* precision 1 */
/* 0 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 1.4e-15 errors
/* 1 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 1.5e-15 errors
/* 2 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 1.6e-15 errors
/* 3 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 2.5e-15 errors
/* 4 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 1.2e-14 errors
/* 5 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 1.9e-12 errors
/* 6 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 5.0e-8 errors
/* 7 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 1.5e-15 errors
/* 8 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 1.6e-15 errors
/* 9 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 2.5e-15 errors
/* 10 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 1.2e-14 errors
/* 11 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 1.7e-12 errors
/* 12 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 4.3e-8 errors
/* 13 */ V0Parameter( 1, 10, 512, 3, 10, 1, 9), // 55 mops, 2.2e-14 errors
/* 14 */ V0Parameter( 1, 10, 512, 3, 10, 1, 9), // 55 mops, 9.0e-12 errors
/* 15 */ V0Parameter( 1, 10, 512, 3, 10, 1, 9), // 55 mops, 4.0e-7 errors
/* 16 */ V0Parameter( 1, 10, 512, 4, 8, 1, 9), // 68 mops, 6.1e-11 errors
/* 17 */ V0Parameter( 1, 10, 512, 4, 8, 1, 9), // 68 mops, 3.4e-6 errors
/* 18 */ V0Parameter( 1, 10, 512, 5, 7, 1, 9), // 81 mops, 1.5e-5 errors
/* 19 */ V0Parameter( 2, 10, 512, 3, 12, 1, 9), // 89 mops, 4.3e-8 errors
/* 20 */ V0Parameter( 2, 10, 512, 3, 12, 1, 9), // 89 mops, 6.1e-7 errors
/* 21 */ V0Parameter( 2, 10, 512, 3, 12, 2, 6), // 91 mops, 2.3e-7 errors
/* 22 */ V0Parameter( 2, 10, 512, 4, 9, 1, 9), // 110 mops, 4.4e-7 errors
/* 23 */ V0Parameter( 2, 10, 515, 4, 9, 1, 9), // 111 mops, 6.2e-5 errors
/* 24 */ V0Parameter( 2, 10, 512, 5, 8, 1, 9), // 131 mops, 3.1e-6 errors
/* 25 */ V0Parameter( 2, 10, 512, 5, 8, 2, 6), // 133 mops, 5.0e-5 errors
/* 26 */ V0Parameter( 2, 10, 512, 7, 6, 1, 9), // 173 mops, 1.1e-5 errors
/* 27 */ V0Parameter( 2, 10, 512, 8, 5, 2, 6), // 196 mops, 2.6e-6 errors
/* 28 */ V0Parameter( 2, 10, 515, 11, 4, 1, 9), // 258 mops, 6.1e-5 errors
/* 29 */ V0Parameter( 2, 10, 512, 14, 3, 3, 5), // 324 mops, 6.2e-5 errors
/* 30 */ V0Parameter( 2, 10, 512, 43, 1, 2, 6), // 931 mops, 1.5e-5 errors
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 2 */
/* 0 */ V0Parameter( 1, 10, 513, 1, 19, 1, 9), // 29 mops, 5.7e-5 errors
/* 1 */ V0Parameter( 1, 10, 513, 1, 19, 1, 9), // 29 mops, 5.7e-5 errors
/* 2 */ V0Parameter( 1, 10, 513, 1, 19, 1, 9), // 29 mops, 5.9e-5 errors
/* 3 */ V0Parameter( 1, 10, 514, 1, 19, 1, 9), // 29 mops, 5.7e-5 errors
/* 4 */ V0Parameter( 1, 10, 517, 1, 19, 1, 9), // 29 mops, 6.3e-5 errors
/* 5 */ V0Parameter( 1, 10, 529, 1, 19, 1, 10), // 29 mops, 5.0e-5 errors
/* 6 */ V0Parameter( 1, 10, 513, 2, 13, 1, 9), // 42 mops, 5.7e-5 errors
/* 7 */ V0Parameter( 1, 10, 513, 2, 13, 1, 9), // 42 mops, 5.7e-5 errors
/* 8 */ V0Parameter( 1, 10, 513, 2, 13, 1, 9), // 42 mops, 5.9e-5 errors
/* 9 */ V0Parameter( 1, 10, 514, 2, 13, 1, 9), // 42 mops, 5.7e-5 errors
/* 10 */ V0Parameter( 1, 10, 517, 2, 13, 1, 9), // 42 mops, 6.2e-5 errors
/* 11 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 2.0e-12 errors
/* 12 */ V0Parameter( 1, 10, 514, 3, 10, 1, 9), // 55 mops, 6.0e-5 errors
/* 13 */ V0Parameter( 1, 10, 519, 3, 10, 1, 9), // 55 mops, 6.1e-5 errors
/* 14 */ V0Parameter( 1, 10, 512, 3, 10, 2, 6), // 56 mops, 4.7e-10 errors
/* 15 */ V0Parameter( 1, 10, 512, 4, 8, 2, 6), // 69 mops, 5.3e-23 errors
/* 16 */ V0Parameter( 1, 10, 512, 4, 8, 2, 6), // 69 mops, 4.2e-8 errors
/* 17 */ V0Parameter( 1, 10, 512, 5, 7, 2, 6), // 82 mops, 6.1e-7 errors
/* 18 */ V0Parameter( 2, 10, 512, 3, 12, 2, 6), // 91 mops, 2.2e-37 errors
/* 19 */ V0Parameter( 2, 10, 512, 3, 12, 2, 6), // 91 mops, 1.6e-18 errors
/* 20 */ V0Parameter( 2, 10, 512, 3, 12, 2, 6), // 91 mops, 6.3e-7 errors
/* 21 */ V0Parameter( 2, 10, 512, 4, 9, 2, 6), // 112 mops, 6.7e-20 errors
/* 22 */ V0Parameter( 2, 10, 512, 4, 9, 2, 6), // 112 mops, 1.6e-7 errors
/* 23 */ V0Parameter( 2, 10, 512, 5, 8, 2, 6), // 133 mops, 3.1e-13 errors
/* 24 */ V0Parameter( 2, 10, 512, 5, 8, 3, 5), // 135 mops, 5.7e-5 errors
/* 25 */ V0Parameter( 2, 10, 512, 7, 6, 2, 6), // 175 mops, 1.9e-10 errors
/* 26 */ V0Parameter( 2, 10, 512, 8, 5, 2, 6), // 196 mops, 5.2e-6 errors
/* 27 */ V0Parameter( 2, 10, 512, 11, 4, 2, 6), // 259 mops, 1.6e-7 errors
/* 28 */ V0Parameter( 2, 10, 512, 15, 3, 2, 6), // 343 mops, 5.1e-6 errors
/* 29 */ V0Parameter( 2, 10, 512, 43, 1, 2, 6), // 931 mops, 2.5e-5 errors
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 3 */
/* 0 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 9.5e-23 errors
/* 1 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 2.5e-22 errors
/* 2 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 8.4e-21 errors
/* 3 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 2.0e-16 errors
/* 4 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 2.7e-9 errors
/* 5 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 7.4e-23 errors
/* 6 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 9.5e-23 errors
/* 7 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 2.5e-22 errors
/* 8 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 7.8e-21 errors
/* 9 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 1.7e-16 errors
/* 10 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 2.2e-9 errors
/* 11 */ V0Parameter( 1, 10, 512, 3, 10, 2, 6), // 56 mops, 2.9e-20 errors
/* 12 */ V0Parameter( 1, 10, 512, 3, 10, 2, 6), // 56 mops, 3.3e-15 errors
/* 13 */ V0Parameter( 1, 10, 512, 3, 10, 2, 6), // 56 mops, 4.7e-8 errors
/* 14 */ V0Parameter( 1, 10, 512, 4, 8, 2, 6), // 69 mops, 8.9e-14 errors
/* 15 */ V0Parameter( 1, 10, 512, 4, 8, 2, 6), // 69 mops, 7.9e-7 errors
/* 16 */ V0Parameter( 1, 10, 512, 5, 7, 2, 6), // 82 mops, 4.9e-6 errors
/* 17 */ V0Parameter( 2, 10, 512, 3, 12, 2, 6), // 91 mops, 5.3e-14 errors
/* 18 */ V0Parameter( 2, 10, 512, 3, 12, 2, 6), // 91 mops, 1.7e-10 errors
/* 19 */ V0Parameter( 2, 10, 512, 3, 12, 2, 6), // 91 mops, 1.1e-5 errors
/* 20 */ V0Parameter( 2, 10, 512, 4, 9, 2, 6), // 112 mops, 7.1e-11 errors
/* 21 */ V0Parameter( 2, 10, 512, 4, 9, 2, 6), // 112 mops, 5.0e-6 errors
/* 22 */ V0Parameter( 2, 10, 512, 5, 8, 2, 6), // 133 mops, 9.5e-9 errors
/* 23 */ V0Parameter( 2, 10, 512, 6, 7, 2, 6), // 154 mops, 3.8e-8 errors
/* 24 */ V0Parameter( 2, 10, 512, 7, 6, 2, 6), // 175 mops, 1.5e-7 errors
/* 25 */ V0Parameter( 2, 10, 512, 8, 5, 2, 6), // 196 mops, 4.2e-5 errors
/* 26 */ V0Parameter( 2, 10, 512, 11, 4, 2, 6), // 259 mops, 4.9e-6 errors
/* 27 */ V0Parameter( 2, 10, 512, 15, 3, 2, 6), // 343 mops, 4.2e-5 errors
/* 28 */ V0Parameter( 2, 10, 512, 43, 1, 3, 5), // 933 mops, 4.1e-5 errors
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 4 */
/* 0 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 9.2e-7 errors
/* 1 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 1.2e-6 errors
/* 2 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 2.9e-6 errors
/* 3 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 3.9e-5 errors
/* 4 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 8.5e-7 errors
/* 5 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 8.6e-7 errors
/* 6 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 9.2e-7 errors
/* 7 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 1.2e-6 errors
/* 8 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 2.9e-6 errors
/* 9 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 3.8e-5 errors
/* 10 */ V0Parameter( 1, 10, 512, 3, 10, 2, 6), // 56 mops, 1.3e-6 errors
/* 11 */ V0Parameter( 1, 10, 512, 3, 10, 2, 6), // 56 mops, 4.0e-6 errors
/* 12 */ V0Parameter( 1, 10, 517, 3, 10, 2, 6), // 56 mops, 6.3e-5 errors
/* 13 */ V0Parameter( 1, 10, 512, 4, 8, 2, 6), // 69 mops, 6.1e-6 errors
/* 14 */ V0Parameter( 1, 10, 512, 4, 8, 3, 5), // 70 mops, 2.2e-5 errors
/* 15 */ V0Parameter( 1, 10, 512, 5, 7, 3, 5), // 83 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 2, 10, 514, 3, 12, 2, 6), // 91 mops, 5.8e-5 errors
/* 17 */ V0Parameter( 2, 10, 523, 3, 12, 2, 6), // 93 mops, 6.1e-5 errors
/* 18 */ V0Parameter( 2, 10, 512, 3, 12, 4, 4), // 95 mops, 4.4e-5 errors
/* 19 */ V0Parameter( 2, 10, 521, 4, 9, 2, 6), // 114 mops, 6.2e-5 errors
/* 20 */ V0Parameter( 2, 10, 512, 4, 9, 3, 5), // 114 mops, 5.3e-5 errors
/* 21 */ V0Parameter( 2, 10, 512, 5, 8, 3, 5), // 135 mops, 1.7e-6 errors
/* 22 */ V0Parameter( 2, 10, 512, 6, 7, 3, 5), // 156 mops, 3.4e-6 errors
/* 23 */ V0Parameter( 2, 10, 512, 7, 6, 3, 5), // 177 mops, 7.0e-6 errors
/* 24 */ V0Parameter( 2, 10, 512, 9, 5, 3, 5), // 219 mops, 2.0e-5 errors
/* 25 */ V0Parameter( 2, 10, 512, 11, 4, 3, 5), // 261 mops, 5.3e-5 errors
/* 26 */ V0Parameter( 1, 11, 512, 15, 3, 5, 3), // 462 mops, 5.3e-5 errors
/* 27 */ V0Parameter( 2, 10, 512, 44, 1, 4, 4), // 956 mops, 5.1e-5 errors
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 5 */
/* 0 */ V0Parameter( 1, 11, 512, 1, 23, 3, 5), // 66 mops, 1.1e-5 errors
/* 1 */ V0Parameter( 1, 11, 512, 1, 23, 3, 5), // 66 mops, 1.2e-5 errors
/* 2 */ V0Parameter( 1, 11, 512, 1, 23, 3, 5), // 66 mops, 1.2e-5 errors
/* 3 */ V0Parameter( 1, 11, 512, 1, 23, 3, 5), // 66 mops, 1.3e-5 errors
/* 4 */ V0Parameter( 1, 11, 512, 1, 23, 3, 5), // 66 mops, 1.7e-5 errors
/* 5 */ V0Parameter( 1, 11, 512, 1, 23, 3, 5), // 66 mops, 5.0e-5 errors
/* 6 */ V0Parameter( 1, 11, 528, 1, 23, 4, 4), // 69 mops, 6.3e-5 errors
/* 7 */ V0Parameter( 1, 11, 512, 2, 15, 3, 5), // 94 mops, 1.1e-5 errors
/* 8 */ V0Parameter( 1, 11, 512, 2, 15, 3, 5), // 94 mops, 1.2e-5 errors
/* 9 */ V0Parameter( 1, 11, 512, 2, 15, 3, 5), // 94 mops, 1.2e-5 errors
/* 10 */ V0Parameter( 1, 11, 512, 2, 15, 3, 5), // 94 mops, 1.2e-5 errors
/* 11 */ V0Parameter( 1, 11, 512, 2, 15, 3, 5), // 94 mops, 1.6e-5 errors
/* 12 */ V0Parameter( 1, 11, 512, 2, 15, 3, 5), // 94 mops, 3.8e-5 errors
/* 13 */ V0Parameter( 1, 11, 512, 2, 15, 4, 4), // 96 mops, 4.0e-5 errors
/* 14 */ V0Parameter( 1, 11, 512, 3, 12, 3, 5), // 122 mops, 1.3e-5 errors
/* 15 */ V0Parameter( 1, 11, 512, 3, 12, 3, 5), // 122 mops, 1.9e-5 errors
/* 16 */ V0Parameter( 1, 11, 513, 3, 12, 3, 5), // 122 mops, 5.6e-5 errors
/* 17 */ V0Parameter( 1, 11, 512, 4, 9, 3, 5), // 150 mops, 1.7e-5 errors
/* 18 */ V0Parameter( 1, 11, 512, 4, 9, 3, 5), // 150 mops, 5.0e-5 errors
/* 19 */ V0Parameter( 1, 11, 512, 4, 9, 5, 3), // 154 mops, 5.0e-5 errors
/* 20 */ V0Parameter( 1, 11, 518, 5, 8, 3, 5), // 180 mops, 6.3e-5 errors
/* 21 */ V0Parameter( 1, 11, 512, 6, 7, 4, 4), // 208 mops, 1.4e-5 errors
/* 22 */ V0Parameter( 1, 11, 512, 7, 6, 4, 4), // 236 mops, 2.8e-5 errors
/* 23 */ V0Parameter( 1, 11, 512, 9, 5, 5, 3), // 294 mops, 3.4e-5 errors
/* 24 */ V0Parameter( 1, 11, 512, 11, 4, 16, 1), // 372 mops, 6.3e-5 errors
/* 25 */ V0Parameter( 1, 11, 512, 21, 2, 9, 2), // 638 mops, 6.3e-5 errors
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 6 */
/* 0 */ V0Parameter( 1, 12, 526, 1, 23, 4, 4), // 147 mops, 4.9e-5 errors
/* 1 */ V0Parameter( 1, 12, 526, 1, 23, 4, 4), // 147 mops, 5.1e-5 errors
/* 2 */ V0Parameter( 1, 12, 526, 1, 23, 4, 4), // 147 mops, 6.1e-5 errors
/* 3 */ V0Parameter( 1, 12, 529, 1, 23, 4, 4), // 148 mops, 5.9e-5 errors
/* 4 */ V0Parameter( 1, 12, 553, 1, 23, 4, 4), // 154 mops, 6.1e-5 errors
/* 5 */ V0Parameter( 1, 12, 512, 2, 15, 5, 3), // 208 mops, 2.7e-5 errors
/* 6 */ V0Parameter( 1, 12, 512, 2, 15, 5, 3), // 208 mops, 2.7e-5 errors
/* 7 */ V0Parameter( 1, 12, 512, 2, 15, 5, 3), // 208 mops, 2.8e-5 errors
/* 8 */ V0Parameter( 1, 12, 512, 2, 15, 5, 3), // 208 mops, 2.9e-5 errors
/* 9 */ V0Parameter( 1, 12, 512, 2, 15, 5, 3), // 208 mops, 3.3e-5 errors
/* 10 */ V0Parameter( 1, 12, 512, 2, 15, 5, 3), // 208 mops, 5.5e-5 errors
/* 11 */ V0Parameter( 1, 12, 527, 2, 15, 5, 3), // 213 mops, 6.0e-5 errors
/* 12 */ V0Parameter( 1, 12, 512, 3, 12, 5, 3), // 268 mops, 3.1e-5 errors
/* 13 */ V0Parameter( 1, 12, 512, 3, 12, 5, 3), // 268 mops, 4.4e-5 errors
/* 14 */ V0Parameter( 1, 12, 518, 3, 12, 5, 3), // 271 mops, 6.3e-5 errors
/* 15 */ V0Parameter( 1, 12, 512, 4, 9, 5, 3), // 328 mops, 3.6e-5 errors
/* 16 */ V0Parameter( 1, 12, 513, 4, 9, 5, 3), // 328 mops, 6.1e-5 errors
/* 17 */ V0Parameter( 1, 12, 512, 4, 9, 8, 2), // 340 mops, 5.6e-5 errors
/* 18 */ V0Parameter( 1, 12, 520, 5, 8, 6, 3), // 397 mops, 6.0e-5 errors
/* 19 */ V0Parameter( 1, 12, 512, 6, 7, 8, 2), // 460 mops, 4.1e-5 errors
/* 20 */ V0Parameter( 1, 12, 515, 7, 6, 8, 2), // 523 mops, 6.1e-5 errors
/* 21 */ V0Parameter( 1, 12, 512, 10, 4, 8, 2), // 700 mops, 2.1e-5 errors
/* 22 */ V0Parameter( 1, 12, 512, 14, 3, 8, 2), // 940 mops, 1.1e-5 errors
/* 23 */ V0Parameter( 1, 12, 519, 21, 2, 9, 2), // 1382 mops, 6.2e-5 errors
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 7 */
/* 0 */ V0Parameter( 1, 13, 578, 1, 23, 4, 4), // 339 mops, 5.8e-5 errors
/* 1 */ V0Parameter( 1, 13, 549, 1, 23, 6, 3), // 340 mops, 5.1e-5 errors
/* 2 */ V0Parameter( 1, 13, 567, 1, 23, 6, 3), // 351 mops, 6.1e-5 errors
/* 3 */ V0Parameter( 1, 13, 545, 2, 15, 6, 3), // 474 mops, 6.0e-5 errors
/* 4 */ V0Parameter( 1, 13, 545, 2, 15, 6, 3), // 474 mops, 6.0e-5 errors
/* 5 */ V0Parameter( 1, 13, 545, 2, 15, 6, 3), // 474 mops, 6.0e-5 errors
/* 6 */ V0Parameter( 1, 13, 545, 2, 15, 6, 3), // 474 mops, 6.2e-5 errors
/* 7 */ V0Parameter( 1, 13, 546, 2, 15, 6, 3), // 475 mops, 5.1e-5 errors
/* 8 */ V0Parameter( 1, 13, 547, 2, 15, 6, 3), // 476 mops, 5.9e-5 errors
/* 9 */ V0Parameter( 1, 13, 555, 2, 15, 6, 3), // 483 mops, 5.7e-5 errors
/* 10 */ V0Parameter( 1, 13, 546, 3, 11, 6, 3), // 612 mops, 4.9e-5 errors
/* 11 */ V0Parameter( 1, 13, 546, 3, 11, 6, 3), // 612 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 1, 13, 550, 3, 11, 6, 3), // 616 mops, 6.1e-5 errors
/* 13 */ V0Parameter( 1, 13, 546, 4, 9, 6, 3), // 748 mops, 5.6e-5 errors
/* 14 */ V0Parameter( 1, 13, 549, 4, 9, 6, 3), // 752 mops, 5.1e-5 errors
/* 15 */ V0Parameter( 1, 13, 567, 4, 9, 6, 3), // 776 mops, 6.1e-5 errors
/* 16 */ V0Parameter( 1, 13, 548, 5, 8, 9, 2), // 914 mops, 6.0e-5 errors
/* 17 */ V0Parameter( 1, 13, 558, 6, 7, 9, 2), // 1069 mops, 6.2e-5 errors
/* 18 */ V0Parameter( 1, 13, 535, 8, 5, 9, 2), // 1294 mops, 5.8e-5 errors
/* 19 */ V0Parameter( 1, 13, 540, 10, 4, 9, 2), // 1576 mops, 5.9e-5 errors
/* 20 */ V0Parameter( 1, 13, 541, 14, 3, 9, 2), // 2120 mops, 5.7e-5 errors
/* 21 */ V0Parameter( 1, 13, 562, 21, 2, 10, 2), // 3193 mops, 6.3e-5 errors
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 8 */
/* 0 */ V0Parameter( 1, 14, 618, 1, 22, 5, 4), // 778 mops, 5.6e-5 errors
/* 1 */ V0Parameter( 1, 14, 588, 2, 15, 6, 3), // 1074 mops, 6.0e-5 errors
/* 2 */ V0Parameter( 1, 14, 588, 2, 15, 6, 3), // 1074 mops, 6.0e-5 errors
/* 3 */ V0Parameter( 1, 14, 588, 2, 15, 6, 3), // 1074 mops, 6.1e-5 errors
/* 4 */ V0Parameter( 1, 14, 588, 2, 15, 6, 3), // 1074 mops, 6.2e-5 errors
/* 5 */ V0Parameter( 1, 14, 589, 2, 15, 6, 3), // 1076 mops, 5.6e-5 errors
/* 6 */ V0Parameter( 1, 14, 591, 2, 15, 6, 3), // 1080 mops, 5.7e-5 errors
/* 7 */ V0Parameter( 1, 14, 615, 2, 15, 5, 4), // 1102 mops, 5.5e-5 errors
/* 8 */ V0Parameter( 1, 14, 589, 3, 11, 6, 3), // 1389 mops, 5.2e-5 errors
/* 9 */ V0Parameter( 1, 14, 590, 3, 11, 6, 3), // 1391 mops, 5.3e-5 errors
/* 10 */ V0Parameter( 1, 14, 594, 3, 11, 6, 3), // 1400 mops, 6.0e-5 errors
/* 11 */ V0Parameter( 1, 14, 622, 3, 11, 7, 3), // 1483 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 1, 14, 593, 4, 9, 6, 3), // 1713 mops, 6.3e-5 errors
/* 13 */ V0Parameter( 1, 14, 611, 4, 9, 7, 3), // 1782 mops, 6.3e-5 errors
/* 14 */ V0Parameter( 1, 14, 601, 5, 8, 10, 2), // 2130 mops, 6.3e-5 errors
/* 15 */ V0Parameter( 1, 14, 574, 7, 6, 10, 2), // 2647 mops, 6.0e-5 errors
/* 16 */ V0Parameter( 1, 14, 576, 8, 5, 10, 2), // 2962 mops, 5.5e-5 errors
/* 17 */ V0Parameter( 1, 14, 580, 10, 4, 10, 2), // 3598 mops, 5.9e-5 errors
/* 18 */ V0Parameter( 1, 14, 584, 14, 3, 10, 2), // 4864 mops, 6.0e-5 errors
/* 19 */ V0Parameter( 1, 14, 612, 22, 2, 21, 1), // 7906 mops, 6.3e-5 errors
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
}

View File

@@ -0,0 +1,275 @@
{ /* Security level: 96 */
{ /* 6.3e-5 errors */
{ /* precision 1 */
/* 0 */ V0Parameter( 1, 10, 512, 1, 16, 2, 5), // 30 mops, 3.2e-26 errors
/* 1 */ V0Parameter( 1, 10, 512, 1, 16, 2, 5), // 30 mops, 1.3e-22 errors
/* 2 */ V0Parameter( 1, 10, 512, 1, 16, 2, 5), // 30 mops, 8.2e-15 errors
/* 3 */ V0Parameter( 1, 10, 512, 1, 16, 2, 5), // 30 mops, 8.3e-7 errors
/* 4 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 3.7e-27 errors
/* 5 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 1.3e-25 errors
/* 6 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 6.3e-21 errors
/* 7 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 2.0e-12 errors
/* 8 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 2.2e-5 errors
/* 9 */ V0Parameter( 2, 10, 512, 1, 23, 2, 5), // 49 mops, 1.8e-10 errors
/* 10 */ V0Parameter( 2, 10, 512, 1, 23, 2, 5), // 49 mops, 6.3e-6 errors
/* 11 */ V0Parameter( 1, 10, 512, 4, 6, 2, 5), // 69 mops, 1.6e-10 errors
/* 12 */ V0Parameter( 2, 10, 512, 2, 16, 2, 5), // 70 mops, 6.9e-15 errors
/* 13 */ V0Parameter( 2, 10, 512, 2, 16, 2, 5), // 70 mops, 7.9e-15 errors
/* 14 */ V0Parameter( 2, 10, 512, 2, 16, 2, 5), // 70 mops, 1.3e-14 errors
/* 15 */ V0Parameter( 2, 10, 512, 2, 16, 2, 5), // 70 mops, 9.3e-14 errors
/* 16 */ V0Parameter( 2, 10, 512, 2, 16, 2, 5), // 70 mops, 3.1e-11 errors
/* 17 */ V0Parameter( 2, 10, 512, 2, 16, 2, 5), // 70 mops, 8.4e-7 errors
/* 18 */ V0Parameter( 2, 10, 512, 3, 12, 2, 5), // 91 mops, 1.9e-14 errors
/* 19 */ V0Parameter( 2, 10, 512, 3, 12, 2, 5), // 91 mops, 2.8e-13 errors
/* 20 */ V0Parameter( 2, 10, 512, 3, 12, 2, 5), // 91 mops, 4.1e-10 errors
/* 21 */ V0Parameter( 2, 10, 512, 3, 12, 2, 5), // 91 mops, 1.4e-5 errors
/* 22 */ V0Parameter( 2, 10, 512, 4, 9, 2, 5), // 112 mops, 1.8e-10 errors
/* 23 */ V0Parameter( 2, 10, 512, 4, 9, 2, 5), // 112 mops, 6.3e-6 errors
/* 24 */ V0Parameter( 2, 10, 512, 5, 8, 2, 5), // 133 mops, 1.7e-8 errors
/* 25 */ V0Parameter( 2, 10, 512, 5, 8, 4, 3), // 137 mops, 5.9e-5 errors
/* 26 */ V0Parameter( 2, 10, 512, 7, 6, 2, 5), // 175 mops, 2.2e-7 errors
/* 27 */ V0Parameter( 2, 10, 512, 8, 5, 2, 5), // 196 mops, 5.0e-5 errors
/* 28 */ V0Parameter( 2, 10, 512, 11, 4, 2, 5), // 259 mops, 6.3e-6 errors
/* 29 */ V0Parameter( 2, 10, 512, 15, 3, 2, 5), // 343 mops, 5.0e-5 errors
/* 30 */ V0Parameter( 2, 10, 512, 43, 1, 3, 4), // 933 mops, 2.9e-5 errors
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 2 */
/* 0 */ V0Parameter( 1, 10, 512, 1, 16, 2, 5), // 30 mops, 1.2e-7 errors
/* 1 */ V0Parameter( 1, 10, 512, 1, 16, 2, 5), // 30 mops, 1.0e-6 errors
/* 2 */ V0Parameter( 1, 10, 517, 1, 16, 2, 5), // 30 mops, 6.0e-5 errors
/* 3 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 5.3e-8 errors
/* 4 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 6.8e-8 errors
/* 5 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 1.7e-7 errors
/* 6 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 2.7e-6 errors
/* 7 */ V0Parameter( 1, 10, 512, 2, 11, 3, 4), // 44 mops, 3.0e-5 errors
/* 8 */ V0Parameter( 2, 10, 519, 1, 23, 2, 5), // 50 mops, 5.8e-5 errors
/* 9 */ V0Parameter( 2, 10, 512, 1, 23, 3, 4), // 51 mops, 1.1e-5 errors
/* 10 */ V0Parameter( 1, 10, 512, 4, 6, 2, 5), // 69 mops, 7.1e-6 errors
/* 11 */ V0Parameter( 2, 10, 514, 2, 16, 2, 5), // 70 mops, 5.9e-5 errors
/* 12 */ V0Parameter( 2, 10, 514, 2, 16, 2, 5), // 70 mops, 5.9e-5 errors
/* 13 */ V0Parameter( 2, 10, 514, 2, 16, 2, 5), // 70 mops, 6.2e-5 errors
/* 14 */ V0Parameter( 2, 10, 515, 2, 16, 2, 5), // 70 mops, 5.6e-5 errors
/* 15 */ V0Parameter( 2, 10, 518, 2, 16, 2, 5), // 71 mops, 5.4e-5 errors
/* 16 */ V0Parameter( 2, 10, 512, 2, 16, 3, 4), // 72 mops, 1.8e-6 errors
/* 17 */ V0Parameter( 2, 10, 515, 3, 12, 2, 5), // 92 mops, 4.9e-5 errors
/* 18 */ V0Parameter( 2, 10, 515, 3, 12, 2, 5), // 92 mops, 6.2e-5 errors
/* 19 */ V0Parameter( 2, 10, 520, 3, 12, 2, 5), // 92 mops, 5.4e-5 errors
/* 20 */ V0Parameter( 2, 10, 512, 3, 12, 3, 4), // 93 mops, 2.2e-5 errors
/* 21 */ V0Parameter( 2, 10, 519, 4, 9, 2, 5), // 113 mops, 5.8e-5 errors
/* 22 */ V0Parameter( 2, 10, 512, 4, 9, 3, 4), // 114 mops, 1.1e-5 errors
/* 23 */ V0Parameter( 2, 10, 512, 5, 8, 3, 4), // 135 mops, 6.1e-8 errors
/* 24 */ V0Parameter( 2, 10, 512, 6, 7, 3, 4), // 156 mops, 1.8e-7 errors
/* 25 */ V0Parameter( 2, 10, 512, 7, 6, 3, 4), // 177 mops, 5.6e-7 errors
/* 26 */ V0Parameter( 2, 10, 514, 8, 5, 3, 4), // 199 mops, 6.0e-5 errors
/* 27 */ V0Parameter( 2, 10, 512, 11, 4, 3, 4), // 261 mops, 1.1e-5 errors
/* 28 */ V0Parameter( 2, 10, 514, 15, 3, 3, 4), // 346 mops, 6.0e-5 errors
/* 29 */ V0Parameter( 2, 10, 512, 43, 1, 4, 3), // 935 mops, 4.8e-5 errors
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 3 */
/* 0 */ V0Parameter( 1, 10, 512, 1, 16, 3, 4), // 31 mops, 6.3e-6 errors
/* 1 */ V0Parameter( 1, 10, 522, 1, 16, 3, 4), // 31 mops, 5.8e-5 errors
/* 2 */ V0Parameter( 1, 10, 512, 2, 11, 3, 4), // 44 mops, 7.9e-7 errors
/* 3 */ V0Parameter( 1, 10, 512, 2, 11, 3, 4), // 44 mops, 9.4e-7 errors
/* 4 */ V0Parameter( 1, 10, 512, 2, 11, 3, 4), // 44 mops, 1.8e-6 errors
/* 5 */ V0Parameter( 1, 10, 512, 2, 11, 3, 4), // 44 mops, 1.3e-5 errors
/* 6 */ V0Parameter( 1, 10, 526, 2, 11, 4, 3), // 46 mops, 6.2e-5 errors
/* 7 */ V0Parameter( 2, 10, 521, 1, 23, 3, 4), // 52 mops, 5.8e-5 errors
/* 8 */ V0Parameter( 2, 10, 516, 1, 23, 4, 3), // 53 mops, 5.9e-5 errors
/* 9 */ V0Parameter( 1, 10, 512, 4, 6, 3, 4), // 70 mops, 2.7e-5 errors
/* 10 */ V0Parameter( 2, 10, 518, 2, 16, 3, 4), // 73 mops, 4.6e-5 errors
/* 11 */ V0Parameter( 2, 10, 518, 2, 16, 3, 4), // 73 mops, 4.6e-5 errors
/* 12 */ V0Parameter( 2, 10, 518, 2, 16, 3, 4), // 73 mops, 4.8e-5 errors
/* 13 */ V0Parameter( 2, 10, 518, 2, 16, 3, 4), // 73 mops, 5.7e-5 errors
/* 14 */ V0Parameter( 2, 10, 520, 2, 16, 3, 4), // 73 mops, 5.9e-5 errors
/* 15 */ V0Parameter( 2, 10, 512, 2, 16, 4, 3), // 74 mops, 3.1e-5 errors
/* 16 */ V0Parameter( 2, 10, 518, 3, 12, 3, 4), // 94 mops, 5.0e-5 errors
/* 17 */ V0Parameter( 2, 10, 518, 3, 12, 3, 4), // 94 mops, 6.3e-5 errors
/* 18 */ V0Parameter( 2, 10, 522, 3, 12, 3, 4), // 95 mops, 5.1e-5 errors
/* 19 */ V0Parameter( 2, 10, 521, 3, 12, 4, 3), // 97 mops, 6.2e-5 errors
/* 20 */ V0Parameter( 2, 10, 521, 4, 9, 3, 4), // 116 mops, 5.8e-5 errors
/* 21 */ V0Parameter( 2, 10, 516, 4, 9, 4, 3), // 117 mops, 5.9e-5 errors
/* 22 */ V0Parameter( 2, 10, 512, 5, 8, 4, 3), // 137 mops, 4.9e-6 errors
/* 23 */ V0Parameter( 2, 10, 512, 6, 7, 4, 3), // 158 mops, 8.8e-6 errors
/* 24 */ V0Parameter( 2, 10, 512, 7, 6, 4, 3), // 179 mops, 1.6e-5 errors
/* 25 */ V0Parameter( 2, 10, 517, 8, 5, 6, 2), // 206 mops, 6.3e-5 errors
/* 26 */ V0Parameter( 2, 10, 516, 11, 4, 4, 3), // 265 mops, 5.8e-5 errors
/* 27 */ V0Parameter( 2, 10, 512, 15, 3, 7, 2), // 353 mops, 4.8e-5 errors
/* 28 */ V0Parameter( 2, 10, 512, 44, 1, 6, 2), // 960 mops, 2.8e-5 errors
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 4 */
/* 0 */ V0Parameter( 1, 10, 544, 1, 16, 7, 2), // 36 mops, 6.3e-5 errors
/* 1 */ V0Parameter( 1, 10, 521, 2, 11, 4, 3), // 45 mops, 5.4e-5 errors
/* 2 */ V0Parameter( 1, 10, 521, 2, 11, 4, 3), // 45 mops, 5.8e-5 errors
/* 3 */ V0Parameter( 1, 10, 523, 2, 11, 4, 3), // 45 mops, 5.6e-5 errors
/* 4 */ V0Parameter( 1, 10, 532, 2, 11, 4, 3), // 46 mops, 5.8e-5 errors
/* 5 */ V0Parameter( 2, 10, 572, 1, 23, 3, 4), // 56 mops, 5.8e-5 errors
/* 6 */ V0Parameter( 2, 10, 559, 1, 23, 4, 3), // 57 mops, 6.1e-5 errors
/* 7 */ V0Parameter( 1, 10, 512, 3, 8, 7, 2), // 61 mops, 6.3e-5 errors
/* 8 */ V0Parameter( 1, 10, 517, 4, 6, 6, 2), // 73 mops, 6.1e-5 errors
/* 9 */ V0Parameter( 2, 10, 545, 2, 16, 4, 3), // 78 mops, 5.9e-5 errors
/* 10 */ V0Parameter( 2, 10, 545, 2, 16, 4, 3), // 78 mops, 6.0e-5 errors
/* 11 */ V0Parameter( 2, 10, 545, 2, 16, 4, 3), // 78 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 2, 10, 547, 2, 16, 4, 3), // 79 mops, 5.9e-5 errors
/* 13 */ V0Parameter( 2, 10, 554, 2, 16, 4, 3), // 79 mops, 6.3e-5 errors
/* 14 */ V0Parameter( 2, 10, 559, 2, 16, 5, 3), // 82 mops, 6.2e-5 errors
/* 15 */ V0Parameter( 2, 10, 546, 3, 12, 4, 3), // 101 mops, 5.7e-5 errors
/* 16 */ V0Parameter( 2, 10, 535, 3, 12, 5, 3), // 101 mops, 6.3e-5 errors
/* 17 */ V0Parameter( 2, 10, 540, 3, 12, 5, 3), // 102 mops, 5.8e-5 errors
/* 18 */ V0Parameter( 2, 10, 515, 4, 9, 7, 2), // 123 mops, 5.7e-5 errors
/* 19 */ V0Parameter( 2, 10, 519, 4, 9, 7, 2), // 124 mops, 5.6e-5 errors
/* 20 */ V0Parameter( 2, 10, 516, 5, 8, 7, 2), // 144 mops, 5.7e-5 errors
/* 21 */ V0Parameter( 2, 10, 524, 5, 8, 7, 2), // 146 mops, 6.2e-5 errors
/* 22 */ V0Parameter( 2, 10, 527, 6, 7, 7, 2), // 169 mops, 6.0e-5 errors
/* 23 */ V0Parameter( 2, 10, 531, 7, 6, 7, 2), // 192 mops, 6.0e-5 errors
/* 24 */ V0Parameter( 2, 10, 541, 9, 5, 7, 2), // 239 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 2, 10, 553, 11, 4, 15, 1), // 307 mops, 6.3e-5 errors
/* 26 */ V0Parameter( 2, 10, 527, 22, 2, 7, 2), // 514 mops, 5.8e-5 errors
/* 27 */ V0Parameter( 1, 11, 538, 44, 1, 15, 1), // 1359 mops, 6.2e-5 errors
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 5 */
/* 0 */ V0Parameter( 1, 11, 565, 1, 23, 5, 3), // 76 mops, 5.2e-5 errors
/* 1 */ V0Parameter( 1, 11, 565, 1, 23, 5, 3), // 76 mops, 5.2e-5 errors
/* 2 */ V0Parameter( 1, 11, 565, 1, 23, 5, 3), // 76 mops, 5.3e-5 errors
/* 3 */ V0Parameter( 1, 11, 565, 1, 23, 5, 3), // 76 mops, 5.6e-5 errors
/* 4 */ V0Parameter( 1, 11, 566, 1, 23, 5, 3), // 76 mops, 5.7e-5 errors
/* 5 */ V0Parameter( 1, 11, 571, 1, 23, 5, 3), // 77 mops, 6.0e-5 errors
/* 6 */ V0Parameter( 1, 11, 565, 2, 15, 5, 3), // 107 mops, 5.1e-5 errors
/* 7 */ V0Parameter( 1, 11, 565, 2, 15, 5, 3), // 107 mops, 5.2e-5 errors
/* 8 */ V0Parameter( 1, 11, 565, 2, 15, 5, 3), // 107 mops, 5.2e-5 errors
/* 9 */ V0Parameter( 1, 11, 565, 2, 15, 5, 3), // 107 mops, 5.2e-5 errors
/* 10 */ V0Parameter( 1, 11, 565, 2, 15, 5, 3), // 107 mops, 5.5e-5 errors
/* 11 */ V0Parameter( 1, 11, 566, 2, 15, 5, 3), // 107 mops, 5.4e-5 errors
/* 12 */ V0Parameter( 1, 11, 570, 2, 15, 5, 3), // 108 mops, 5.4e-5 errors
/* 13 */ V0Parameter( 1, 11, 586, 2, 15, 8, 2), // 117 mops, 6.2e-5 errors
/* 14 */ V0Parameter( 1, 11, 565, 3, 12, 5, 3), // 138 mops, 5.7e-5 errors
/* 15 */ V0Parameter( 1, 11, 566, 3, 12, 5, 3), // 138 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 1, 11, 573, 3, 12, 5, 3), // 140 mops, 6.2e-5 errors
/* 17 */ V0Parameter( 1, 11, 548, 4, 9, 7, 2), // 168 mops, 5.3e-5 errors
/* 18 */ V0Parameter( 1, 11, 553, 4, 9, 7, 2), // 170 mops, 5.9e-5 errors
/* 19 */ V0Parameter( 1, 11, 549, 5, 8, 7, 2), // 198 mops, 6.3e-5 errors
/* 20 */ V0Parameter( 1, 11, 566, 5, 8, 7, 2), // 204 mops, 6.0e-5 errors
/* 21 */ V0Parameter( 1, 11, 567, 6, 7, 8, 2), // 238 mops, 6.1e-5 errors
/* 22 */ V0Parameter( 1, 11, 576, 7, 6, 8, 2), // 273 mops, 6.2e-5 errors
/* 23 */ V0Parameter( 1, 11, 554, 11, 4, 7, 2), // 382 mops, 6.1e-5 errors
/* 24 */ V0Parameter( 1, 11, 561, 14, 3, 8, 2), // 481 mops, 6.1e-5 errors
/* 25 */ V0Parameter( 1, 11, 566, 22, 2, 8, 2), // 733 mops, 6.1e-5 errors
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 6 */
/* 0 */ V0Parameter( 1, 12, 635, 1, 23, 4, 4), // 174 mops, 5.9e-5 errors
/* 1 */ V0Parameter( 1, 12, 635, 1, 23, 4, 4), // 174 mops, 6.2e-5 errors
/* 2 */ V0Parameter( 1, 12, 636, 1, 23, 4, 4), // 175 mops, 6.3e-5 errors
/* 3 */ V0Parameter( 1, 12, 641, 1, 23, 4, 4), // 176 mops, 6.2e-5 errors
/* 4 */ V0Parameter( 1, 12, 616, 2, 15, 5, 3), // 247 mops, 5.7e-5 errors
/* 5 */ V0Parameter( 1, 12, 616, 2, 15, 5, 3), // 247 mops, 5.7e-5 errors
/* 6 */ V0Parameter( 1, 12, 616, 2, 15, 5, 3), // 247 mops, 5.7e-5 errors
/* 7 */ V0Parameter( 1, 12, 616, 2, 15, 5, 3), // 247 mops, 5.8e-5 errors
/* 8 */ V0Parameter( 1, 12, 616, 2, 15, 5, 3), // 247 mops, 6.0e-5 errors
/* 9 */ V0Parameter( 1, 12, 617, 2, 15, 5, 3), // 247 mops, 5.9e-5 errors
/* 10 */ V0Parameter( 1, 12, 621, 2, 15, 5, 3), // 248 mops, 6.0e-5 errors
/* 11 */ V0Parameter( 1, 12, 635, 2, 15, 6, 3), // 259 mops, 5.9e-5 errors
/* 12 */ V0Parameter( 1, 12, 617, 3, 12, 5, 3), // 319 mops, 5.6e-5 errors
/* 13 */ V0Parameter( 1, 12, 619, 3, 12, 5, 3), // 320 mops, 6.1e-5 errors
/* 14 */ V0Parameter( 1, 12, 604, 3, 12, 8, 2), // 327 mops, 6.1e-5 errors
/* 15 */ V0Parameter( 1, 12, 594, 4, 9, 8, 2), // 391 mops, 5.3e-5 errors
/* 16 */ V0Parameter( 1, 12, 598, 4, 9, 8, 2), // 394 mops, 5.7e-5 errors
/* 17 */ V0Parameter( 1, 12, 596, 5, 8, 8, 2), // 463 mops, 6.3e-5 errors
/* 18 */ V0Parameter( 1, 12, 621, 5, 8, 8, 2), // 481 mops, 6.1e-5 errors
/* 19 */ V0Parameter( 1, 12, 633, 6, 7, 9, 2), // 569 mops, 6.2e-5 errors
/* 20 */ V0Parameter( 1, 12, 602, 8, 5, 8, 2), // 679 mops, 6.0e-5 errors
/* 21 */ V0Parameter( 1, 12, 620, 10, 4, 8, 2), // 844 mops, 6.3e-5 errors
/* 22 */ V0Parameter( 1, 12, 611, 14, 3, 8, 2), // 1118 mops, 6.2e-5 errors
/* 23 */ V0Parameter( 1, 12, 626, 22, 2, 9, 2), // 1737 mops, 6.1e-5 errors
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 7 */
/* 0 */ V0Parameter( 1, 13, 660, 1, 23, 6, 3), // 403 mops, 5.5e-5 errors
/* 1 */ V0Parameter( 1, 13, 664, 1, 23, 6, 3), // 405 mops, 6.0e-5 errors
/* 2 */ V0Parameter( 1, 13, 659, 2, 15, 6, 3), // 567 mops, 5.2e-5 errors
/* 3 */ V0Parameter( 1, 13, 659, 2, 15, 6, 3), // 567 mops, 5.2e-5 errors
/* 4 */ V0Parameter( 1, 13, 659, 2, 15, 6, 3), // 567 mops, 5.2e-5 errors
/* 5 */ V0Parameter( 1, 13, 659, 2, 15, 6, 3), // 567 mops, 5.2e-5 errors
/* 6 */ V0Parameter( 1, 13, 659, 2, 15, 6, 3), // 567 mops, 5.4e-5 errors
/* 7 */ V0Parameter( 1, 13, 659, 2, 15, 6, 3), // 567 mops, 6.1e-5 errors
/* 8 */ V0Parameter( 1, 13, 662, 2, 15, 6, 3), // 570 mops, 5.5e-5 errors
/* 9 */ V0Parameter( 1, 13, 677, 2, 15, 6, 3), // 582 mops, 6.1e-5 errors
/* 10 */ V0Parameter( 1, 13, 659, 3, 11, 6, 3), // 732 mops, 5.7e-5 errors
/* 11 */ V0Parameter( 1, 13, 660, 3, 11, 6, 3), // 733 mops, 6.2e-5 errors
/* 12 */ V0Parameter( 1, 13, 667, 3, 11, 6, 3), // 740 mops, 6.2e-5 errors
/* 13 */ V0Parameter( 1, 13, 660, 4, 9, 6, 3), // 898 mops, 5.5e-5 errors
/* 14 */ V0Parameter( 1, 13, 664, 4, 9, 6, 3), // 903 mops, 6.0e-5 errors
/* 15 */ V0Parameter( 1, 13, 644, 5, 8, 9, 2), // 1068 mops, 6.2e-5 errors
/* 16 */ V0Parameter( 1, 13, 646, 6, 7, 9, 2), // 1233 mops, 5.4e-5 errors
/* 17 */ V0Parameter( 1, 13, 647, 7, 6, 9, 2), // 1396 mops, 5.8e-5 errors
/* 18 */ V0Parameter( 1, 13, 650, 8, 5, 9, 2), // 1565 mops, 5.9e-5 errors
/* 19 */ V0Parameter( 1, 13, 661, 10, 4, 9, 2), // 1922 mops, 6.2e-5 errors
/* 20 */ V0Parameter( 1, 13, 663, 14, 3, 9, 2), // 2590 mops, 6.2e-5 errors
/* 21 */ V0Parameter( 1, 13, 652, 42, 1, 19, 1), // 7214 mops, 6.2e-5 errors
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 8 */
/* 0 */ V0Parameter( 1, 14, 759, 1, 22, 5, 4), // 941 mops, 6.3e-5 errors
/* 1 */ V0Parameter( 1, 14, 711, 2, 15, 6, 3), // 1286 mops, 5.8e-5 errors
/* 2 */ V0Parameter( 1, 14, 711, 2, 15, 6, 3), // 1286 mops, 5.8e-5 errors
/* 3 */ V0Parameter( 1, 14, 711, 2, 15, 6, 3), // 1286 mops, 5.9e-5 errors
/* 4 */ V0Parameter( 1, 14, 711, 2, 15, 6, 3), // 1286 mops, 6.0e-5 errors
/* 5 */ V0Parameter( 1, 14, 712, 2, 15, 6, 3), // 1288 mops, 5.9e-5 errors
/* 6 */ V0Parameter( 1, 14, 716, 2, 15, 6, 3), // 1294 mops, 5.9e-5 errors
/* 7 */ V0Parameter( 1, 14, 750, 2, 15, 5, 4), // 1329 mops, 6.0e-5 errors
/* 8 */ V0Parameter( 1, 14, 711, 3, 11, 6, 3), // 1664 mops, 6.3e-5 errors
/* 9 */ V0Parameter( 1, 14, 713, 3, 11, 6, 3), // 1668 mops, 6.1e-5 errors
/* 10 */ V0Parameter( 1, 14, 722, 3, 11, 6, 3), // 1688 mops, 6.3e-5 errors
/* 11 */ V0Parameter( 1, 14, 713, 4, 9, 6, 3), // 2047 mops, 5.9e-5 errors
/* 12 */ V0Parameter( 1, 14, 712, 4, 9, 7, 3), // 2066 mops, 6.3e-5 errors
/* 13 */ V0Parameter( 1, 14, 693, 5, 8, 10, 2), // 2446 mops, 5.8e-5 errors
/* 14 */ V0Parameter( 1, 14, 695, 6, 7, 10, 2), // 2822 mops, 5.6e-5 errors
/* 15 */ V0Parameter( 1, 14, 696, 7, 6, 10, 2), // 3196 mops, 6.3e-5 errors
/* 16 */ V0Parameter( 1, 14, 700, 8, 5, 10, 2), // 3586 mops, 5.7e-5 errors
/* 17 */ V0Parameter( 1, 14, 710, 10, 4, 10, 2), // 4391 mops, 6.2e-5 errors
/* 18 */ V0Parameter( 1, 14, 727, 14, 3, 10, 2), // 6039 mops, 6.2e-5 errors
/* 19 */ V0Parameter( 1, 14, 702, 42, 1, 20, 1), // 16496 mops, 6.2e-5 errors
/* 20 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 21 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 22 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 23 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 24 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 25 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 26 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 27 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 28 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 29 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 30 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
}

View File

@@ -2,15 +2,15 @@
{ /* 6.3e-5 errors */
{ /* precision 1 */
/* 0 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 1.4e-15 errors
/* 1 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 1.4e-15 errors
/* 2 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 1.7e-15 errors
/* 3 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 2.6e-15 errors
/* 1 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 1.5e-15 errors
/* 2 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 1.6e-15 errors
/* 3 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 2.5e-15 errors
/* 4 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 1.2e-14 errors
/* 5 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 1.9e-12 errors
/* 6 */ V0Parameter( 1, 10, 512, 1, 19, 1, 9), // 29 mops, 5.0e-8 errors
/* 7 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 1.4e-15 errors
/* 8 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 1.7e-15 errors
/* 9 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 2.4e-15 errors
/* 7 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 1.5e-15 errors
/* 8 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 1.6e-15 errors
/* 9 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 2.5e-15 errors
/* 10 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 1.2e-14 errors
/* 11 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 1.7e-12 errors
/* 12 */ V0Parameter( 1, 10, 512, 2, 13, 1, 9), // 42 mops, 4.3e-8 errors
@@ -50,13 +50,13 @@
/* 12 */ V0Parameter( 1, 10, 514, 3, 10, 1, 9), // 55 mops, 6.0e-5 errors
/* 13 */ V0Parameter( 1, 10, 519, 3, 10, 1, 9), // 55 mops, 6.1e-5 errors
/* 14 */ V0Parameter( 1, 10, 512, 3, 10, 2, 6), // 56 mops, 4.7e-10 errors
/* 15 */ V0Parameter( 1, 10, 512, 4, 8, 2, 6), // 69 mops, 0.0e0 errors
/* 15 */ V0Parameter( 1, 10, 512, 4, 8, 2, 6), // 69 mops, 5.3e-23 errors
/* 16 */ V0Parameter( 1, 10, 512, 4, 8, 2, 6), // 69 mops, 4.2e-8 errors
/* 17 */ V0Parameter( 1, 10, 512, 5, 7, 2, 6), // 82 mops, 6.1e-7 errors
/* 18 */ V0Parameter( 2, 10, 512, 3, 12, 2, 6), // 91 mops, 0.0e0 errors
/* 19 */ V0Parameter( 2, 10, 512, 3, 12, 2, 6), // 91 mops, 0.0e0 errors
/* 18 */ V0Parameter( 2, 10, 512, 3, 12, 2, 6), // 91 mops, 2.2e-37 errors
/* 19 */ V0Parameter( 2, 10, 512, 3, 12, 2, 6), // 91 mops, 1.6e-18 errors
/* 20 */ V0Parameter( 2, 10, 512, 3, 12, 2, 6), // 91 mops, 6.3e-7 errors
/* 21 */ V0Parameter( 2, 10, 512, 4, 9, 2, 6), // 112 mops, 0.0e0 errors
/* 21 */ V0Parameter( 2, 10, 512, 4, 9, 2, 6), // 112 mops, 6.7e-20 errors
/* 22 */ V0Parameter( 2, 10, 512, 4, 9, 2, 6), // 112 mops, 1.6e-7 errors
/* 23 */ V0Parameter( 2, 10, 512, 5, 8, 2, 6), // 133 mops, 3.1e-13 errors
/* 24 */ V0Parameter( 2, 10, 512, 5, 8, 3, 5), // 135 mops, 5.7e-5 errors
@@ -69,18 +69,18 @@
/* 31 : NO SOLUTION */ V0Parameter(0,0,0,0,0,0,0),
},
{ /* precision 3 */
/* 0 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 0.0e0 errors
/* 1 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 0.0e0 errors
/* 2 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 0.0e0 errors
/* 3 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 2.2e-16 errors
/* 0 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 9.5e-23 errors
/* 1 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 2.5e-22 errors
/* 2 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 8.4e-21 errors
/* 3 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 2.0e-16 errors
/* 4 */ V0Parameter( 1, 10, 512, 1, 19, 2, 6), // 30 mops, 2.7e-9 errors
/* 5 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 0.0e0 errors
/* 6 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 0.0e0 errors
/* 7 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 0.0e0 errors
/* 8 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 0.0e0 errors
/* 9 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 2.2e-16 errors
/* 5 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 7.4e-23 errors
/* 6 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 9.5e-23 errors
/* 7 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 2.5e-22 errors
/* 8 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 7.8e-21 errors
/* 9 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 1.7e-16 errors
/* 10 */ V0Parameter( 1, 10, 512, 2, 13, 2, 6), // 43 mops, 2.2e-9 errors
/* 11 */ V0Parameter( 1, 10, 512, 3, 10, 2, 6), // 56 mops, 0.0e0 errors
/* 11 */ V0Parameter( 1, 10, 512, 3, 10, 2, 6), // 56 mops, 2.9e-20 errors
/* 12 */ V0Parameter( 1, 10, 512, 3, 10, 2, 6), // 56 mops, 3.3e-15 errors
/* 13 */ V0Parameter( 1, 10, 512, 3, 10, 2, 6), // 56 mops, 4.7e-8 errors
/* 14 */ V0Parameter( 1, 10, 512, 4, 8, 2, 6), // 69 mops, 8.9e-14 errors

View File

@@ -1,13 +1,13 @@
{ /* Security level: 96 */
{ /* 6.3e-5 errors */
{ /* precision 1 */
/* 0 */ V0Parameter( 1, 10, 512, 1, 16, 2, 5), // 30 mops, 0.0e0 errors
/* 1 */ V0Parameter( 1, 10, 512, 1, 16, 2, 5), // 30 mops, 0.0e0 errors
/* 0 */ V0Parameter( 1, 10, 512, 1, 16, 2, 5), // 30 mops, 3.2e-26 errors
/* 1 */ V0Parameter( 1, 10, 512, 1, 16, 2, 5), // 30 mops, 1.3e-22 errors
/* 2 */ V0Parameter( 1, 10, 512, 1, 16, 2, 5), // 30 mops, 8.2e-15 errors
/* 3 */ V0Parameter( 1, 10, 512, 1, 16, 2, 5), // 30 mops, 8.3e-7 errors
/* 4 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 0.0e0 errors
/* 5 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 0.0e0 errors
/* 6 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 0.0e0 errors
/* 4 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 3.7e-27 errors
/* 5 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 1.3e-25 errors
/* 6 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 6.3e-21 errors
/* 7 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 2.0e-12 errors
/* 8 */ V0Parameter( 1, 10, 512, 2, 11, 2, 5), // 43 mops, 2.2e-5 errors
/* 9 */ V0Parameter( 2, 10, 512, 1, 23, 2, 5), // 49 mops, 1.8e-10 errors