@zksdk/core 0.1.11 → 0.1.12

package/tfhe-wasm/tfhe.d.ts

@@ -1,9 +1,9 @@
 /* tslint:disable */
 /* eslint-disable */
+export function shortint_pke_params_name(param: ShortintCompactPublicKeyEncryptionParametersName): string;
+export function shortint_params_name(param?: ShortintParametersName | null): string;
 export function init_panic_hook(): void;
 export function set_server_key(server_key: TfheServerKey): void;
-export function shortint_params_name(param?: ShortintParametersName | null): string;
-export function shortint_pke_params_name(param: ShortintCompactPublicKeyEncryptionParametersName): string;
 export enum BooleanEncryptionKeyChoice {
   Big = 0,
   Small = 1,
@@ -625,10 +625,6 @@ export enum ShortintParametersName {
   V1_5_PARAM_MESSAGE_3_CARRY_3_COMPACT_PK_PBS_KS_GAUSSIAN_2M128 = 496,
   V1_5_PARAM_MESSAGE_4_CARRY_4_COMPACT_PK_PBS_KS_GAUSSIAN_2M128 = 497,
 }
-export enum ZkComputeLoad {
-  Proof = 0,
-  Verify = 1,
-}
 export class Boolean {
   private constructor();
   free(): void;
@@ -717,7 +713,6 @@ export class CompactCiphertextListBuilder {
   push_u2048(value: any): void;
   build_packed(): CompactCiphertextList;
   push_boolean(value: boolean): void;
-  build_with_proof_packed(crs: CompactPkeCrs, metadata: Uint8Array, compute_load: ZkComputeLoad): ProvenCompactCiphertextList;
   build(): CompactCiphertextList;
   push_i2(value: number): void;
   push_i4(value: number): void;
@@ -731,70 +726,20 @@ export class CompactCiphertextListBuilder {
   push_i12(value: number): void;
   push_i14(value: number): void;
   push_i16(value: number): void;
-  push_i24(value: number): void;
   push_i32(value: number): void;
-  push_i40(value: bigint): void;
-  push_i48(value: bigint): void;
-  push_i56(value: bigint): void;
   push_i64(value: bigint): void;
-  push_i72(value: any): void;
-  push_i80(value: any): void;
-  push_i88(value: any): void;
-  push_i96(value: any): void;
   push_u10(value: number): void;
   push_u12(value: number): void;
   push_u14(value: number): void;
   push_u16(value: number): void;
-  push_u24(value: number): void;
   push_u32(value: number): void;
-  push_u40(value: bigint): void;
-  push_u48(value: bigint): void;
-  push_u56(value: bigint): void;
   push_u64(value: bigint): void;
-  push_u72(value: any): void;
-  push_u80(value: any): void;
-  push_u88(value: any): void;
-  push_u96(value: any): void;
-  push_i104(value: any): void;
-  push_i112(value: any): void;
-  push_i120(value: any): void;
   push_i128(value: any): void;
-  push_i136(value: any): void;
-  push_i144(value: any): void;
-  push_i152(value: any): void;
   push_i160(value: any): void;
-  push_i168(value: any): void;
-  push_i176(value: any): void;
-  push_i184(value: any): void;
-  push_i192(value: any): void;
-  push_i200(value: any): void;
-  push_i208(value: any): void;
-  push_i216(value: any): void;
-  push_i224(value: any): void;
-  push_i232(value: any): void;
-  push_i240(value: any): void;
-  push_i248(value: any): void;
   push_i256(value: any): void;
   push_i512(value: any): void;
-  push_u104(value: any): void;
-  push_u112(value: any): void;
-  push_u120(value: any): void;
   push_u128(value: any): void;
-  push_u136(value: any): void;
-  push_u144(value: any): void;
-  push_u152(value: any): void;
   push_u160(value: any): void;
-  push_u168(value: any): void;
-  push_u176(value: any): void;
-  push_u184(value: any): void;
-  push_u192(value: any): void;
-  push_u200(value: any): void;
-  push_u208(value: any): void;
-  push_u216(value: any): void;
-  push_u224(value: any): void;
-  push_u232(value: any): void;
-  push_u240(value: any): void;
-  push_u248(value: any): void;
   push_u256(value: any): void;
   push_u512(value: any): void;
 }
@@ -802,64 +747,21 @@ export class CompactCiphertextListExpander {
   private constructor();
   free(): void;
   [Symbol.dispose](): void;
-  get_int104(index: number): FheInt104;
-  get_int112(index: number): FheInt112;
-  get_int120(index: number): FheInt120;
   get_int128(index: number): FheInt128;
-  get_int136(index: number): FheInt136;
-  get_int144(index: number): FheInt144;
-  get_int152(index: number): FheInt152;
   get_int160(index: number): FheInt160;
-  get_int168(index: number): FheInt168;
-  get_int176(index: number): FheInt176;
-  get_int184(index: number): FheInt184;
-  get_int192(index: number): FheInt192;
-  get_int200(index: number): FheInt200;
-  get_int208(index: number): FheInt208;
-  get_int216(index: number): FheInt216;
-  get_int224(index: number): FheInt224;
-  get_int232(index: number): FheInt232;
-  get_int240(index: number): FheInt240;
-  get_int248(index: number): FheInt248;
   get_int256(index: number): FheInt256;
   get_int512(index: number): FheInt512;
   get_uint10(index: number): FheUint10;
   get_uint12(index: number): FheUint12;
   get_uint14(index: number): FheUint14;
   get_uint16(index: number): FheUint16;
-  get_uint24(index: number): FheUint24;
   get_uint32(index: number): FheUint32;
-  get_uint40(index: number): FheUint40;
-  get_uint48(index: number): FheUint48;
-  get_uint56(index: number): FheUint56;
   get_uint64(index: number): FheUint64;
-  get_uint72(index: number): FheUint72;
-  get_uint80(index: number): FheUint80;
-  get_uint88(index: number): FheUint88;
-  get_uint96(index: number): FheUint96;
   get_int1024(index: number): FheInt1024;
   get_int2048(index: number): FheInt2048;
   get_kind_of(index: number): FheTypes | undefined;
-  get_uint104(index: number): FheUint104;
-  get_uint112(index: number): FheUint112;
-  get_uint120(index: number): FheUint120;
   get_uint128(index: number): FheUint128;
-  get_uint136(index: number): FheUint136;
-  get_uint144(index: number): FheUint144;
-  get_uint152(index: number): FheUint152;
   get_uint160(index: number): FheUint160;
-  get_uint168(index: number): FheUint168;
-  get_uint176(index: number): FheUint176;
-  get_uint184(index: number): FheUint184;
-  get_uint192(index: number): FheUint192;
-  get_uint200(index: number): FheUint200;
-  get_uint208(index: number): FheUint208;
-  get_uint216(index: number): FheUint216;
-  get_uint224(index: number): FheUint224;
-  get_uint232(index: number): FheUint232;
-  get_uint240(index: number): FheUint240;
-  get_uint248(index: number): FheUint248;
-  get_uint256(index: number): FheUint256;
   get_uint512(index: number): FheUint512;
   get_uint1024(index: number): FheUint1024;
   get_uint2048(index: number): FheUint2048;
@@ -874,33 +776,13 @@ export class CompactCiphertextListExpander {
   get_int12(index: number): FheInt12;
   get_int14(index: number): FheInt14;
   get_int16(index: number): FheInt16;
-  get_int24(index: number): FheInt24;
   get_int32(index: number): FheInt32;
-  get_int40(index: number): FheInt40;
-  get_int48(index: number): FheInt48;
-  get_int56(index: number): FheInt56;
   get_int64(index: number): FheInt64;
-  get_int72(index: number): FheInt72;
-  get_int80(index: number): FheInt80;
-  get_int88(index: number): FheInt88;
-  get_int96(index: number): FheInt96;
   get_uint2(index: number): FheUint2;
   get_uint4(index: number): FheUint4;
   get_uint6(index: number): FheUint6;
   get_uint8(index: number): FheUint8;
 }
-export class CompactPkeCrs {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): CompactPkeCrs;
-  static from_config(config: TfheConfig, max_num_bits: number): CompactPkeCrs;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompactPkeCrs;
-  static deserialize_from_public_params(buffer: Uint8Array): CompactPkeCrs;
-  static safe_deserialize_from_public_params(buffer: Uint8Array, serialized_size_limit: bigint): CompactPkeCrs;
-  serialize(compress: boolean): Uint8Array;
-}
 export class CompressedFheBool {
   private constructor();
   free(): void;
@@ -934,28 +816,6 @@ export class CompressedFheInt1024 {
   static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt1024;
   serialize(): Uint8Array;
 }
-export class CompressedFheInt104 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt104;
-  static deserialize(buffer: Uint8Array): CompressedFheInt104;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt104;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt104;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt112 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt112;
-  static deserialize(buffer: Uint8Array): CompressedFheInt112;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt112;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt112;
-  serialize(): Uint8Array;
-}
 export class CompressedFheInt12 {
   private constructor();
   free(): void;
@@ -967,17 +827,6 @@ export class CompressedFheInt12 {
   static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheInt12;
   serialize(): Uint8Array;
 }
-export class CompressedFheInt120 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt120;
-  static deserialize(buffer: Uint8Array): CompressedFheInt120;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt120;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt120;
-  serialize(): Uint8Array;
-}
 export class CompressedFheInt128 {
   private constructor();
   free(): void;
@@ -989,17 +838,6 @@ export class CompressedFheInt128 {
   static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt128;
   serialize(): Uint8Array;
 }
-export class CompressedFheInt136 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt136;
-  static deserialize(buffer: Uint8Array): CompressedFheInt136;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt136;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt136;
-  serialize(): Uint8Array;
-}
 export class CompressedFheInt14 {
   private constructor();
   free(): void;
@@ -1011,28 +849,6 @@ export class CompressedFheInt14 {
   static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheInt14;
   serialize(): Uint8Array;
 }
-export class CompressedFheInt144 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt144;
-  static deserialize(buffer: Uint8Array): CompressedFheInt144;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt144;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt144;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt152 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt152;
-  static deserialize(buffer: Uint8Array): CompressedFheInt152;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt152;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt152;
-  serialize(): Uint8Array;
-}
 export class CompressedFheInt16 {
   private constructor();
   free(): void;
@@ -1055,50 +871,6 @@ export class CompressedFheInt160 {
   static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt160;
   serialize(): Uint8Array;
 }
-export class CompressedFheInt168 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt168;
-  static deserialize(buffer: Uint8Array): CompressedFheInt168;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt168;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt168;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt176 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt176;
-  static deserialize(buffer: Uint8Array): CompressedFheInt176;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt176;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt176;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt184 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt184;
-  static deserialize(buffer: Uint8Array): CompressedFheInt184;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt184;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt184;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt192 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt192;
-  static deserialize(buffer: Uint8Array): CompressedFheInt192;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt192;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt192;
-  serialize(): Uint8Array;
-}
 export class CompressedFheInt2 {
   private constructor();
   free(): void;
@@ -1110,17 +882,6 @@ export class CompressedFheInt2 {
   static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheInt2;
   serialize(): Uint8Array;
 }
-export class CompressedFheInt200 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt200;
-  static deserialize(buffer: Uint8Array): CompressedFheInt200;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt200;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt200;
-  serialize(): Uint8Array;
-}
 export class CompressedFheInt2048 {
   private constructor();
   free(): void;
@@ -1132,83 +893,6 @@ export class CompressedFheInt2048 {
   static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt2048;
   serialize(): Uint8Array;
 }
-export class CompressedFheInt208 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt208;
-  static deserialize(buffer: Uint8Array): CompressedFheInt208;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt208;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt208;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt216 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt216;
-  static deserialize(buffer: Uint8Array): CompressedFheInt216;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt216;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt216;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt224 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt224;
-  static deserialize(buffer: Uint8Array): CompressedFheInt224;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt224;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt224;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt232 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt232;
-  static deserialize(buffer: Uint8Array): CompressedFheInt232;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt232;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt232;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt24 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt24;
-  static deserialize(buffer: Uint8Array): CompressedFheInt24;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt24;
-  static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheInt24;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt240 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt240;
-  static deserialize(buffer: Uint8Array): CompressedFheInt240;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt240;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt240;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt248 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt248;
-  static deserialize(buffer: Uint8Array): CompressedFheInt248;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt248;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt248;
-  serialize(): Uint8Array;
-}
 export class CompressedFheInt256 {
   private constructor();
   free(): void;
@@ -1242,28 +926,6 @@ export class CompressedFheInt4 {
   static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheInt4;
   serialize(): Uint8Array;
 }
-export class CompressedFheInt40 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt40;
-  static deserialize(buffer: Uint8Array): CompressedFheInt40;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt40;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): CompressedFheInt40;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt48 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt48;
-  static deserialize(buffer: Uint8Array): CompressedFheInt48;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt48;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): CompressedFheInt48;
-  serialize(): Uint8Array;
-}
 export class CompressedFheInt512 {
   private constructor();
   free(): void;
@@ -1275,17 +937,6 @@ export class CompressedFheInt512 {
   static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt512;
   serialize(): Uint8Array;
 }
-export class CompressedFheInt56 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt56;
-  static deserialize(buffer: Uint8Array): CompressedFheInt56;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt56;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): CompressedFheInt56;
-  serialize(): Uint8Array;
-}
 export class CompressedFheInt6 {
   private constructor();
   free(): void;
@@ -1308,17 +959,6 @@ export class CompressedFheInt64 {
   static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): CompressedFheInt64;
   serialize(): Uint8Array;
 }
