From 7454c30485cda5391a242129b1711d7307601ab5 Mon Sep 17 00:00:00 2001 From: Quentin Bourgerie Date: Thu, 23 Sep 2021 11:21:14 +0200 Subject: [PATCH] fix(compiler/parameters): Update parameters --- compiler/lib/Support/CompilerTools.cpp | 2 +- compiler/lib/Support/V0Parameters.cpp | 193 ++++++++++--------------- 2 files changed, 75 insertions(+), 120 deletions(-) diff --git a/compiler/lib/Support/CompilerTools.cpp b/compiler/lib/Support/CompilerTools.cpp index 030812cca..cdc0135b6 100644 --- a/compiler/lib/Support/CompilerTools.cpp +++ b/compiler/lib/Support/CompilerTools.cpp @@ -13,7 +13,7 @@ namespace mlir { namespace zamalang { // This is temporary while we doesn't yet have the high-level verification pass -V0FHEConstraint defaultGlobalFHECircuitConstraint{.norm2 = 10, .p = 7}; +V0FHEConstraint defaultGlobalFHECircuitConstraint{.norm2 = 10, .p = 6}; void initLLVMNativeTarget() { // Initialize LLVM targets. diff --git a/compiler/lib/Support/V0Parameters.cpp b/compiler/lib/Support/V0Parameters.cpp index 50b3a1e13..a320951e5 100644 --- a/compiler/lib/Support/V0Parameters.cpp +++ b/compiler/lib/Support/V0Parameters.cpp @@ -9,134 +9,89 @@ namespace mlir { namespace zamalang { using namespace std; -const int NORM2_MAX = 31; +const int NORM2_MAX = 20; const int P_MAX = 7; V0Parameter parameters[NORM2_MAX][P_MAX] = { - {V0Parameter(1, 10, 472, 2, 8, 4, 2), V0Parameter(1, 10, 514, 2, 8, 5, 2), - V0Parameter(1, 10, 564, 2, 8, 5, 2), V0Parameter(1, 10, 599, 3, 6, 6, 2), - V0Parameter(1, 10, 686, 3, 6, 7, 2), V0Parameter(1, 11, 736, 1, 23, 5, 3), - V0Parameter(1, 12, 830, 1, 23, 4, 4)}, - {V0Parameter(1, 10, 474, 2, 8, 4, 2), V0Parameter(1, 10, 519, 2, 8, 5, 2), - V0Parameter(1, 10, 558, 3, 6, 5, 2), V0Parameter(1, 10, 610, 3, 6, 6, 2), - V0Parameter(1, 11, 689, 1, 23, 4, 3), V0Parameter(1, 11, 736, 1, 23, 5, 3), - V0Parameter(1, 12, 831, 1, 23, 4, 4)}, - {V0Parameter(1, 10, 479, 2, 8, 4, 2), V0Parameter(1, 10, 515, 3, 6, 5, 2), - V0Parameter(1, 10, 569, 3, 6, 5, 2), V0Parameter(1, 11, 638, 1, 23, 4, 3), - V0Parameter(1, 11, 689, 1, 23, 4, 3), V0Parameter(1, 11, 737, 1, 23, 5, 3), - V0Parameter(1, 12, 840, 1, 23, 4, 4)}, - {V0Parameter(1, 10, 531, 2, 8, 5, 2), V0Parameter(1, 10, 523, 3, 6, 5, 2), - V0Parameter(1, 11, 598, 1, 23, 4, 3), V0Parameter(1, 11, 639, 1, 23, 4, 3), - V0Parameter(1, 11, 690, 1, 23, 4, 3), V0Parameter(1, 11, 739, 1, 23, 5, 3), - V0Parameter(1, 12, 806, 2, 16, 5, 3)}, - {V0Parameter(1, 10, 483, 3, 6, 4, 2), V0Parameter(1, 11, 563, 1, 23, 3, 3), - V0Parameter(1, 11, 598, 1, 23, 4, 3), V0Parameter(1, 11, 639, 1, 23, 4, 3), - V0Parameter(1, 11, 691, 1, 23, 4, 3), V0Parameter(1, 11, 748, 1, 23, 5, 3), - V0Parameter(1, 12, 806, 2, 15, 5, 3)}, - {V0Parameter(1, 11, 497, 1, 23, 4, 2), V0Parameter(1, 11, 563, 1, 23, 3, 3), - V0Parameter(1, 11, 598, 1, 23, 4, 3), V0Parameter(1, 11, 640, 1, 23, 4, 3), - V0Parameter(1, 11, 699, 1, 23, 4, 3), V0Parameter(1, 11, 736, 2, 15, 5, 3), - V0Parameter(1, 12, 806, 2, 15, 5, 3)}, - {V0Parameter(1, 11, 497, 1, 23, 4, 2), V0Parameter(1, 11, 563, 1, 23, 3, 3), - V0Parameter(1, 11, 599, 1, 23, 4, 3), V0Parameter(1, 11, 643, 1, 23, 4, 3), - V0Parameter(1, 11, 721, 1, 23, 5, 3), V0Parameter(1, 11, 736, 2, 15, 5, 3), - V0Parameter(1, 12, 806, 2, 15, 5, 3)}, - {V0Parameter(1, 11, 497, 1, 23, 4, 2), V0Parameter(1, 11, 564, 1, 23, 3, 3), - V0Parameter(1, 11, 602, 1, 23, 4, 3), V0Parameter(1, 11, 671, 1, 23, 4, 3), - V0Parameter(1, 11, 689, 2, 15, 4, 3), V0Parameter(1, 11, 736, 2, 15, 5, 3), - V0Parameter(1, 12, 807, 2, 15, 5, 3)}, - {V0Parameter(1, 11, 498, 1, 23, 4, 2), V0Parameter(1, 11, 569, 1, 23, 3, 3), - V0Parameter(1, 11, 622, 1, 23, 4, 3), V0Parameter(1, 11, 638, 2, 15, 4, 3), - V0Parameter(1, 11, 689, 2, 16, 4, 3), V0Parameter(1, 11, 736, 2, 16, 5, 3), - V0Parameter(1, 12, 809, 2, 15, 5, 3)}, - {V0Parameter(1, 11, 502, 1, 23, 4, 2), V0Parameter(1, 11, 555, 1, 23, 5, 2), - V0Parameter(1, 11, 579, 2, 15, 5, 2), V0Parameter(1, 11, 638, 2, 15, 4, 3), - V0Parameter(1, 11, 689, 2, 15, 4, 3), V0Parameter(1, 11, 737, 2, 15, 5, 3), - V0Parameter(1, 12, 818, 2, 15, 5, 3)}, - {V0Parameter(1, 11, 537, 1, 23, 3, 3), V0Parameter(1, 11, 532, 2, 15, 5, 2), - V0Parameter(1, 11, 579, 2, 15, 5, 2), V0Parameter(1, 11, 638, 2, 15, 4, 3), - V0Parameter(1, 11, 690, 2, 15, 4, 3), V0Parameter(1, 11, 738, 2, 15, 5, 3), - V0Parameter(1, 12, 832, 2, 15, 9, 2)}, - {V0Parameter(1, 11, 497, 2, 15, 4, 2), V0Parameter(1, 11, 532, 2, 15, 5, 2), - V0Parameter(1, 11, 579, 2, 15, 5, 2), V0Parameter(1, 11, 639, 2, 15, 4, 3), - V0Parameter(1, 11, 691, 2, 15, 4, 3), V0Parameter(1, 11, 743, 2, 16, 5, 3), - V0Parameter(1, 12, 807, 3, 12, 5, 3)}, - {V0Parameter(1, 11, 497, 2, 15, 4, 2), V0Parameter(1, 11, 532, 2, 15, 5, 2), - V0Parameter(1, 11, 579, 2, 16, 5, 2), V0Parameter(1, 11, 639, 2, 15, 4, 3), - V0Parameter(1, 11, 695, 2, 16, 4, 3), + {V0Parameter(1, 10, 514, 2, 8, 5, 2), V0Parameter(1, 10, 564, 2, 8, 5, 2), + V0Parameter(1, 10, 599, 3, 6, 6, 2), V0Parameter(1, 10, 686, 3, 6, 7, 2), + V0Parameter(1, 11, 736, 1, 23, 5, 3), V0Parameter(1, 12, 830, 1, 23, 4, 4), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 10, 519, 2, 8, 5, 2), V0Parameter(1, 10, 558, 3, 6, 5, 2), + V0Parameter(1, 10, 610, 3, 6, 6, 2), V0Parameter(1, 11, 689, 1, 23, 4, 3), + V0Parameter(1, 11, 736, 1, 23, 5, 3), V0Parameter(1, 12, 831, 1, 23, 4, 4), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 10, 515, 3, 6, 5, 2), V0Parameter(1, 10, 569, 3, 6, 5, 2), + V0Parameter(1, 11, 638, 1, 23, 4, 3), V0Parameter(1, 11, 689, 1, 23, 4, 3), + V0Parameter(1, 11, 737, 1, 23, 5, 3), V0Parameter(1, 12, 840, 1, 23, 4, 4), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 10, 523, 3, 6, 5, 2), V0Parameter(1, 11, 598, 1, 23, 4, 3), + V0Parameter(1, 11, 639, 1, 23, 4, 3), V0Parameter(1, 11, 690, 1, 23, 4, 3), + V0Parameter(1, 11, 739, 1, 23, 5, 3), V0Parameter(1, 12, 806, 2, 15, 5, 3), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 563, 1, 23, 3, 3), V0Parameter(1, 11, 598, 1, 23, 4, 3), + V0Parameter(1, 11, 639, 1, 23, 4, 3), V0Parameter(1, 11, 691, 1, 23, 4, 3), + V0Parameter(1, 11, 748, 1, 23, 5, 3), V0Parameter(1, 12, 806, 2, 15, 5, 3), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 563, 1, 23, 3, 3), V0Parameter(1, 11, 598, 1, 23, 4, 3), + V0Parameter(1, 11, 640, 1, 23, 4, 3), V0Parameter(1, 11, 699, 1, 23, 4, 3), + V0Parameter(1, 11, 736, 2, 15, 5, 3), V0Parameter(1, 12, 806, 2, 16, 5, 3), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 563, 1, 23, 3, 3), V0Parameter(1, 11, 599, 1, 23, 4, 3), + V0Parameter(1, 11, 643, 1, 23, 4, 3), V0Parameter(1, 11, 721, 1, 23, 5, 3), + V0Parameter(1, 11, 736, 2, 15, 5, 3), V0Parameter(1, 12, 806, 2, 15, 5, 3), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 564, 1, 23, 3, 3), V0Parameter(1, 11, 602, 1, 23, 4, 3), + V0Parameter(1, 11, 671, 1, 23, 4, 3), V0Parameter(1, 11, 689, 2, 15, 4, 3), + V0Parameter(1, 11, 736, 2, 15, 5, 3), V0Parameter(1, 12, 807, 2, 16, 5, 3), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 569, 1, 23, 3, 3), V0Parameter(1, 11, 622, 1, 23, 4, 3), + V0Parameter(1, 11, 638, 2, 15, 4, 3), V0Parameter(1, 11, 689, 2, 15, 4, 3), + V0Parameter(1, 11, 736, 2, 15, 5, 3), V0Parameter(1, 12, 809, 2, 15, 5, 3), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 555, 1, 23, 5, 2), V0Parameter(1, 11, 579, 2, 15, 5, 2), + V0Parameter(1, 11, 638, 2, 16, 4, 3), V0Parameter(1, 11, 689, 2, 15, 4, 3), + V0Parameter(1, 11, 737, 2, 16, 5, 3), V0Parameter(1, 12, 818, 2, 15, 5, 3), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 532, 2, 15, 5, 2), V0Parameter(1, 11, 579, 2, 15, 5, 2), + V0Parameter(1, 11, 638, 2, 15, 4, 3), V0Parameter(1, 11, 690, 2, 15, 4, 3), + V0Parameter(1, 11, 738, 2, 16, 5, 3), V0Parameter(1, 12, 832, 2, 15, 9, 2), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 532, 2, 15, 5, 2), V0Parameter(1, 11, 579, 2, 15, 5, 2), + V0Parameter(1, 11, 639, 2, 15, 4, 3), V0Parameter(1, 11, 691, 2, 15, 4, 3), + V0Parameter(1, 11, 743, 2, 16, 5, 3), V0Parameter(1, 12, 807, 3, 12, 5, 3), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 532, 2, 15, 5, 2), V0Parameter(1, 11, 579, 2, 16, 5, 2), + V0Parameter(1, 11, 639, 2, 15, 4, 3), V0Parameter(1, 11, 695, 2, 16, 4, 3), V0Parameter(1, 11, 757, 2, 16, 16, 1), - V0Parameter(1, 12, 811, 3, 12, 5, 3)}, - {V0Parameter(1, 11, 497, 2, 16, 4, 2), V0Parameter(1, 11, 533, 2, 15, 5, 2), - V0Parameter(1, 11, 580, 2, 15, 5, 2), V0Parameter(1, 11, 641, 2, 16, 4, 3), - V0Parameter(1, 11, 699, 2, 16, 5, 3), V0Parameter(1, 11, 737, 3, 12, 5, 3), - V0Parameter(1, 12, 788, 3, 12, 8, 2)}, - {V0Parameter(1, 11, 497, 2, 16, 4, 2), V0Parameter(1, 11, 533, 2, 15, 5, 2), - V0Parameter(1, 11, 583, 2, 16, 5, 2), V0Parameter(1, 11, 653, 2, 16, 4, 3), - V0Parameter(1, 11, 665, 3, 12, 6, 2), V0Parameter(1, 11, 738, 3, 12, 5, 3), - V0Parameter(1, 12, 775, 4, 9, 8, 2)}, - {V0Parameter(1, 11, 498, 2, 15, 4, 2), V0Parameter(1, 11, 535, 2, 16, 5, 2), - V0Parameter(1, 11, 610, 2, 16, 4, 3), V0Parameter(1, 11, 614, 3, 12, 6, 2), - V0Parameter(1, 11, 666, 3, 12, 6, 2), V0Parameter(1, 11, 747, 3, 12, 5, 3), - V0Parameter(1, 12, 782, 4, 9, 8, 2)}, - {V0Parameter(1, 11, 500, 2, 16, 4, 2), V0Parameter(1, 11, 544, 2, 16, 5, 2), - V0Parameter(1, 11, 580, 3, 12, 5, 2), V0Parameter(1, 11, 615, 3, 12, 6, 2), - V0Parameter(1, 11, 661, 3, 12, 7, 2), V0Parameter(1, 11, 715, 4, 9, 7, 2), - V0Parameter(1, 12, 778, 5, 8, 8, 2)}, - {V0Parameter(1, 11, 513, 2, 16, 4, 2), V0Parameter(1, 11, 533, 3, 12, 5, 2), - V0Parameter(1, 11, 581, 3, 12, 5, 2), V0Parameter(1, 11, 618, 3, 12, 6, 2), - V0Parameter(1, 11, 687, 3, 12, 7, 2), V0Parameter(1, 11, 726, 4, 9, 7, 2), - V0Parameter(1, 12, 809, 5, 8, 8, 2)}, - {V0Parameter(1, 11, 497, 3, 12, 4, 2), V0Parameter(1, 11, 533, 3, 12, 5, 2), - V0Parameter(1, 11, 585, 3, 12, 5, 2), V0Parameter(1, 11, 639, 3, 12, 6, 2), - V0Parameter(1, 11, 662, 4, 9, 7, 2), V0Parameter(1, 11, 717, 5, 8, 7, 2), - V0Parameter(1, 12, 820, 6, 7, 9, 2)}, - {V0Parameter(1, 11, 498, 3, 12, 4, 2), V0Parameter(1, 11, 536, 3, 12, 5, 2), - V0Parameter(1, 11, 593, 3, 12, 6, 2), V0Parameter(1, 11, 619, 4, 9, 6, 2), - V0Parameter(1, 11, 693, 4, 9, 7, 2), V0Parameter(1, 11, 737, 5, 8, 7, 2), - V0Parameter(1, 12, 788, 8, 5, 8, 2)}, - {V0Parameter(1, 11, 502, 3, 12, 4, 2), V0Parameter(1, 11, 552, 3, 12, 5, 2), - V0Parameter(1, 11, 585, 4, 9, 5, 2), V0Parameter(1, 11, 644, 4, 9, 6, 2), - V0Parameter(1, 11, 665, 5, 8, 7, 2), V0Parameter(1, 11, 736, 6, 7, 8, 2), - V0Parameter(1, 12, 786, 11, 4, 8, 2)}, - {V0Parameter(1, 11, 508, 3, 12, 5, 2), V0Parameter(1, 11, 536, 4, 9, 5, 2), - V0Parameter(1, 11, 596, 4, 9, 6, 2), V0Parameter(1, 11, 621, 5, 8, 6, 2), - V0Parameter(1, 11, 667, 6, 7, 7, 2), V0Parameter(1, 11, 746, 7, 6, 8, 2), - V0Parameter(1, 12, 798, 14, 3, 9, 2)}, - {V0Parameter(1, 11, 502, 4, 9, 4, 2), V0Parameter(1, 11, 555, 4, 9, 5, 2), - V0Parameter(1, 11, 580, 5, 8, 6, 2), V0Parameter(1, 11, 623, 6, 7, 6, 2), - V0Parameter(1, 11, 669, 7, 6, 7, 2), V0Parameter(1, 11, 723, 11, 4, 7, 2), - V0Parameter(1, 12, 814, 22, 2, 9, 2)}, - {V0Parameter(1, 11, 510, 4, 9, 5, 2), V0Parameter(1, 11, 539, 5, 8, 5, 2), - V0Parameter(1, 11, 636, 5, 8, 6, 2), V0Parameter(1, 11, 625, 7, 6, 6, 2), - V0Parameter(1, 11, 674, 9, 5, 7, 2), V0Parameter(1, 11, 735, 14, 3, 8, 2), + V0Parameter(1, 12, 811, 3, 12, 5, 3), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 533, 2, 15, 5, 2), V0Parameter(1, 11, 580, 2, 15, 5, 2), + V0Parameter(1, 11, 641, 2, 16, 4, 3), V0Parameter(1, 11, 699, 2, 16, 5, 3), + V0Parameter(1, 11, 737, 3, 12, 5, 3), V0Parameter(1, 12, 788, 3, 12, 8, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 498, 5, 8, 5, 2), V0Parameter(1, 11, 579, 5, 8, 6, 2), - V0Parameter(1, 11, 583, 7, 6, 6, 2), V0Parameter(1, 11, 661, 8, 5, 7, 2), - V0Parameter(1, 11, 681, 11, 4, 7, 2), V0Parameter(1, 11, 736, 22, 2, 8, 2), + {V0Parameter(1, 11, 533, 2, 15, 5, 2), V0Parameter(1, 11, 583, 2, 16, 5, 2), + V0Parameter(1, 11, 653, 2, 16, 4, 3), V0Parameter(1, 11, 665, 3, 12, 6, 2), + V0Parameter(1, 11, 738, 3, 12, 5, 3), V0Parameter(1, 12, 775, 4, 9, 8, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 530, 5, 8, 5, 2), V0Parameter(1, 11, 541, 7, 6, 5, 2), - V0Parameter(1, 11, 611, 8, 5, 6, 2), V0Parameter(1, 11, 635, 11, 4, 6, 2), - V0Parameter(1, 11, 704, 15, 3, 7, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0), + {V0Parameter(1, 11, 535, 2, 16, 5, 2), V0Parameter(1, 11, 610, 2, 16, 4, 3), + V0Parameter(1, 11, 614, 3, 12, 6, 2), V0Parameter(1, 11, 666, 3, 12, 6, 2), + V0Parameter(1, 11, 747, 3, 12, 5, 3), V0Parameter(1, 12, 782, 4, 9, 8, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 565, 6, 7, 5, 2), V0Parameter(1, 11, 569, 8, 5, 5, 2), - V0Parameter(1, 11, 590, 11, 4, 6, 2), V0Parameter(1, 11, 647, 15, 3, 7, 2), - V0Parameter(1, 11, 679, 44, 1, 14, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), + {V0Parameter(1, 11, 544, 2, 16, 5, 2), V0Parameter(1, 11, 580, 3, 12, 5, 2), + V0Parameter(1, 11, 615, 3, 12, 6, 2), V0Parameter(1, 11, 661, 3, 12, 7, 2), + V0Parameter(1, 11, 715, 4, 9, 7, 2), V0Parameter(1, 12, 778, 5, 8, 8, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 520, 8, 5, 5, 2), V0Parameter(1, 11, 549, 11, 4, 5, 2), - V0Parameter(1, 11, 600, 15, 3, 6, 2), - V0Parameter(1, 11, 628, 44, 1, 13, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), - V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 506, 11, 4, 5, 2), V0Parameter(1, 11, 559, 15, 3, 5, 2), - V0Parameter(1, 11, 584, 44, 1, 12, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), - V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), + {V0Parameter(1, 11, 533, 3, 12, 5, 2), V0Parameter(1, 11, 581, 3, 12, 5, 2), + V0Parameter(1, 11, 618, 3, 12, 6, 2), V0Parameter(1, 11, 687, 3, 12, 7, 2), + V0Parameter(1, 11, 726, 4, 9, 7, 2), V0Parameter(1, 12, 809, 5, 8, 8, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 503, 15, 3, 9, 1), - V0Parameter(1, 11, 594, 23, 2, 12, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), - V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), - V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0)}, - {V0Parameter(1, 11, 545, 22, 2, 11, 1), V0Parameter(0, 0, 0, 0, 0, 0, 0), - V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), - V0Parameter(0, 0, 0, 0, 0, 0, 0), V0Parameter(0, 0, 0, 0, 0, 0, 0), + {V0Parameter(1, 11, 533, 3, 12, 5, 2), V0Parameter(1, 11, 585, 3, 12, 5, 2), + V0Parameter(1, 11, 639, 3, 12, 6, 2), V0Parameter(1, 11, 662, 4, 9, 7, 2), + V0Parameter(1, 11, 717, 5, 8, 7, 2), V0Parameter(1, 12, 820, 6, 7, 9, 2), + V0Parameter(0, 0, 0, 0, 0, 0, 0)}, + {V0Parameter(1, 11, 536, 3, 12, 5, 2), V0Parameter(1, 11, 593, 3, 12, 6, 2), + V0Parameter(1, 11, 619, 4, 9, 6, 2), V0Parameter(1, 11, 693, 4, 9, 7, 2), + V0Parameter(1, 11, 737, 5, 8, 7, 2), V0Parameter(1, 12, 788, 8, 5, 8, 2), V0Parameter(0, 0, 0, 0, 0, 0, 0)}}; V0Parameter *getV0Parameter(V0FHEConstraint constraint) {