-export class CompressedFheInt72 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt72;
-  static deserialize(buffer: Uint8Array): CompressedFheInt72;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt72;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt72;
-  serialize(): Uint8Array;
-}
 export class CompressedFheInt8 {
   private constructor();
   free(): void;
@@ -1330,39 +970,6 @@ export class CompressedFheInt8 {
   static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheInt8;
   serialize(): Uint8Array;
 }
-export class CompressedFheInt80 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt80;
-  static deserialize(buffer: Uint8Array): CompressedFheInt80;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt80;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt80;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt88 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt88;
-  static deserialize(buffer: Uint8Array): CompressedFheInt88;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt88;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt88;
-  serialize(): Uint8Array;
-}
-export class CompressedFheInt96 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheInt96;
-  static deserialize(buffer: Uint8Array): CompressedFheInt96;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheInt96;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheInt96;
-  serialize(): Uint8Array;
-}
 export class CompressedFheUint10 {
   private constructor();
   free(): void;
@@ -1385,28 +992,6 @@ export class CompressedFheUint1024 {
   static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint1024;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint104 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint104;
-  static deserialize(buffer: Uint8Array): CompressedFheUint104;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint104;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint104;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint112 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint112;
-  static deserialize(buffer: Uint8Array): CompressedFheUint112;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint112;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint112;
-  serialize(): Uint8Array;
-}
 export class CompressedFheUint12 {
   private constructor();
   free(): void;
@@ -1418,17 +1003,6 @@ export class CompressedFheUint12 {
   static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheUint12;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint120 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint120;
-  static deserialize(buffer: Uint8Array): CompressedFheUint120;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint120;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint120;
-  serialize(): Uint8Array;
-}
 export class CompressedFheUint128 {
   private constructor();
   free(): void;
@@ -1440,17 +1014,6 @@ export class CompressedFheUint128 {
   static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint128;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint136 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint136;
-  static deserialize(buffer: Uint8Array): CompressedFheUint136;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint136;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint136;
-  serialize(): Uint8Array;
-}
 export class CompressedFheUint14 {
   private constructor();
   free(): void;
@@ -1462,28 +1025,6 @@ export class CompressedFheUint14 {
   static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheUint14;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint144 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint144;
-  static deserialize(buffer: Uint8Array): CompressedFheUint144;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint144;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint144;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint152 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint152;
-  static deserialize(buffer: Uint8Array): CompressedFheUint152;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint152;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint152;
-  serialize(): Uint8Array;
-}
 export class CompressedFheUint16 {
   private constructor();
   free(): void;
@@ -1506,50 +1047,6 @@ export class CompressedFheUint160 {
   static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint160;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint168 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint168;
-  static deserialize(buffer: Uint8Array): CompressedFheUint168;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint168;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint168;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint176 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint176;
-  static deserialize(buffer: Uint8Array): CompressedFheUint176;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint176;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint176;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint184 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint184;
-  static deserialize(buffer: Uint8Array): CompressedFheUint184;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint184;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint184;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint192 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint192;
-  static deserialize(buffer: Uint8Array): CompressedFheUint192;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint192;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint192;
-  serialize(): Uint8Array;
-}
 export class CompressedFheUint2 {
   private constructor();
   free(): void;
@@ -1561,17 +1058,6 @@ export class CompressedFheUint2 {
   static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheUint2;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint200 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint200;
-  static deserialize(buffer: Uint8Array): CompressedFheUint200;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint200;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint200;
-  serialize(): Uint8Array;
-}
 export class CompressedFheUint2048 {
   private constructor();
   free(): void;
@@ -1583,191 +1069,70 @@ export class CompressedFheUint2048 {
   static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint2048;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint208 {
+export class CompressedFheUint256 {
   private constructor();
   free(): void;
   [Symbol.dispose](): void;
-  decompress(): FheUint208;
-  static deserialize(buffer: Uint8Array): CompressedFheUint208;
+  decompress(): FheUint256;
+  static deserialize(buffer: Uint8Array): CompressedFheUint256;
   safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint208;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint208;
+  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint256;
+  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint256;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint216 {
+export class CompressedFheUint32 {
   private constructor();
   free(): void;
   [Symbol.dispose](): void;
-  decompress(): FheUint216;
-  static deserialize(buffer: Uint8Array): CompressedFheUint216;
+  decompress(): FheUint32;
+  static deserialize(buffer: Uint8Array): CompressedFheUint32;
   safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint216;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint216;
+  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint32;
+  static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheUint32;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint224 {
+export class CompressedFheUint4 {
   private constructor();
   free(): void;
   [Symbol.dispose](): void;
-  decompress(): FheUint224;
-  static deserialize(buffer: Uint8Array): CompressedFheUint224;
+  decompress(): FheUint4;
+  static deserialize(buffer: Uint8Array): CompressedFheUint4;
   safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint224;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint224;
+  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint4;
+  static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheUint4;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint232 {
+export class CompressedFheUint512 {
   private constructor();
   free(): void;
   [Symbol.dispose](): void;
-  decompress(): FheUint232;
-  static deserialize(buffer: Uint8Array): CompressedFheUint232;
+  decompress(): FheUint512;
+  static deserialize(buffer: Uint8Array): CompressedFheUint512;
   safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint232;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint232;
+  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint512;
+  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint512;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint24 {
+export class CompressedFheUint6 {
   private constructor();
   free(): void;
   [Symbol.dispose](): void;
-  decompress(): FheUint24;
-  static deserialize(buffer: Uint8Array): CompressedFheUint24;
+  decompress(): FheUint6;
+  static deserialize(buffer: Uint8Array): CompressedFheUint6;
   safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint24;
-  static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheUint24;
+  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint6;
+  static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheUint6;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint240 {
+export class CompressedFheUint64 {
   private constructor();
   free(): void;
   [Symbol.dispose](): void;
-  decompress(): FheUint240;
-  static deserialize(buffer: Uint8Array): CompressedFheUint240;
+  decompress(): FheUint64;
+  static deserialize(buffer: Uint8Array): CompressedFheUint64;
   safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint240;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint240;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint248 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint248;
-  static deserialize(buffer: Uint8Array): CompressedFheUint248;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint248;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint248;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint256 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint256;
-  static deserialize(buffer: Uint8Array): CompressedFheUint256;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint256;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint256;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint32 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint32;
-  static deserialize(buffer: Uint8Array): CompressedFheUint32;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint32;
-  static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheUint32;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint4 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint4;
-  static deserialize(buffer: Uint8Array): CompressedFheUint4;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint4;
-  static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheUint4;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint40 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint40;
-  static deserialize(buffer: Uint8Array): CompressedFheUint40;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint40;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): CompressedFheUint40;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint48 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint48;
-  static deserialize(buffer: Uint8Array): CompressedFheUint48;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint48;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): CompressedFheUint48;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint512 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint512;
-  static deserialize(buffer: Uint8Array): CompressedFheUint512;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint512;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint512;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint56 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint56;
-  static deserialize(buffer: Uint8Array): CompressedFheUint56;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint56;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): CompressedFheUint56;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint6 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint6;
-  static deserialize(buffer: Uint8Array): CompressedFheUint6;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint6;
-  static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheUint6;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint64 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint64;
-  static deserialize(buffer: Uint8Array): CompressedFheUint64;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint64;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): CompressedFheUint64;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint72 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint72;
-  static deserialize(buffer: Uint8Array): CompressedFheUint72;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint72;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint72;
+  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint64;
+  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): CompressedFheUint64;
   serialize(): Uint8Array;
 }
 export class CompressedFheUint8 {
@@ -1781,39 +1146,6 @@ export class CompressedFheUint8 {
   static encrypt_with_client_key(value: number, client_key: TfheClientKey): CompressedFheUint8;
   serialize(): Uint8Array;
 }
-export class CompressedFheUint80 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint80;
-  static deserialize(buffer: Uint8Array): CompressedFheUint80;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint80;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint80;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint88 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint88;
-  static deserialize(buffer: Uint8Array): CompressedFheUint88;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint88;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint88;
-  serialize(): Uint8Array;
-}
-export class CompressedFheUint96 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  decompress(): FheUint96;
-  static deserialize(buffer: Uint8Array): CompressedFheUint96;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): CompressedFheUint96;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): CompressedFheUint96;
-  serialize(): Uint8Array;
-}
 export class FheBool {
   private constructor();
   free(): void;
@@ -1853,32 +1185,6 @@ export class FheInt1024 {
   decrypt(client_key: TfheClientKey): any;
   serialize(): Uint8Array;
 }
-export class FheInt104 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt104;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt104;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt104;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt104;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt104;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheInt112 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt112;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt112;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt112;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt112;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt112;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheInt12 {
   private constructor();
   free(): void;
@@ -1892,19 +1198,6 @@ export class FheInt12 {
   decrypt(client_key: TfheClientKey): number;
   serialize(): Uint8Array;
 }
-export class FheInt120 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt120;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt120;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt120;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt120;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt120;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheInt128 {
   private constructor();
   free(): void;
@@ -1918,19 +1211,6 @@ export class FheInt128 {
   decrypt(client_key: TfheClientKey): any;
   serialize(): Uint8Array;
 }
-export class FheInt136 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt136;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt136;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt136;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt136;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt136;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheInt14 {
   private constructor();
   free(): void;
@@ -1944,32 +1224,6 @@ export class FheInt14 {
   decrypt(client_key: TfheClientKey): number;
   serialize(): Uint8Array;
 }
-export class FheInt144 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt144;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt144;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt144;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt144;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt144;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheInt152 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt152;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt152;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt152;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt152;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt152;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheInt16 {
   private constructor();
   free(): void;
@@ -1996,58 +1250,6 @@ export class FheInt160 {
   decrypt(client_key: TfheClientKey): any;
   serialize(): Uint8Array;
 }
-export class FheInt168 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt168;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt168;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt168;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt168;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt168;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheInt176 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt176;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt176;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt176;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt176;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt176;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheInt184 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt184;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt184;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt184;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt184;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt184;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheInt192 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt192;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt192;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt192;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt192;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt192;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheInt2 {
   private constructor();
   free(): void;
@@ -2061,19 +1263,6 @@ export class FheInt2 {
   decrypt(client_key: TfheClientKey): number;
   serialize(): Uint8Array;
 }
-export class FheInt200 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt200;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt200;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt200;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt200;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt200;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheInt2048 {
   private constructor();
   free(): void;
@@ -2087,97 +1276,6 @@ export class FheInt2048 {
   decrypt(client_key: TfheClientKey): any;
   serialize(): Uint8Array;
 }
-export class FheInt208 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt208;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt208;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt208;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt208;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt208;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheInt216 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt216;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt216;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt216;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt216;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt216;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheInt224 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt224;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt224;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt224;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt224;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt224;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheInt232 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt232;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt232;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt232;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt232;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt232;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheInt24 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt24;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt24;
-  static encrypt_with_client_key(value: number, client_key: TfheClientKey): FheInt24;
-  static encrypt_with_public_key(value: number, public_key: TfhePublicKey): FheInt24;
-  static encrypt_with_compressed_public_key(value: number, compressed_public_key: TfheCompressedPublicKey): FheInt24;
-  decrypt(client_key: TfheClientKey): number;
-  serialize(): Uint8Array;
-}
-export class FheInt240 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt240;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt240;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt240;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt240;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt240;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheInt248 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt248;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt248;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt248;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt248;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt248;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheInt256 {
   private constructor();
   free(): void;
@@ -2217,32 +1315,6 @@ export class FheInt4 {
   decrypt(client_key: TfheClientKey): number;
   serialize(): Uint8Array;
 }
-export class FheInt40 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt40;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt40;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): FheInt40;
-  static encrypt_with_public_key(value: bigint, public_key: TfhePublicKey): FheInt40;
-  static encrypt_with_compressed_public_key(value: bigint, compressed_public_key: TfheCompressedPublicKey): FheInt40;
-  decrypt(client_key: TfheClientKey): bigint;
-  serialize(): Uint8Array;
-}
-export class FheInt48 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt48;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt48;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): FheInt48;
-  static encrypt_with_public_key(value: bigint, public_key: TfhePublicKey): FheInt48;
-  static encrypt_with_compressed_public_key(value: bigint, compressed_public_key: TfheCompressedPublicKey): FheInt48;
-  decrypt(client_key: TfheClientKey): bigint;
-  serialize(): Uint8Array;
-}
 export class FheInt512 {
   private constructor();
   free(): void;
@@ -2256,19 +1328,6 @@ export class FheInt512 {
   decrypt(client_key: TfheClientKey): any;
   serialize(): Uint8Array;
 }
-export class FheInt56 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt56;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt56;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): FheInt56;
-  static encrypt_with_public_key(value: bigint, public_key: TfhePublicKey): FheInt56;
-  static encrypt_with_compressed_public_key(value: bigint, compressed_public_key: TfheCompressedPublicKey): FheInt56;
-  decrypt(client_key: TfheClientKey): bigint;
-  serialize(): Uint8Array;
-}
 export class FheInt6 {
   private constructor();
   free(): void;
@@ -2295,19 +1354,6 @@ export class FheInt64 {
   decrypt(client_key: TfheClientKey): bigint;
   serialize(): Uint8Array;
 }
-export class FheInt72 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt72;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt72;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt72;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt72;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt72;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheInt8 {
   private constructor();
   free(): void;
@@ -2321,45 +1367,6 @@ export class FheInt8 {
   decrypt(client_key: TfheClientKey): number;
   serialize(): Uint8Array;
 }
-export class FheInt80 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt80;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt80;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt80;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt80;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt80;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheInt88 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt88;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt88;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt88;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt88;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt88;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheInt96 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheInt96;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheInt96;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheInt96;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheInt96;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheInt96;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheUint10 {
   private constructor();
   free(): void;
@@ -2386,32 +1393,6 @@ export class FheUint1024 {
   decrypt(client_key: TfheClientKey): any;
   serialize(): Uint8Array;
 }
-export class FheUint104 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint104;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint104;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint104;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint104;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint104;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint112 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint112;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint112;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint112;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint112;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint112;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheUint12 {
   private constructor();
   free(): void;
@@ -2425,19 +1406,6 @@ export class FheUint12 {
   decrypt(client_key: TfheClientKey): number;
   serialize(): Uint8Array;
 }
-export class FheUint120 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint120;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint120;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint120;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint120;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint120;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheUint128 {
   private constructor();
   free(): void;
@@ -2451,19 +1419,6 @@ export class FheUint128 {
   decrypt(client_key: TfheClientKey): any;
   serialize(): Uint8Array;
 }
-export class FheUint136 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint136;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint136;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint136;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint136;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint136;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheUint14 {
   private constructor();
   free(): void;
@@ -2477,32 +1432,6 @@ export class FheUint14 {
   decrypt(client_key: TfheClientKey): number;
   serialize(): Uint8Array;
 }
-export class FheUint144 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint144;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint144;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint144;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint144;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint144;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint152 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint152;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint152;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint152;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint152;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint152;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheUint16 {
   private constructor();
   free(): void;
@@ -2529,58 +1458,6 @@ export class FheUint160 {
   decrypt(client_key: TfheClientKey): any;
   serialize(): Uint8Array;
 }
-export class FheUint168 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint168;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint168;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint168;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint168;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint168;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint176 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint176;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint176;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint176;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint176;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint176;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint184 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint184;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint184;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint184;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint184;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint184;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint192 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint192;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint192;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint192;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint192;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint192;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheUint2 {
   private constructor();
   free(): void;
@@ -2589,125 +1466,21 @@ export class FheUint2 {
   safe_serialize(serialized_size_limit: bigint): Uint8Array;
   static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint2;
   static encrypt_with_client_key(value: number, client_key: TfheClientKey): FheUint2;
-  static encrypt_with_public_key(value: number, public_key: TfhePublicKey): FheUint2;
-  static encrypt_with_compressed_public_key(value: number, compressed_public_key: TfheCompressedPublicKey): FheUint2;
-  decrypt(client_key: TfheClientKey): number;
-  serialize(): Uint8Array;
-}
-export class FheUint200 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint200;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint200;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint200;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint200;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint200;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint2048 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint2048;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint2048;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint2048;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint2048;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint2048;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint208 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint208;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint208;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint208;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint208;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint208;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint216 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint216;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint216;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint216;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint216;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint216;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint224 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint224;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint224;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint224;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint224;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint224;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint232 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint232;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint232;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint232;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint232;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint232;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint24 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint24;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint24;
-  static encrypt_with_client_key(value: number, client_key: TfheClientKey): FheUint24;
-  static encrypt_with_public_key(value: number, public_key: TfhePublicKey): FheUint24;
-  static encrypt_with_compressed_public_key(value: number, compressed_public_key: TfheCompressedPublicKey): FheUint24;
-  decrypt(client_key: TfheClientKey): number;
-  serialize(): Uint8Array;
-}
-export class FheUint240 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint240;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint240;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint240;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint240;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint240;
-  decrypt(client_key: TfheClientKey): any;
+  static encrypt_with_public_key(value: number, public_key: TfhePublicKey): FheUint2;
+  static encrypt_with_compressed_public_key(value: number, compressed_public_key: TfheCompressedPublicKey): FheUint2;
+  decrypt(client_key: TfheClientKey): number;
   serialize(): Uint8Array;
 }
-export class FheUint248 {
+export class FheUint2048 {
   private constructor();
   free(): void;
   [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint248;
+  static deserialize(buffer: Uint8Array): FheUint2048;
   safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint248;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint248;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint248;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint248;
+  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint2048;
+  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint2048;
+  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint2048;
+  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint2048;
   decrypt(client_key: TfheClientKey): any;
   serialize(): Uint8Array;
 }
@@ -2750,32 +1523,6 @@ export class FheUint4 {
   decrypt(client_key: TfheClientKey): number;
   serialize(): Uint8Array;
 }
-export class FheUint40 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint40;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint40;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): FheUint40;
-  static encrypt_with_public_key(value: bigint, public_key: TfhePublicKey): FheUint40;
-  static encrypt_with_compressed_public_key(value: bigint, compressed_public_key: TfheCompressedPublicKey): FheUint40;
-  decrypt(client_key: TfheClientKey): bigint;
-  serialize(): Uint8Array;
-}
-export class FheUint48 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint48;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint48;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): FheUint48;
-  static encrypt_with_public_key(value: bigint, public_key: TfhePublicKey): FheUint48;
-  static encrypt_with_compressed_public_key(value: bigint, compressed_public_key: TfheCompressedPublicKey): FheUint48;
-  decrypt(client_key: TfheClientKey): bigint;
-  serialize(): Uint8Array;
-}
 export class FheUint512 {
   private constructor();
   free(): void;
@@ -2789,19 +1536,6 @@ export class FheUint512 {
   decrypt(client_key: TfheClientKey): any;
   serialize(): Uint8Array;
 }
-export class FheUint56 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint56;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint56;
-  static encrypt_with_client_key(value: bigint, client_key: TfheClientKey): FheUint56;
-  static encrypt_with_public_key(value: bigint, public_key: TfhePublicKey): FheUint56;
-  static encrypt_with_compressed_public_key(value: bigint, compressed_public_key: TfheCompressedPublicKey): FheUint56;
-  decrypt(client_key: TfheClientKey): bigint;
-  serialize(): Uint8Array;
-}
 export class FheUint6 {
   private constructor();
   free(): void;
@@ -2828,19 +1562,6 @@ export class FheUint64 {
   decrypt(client_key: TfheClientKey): bigint;
   serialize(): Uint8Array;
 }
-export class FheUint72 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint72;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint72;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint72;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint72;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint72;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
 export class FheUint8 {
   private constructor();
   free(): void;
@@ -2854,60 +1575,6 @@ export class FheUint8 {
   decrypt(client_key: TfheClientKey): number;
   serialize(): Uint8Array;
 }
-export class FheUint80 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint80;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint80;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint80;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint80;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint80;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint88 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint88;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint88;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint88;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint88;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint88;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class FheUint96 {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): FheUint96;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): FheUint96;
-  static encrypt_with_client_key(value: any, client_key: TfheClientKey): FheUint96;
-  static encrypt_with_public_key(value: any, public_key: TfhePublicKey): FheUint96;
-  static encrypt_with_compressed_public_key(value: any, compressed_public_key: TfheCompressedPublicKey): FheUint96;
-  decrypt(client_key: TfheClientKey): any;
-  serialize(): Uint8Array;
-}
-export class ProvenCompactCiphertextList {
-  private constructor();
-  free(): void;
-  [Symbol.dispose](): void;
-  static deserialize(buffer: Uint8Array): ProvenCompactCiphertextList;
-  get_kind_of(index: number): FheTypes | undefined;
-  safe_serialize(serialized_size_limit: bigint): Uint8Array;
-  static safe_deserialize(buffer: Uint8Array, serialized_size_limit: bigint): ProvenCompactCiphertextList;
-  verify_and_expand(crs: CompactPkeCrs, public_key: TfheCompactPublicKey, metadata: Uint8Array): CompactCiphertextListExpander;
-  expand_without_verification(): CompactCiphertextListExpander;
-  len(): number;
-  static builder(public_key: TfheCompactPublicKey): CompactCiphertextListBuilder;
-  is_empty(): boolean;
-  serialize(): Uint8Array;
-}
 export class Shortint {
   private constructor();
   free(): void;
@@ -3105,186 +1772,157 @@ export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembl
 
 export interface InitOutput {
   readonly memory: WebAssembly.Memory;
-  readonly __wbg_compactciphertextlist_free: (a: number, b: number) => void;
-  readonly __wbg_compactciphertextlistbuilder_free: (a: number, b: number) => void;
-  readonly __wbg_compactciphertextlistexpander_free: (a: number, b: number) => void;
-  readonly __wbg_compactpkecrs_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfhebool_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint1024_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint104_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint10_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint112_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint120_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint128_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint12_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint136_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint144_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint14_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint152_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint160_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint168_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint16_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint176_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint184_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint192_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint200_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint2048_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint208_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint216_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint224_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint232_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint240_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint248_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint24_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint256_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint2_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint32_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint40_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint48_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint4_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint512_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint56_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint64_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint6_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint72_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint80_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint88_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint8_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheint96_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint1024_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint104_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint10_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint112_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint120_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint128_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint12_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint136_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint144_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint14_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint152_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint160_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint168_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint16_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint176_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint184_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint192_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint200_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint2048_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint208_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint216_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint224_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint232_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint240_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint248_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint24_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint256_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint2_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint32_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint40_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint48_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint4_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint512_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint56_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint64_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint6_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint72_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint80_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint88_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint8_free: (a: number, b: number) => void;
-  readonly __wbg_compressedfheuint96_free: (a: number, b: number) => void;
-  readonly __wbg_fhebool_free: (a: number, b: number) => void;
-  readonly __wbg_fheint1024_free: (a: number, b: number) => void;
-  readonly __wbg_fheint104_free: (a: number, b: number) => void;
-  readonly __wbg_fheint10_free: (a: number, b: number) => void;
-  readonly __wbg_fheint112_free: (a: number, b: number) => void;
-  readonly __wbg_fheint120_free: (a: number, b: number) => void;
-  readonly __wbg_fheint128_free: (a: number, b: number) => void;
-  readonly __wbg_fheint12_free: (a: number, b: number) => void;
-  readonly __wbg_fheint136_free: (a: number, b: number) => void;
-  readonly __wbg_fheint144_free: (a: number, b: number) => void;
-  readonly __wbg_fheint14_free: (a: number, b: number) => void;
-  readonly __wbg_fheint152_free: (a: number, b: number) => void;
-  readonly __wbg_fheint160_free: (a: number, b: number) => void;
-  readonly __wbg_fheint168_free: (a: number, b: number) => void;
-  readonly __wbg_fheint16_free: (a: number, b: number) => void;
-  readonly __wbg_fheint176_free: (a: number, b: number) => void;
-  readonly __wbg_fheint184_free: (a: number, b: number) => void;
-  readonly __wbg_fheint192_free: (a: number, b: number) => void;
-  readonly __wbg_fheint200_free: (a: number, b: number) => void;
-  readonly __wbg_fheint2048_free: (a: number, b: number) => void;
-  readonly __wbg_fheint208_free: (a: number, b: number) => void;
-  readonly __wbg_fheint216_free: (a: number, b: number) => void;
-  readonly __wbg_fheint224_free: (a: number, b: number) => void;
-  readonly __wbg_fheint232_free: (a: number, b: number) => void;
-  readonly __wbg_fheint240_free: (a: number, b: number) => void;
-  readonly __wbg_fheint248_free: (a: number, b: number) => void;
-  readonly __wbg_fheint24_free: (a: number, b: number) => void;
-  readonly __wbg_fheint256_free: (a: number, b: number) => void;
-  readonly __wbg_fheint2_free: (a: number, b: number) => void;
-  readonly __wbg_fheint32_free: (a: number, b: number) => void;
-  readonly __wbg_fheint40_free: (a: number, b: number) => void;
-  readonly __wbg_fheint48_free: (a: number, b: number) => void;
-  readonly __wbg_fheint4_free: (a: number, b: number) => void;
-  readonly __wbg_fheint512_free: (a: number, b: number) => void;
-  readonly __wbg_fheint56_free: (a: number, b: number) => void;
-  readonly __wbg_fheint64_free: (a: number, b: number) => void;
-  readonly __wbg_fheint6_free: (a: number, b: number) => void;
-  readonly __wbg_fheint72_free: (a: number, b: number) => void;
-  readonly __wbg_fheint80_free: (a: number, b: number) => void;
-  readonly __wbg_fheint88_free: (a: number, b: number) => void;
-  readonly __wbg_fheint8_free: (a: number, b: number) => void;
-  readonly __wbg_fheint96_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint1024_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint104_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint10_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint112_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint120_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint128_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint12_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint136_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint144_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint14_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint152_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint160_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint168_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint16_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint176_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint184_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint192_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint200_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint2048_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint208_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint216_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint224_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint232_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint240_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint248_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint24_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint256_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint2_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint32_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint40_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint48_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint4_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint512_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint56_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint64_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint6_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint72_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint80_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint88_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint8_free: (a: number, b: number) => void;
-  readonly __wbg_fheuint96_free: (a: number, b: number) => void;
-  readonly __wbg_provencompactciphertextlist_free: (a: number, b: number) => void;
+  readonly __wbg_shortint_free: (a: number, b: number) => void;
+  readonly __wbg_shortintciphertext_free: (a: number, b: number) => void;
+  readonly __wbg_shortintclientkey_free: (a: number, b: number) => void;
+  readonly __wbg_shortintcompactpublickeyencryptionparameters_free: (a: number, b: number) => void;
+  readonly __wbg_shortintcompressedciphertext_free: (a: number, b: number) => void;
+  readonly __wbg_shortintcompressedpublickey_free: (a: number, b: number) => void;
+  readonly __wbg_shortintcompressedserverkey_free: (a: number, b: number) => void;
+  readonly __wbg_shortintnoisedistribution_free: (a: number, b: number) => void;
+  readonly __wbg_shortintparameters_free: (a: number, b: number) => void;
+  readonly __wbg_shortintpublickey_free: (a: number, b: number) => void;
+  readonly __wbg_tfhe_free: (a: number, b: number) => void;
+  readonly shortint_decompress_ciphertext: (a: number) => number;
+  readonly shortint_decrypt: (a: number, b: number) => bigint;
+  readonly shortint_deserialize_ciphertext: (a: number, b: number) => [number, number, number];
+  readonly shortint_deserialize_client_key: (a: number, b: number) => [number, number, number];
+  readonly shortint_deserialize_compressed_ciphertext: (a: number, b: number) => [number, number, number];
+  readonly shortint_deserialize_compressed_public_key: (a: number, b: number) => [number, number, number];
+  readonly shortint_deserialize_compressed_server_key: (a: number, b: number) => [number, number, number];
+  readonly shortint_deserialize_public_key: (a: number, b: number) => [number, number, number];
+  readonly shortint_encrypt: (a: number, b: bigint) => number;
+  readonly shortint_encrypt_compressed: (a: number, b: bigint) => number;
+  readonly shortint_encrypt_with_compressed_public_key: (a: number, b: bigint) => number;
+  readonly shortint_encrypt_with_public_key: (a: number, b: bigint) => number;
+  readonly shortint_new_client_key: (a: number) => number;
+  readonly shortint_new_client_key_from_seed_and_parameters: (a: bigint, b: bigint, c: number) => number;
+  readonly shortint_new_compressed_public_key: (a: number) => number;
+  readonly shortint_new_compressed_server_key: (a: number) => number;
+  readonly shortint_new_gaussian_from_std_dev: (a: number) => number;
+  readonly shortint_new_parameters: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: bigint, k: bigint, l: bigint, m: number, n: number, o: number) => number;
+  readonly shortint_new_public_key: (a: number) => number;
+  readonly shortint_params_name: (a: number) => [number, number, number, number];
+  readonly shortint_pke_params_name: (a: number) => [number, number];
+  readonly shortint_serialize_ciphertext: (a: number) => [number, number, number, number];
+  readonly shortint_serialize_client_key: (a: number) => [number, number, number, number];
+  readonly shortint_serialize_compressed_ciphertext: (a: number) => [number, number, number, number];
+  readonly shortint_serialize_compressed_public_key: (a: number) => [number, number, number, number];
+  readonly shortint_serialize_compressed_server_key: (a: number) => [number, number, number, number];
+  readonly shortint_serialize_public_key: (a: number) => [number, number, number, number];
+  readonly shortint_try_new_t_uniform: (a: number) => [number, number, number];
+  readonly shortintcompactpublickeyencryptionparameters_new: (a: number) => number;
+  readonly shortintcompactpublickeyencryptionparameters_new_parameters: (a: number, b: number, c: bigint, d: bigint, e: number, f: number, g: number, h: number) => [number, number, number];
+  readonly shortintparameters_carry_modulus: (a: number) => bigint;
+  readonly shortintparameters_encryption_key_choice: (a: number) => number;
+  readonly shortintparameters_glwe_dimension: (a: number) => number;
+  readonly shortintparameters_glwe_noise_distribution: (a: number) => number;
+  readonly shortintparameters_ks_base_log: (a: number) => number;
+  readonly shortintparameters_ks_level: (a: number) => number;
+  readonly shortintparameters_lwe_dimension: (a: number) => number;
+  readonly shortintparameters_message_modulus: (a: number) => bigint;
+  readonly shortintparameters_new: (a: number) => [number, number, number];
+  readonly shortintparameters_pbs_base_log: (a: number) => number;
+  readonly shortintparameters_pbs_level: (a: number) => number;
+  readonly shortintparameters_polynomial_size: (a: number) => number;
+  readonly shortintparameters_set_carry_modulus: (a: number, b: bigint) => void;
+  readonly shortintparameters_set_encryption_key_choice: (a: number, b: number) => void;
+  readonly shortintparameters_set_glwe_dimension: (a: number, b: number) => void;
+  readonly shortintparameters_set_glwe_noise_distribution: (a: number, b: number) => void;
+  readonly shortintparameters_set_ks_base_log: (a: number, b: number) => void;
+  readonly shortintparameters_set_ks_level: (a: number, b: number) => void;
+  readonly shortintparameters_set_lwe_dimension: (a: number, b: number) => void;
+  readonly shortintparameters_set_lwe_noise_distribution: (a: number, b: number) => void;
+  readonly shortintparameters_set_message_modulus: (a: number, b: bigint) => void;
+  readonly shortintparameters_set_pbs_base_log: (a: number, b: number) => void;
+  readonly shortintparameters_set_pbs_level: (a: number, b: number) => void;
+  readonly shortintparameters_set_polynomial_size: (a: number, b: number) => void;
+  readonly shortintparameters_lwe_noise_distribution: (a: number) => number;
+  readonly __wbg_boolean_free: (a: number, b: number) => void;
+  readonly __wbg_booleanciphertext_free: (a: number, b: number) => void;
+  readonly __wbg_booleanclientkey_free: (a: number, b: number) => void;
+  readonly __wbg_booleancompressedciphertext_free: (a: number, b: number) => void;
+  readonly __wbg_booleancompressedserverkey_free: (a: number, b: number) => void;
+  readonly __wbg_booleannoisedistribution_free: (a: number, b: number) => void;
+  readonly __wbg_booleanparameters_free: (a: number, b: number) => void;
+  readonly __wbg_booleanpublickey_free: (a: number, b: number) => void;
   readonly __wbg_tfheclientkey_free: (a: number, b: number) => void;
   readonly __wbg_tfhecompactpublickey_free: (a: number, b: number) => void;
   readonly __wbg_tfhecompressedcompactpublickey_free: (a: number, b: number) => void;
   readonly __wbg_tfhecompressedpublickey_free: (a: number, b: number) => void;
   readonly __wbg_tfhecompressedserverkey_free: (a: number, b: number) => void;
+  readonly __wbg_tfhepublickey_free: (a: number, b: number) => void;
+  readonly __wbg_tfheserverkey_free: (a: number, b: number) => void;
+  readonly boolean_decompress_ciphertext: (a: number) => number;
+  readonly boolean_decrypt: (a: number, b: number) => number;
+  readonly boolean_deserialize_ciphertext: (a: number, b: number) => [number, number, number];
+  readonly boolean_deserialize_client_key: (a: number, b: number) => [number, number, number];
+  readonly boolean_deserialize_compressed_ciphertext: (a: number, b: number) => [number, number, number];
+  readonly boolean_deserialize_compressed_server_key: (a: number, b: number) => [number, number, number];
+  readonly boolean_deserialize_public_key: (a: number, b: number) => [number, number, number];
+  readonly boolean_encrypt: (a: number, b: number) => number;
+  readonly boolean_encrypt_compressed: (a: number, b: number) => number;
+  readonly boolean_encrypt_with_public_key: (a: number, b: number) => number;
+  readonly boolean_get_parameters: (a: number) => [number, number, number];
+  readonly boolean_new_client_key: (a: number) => number;
+  readonly boolean_new_client_key_from_seed_and_parameters: (a: bigint, b: bigint, c: number) => number;
+  readonly boolean_new_compressed_server_key: (a: number) => number;
+  readonly boolean_new_gaussian_from_std_dev: (a: number) => number;
+  readonly boolean_new_parameters: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => number;
+  readonly boolean_new_public_key: (a: number) => number;
+  readonly boolean_serialize_ciphertext: (a: number) => [number, number, number, number];
+  readonly boolean_serialize_client_key: (a: number) => [number, number, number, number];
+  readonly boolean_serialize_compressed_ciphertext: (a: number) => [number, number, number, number];
+  readonly boolean_serialize_compressed_server_key: (a: number) => [number, number, number, number];
+  readonly boolean_serialize_public_key: (a: number) => [number, number, number, number];
+  readonly boolean_trivial_encrypt: (a: number) => number;
+  readonly boolean_try_new_t_uniform: (a: number) => [number, number, number];
+  readonly init_panic_hook: () => void;
+  readonly set_server_key: (a: number) => [number, number];
+  readonly tfheclientkey_deserialize: (a: number, b: number) => [number, number, number];
+  readonly tfheclientkey_generate: (a: number) => [number, number, number];
+  readonly tfheclientkey_generate_with_seed: (a: number, b: any) => [number, number, number];
+  readonly tfheclientkey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+  readonly tfheclientkey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+  readonly tfheclientkey_serialize: (a: number) => [number, number, number, number];
+  readonly tfhecompactpublickey_deserialize: (a: number, b: number) => [number, number, number];
+  readonly tfhecompactpublickey_new: (a: number) => [number, number, number];
+  readonly tfhecompactpublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+  readonly tfhecompactpublickey_safe_deserialize_conformant: (a: number, b: number, c: bigint, d: number) => [number, number, number];
+  readonly tfhecompactpublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+  readonly tfhecompactpublickey_serialize: (a: number) => [number, number, number, number];
+  readonly tfhecompressedcompactpublickey_decompress: (a: number) => [number, number, number];
+  readonly tfhecompressedcompactpublickey_deserialize: (a: number, b: number) => [number, number, number];
+  readonly tfhecompressedcompactpublickey_new: (a: number) => [number, number, number];
+  readonly tfhecompressedcompactpublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+  readonly tfhecompressedcompactpublickey_safe_deserialize_conformant: (a: number, b: number, c: bigint, d: number) => [number, number, number];
+  readonly tfhecompressedcompactpublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+  readonly tfhecompressedcompactpublickey_serialize: (a: number) => [number, number, number, number];
+  readonly tfhecompressedpublickey_decompress: (a: number) => [number, number, number];
+  readonly tfhecompressedpublickey_deserialize: (a: number, b: number) => [number, number, number];
+  readonly tfhecompressedpublickey_new: (a: number) => [number, number, number];
+  readonly tfhecompressedpublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+  readonly tfhecompressedpublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+  readonly tfhecompressedpublickey_serialize: (a: number) => [number, number, number, number];
+  readonly tfhecompressedserverkey_deserialize: (a: number, b: number) => [number, number, number];
+  readonly tfhecompressedserverkey_new: (a: number) => [number, number, number];
+  readonly tfhecompressedserverkey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+  readonly tfhecompressedserverkey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+  readonly tfhecompressedserverkey_serialize: (a: number) => [number, number, number, number];
+  readonly tfhepublickey_deserialize: (a: number, b: number) => [number, number, number];
+  readonly tfhepublickey_new: (a: number) => [number, number, number];
+  readonly tfhepublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
+  readonly tfhepublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
+  readonly tfhepublickey_serialize: (a: number) => [number, number, number, number];
+  readonly tfheserverkey_new: (a: number) => [number, number, number];
+  readonly __wbg_compactciphertextlist_free: (a: number, b: number) => void;
+  readonly __wbg_compactciphertextlistbuilder_free: (a: number, b: number) => void;
+  readonly __wbg_compactciphertextlistexpander_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfhebool_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint1024_free: (a: number, b: number) => void;
+  readonly __wbg_fhebool_free: (a: number, b: number) => void;
+  readonly __wbg_fheint1024_free: (a: number, b: number) => void;
   readonly __wbg_tfheconfig_free: (a: number, b: number) => void;
-  readonly __wbg_tfheconfigbuilder_free: (a: number, b: number) => void;
-  readonly __wbg_tfhepublickey_free: (a: number, b: number) => void;
-  readonly __wbg_tfheserverkey_free: (a: number, b: number) => void;
   readonly compactciphertextlist_builder: (a: number) => [number, number, number];
   readonly compactciphertextlist_deserialize: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlist_expand: (a: number) => [number, number, number];
@@ -3296,183 +1934,74 @@ export interface InitOutput {
   readonly compactciphertextlist_serialize: (a: number) => [number, number, number, number];
   readonly compactciphertextlistbuilder_build: (a: number) => [number, number, number];
   readonly compactciphertextlistbuilder_build_packed: (a: number) => [number, number, number];
-  readonly compactciphertextlistbuilder_build_with_proof_packed: (a: number, b: number, c: number, d: number, e: number) => [number, number, number];
   readonly compactciphertextlistbuilder_push_boolean: (a: number, b: number) => [number, number];
   readonly compactciphertextlistbuilder_push_i10: (a: number, b: number) => [number, number];
   readonly compactciphertextlistbuilder_push_i1024: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i104: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i112: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_i12: (a: number, b: number) => [number, number];
-  readonly compactciphertextlistbuilder_push_i120: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_i128: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i136: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_i14: (a: number, b: number) => [number, number];
-  readonly compactciphertextlistbuilder_push_i144: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i152: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_i16: (a: number, b: number) => [number, number];
   readonly compactciphertextlistbuilder_push_i160: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i168: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i176: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i184: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i192: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_i2: (a: number, b: number) => [number, number];
-  readonly compactciphertextlistbuilder_push_i200: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_i2048: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i208: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i216: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i224: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i232: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i24: (a: number, b: number) => [number, number];
-  readonly compactciphertextlistbuilder_push_i240: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i248: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_i256: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_i32: (a: number, b: number) => [number, number];
   readonly compactciphertextlistbuilder_push_i4: (a: number, b: number) => [number, number];
-  readonly compactciphertextlistbuilder_push_i40: (a: number, b: bigint) => [number, number];
-  readonly compactciphertextlistbuilder_push_i48: (a: number, b: bigint) => [number, number];
   readonly compactciphertextlistbuilder_push_i512: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i56: (a: number, b: bigint) => [number, number];
   readonly compactciphertextlistbuilder_push_i6: (a: number, b: number) => [number, number];
   readonly compactciphertextlistbuilder_push_i64: (a: number, b: bigint) => [number, number];
-  readonly compactciphertextlistbuilder_push_i72: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_i8: (a: number, b: number) => [number, number];
-  readonly compactciphertextlistbuilder_push_i80: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i88: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_i96: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_u10: (a: number, b: number) => [number, number];
   readonly compactciphertextlistbuilder_push_u1024: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u104: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u112: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_u12: (a: number, b: number) => [number, number];
-  readonly compactciphertextlistbuilder_push_u120: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_u128: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u136: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_u14: (a: number, b: number) => [number, number];
-  readonly compactciphertextlistbuilder_push_u144: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u152: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_u16: (a: number, b: number) => [number, number];
   readonly compactciphertextlistbuilder_push_u160: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u168: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u176: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u184: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u192: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_u2: (a: number, b: number) => [number, number];
-  readonly compactciphertextlistbuilder_push_u200: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_u2048: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u208: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u216: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u224: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u232: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u24: (a: number, b: number) => [number, number];
-  readonly compactciphertextlistbuilder_push_u240: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u248: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_u256: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_u32: (a: number, b: number) => [number, number];
   readonly compactciphertextlistbuilder_push_u4: (a: number, b: number) => [number, number];
-  readonly compactciphertextlistbuilder_push_u40: (a: number, b: bigint) => [number, number];
-  readonly compactciphertextlistbuilder_push_u48: (a: number, b: bigint) => [number, number];
   readonly compactciphertextlistbuilder_push_u512: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u56: (a: number, b: bigint) => [number, number];
   readonly compactciphertextlistbuilder_push_u6: (a: number, b: number) => [number, number];
   readonly compactciphertextlistbuilder_push_u64: (a: number, b: bigint) => [number, number];
-  readonly compactciphertextlistbuilder_push_u72: (a: number, b: any) => [number, number];
   readonly compactciphertextlistbuilder_push_u8: (a: number, b: number) => [number, number];
-  readonly compactciphertextlistbuilder_push_u80: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u88: (a: number, b: any) => [number, number];
-  readonly compactciphertextlistbuilder_push_u96: (a: number, b: any) => [number, number];
   readonly compactciphertextlistexpander_get_bool: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int10: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int1024: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int104: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int112: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int12: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int120: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int128: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int136: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int14: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int144: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int152: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int16: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int160: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int168: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int176: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int184: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int192: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int2: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int200: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int2048: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int208: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int216: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int224: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int232: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int24: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int240: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int248: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int256: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int32: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int4: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int40: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int48: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int512: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int56: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int6: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int64: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int72: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_int8: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int80: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int88: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_int96: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_kind_of: (a: number, b: number) => number;
   readonly compactciphertextlistexpander_get_uint10: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint1024: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint104: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint112: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint12: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint120: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint128: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint136: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint14: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint144: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint152: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint16: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint160: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint168: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint176: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint184: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint192: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint2: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint200: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint2048: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint208: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint216: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint224: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint232: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint24: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint240: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint248: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint256: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint32: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint4: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint40: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint48: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint512: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint56: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint6: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint64: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint72: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_get_uint8: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint80: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint88: (a: number, b: number) => [number, number, number];
-  readonly compactciphertextlistexpander_get_uint96: (a: number, b: number) => [number, number, number];
   readonly compactciphertextlistexpander_is_empty: (a: number) => number;
   readonly compactciphertextlistexpander_len: (a: number) => number;
-  readonly compactpkecrs_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compactpkecrs_deserialize_from_public_params: (a: number, b: number) => [number, number, number];
-  readonly compactpkecrs_from_config: (a: number, b: number) => [number, number, number];
-  readonly compactpkecrs_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compactpkecrs_safe_deserialize_from_public_params: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compactpkecrs_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compactpkecrs_serialize: (a: number, b: number) => [number, number, number, number];
   readonly compressedfhebool_decompress: (a: number) => [number, number, number];
   readonly compressedfhebool_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfhebool_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
@@ -3485,30 +2014,12 @@ export interface InitOutput {
   readonly compressedfheint1024_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheint1024_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheint1024_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint104_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint104_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint104_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint104_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint104_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint104_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheint10_decompress: (a: number) => [number, number, number];
   readonly compressedfheint10_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheint10_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly compressedfheint10_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheint10_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheint10_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint112_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint112_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint112_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint112_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint112_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint112_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint120_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint120_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint120_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint120_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint120_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint120_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheint128_decompress: (a: number) => [number, number, number];
   readonly compressedfheint128_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheint128_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
@@ -3521,120 +2032,30 @@ export interface InitOutput {
   readonly compressedfheint12_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheint12_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheint12_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint136_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint136_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint136_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint136_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint136_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint136_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint144_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint144_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint144_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint144_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint144_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint144_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheint14_decompress: (a: number) => [number, number, number];
   readonly compressedfheint14_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheint14_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly compressedfheint14_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheint14_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheint14_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint152_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint152_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint152_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint152_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint152_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint152_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheint160_decompress: (a: number) => [number, number, number];
   readonly compressedfheint160_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheint160_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
   readonly compressedfheint160_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheint160_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheint160_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint168_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint168_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint168_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint168_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint168_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint168_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheint16_decompress: (a: number) => [number, number, number];
   readonly compressedfheint16_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheint16_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly compressedfheint16_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheint16_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheint16_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint176_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint176_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint176_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint176_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint176_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint176_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint184_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint184_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint184_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint184_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint184_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint184_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint192_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint192_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint192_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint192_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint192_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint192_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint200_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint200_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint200_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint200_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint200_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint200_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheint2048_decompress: (a: number) => [number, number, number];
   readonly compressedfheint2048_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheint2048_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
   readonly compressedfheint2048_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheint2048_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheint2048_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint208_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint208_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint208_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint208_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint208_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint208_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint216_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint216_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint216_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint216_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint216_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint216_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint224_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint224_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint224_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint224_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint224_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint224_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint232_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint232_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint232_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint232_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint232_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint232_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint240_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint240_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint240_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint240_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint240_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint240_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint248_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint248_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint248_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint248_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint248_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint248_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint24_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint24_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint24_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint24_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint24_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint24_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheint256_decompress: (a: number) => [number, number, number];
   readonly compressedfheint256_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheint256_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
@@ -3653,18 +2074,6 @@ export interface InitOutput {
   readonly compressedfheint32_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheint32_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheint32_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint40_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint40_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint40_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
-  readonly compressedfheint40_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint40_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint40_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint48_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint48_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint48_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
-  readonly compressedfheint48_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint48_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint48_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheint4_decompress: (a: number) => [number, number, number];
   readonly compressedfheint4_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheint4_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
@@ -3677,12 +2086,6 @@ export interface InitOutput {
   readonly compressedfheint512_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheint512_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheint512_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint56_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint56_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint56_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
-  readonly compressedfheint56_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint56_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint56_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheint64_decompress: (a: number) => [number, number, number];
   readonly compressedfheint64_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheint64_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
@@ -3695,66 +2098,24 @@ export interface InitOutput {
   readonly compressedfheint6_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheint6_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheint6_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint72_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint72_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint72_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint72_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint72_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint72_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint80_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint80_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint80_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint80_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint80_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint80_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint88_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint88_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint88_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint88_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint88_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint88_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheint8_decompress: (a: number) => [number, number, number];
   readonly compressedfheint8_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheint8_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly compressedfheint8_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheint8_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheint8_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheint96_decompress: (a: number) => [number, number, number];
-  readonly compressedfheint96_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheint96_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheint96_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheint96_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheint96_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheuint1024_decompress: (a: number) => [number, number, number];
   readonly compressedfheuint1024_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint1024_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
   readonly compressedfheuint1024_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheuint1024_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheuint1024_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint104_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint104_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint104_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint104_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint104_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint104_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheuint10_decompress: (a: number) => [number, number, number];
   readonly compressedfheuint10_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint10_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint10_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheuint10_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheuint10_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint112_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint112_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint112_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint112_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint112_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint112_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint120_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint120_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint120_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint120_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint120_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint120_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheuint128_decompress: (a: number) => [number, number, number];
   readonly compressedfheuint128_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint128_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
@@ -3767,120 +2128,30 @@ export interface InitOutput {
   readonly compressedfheuint12_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheuint12_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheuint12_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint136_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint136_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint136_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint136_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint136_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint136_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint144_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint144_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint144_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint144_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint144_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint144_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheuint14_decompress: (a: number) => [number, number, number];
   readonly compressedfheuint14_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint14_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint14_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheuint14_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheuint14_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint152_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint152_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint152_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint152_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint152_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint152_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheuint160_decompress: (a: number) => [number, number, number];
   readonly compressedfheuint160_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint160_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
   readonly compressedfheuint160_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheuint160_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheuint160_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint168_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint168_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint168_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint168_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint168_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint168_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheuint16_decompress: (a: number) => [number, number, number];
   readonly compressedfheuint16_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint16_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint16_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheuint16_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheuint16_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint176_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint176_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint176_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint176_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint176_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint176_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint184_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint184_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint184_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint184_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint184_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint184_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint192_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint192_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint192_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint192_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint192_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint192_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint200_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint200_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint200_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint200_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint200_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint200_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheuint2048_decompress: (a: number) => [number, number, number];
   readonly compressedfheuint2048_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint2048_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
   readonly compressedfheuint2048_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheuint2048_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheuint2048_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint208_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint208_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint208_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint208_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint208_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint208_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint216_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint216_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint216_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint216_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint216_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint216_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint224_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint224_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint224_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint224_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint224_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint224_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint232_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint232_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint232_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint232_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint232_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint232_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint240_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint240_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint240_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint240_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint240_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint240_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint248_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint248_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint248_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint248_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint248_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint248_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint24_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint24_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint24_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint24_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint24_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint24_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheuint256_decompress: (a: number) => [number, number, number];
   readonly compressedfheuint256_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint256_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
@@ -3899,18 +2170,6 @@ export interface InitOutput {
   readonly compressedfheuint32_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheuint32_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheuint32_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint40_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint40_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint40_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
-  readonly compressedfheuint40_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint40_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint40_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint48_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint48_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint48_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
-  readonly compressedfheuint48_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint48_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint48_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheuint4_decompress: (a: number) => [number, number, number];
   readonly compressedfheuint4_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint4_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
@@ -3923,12 +2182,6 @@ export interface InitOutput {
   readonly compressedfheuint512_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheuint512_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheuint512_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint56_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint56_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint56_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
-  readonly compressedfheuint56_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint56_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint56_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheuint64_decompress: (a: number) => [number, number, number];
   readonly compressedfheuint64_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint64_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
@@ -3941,36 +2194,12 @@ export interface InitOutput {
   readonly compressedfheuint6_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheuint6_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheuint6_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint72_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint72_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint72_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint72_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint72_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint72_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint80_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint80_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint80_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint80_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint80_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint80_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint88_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint88_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint88_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint88_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint88_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint88_serialize: (a: number) => [number, number, number, number];
   readonly compressedfheuint8_decompress: (a: number) => [number, number, number];
   readonly compressedfheuint8_deserialize: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint8_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly compressedfheuint8_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly compressedfheuint8_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly compressedfheuint8_serialize: (a: number) => [number, number, number, number];
-  readonly compressedfheuint96_decompress: (a: number) => [number, number, number];
-  readonly compressedfheuint96_deserialize: (a: number, b: number) => [number, number, number];
-  readonly compressedfheuint96_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly compressedfheuint96_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly compressedfheuint96_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly compressedfheuint96_serialize: (a: number) => [number, number, number, number];
   readonly fhebool_decrypt: (a: number, b: number) => [number, number, number];
   readonly fhebool_deserialize: (a: number, b: number) => [number, number, number];
   readonly fhebool_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
@@ -3987,14 +2216,6 @@ export interface InitOutput {
   readonly fheint1024_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint1024_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint1024_serialize: (a: number) => [number, number, number, number];
-  readonly fheint104_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint104_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint104_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint104_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint104_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint104_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint104_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint104_serialize: (a: number) => [number, number, number, number];
   readonly fheint10_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheint10_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheint10_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
@@ -4003,22 +2224,6 @@ export interface InitOutput {
   readonly fheint10_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint10_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint10_serialize: (a: number) => [number, number, number, number];
-  readonly fheint112_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint112_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint112_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint112_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint112_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint112_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint112_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint112_serialize: (a: number) => [number, number, number, number];
-  readonly fheint120_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint120_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint120_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint120_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint120_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint120_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint120_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint120_serialize: (a: number) => [number, number, number, number];
   readonly fheint128_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheint128_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheint128_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
@@ -4027,7 +2232,6 @@ export interface InitOutput {
   readonly fheint128_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint128_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint128_serialize: (a: number) => [number, number, number, number];
-  readonly fheint12_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheint12_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheint12_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly fheint12_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
@@ -4035,23 +2239,6 @@ export interface InitOutput {
   readonly fheint12_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint12_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint12_serialize: (a: number) => [number, number, number, number];
-  readonly fheint136_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint136_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint136_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint136_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint136_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint136_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint136_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint136_serialize: (a: number) => [number, number, number, number];
-  readonly fheint144_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint144_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint144_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint144_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint144_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint144_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint144_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint144_serialize: (a: number) => [number, number, number, number];
-  readonly fheint14_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheint14_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheint14_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly fheint14_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
@@ -4059,14 +2246,6 @@ export interface InitOutput {
   readonly fheint14_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint14_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint14_serialize: (a: number) => [number, number, number, number];
-  readonly fheint152_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint152_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint152_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint152_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint152_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint152_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint152_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint152_serialize: (a: number) => [number, number, number, number];
   readonly fheint160_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheint160_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheint160_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
@@ -4075,15 +2254,6 @@ export interface InitOutput {
   readonly fheint160_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint160_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint160_serialize: (a: number) => [number, number, number, number];
-  readonly fheint168_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint168_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint168_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint168_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint168_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint168_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint168_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint168_serialize: (a: number) => [number, number, number, number];
-  readonly fheint16_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheint16_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheint16_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly fheint16_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
@@ -4091,38 +2261,6 @@ export interface InitOutput {
   readonly fheint16_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint16_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint16_serialize: (a: number) => [number, number, number, number];
-  readonly fheint176_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint176_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint176_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint176_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint176_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint176_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint176_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint176_serialize: (a: number) => [number, number, number, number];
-  readonly fheint184_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint184_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint184_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint184_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint184_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint184_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint184_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint184_serialize: (a: number) => [number, number, number, number];
-  readonly fheint192_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint192_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint192_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint192_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint192_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint192_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint192_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint192_serialize: (a: number) => [number, number, number, number];
-  readonly fheint200_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint200_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint200_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint200_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint200_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint200_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint200_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint200_serialize: (a: number) => [number, number, number, number];
   readonly fheint2048_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheint2048_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheint2048_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
@@ -4131,63 +2269,6 @@ export interface InitOutput {
   readonly fheint2048_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint2048_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint2048_serialize: (a: number) => [number, number, number, number];
-  readonly fheint208_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint208_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint208_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint208_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint208_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint208_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint208_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint208_serialize: (a: number) => [number, number, number, number];
-  readonly fheint216_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint216_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint216_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint216_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint216_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint216_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint216_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint216_serialize: (a: number) => [number, number, number, number];
-  readonly fheint224_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint224_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint224_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint224_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint224_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint224_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint224_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint224_serialize: (a: number) => [number, number, number, number];
-  readonly fheint232_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint232_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint232_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint232_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint232_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint232_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint232_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint232_serialize: (a: number) => [number, number, number, number];
-  readonly fheint240_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint240_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint240_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint240_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint240_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint240_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint240_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint240_serialize: (a: number) => [number, number, number, number];
-  readonly fheint248_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint248_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint248_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint248_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint248_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint248_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint248_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint248_serialize: (a: number) => [number, number, number, number];
-  readonly fheint24_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint24_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint24_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
-  readonly fheint24_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
-  readonly fheint24_encrypt_with_public_key: (a: number, b: number) => [number, number, number];
-  readonly fheint24_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint24_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint24_serialize: (a: number) => [number, number, number, number];
-  readonly fheint256_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheint256_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheint256_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
   readonly fheint256_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
@@ -4211,23 +2292,6 @@ export interface InitOutput {
   readonly fheint32_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint32_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint32_serialize: (a: number) => [number, number, number, number];
-  readonly fheint40_decrypt: (a: number, b: number) => [bigint, number, number];
-  readonly fheint40_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint40_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheint40_encrypt_with_compressed_public_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheint40_encrypt_with_public_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheint40_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint40_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint40_serialize: (a: number) => [number, number, number, number];
-  readonly fheint48_decrypt: (a: number, b: number) => [bigint, number, number];
-  readonly fheint48_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint48_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheint48_encrypt_with_compressed_public_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheint48_encrypt_with_public_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheint48_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint48_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint48_serialize: (a: number) => [number, number, number, number];
-  readonly fheint4_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheint4_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheint4_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly fheint4_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
@@ -4243,14 +2307,6 @@ export interface InitOutput {
   readonly fheint512_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint512_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint512_serialize: (a: number) => [number, number, number, number];
-  readonly fheint56_decrypt: (a: number, b: number) => [bigint, number, number];
-  readonly fheint56_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint56_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheint56_encrypt_with_compressed_public_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheint56_encrypt_with_public_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheint56_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint56_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint56_serialize: (a: number) => [number, number, number, number];
   readonly fheint64_decrypt: (a: number, b: number) => [bigint, number, number];
   readonly fheint64_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheint64_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
@@ -4259,7 +2315,6 @@ export interface InitOutput {
   readonly fheint64_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint64_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint64_serialize: (a: number) => [number, number, number, number];
-  readonly fheint6_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheint6_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheint6_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly fheint6_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
@@ -4267,31 +2322,6 @@ export interface InitOutput {
   readonly fheint6_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint6_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint6_serialize: (a: number) => [number, number, number, number];
-  readonly fheint72_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint72_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint72_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint72_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint72_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint72_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint72_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint72_serialize: (a: number) => [number, number, number, number];
-  readonly fheint80_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint80_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint80_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint80_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint80_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint80_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint80_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint80_serialize: (a: number) => [number, number, number, number];
-  readonly fheint88_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint88_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint88_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint88_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint88_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint88_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint88_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint88_serialize: (a: number) => [number, number, number, number];
-  readonly fheint8_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheint8_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheint8_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly fheint8_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
@@ -4299,14 +2329,6 @@ export interface InitOutput {
   readonly fheint8_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheint8_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheint8_serialize: (a: number) => [number, number, number, number];
-  readonly fheint96_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheint96_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheint96_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheint96_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint96_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheint96_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheint96_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheint96_serialize: (a: number) => [number, number, number, number];
   readonly fheuint1024_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheuint1024_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint1024_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
@@ -4315,14 +2337,6 @@ export interface InitOutput {
   readonly fheuint1024_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint1024_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint1024_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint104_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint104_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint104_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint104_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint104_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint104_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint104_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint104_serialize: (a: number) => [number, number, number, number];
   readonly fheuint10_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheuint10_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint10_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
@@ -4331,22 +2345,6 @@ export interface InitOutput {
   readonly fheuint10_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint10_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint10_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint112_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint112_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint112_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint112_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint112_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint112_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint112_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint112_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint120_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint120_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint120_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint120_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint120_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint120_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint120_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint120_serialize: (a: number) => [number, number, number, number];
   readonly fheuint128_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheuint128_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint128_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
@@ -4355,7 +2353,6 @@ export interface InitOutput {
   readonly fheuint128_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint128_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint128_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint12_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheuint12_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint12_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly fheuint12_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
@@ -4363,23 +2360,6 @@ export interface InitOutput {
   readonly fheuint12_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint12_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint12_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint136_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint136_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint136_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint136_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint136_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint136_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint136_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint136_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint144_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint144_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint144_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint144_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint144_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint144_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint144_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint144_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint14_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheuint14_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint14_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly fheuint14_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
@@ -4387,14 +2367,6 @@ export interface InitOutput {
   readonly fheuint14_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint14_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint14_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint152_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint152_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint152_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint152_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint152_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint152_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint152_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint152_serialize: (a: number) => [number, number, number, number];
   readonly fheuint160_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheuint160_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint160_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
@@ -4403,15 +2375,6 @@ export interface InitOutput {
   readonly fheuint160_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint160_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint160_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint168_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint168_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint168_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint168_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint168_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint168_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint168_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint168_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint16_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheuint16_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint16_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly fheuint16_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
@@ -4419,38 +2382,6 @@ export interface InitOutput {
   readonly fheuint16_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint16_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint16_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint176_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint176_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint176_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint176_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint176_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint176_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint176_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint176_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint184_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint184_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint184_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint184_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint184_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint184_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint184_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint184_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint192_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint192_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint192_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint192_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint192_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint192_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint192_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint192_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint200_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint200_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint200_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint200_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint200_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint200_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint200_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint200_serialize: (a: number) => [number, number, number, number];
   readonly fheuint2048_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheuint2048_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint2048_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
@@ -4459,63 +2390,6 @@ export interface InitOutput {
   readonly fheuint2048_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint2048_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint2048_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint208_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint208_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint208_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint208_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint208_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint208_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint208_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint208_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint216_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint216_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint216_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint216_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint216_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint216_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint216_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint216_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint224_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint224_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint224_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint224_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint224_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint224_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint224_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint224_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint232_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint232_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint232_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint232_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint232_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint232_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint232_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint232_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint240_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint240_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint240_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint240_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint240_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint240_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint240_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint240_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint248_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint248_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint248_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint248_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint248_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint248_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint248_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint248_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint24_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint24_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint24_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
-  readonly fheuint24_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
-  readonly fheuint24_encrypt_with_public_key: (a: number, b: number) => [number, number, number];
-  readonly fheuint24_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint24_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint24_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint256_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheuint256_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint256_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
   readonly fheuint256_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
@@ -4539,23 +2413,6 @@ export interface InitOutput {
   readonly fheuint32_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint32_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint32_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint40_decrypt: (a: number, b: number) => [bigint, number, number];
-  readonly fheuint40_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint40_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheuint40_encrypt_with_compressed_public_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheuint40_encrypt_with_public_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheuint40_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint40_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint40_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint48_decrypt: (a: number, b: number) => [bigint, number, number];
-  readonly fheuint48_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint48_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheuint48_encrypt_with_compressed_public_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheuint48_encrypt_with_public_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheuint48_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint48_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint48_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint4_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheuint4_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint4_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly fheuint4_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
@@ -4571,14 +2428,6 @@ export interface InitOutput {
   readonly fheuint512_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint512_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint512_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint56_decrypt: (a: number, b: number) => [bigint, number, number];
-  readonly fheuint56_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint56_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheuint56_encrypt_with_compressed_public_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheuint56_encrypt_with_public_key: (a: bigint, b: number) => [number, number, number];
-  readonly fheuint56_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint56_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint56_serialize: (a: number) => [number, number, number, number];
   readonly fheuint64_decrypt: (a: number, b: number) => [bigint, number, number];
   readonly fheuint64_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint64_encrypt_with_client_key: (a: bigint, b: number) => [number, number, number];
@@ -4587,7 +2436,6 @@ export interface InitOutput {
   readonly fheuint64_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint64_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint64_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint6_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheuint6_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint6_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly fheuint6_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
@@ -4595,31 +2443,6 @@ export interface InitOutput {
   readonly fheuint6_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint6_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint6_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint72_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint72_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint72_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint72_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint72_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint72_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint72_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint72_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint80_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint80_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint80_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint80_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint80_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint80_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint80_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint80_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint88_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint88_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint88_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint88_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint88_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint88_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint88_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint88_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint8_decrypt: (a: number, b: number) => [number, number, number];
   readonly fheuint8_deserialize: (a: number, b: number) => [number, number, number];
   readonly fheuint8_encrypt_with_client_key: (a: number, b: number) => [number, number, number];
   readonly fheuint8_encrypt_with_compressed_public_key: (a: number, b: number) => [number, number, number];
@@ -4627,165 +2450,88 @@ export interface InitOutput {
   readonly fheuint8_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
   readonly fheuint8_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
   readonly fheuint8_serialize: (a: number) => [number, number, number, number];
-  readonly fheuint96_decrypt: (a: number, b: number) => [number, number, number];
-  readonly fheuint96_deserialize: (a: number, b: number) => [number, number, number];
-  readonly fheuint96_encrypt_with_client_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint96_encrypt_with_compressed_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint96_encrypt_with_public_key: (a: any, b: number) => [number, number, number];
-  readonly fheuint96_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly fheuint96_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly fheuint96_serialize: (a: number) => [number, number, number, number];
-  readonly init_panic_hook: () => void;
-  readonly provencompactciphertextlist_builder: (a: number) => [number, number, number];
-  readonly provencompactciphertextlist_deserialize: (a: number, b: number) => [number, number, number];
-  readonly provencompactciphertextlist_expand_without_verification: (a: number) => [number, number, number];
-  readonly provencompactciphertextlist_get_kind_of: (a: number, b: number) => number;
-  readonly provencompactciphertextlist_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly provencompactciphertextlist_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly provencompactciphertextlist_serialize: (a: number) => [number, number, number, number];
-  readonly provencompactciphertextlist_verify_and_expand: (a: number, b: number, c: number, d: number, e: number) => [number, number, number];
-  readonly set_server_key: (a: number) => [number, number];
-  readonly tfheclientkey_deserialize: (a: number, b: number) => [number, number, number];
-  readonly tfheclientkey_generate: (a: number) => [number, number, number];
-  readonly tfheclientkey_generate_with_seed: (a: number, b: any) => [number, number, number];
-  readonly tfheclientkey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly tfheclientkey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly tfheclientkey_serialize: (a: number) => [number, number, number, number];
-  readonly tfhecompactpublickey_deserialize: (a: number, b: number) => [number, number, number];
-  readonly tfhecompactpublickey_new: (a: number) => [number, number, number];
-  readonly tfhecompactpublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly tfhecompactpublickey_safe_deserialize_conformant: (a: number, b: number, c: bigint, d: number) => [number, number, number];
-  readonly tfhecompactpublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly tfhecompactpublickey_serialize: (a: number) => [number, number, number, number];
-  readonly tfhecompressedcompactpublickey_decompress: (a: number) => [number, number, number];
-  readonly tfhecompressedcompactpublickey_deserialize: (a: number, b: number) => [number, number, number];
-  readonly tfhecompressedcompactpublickey_new: (a: number) => [number, number, number];
-  readonly tfhecompressedcompactpublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly tfhecompressedcompactpublickey_safe_deserialize_conformant: (a: number, b: number, c: bigint, d: number) => [number, number, number];
-  readonly tfhecompressedcompactpublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly tfhecompressedcompactpublickey_serialize: (a: number) => [number, number, number, number];
-  readonly tfhecompressedpublickey_decompress: (a: number) => [number, number, number];
-  readonly tfhecompressedpublickey_deserialize: (a: number, b: number) => [number, number, number];
-  readonly tfhecompressedpublickey_new: (a: number) => [number, number, number];
-  readonly tfhecompressedpublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly tfhecompressedpublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly tfhecompressedpublickey_serialize: (a: number) => [number, number, number, number];
-  readonly tfhecompressedserverkey_deserialize: (a: number, b: number) => [number, number, number];
-  readonly tfhecompressedserverkey_new: (a: number) => [number, number, number];
-  readonly tfhecompressedserverkey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly tfhecompressedserverkey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly tfhecompressedserverkey_serialize: (a: number) => [number, number, number, number];
   readonly tfheconfigbuilder_build: (a: number) => number;
   readonly tfheconfigbuilder_default: () => number;
   readonly tfheconfigbuilder_use_custom_parameters: (a: number, b: number) => number;
   readonly tfheconfigbuilder_use_dedicated_compact_public_key_parameters: (a: number, b: number) => number;
   readonly tfheconfigbuilder_with_custom_parameters: (a: number) => number;
-  readonly tfhepublickey_deserialize: (a: number, b: number) => [number, number, number];
-  readonly tfhepublickey_new: (a: number) => [number, number, number];
-  readonly tfhepublickey_safe_deserialize: (a: number, b: number, c: bigint) => [number, number, number];
-  readonly tfhepublickey_safe_serialize: (a: number, b: bigint) => [number, number, number, number];
-  readonly tfhepublickey_serialize: (a: number) => [number, number, number, number];
-  readonly tfheserverkey_new: (a: number) => [number, number, number];
-  readonly provencompactciphertextlist_len: (a: number) => number;
-  readonly provencompactciphertextlist_is_empty: (a: number) => number;
-  readonly __wbg_tfhe_free: (a: number, b: number) => void;
-  readonly __wbg_boolean_free: (a: number, b: number) => void;
-  readonly __wbg_booleanciphertext_free: (a: number, b: number) => void;
-  readonly __wbg_booleanclientkey_free: (a: number, b: number) => void;
-  readonly __wbg_booleancompressedciphertext_free: (a: number, b: number) => void;
-  readonly __wbg_booleancompressedserverkey_free: (a: number, b: number) => void;
-  readonly __wbg_booleannoisedistribution_free: (a: number, b: number) => void;
-  readonly __wbg_booleanparameters_free: (a: number, b: number) => void;
-  readonly __wbg_booleanpublickey_free: (a: number, b: number) => void;
-  readonly __wbg_shortint_free: (a: number, b: number) => void;
-  readonly __wbg_shortintciphertext_free: (a: number, b: number) => void;
-  readonly __wbg_shortintclientkey_free: (a: number, b: number) => void;
-  readonly __wbg_shortintcompactpublickeyencryptionparameters_free: (a: number, b: number) => void;
-  readonly __wbg_shortintcompressedciphertext_free: (a: number, b: number) => void;
-  readonly __wbg_shortintcompressedpublickey_free: (a: number, b: number) => void;
-  readonly __wbg_shortintcompressedserverkey_free: (a: number, b: number) => void;
-  readonly __wbg_shortintnoisedistribution_free: (a: number, b: number) => void;
-  readonly __wbg_shortintparameters_free: (a: number, b: number) => void;
-  readonly __wbg_shortintpublickey_free: (a: number, b: number) => void;
-  readonly boolean_decompress_ciphertext: (a: number) => number;
-  readonly boolean_decrypt: (a: number, b: number) => number;
-  readonly boolean_deserialize_ciphertext: (a: number, b: number) => [number, number, number];
-  readonly boolean_deserialize_client_key: (a: number, b: number) => [number, number, number];
-  readonly boolean_deserialize_compressed_ciphertext: (a: number, b: number) => [number, number, number];
-  readonly boolean_deserialize_compressed_server_key: (a: number, b: number) => [number, number, number];
-  readonly boolean_deserialize_public_key: (a: number, b: number) => [number, number, number];
-  readonly boolean_encrypt: (a: number, b: number) => number;
-  readonly boolean_encrypt_compressed: (a: number, b: number) => number;
-  readonly boolean_encrypt_with_public_key: (a: number, b: number) => number;
-  readonly boolean_get_parameters: (a: number) => [number, number, number];
-  readonly boolean_new_client_key: (a: number) => number;
-  readonly boolean_new_client_key_from_seed_and_parameters: (a: bigint, b: bigint, c: number) => number;
-  readonly boolean_new_compressed_server_key: (a: number) => number;
-  readonly boolean_new_gaussian_from_std_dev: (a: number) => number;
-  readonly boolean_new_parameters: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => number;
-  readonly boolean_new_public_key: (a: number) => number;
-  readonly boolean_serialize_ciphertext: (a: number) => [number, number, number, number];
-  readonly boolean_serialize_client_key: (a: number) => [number, number, number, number];
-  readonly boolean_serialize_compressed_ciphertext: (a: number) => [number, number, number, number];
-  readonly boolean_serialize_compressed_server_key: (a: number) => [number, number, number, number];
-  readonly boolean_serialize_public_key: (a: number) => [number, number, number, number];
-  readonly boolean_trivial_encrypt: (a: number) => number;
-  readonly boolean_try_new_t_uniform: (a: number) => [number, number, number];
-  readonly shortint_decompress_ciphertext: (a: number) => number;
-  readonly shortint_decrypt: (a: number, b: number) => bigint;
-  readonly shortint_deserialize_ciphertext: (a: number, b: number) => [number, number, number];
-  readonly shortint_deserialize_client_key: (a: number, b: number) => [number, number, number];
-  readonly shortint_deserialize_compressed_ciphertext: (a: number, b: number) => [number, number, number];
-  readonly shortint_deserialize_compressed_public_key: (a: number, b: number) => [number, number, number];
-  readonly shortint_deserialize_compressed_server_key: (a: number, b: number) => [number, number, number];
-  readonly shortint_deserialize_public_key: (a: number, b: number) => [number, number, number];
-  readonly shortint_encrypt: (a: number, b: bigint) => number;
-  readonly shortint_encrypt_compressed: (a: number, b: bigint) => number;
-  readonly shortint_encrypt_with_compressed_public_key: (a: number, b: bigint) => number;
-  readonly shortint_encrypt_with_public_key: (a: number, b: bigint) => number;
-  readonly shortint_new_client_key: (a: number) => number;
-  readonly shortint_new_client_key_from_seed_and_parameters: (a: bigint, b: bigint, c: number) => number;
-  readonly shortint_new_compressed_public_key: (a: number) => number;
-  readonly shortint_new_compressed_server_key: (a: number) => number;
-  readonly shortint_new_parameters: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: bigint, k: bigint, l: bigint, m: number, n: number, o: number) => number;
-  readonly shortint_new_public_key: (a: number) => number;
-  readonly shortint_params_name: (a: number) => [number, number, number, number];
-  readonly shortint_pke_params_name: (a: number) => [number, number];
-  readonly shortint_serialize_ciphertext: (a: number) => [number, number, number, number];
-  readonly shortint_serialize_client_key: (a: number) => [number, number, number, number];
-  readonly shortint_serialize_compressed_ciphertext: (a: number) => [number, number, number, number];
-  readonly shortint_serialize_compressed_public_key: (a: number) => [number, number, number, number];
-  readonly shortint_serialize_compressed_server_key: (a: number) => [number, number, number, number];
-  readonly shortint_serialize_public_key: (a: number) => [number, number, number, number];
-  readonly shortint_try_new_t_uniform: (a: number) => [number, number, number];
-  readonly shortintcompactpublickeyencryptionparameters_new: (a: number) => number;
-  readonly shortintcompactpublickeyencryptionparameters_new_parameters: (a: number, b: number, c: bigint, d: bigint, e: number, f: number, g: number, h: number) => [number, number, number];
-  readonly shortintparameters_carry_modulus: (a: number) => bigint;
-  readonly shortintparameters_encryption_key_choice: (a: number) => number;
-  readonly shortintparameters_glwe_dimension: (a: number) => number;
-  readonly shortintparameters_glwe_noise_distribution: (a: number) => number;
-  readonly shortintparameters_ks_base_log: (a: number) => number;
-  readonly shortintparameters_ks_level: (a: number) => number;
-  readonly shortintparameters_lwe_dimension: (a: number) => number;
-  readonly shortintparameters_message_modulus: (a: number) => bigint;
-  readonly shortintparameters_new: (a: number) => [number, number, number];
-  readonly shortintparameters_pbs_base_log: (a: number) => number;
-  readonly shortintparameters_pbs_level: (a: number) => number;
-  readonly shortintparameters_polynomial_size: (a: number) => number;
-  readonly shortintparameters_set_carry_modulus: (a: number, b: bigint) => void;
-  readonly shortintparameters_set_encryption_key_choice: (a: number, b: number) => void;
-  readonly shortintparameters_set_glwe_dimension: (a: number, b: number) => void;
-  readonly shortintparameters_set_glwe_noise_distribution: (a: number, b: number) => void;
-  readonly shortintparameters_set_ks_base_log: (a: number, b: number) => void;
-  readonly shortintparameters_set_ks_level: (a: number, b: number) => void;
-  readonly shortintparameters_set_lwe_dimension: (a: number, b: number) => void;
-  readonly shortintparameters_set_lwe_noise_distribution: (a: number, b: number) => void;
-  readonly shortintparameters_set_message_modulus: (a: number, b: bigint) => void;
-  readonly shortintparameters_set_pbs_base_log: (a: number, b: number) => void;
-  readonly shortintparameters_set_pbs_level: (a: number, b: number) => void;
-  readonly shortintparameters_set_polynomial_size: (a: number, b: number) => void;
-  readonly shortint_new_gaussian_from_std_dev: (a: number) => number;
-  readonly shortintparameters_lwe_noise_distribution: (a: number) => number;
+  readonly __wbg_compressedfheint10_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint128_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint12_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint14_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint160_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint16_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint2048_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint256_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint2_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint32_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint4_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint512_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint64_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint6_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheint8_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint10_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint128_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint12_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint14_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint160_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint16_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint2048_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint256_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint2_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint32_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint4_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint512_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint64_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint6_free: (a: number, b: number) => void;
+  readonly __wbg_compressedfheuint8_free: (a: number, b: number) => void;
+  readonly fheint12_decrypt: (a: number, b: number) => [number, number, number];
+  readonly fheint14_decrypt: (a: number, b: number) => [number, number, number];
+  readonly fheint16_decrypt: (a: number, b: number) => [number, number, number];
+  readonly fheint4_decrypt: (a: number, b: number) => [number, number, number];
+  readonly fheint6_decrypt: (a: number, b: number) => [number, number, number];
+  readonly fheint8_decrypt: (a: number, b: number) => [number, number, number];
+  readonly __wbg_fheint10_free: (a: number, b: number) => void;
+  readonly __wbg_fheint128_free: (a: number, b: number) => void;
+  readonly __wbg_fheint12_free: (a: number, b: number) => void;
+  readonly __wbg_fheint14_free: (a: number, b: number) => void;
+  readonly __wbg_fheint160_free: (a: number, b: number) => void;
+  readonly __wbg_fheint16_free: (a: number, b: number) => void;
+  readonly __wbg_fheint2048_free: (a: number, b: number) => void;
+  readonly __wbg_fheint256_free: (a: number, b: number) => void;
+  readonly __wbg_fheint2_free: (a: number, b: number) => void;
+  readonly __wbg_fheint32_free: (a: number, b: number) => void;
+  readonly __wbg_fheint4_free: (a: number, b: number) => void;
+  readonly __wbg_fheint512_free: (a: number, b: number) => void;
+  readonly __wbg_fheint64_free: (a: number, b: number) => void;
+  readonly __wbg_fheint6_free: (a: number, b: number) => void;
+  readonly __wbg_fheint8_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint1024_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint10_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint128_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint12_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint14_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint160_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint16_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint2048_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint256_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint2_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint32_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint4_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint512_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint64_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint6_free: (a: number, b: number) => void;
+  readonly __wbg_fheuint8_free: (a: number, b: number) => void;
+  readonly __wbg_tfheconfigbuilder_free: (a: number, b: number) => void;
+  readonly fheuint8_decrypt: (a: number, b: number) => [number, number, number];
+  readonly fheuint12_decrypt: (a: number, b: number) => [number, number, number];
+  readonly fheuint14_decrypt: (a: number, b: number) => [number, number, number];
+  readonly fheuint4_decrypt: (a: number, b: number) => [number, number, number];
+  readonly fheuint16_decrypt: (a: number, b: number) => [number, number, number];
+  readonly fheuint256_decrypt: (a: number, b: number) => [number, number, number];
+  readonly fheint256_decrypt: (a: number, b: number) => [number, number, number];
+  readonly fheuint6_decrypt: (a: number, b: number) => [number, number, number];
+  readonly __wbg_compressedfheuint1024_free: (a: number, b: number) => void;
   readonly __wbindgen_exn_store: (a: number) => void;
   readonly __externref_table_alloc: () => number;
   readonly __wbindgen_externrefs: WebAssembly.Table;