// Copyright (c) 2020, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

import "package:expect/expect.dart";

import 'libB.dart';

@pragma('dart2js:noInline')
g_000_000_010_000_0() {
  Set<String> uniques = {};

  // f_***_***_*1*_***_*;
  f_000_000_010_000_0(uniques, 7);
  f_000_000_010_000_1(uniques, 7);
  f_000_000_010_001_0(uniques, 7);
  f_000_000_010_001_1(uniques, 7);
  f_000_000_010_010_0(uniques, 7);
  f_000_000_010_010_1(uniques, 7);
  f_000_000_010_011_0(uniques, 7);
  f_000_000_010_011_1(uniques, 7);
  f_000_000_010_100_0(uniques, 7);
  f_000_000_010_100_1(uniques, 7);
  f_000_000_010_101_0(uniques, 7);
  f_000_000_010_101_1(uniques, 7);
  f_000_000_010_110_0(uniques, 7);
  f_000_000_010_110_1(uniques, 7);
  f_000_000_010_111_0(uniques, 7);
  f_000_000_010_111_1(uniques, 7);
  f_000_000_011_000_0(uniques, 7);
  f_000_000_011_000_1(uniques, 7);
  f_000_000_011_001_0(uniques, 7);
  f_000_000_011_001_1(uniques, 7);
  f_000_000_011_010_0(uniques, 7);
  f_000_000_011_010_1(uniques, 7);
  f_000_000_011_011_0(uniques, 7);
  f_000_000_011_011_1(uniques, 7);
  f_000_000_011_100_0(uniques, 7);
  f_000_000_011_100_1(uniques, 7);
  f_000_000_011_101_0(uniques, 7);
  f_000_000_011_101_1(uniques, 7);
  f_000_000_011_110_0(uniques, 7);
  f_000_000_011_110_1(uniques, 7);
  f_000_000_011_111_0(uniques, 7);
  f_000_000_011_111_1(uniques, 7);
  f_000_000_110_000_0(uniques, 7);
  f_000_000_110_000_1(uniques, 7);
  f_000_000_110_001_0(uniques, 7);
  f_000_000_110_001_1(uniques, 7);
  f_000_000_110_010_0(uniques, 7);
  f_000_000_110_010_1(uniques, 7);
  f_000_000_110_011_0(uniques, 7);
  f_000_000_110_011_1(uniques, 7);
  f_000_000_110_100_0(uniques, 7);
  f_000_000_110_100_1(uniques, 7);
  f_000_000_110_101_0(uniques, 7);
  f_000_000_110_101_1(uniques, 7);
  f_000_000_110_110_0(uniques, 7);
  f_000_000_110_110_1(uniques, 7);
  f_000_000_110_111_0(uniques, 7);
  f_000_000_110_111_1(uniques, 7);
  f_000_000_111_000_0(uniques, 7);
  f_000_000_111_000_1(uniques, 7);
  f_000_000_111_001_0(uniques, 7);
  f_000_000_111_001_1(uniques, 7);
  f_000_000_111_010_0(uniques, 7);
  f_000_000_111_010_1(uniques, 7);
  f_000_000_111_011_0(uniques, 7);
  f_000_000_111_011_1(uniques, 7);
  f_000_000_111_100_0(uniques, 7);
  f_000_000_111_100_1(uniques, 7);
  f_000_000_111_101_0(uniques, 7);
  f_000_000_111_101_1(uniques, 7);
  f_000_000_111_110_0(uniques, 7);
  f_000_000_111_110_1(uniques, 7);
  f_000_000_111_111_0(uniques, 7);
  f_000_000_111_111_1(uniques, 7);
  f_000_001_010_000_0(uniques, 7);
  f_000_001_010_000_1(uniques, 7);
  f_000_001_010_001_0(uniques, 7);
  f_000_001_010_001_1(uniques, 7);
  f_000_001_010_010_0(uniques, 7);
  f_000_001_010_010_1(uniques, 7);
  f_000_001_010_011_0(uniques, 7);
  f_000_001_010_011_1(uniques, 7);
  f_000_001_010_100_0(uniques, 7);
  f_000_001_010_100_1(uniques, 7);
  f_000_001_010_101_0(uniques, 7);
  f_000_001_010_101_1(uniques, 7);
  f_000_001_010_110_0(uniques, 7);
  f_000_001_010_110_1(uniques, 7);
  f_000_001_010_111_0(uniques, 7);
  f_000_001_010_111_1(uniques, 7);
  f_000_001_011_000_0(uniques, 7);
  f_000_001_011_000_1(uniques, 7);
  f_000_001_011_001_0(uniques, 7);
  f_000_001_011_001_1(uniques, 7);
  f_000_001_011_010_0(uniques, 7);
  f_000_001_011_010_1(uniques, 7);
  f_000_001_011_011_0(uniques, 7);
  f_000_001_011_011_1(uniques, 7);
  f_000_001_011_100_0(uniques, 7);
  f_000_001_011_100_1(uniques, 7);
  f_000_001_011_101_0(uniques, 7);
  f_000_001_011_101_1(uniques, 7);
  f_000_001_011_110_0(uniques, 7);
  f_000_001_011_110_1(uniques, 7);
  f_000_001_011_111_0(uniques, 7);
  f_000_001_011_111_1(uniques, 7);
  f_000_001_110_000_0(uniques, 7);
  f_000_001_110_000_1(uniques, 7);
  f_000_001_110_001_0(uniques, 7);
  f_000_001_110_001_1(uniques, 7);
  f_000_001_110_010_0(uniques, 7);
  f_000_001_110_010_1(uniques, 7);
  f_000_001_110_011_0(uniques, 7);
  f_000_001_110_011_1(uniques, 7);
  f_000_001_110_100_0(uniques, 7);
  f_000_001_110_100_1(uniques, 7);
  f_000_001_110_101_0(uniques, 7);
  f_000_001_110_101_1(uniques, 7);
  f_000_001_110_110_0(uniques, 7);
  f_000_001_110_110_1(uniques, 7);
  f_000_001_110_111_0(uniques, 7);
  f_000_001_110_111_1(uniques, 7);
  f_000_001_111_000_0(uniques, 7);
  f_000_001_111_000_1(uniques, 7);
  f_000_001_111_001_0(uniques, 7);
  f_000_001_111_001_1(uniques, 7);
  f_000_001_111_010_0(uniques, 7);
  f_000_001_111_010_1(uniques, 7);
  f_000_001_111_011_0(uniques, 7);
  f_000_001_111_011_1(uniques, 7);
  f_000_001_111_100_0(uniques, 7);
  f_000_001_111_100_1(uniques, 7);
  f_000_001_111_101_0(uniques, 7);
  f_000_001_111_101_1(uniques, 7);
  f_000_001_111_110_0(uniques, 7);
  f_000_001_111_110_1(uniques, 7);
  f_000_001_111_111_0(uniques, 7);
  f_000_001_111_111_1(uniques, 7);
  f_000_010_010_000_0(uniques, 7);
  f_000_010_010_000_1(uniques, 7);
  f_000_010_010_001_0(uniques, 7);
  f_000_010_010_001_1(uniques, 7);
  f_000_010_010_010_0(uniques, 7);
  f_000_010_010_010_1(uniques, 7);
  f_000_010_010_011_0(uniques, 7);
  f_000_010_010_011_1(uniques, 7);
  f_000_010_010_100_0(uniques, 7);
  f_000_010_010_100_1(uniques, 7);
  f_000_010_010_101_0(uniques, 7);
  f_000_010_010_101_1(uniques, 7);
  f_000_010_010_110_0(uniques, 7);
  f_000_010_010_110_1(uniques, 7);
  f_000_010_010_111_0(uniques, 7);
  f_000_010_010_111_1(uniques, 7);
  f_000_010_011_000_0(uniques, 7);
  f_000_010_011_000_1(uniques, 7);
  f_000_010_011_001_0(uniques, 7);
  f_000_010_011_001_1(uniques, 7);
  f_000_010_011_010_0(uniques, 7);
  f_000_010_011_010_1(uniques, 7);
  f_000_010_011_011_0(uniques, 7);
  f_000_010_011_011_1(uniques, 7);
  f_000_010_011_100_0(uniques, 7);
  f_000_010_011_100_1(uniques, 7);
  f_000_010_011_101_0(uniques, 7);
  f_000_010_011_101_1(uniques, 7);
  f_000_010_011_110_0(uniques, 7);
  f_000_010_011_110_1(uniques, 7);
  f_000_010_011_111_0(uniques, 7);
  f_000_010_011_111_1(uniques, 7);
  f_000_010_110_000_0(uniques, 7);
  f_000_010_110_000_1(uniques, 7);
  f_000_010_110_001_0(uniques, 7);
  f_000_010_110_001_1(uniques, 7);
  f_000_010_110_010_0(uniques, 7);
  f_000_010_110_010_1(uniques, 7);
  f_000_010_110_011_0(uniques, 7);
  f_000_010_110_011_1(uniques, 7);
  f_000_010_110_100_0(uniques, 7);
  f_000_010_110_100_1(uniques, 7);
  f_000_010_110_101_0(uniques, 7);
  f_000_010_110_101_1(uniques, 7);
  f_000_010_110_110_0(uniques, 7);
  f_000_010_110_110_1(uniques, 7);
  f_000_010_110_111_0(uniques, 7);
  f_000_010_110_111_1(uniques, 7);
  f_000_010_111_000_0(uniques, 7);
  f_000_010_111_000_1(uniques, 7);
  f_000_010_111_001_0(uniques, 7);
  f_000_010_111_001_1(uniques, 7);
  f_000_010_111_010_0(uniques, 7);
  f_000_010_111_010_1(uniques, 7);
  f_000_010_111_011_0(uniques, 7);
  f_000_010_111_011_1(uniques, 7);
  f_000_010_111_100_0(uniques, 7);
  f_000_010_111_100_1(uniques, 7);
  f_000_010_111_101_0(uniques, 7);
  f_000_010_111_101_1(uniques, 7);
  f_000_010_111_110_0(uniques, 7);
  f_000_010_111_110_1(uniques, 7);
  f_000_010_111_111_0(uniques, 7);
  f_000_010_111_111_1(uniques, 7);
  f_000_011_010_000_0(uniques, 7);
  f_000_011_010_000_1(uniques, 7);
  f_000_011_010_001_0(uniques, 7);
  f_000_011_010_001_1(uniques, 7);
  f_000_011_010_010_0(uniques, 7);
  f_000_011_010_010_1(uniques, 7);
  f_000_011_010_011_0(uniques, 7);
  f_000_011_010_011_1(uniques, 7);
  f_000_011_010_100_0(uniques, 7);
  f_000_011_010_100_1(uniques, 7);
  f_000_011_010_101_0(uniques, 7);
  f_000_011_010_101_1(uniques, 7);
  f_000_011_010_110_0(uniques, 7);
  f_000_011_010_110_1(uniques, 7);
  f_000_011_010_111_0(uniques, 7);
  f_000_011_010_111_1(uniques, 7);
  f_000_011_011_000_0(uniques, 7);
  f_000_011_011_000_1(uniques, 7);
  f_000_011_011_001_0(uniques, 7);
  f_000_011_011_001_1(uniques, 7);
  f_000_011_011_010_0(uniques, 7);
  f_000_011_011_010_1(uniques, 7);
  f_000_011_011_011_0(uniques, 7);
  f_000_011_011_011_1(uniques, 7);
  f_000_011_011_100_0(uniques, 7);
  f_000_011_011_100_1(uniques, 7);
  f_000_011_011_101_0(uniques, 7);
  f_000_011_011_101_1(uniques, 7);
  f_000_011_011_110_0(uniques, 7);
  f_000_011_011_110_1(uniques, 7);
  f_000_011_011_111_0(uniques, 7);
  f_000_011_011_111_1(uniques, 7);
  f_000_011_110_000_0(uniques, 7);
  f_000_011_110_000_1(uniques, 7);
  f_000_011_110_001_0(uniques, 7);
  f_000_011_110_001_1(uniques, 7);
  f_000_011_110_010_0(uniques, 7);
  f_000_011_110_010_1(uniques, 7);
  f_000_011_110_011_0(uniques, 7);
  f_000_011_110_011_1(uniques, 7);
  f_000_011_110_100_0(uniques, 7);
  f_000_011_110_100_1(uniques, 7);
  f_000_011_110_101_0(uniques, 7);
  f_000_011_110_101_1(uniques, 7);
  f_000_011_110_110_0(uniques, 7);
  f_000_011_110_110_1(uniques, 7);
  f_000_011_110_111_0(uniques, 7);
  f_000_011_110_111_1(uniques, 7);
  f_000_011_111_000_0(uniques, 7);
  f_000_011_111_000_1(uniques, 7);
  f_000_011_111_001_0(uniques, 7);
  f_000_011_111_001_1(uniques, 7);
  f_000_011_111_010_0(uniques, 7);
  f_000_011_111_010_1(uniques, 7);
  f_000_011_111_011_0(uniques, 7);
  f_000_011_111_011_1(uniques, 7);
  f_000_011_111_100_0(uniques, 7);
  f_000_011_111_100_1(uniques, 7);
  f_000_011_111_101_0(uniques, 7);
  f_000_011_111_101_1(uniques, 7);
  f_000_011_111_110_0(uniques, 7);
  f_000_011_111_110_1(uniques, 7);
  f_000_011_111_111_0(uniques, 7);
  f_000_011_111_111_1(uniques, 7);
  f_000_100_010_000_0(uniques, 7);
  f_000_100_010_000_1(uniques, 7);
  f_000_100_010_001_0(uniques, 7);
  f_000_100_010_001_1(uniques, 7);
  f_000_100_010_010_0(uniques, 7);
  f_000_100_010_010_1(uniques, 7);
  f_000_100_010_011_0(uniques, 7);
  f_000_100_010_011_1(uniques, 7);
  f_000_100_010_100_0(uniques, 7);
  f_000_100_010_100_1(uniques, 7);
  f_000_100_010_101_0(uniques, 7);
  f_000_100_010_101_1(uniques, 7);
  f_000_100_010_110_0(uniques, 7);
  f_000_100_010_110_1(uniques, 7);
  f_000_100_010_111_0(uniques, 7);
  f_000_100_010_111_1(uniques, 7);
  f_000_100_011_000_0(uniques, 7);
  f_000_100_011_000_1(uniques, 7);
  f_000_100_011_001_0(uniques, 7);
  f_000_100_011_001_1(uniques, 7);
  f_000_100_011_010_0(uniques, 7);
  f_000_100_011_010_1(uniques, 7);
  f_000_100_011_011_0(uniques, 7);
  f_000_100_011_011_1(uniques, 7);
  f_000_100_011_100_0(uniques, 7);
  f_000_100_011_100_1(uniques, 7);
  f_000_100_011_101_0(uniques, 7);
  f_000_100_011_101_1(uniques, 7);
  f_000_100_011_110_0(uniques, 7);
  f_000_100_011_110_1(uniques, 7);
  f_000_100_011_111_0(uniques, 7);
  f_000_100_011_111_1(uniques, 7);
  f_000_100_110_000_0(uniques, 7);
  f_000_100_110_000_1(uniques, 7);
  f_000_100_110_001_0(uniques, 7);
  f_000_100_110_001_1(uniques, 7);
  f_000_100_110_010_0(uniques, 7);
  f_000_100_110_010_1(uniques, 7);
  f_000_100_110_011_0(uniques, 7);
  f_000_100_110_011_1(uniques, 7);
  f_000_100_110_100_0(uniques, 7);
  f_000_100_110_100_1(uniques, 7);
  f_000_100_110_101_0(uniques, 7);
  f_000_100_110_101_1(uniques, 7);
  f_000_100_110_110_0(uniques, 7);
  f_000_100_110_110_1(uniques, 7);
  f_000_100_110_111_0(uniques, 7);
  f_000_100_110_111_1(uniques, 7);
  f_000_100_111_000_0(uniques, 7);
  f_000_100_111_000_1(uniques, 7);
  f_000_100_111_001_0(uniques, 7);
  f_000_100_111_001_1(uniques, 7);
  f_000_100_111_010_0(uniques, 7);
  f_000_100_111_010_1(uniques, 7);
  f_000_100_111_011_0(uniques, 7);
  f_000_100_111_011_1(uniques, 7);
  f_000_100_111_100_0(uniques, 7);
  f_000_100_111_100_1(uniques, 7);
  f_000_100_111_101_0(uniques, 7);
  f_000_100_111_101_1(uniques, 7);
  f_000_100_111_110_0(uniques, 7);
  f_000_100_111_110_1(uniques, 7);
  f_000_100_111_111_0(uniques, 7);
  f_000_100_111_111_1(uniques, 7);
  f_000_101_010_000_0(uniques, 7);
  f_000_101_010_000_1(uniques, 7);
  f_000_101_010_001_0(uniques, 7);
  f_000_101_010_001_1(uniques, 7);
  f_000_101_010_010_0(uniques, 7);
  f_000_101_010_010_1(uniques, 7);
  f_000_101_010_011_0(uniques, 7);
  f_000_101_010_011_1(uniques, 7);
  f_000_101_010_100_0(uniques, 7);
  f_000_101_010_100_1(uniques, 7);
  f_000_101_010_101_0(uniques, 7);
  f_000_101_010_101_1(uniques, 7);
  f_000_101_010_110_0(uniques, 7);
  f_000_101_010_110_1(uniques, 7);
  f_000_101_010_111_0(uniques, 7);
  f_000_101_010_111_1(uniques, 7);
  f_000_101_011_000_0(uniques, 7);
  f_000_101_011_000_1(uniques, 7);
  f_000_101_011_001_0(uniques, 7);
  f_000_101_011_001_1(uniques, 7);
  f_000_101_011_010_0(uniques, 7);
  f_000_101_011_010_1(uniques, 7);
  f_000_101_011_011_0(uniques, 7);
  f_000_101_011_011_1(uniques, 7);
  f_000_101_011_100_0(uniques, 7);
  f_000_101_011_100_1(uniques, 7);
  f_000_101_011_101_0(uniques, 7);
  f_000_101_011_101_1(uniques, 7);
  f_000_101_011_110_0(uniques, 7);
  f_000_101_011_110_1(uniques, 7);
  f_000_101_011_111_0(uniques, 7);
  f_000_101_011_111_1(uniques, 7);
  f_000_101_110_000_0(uniques, 7);
  f_000_101_110_000_1(uniques, 7);
  f_000_101_110_001_0(uniques, 7);
  f_000_101_110_001_1(uniques, 7);
  f_000_101_110_010_0(uniques, 7);
  f_000_101_110_010_1(uniques, 7);
  f_000_101_110_011_0(uniques, 7);
  f_000_101_110_011_1(uniques, 7);
  f_000_101_110_100_0(uniques, 7);
  f_000_101_110_100_1(uniques, 7);
  f_000_101_110_101_0(uniques, 7);
  f_000_101_110_101_1(uniques, 7);
  f_000_101_110_110_0(uniques, 7);
  f_000_101_110_110_1(uniques, 7);
  f_000_101_110_111_0(uniques, 7);
  f_000_101_110_111_1(uniques, 7);
  f_000_101_111_000_0(uniques, 7);
  f_000_101_111_000_1(uniques, 7);
  f_000_101_111_001_0(uniques, 7);
  f_000_101_111_001_1(uniques, 7);
  f_000_101_111_010_0(uniques, 7);
  f_000_101_111_010_1(uniques, 7);
  f_000_101_111_011_0(uniques, 7);
  f_000_101_111_011_1(uniques, 7);
  f_000_101_111_100_0(uniques, 7);
  f_000_101_111_100_1(uniques, 7);
  f_000_101_111_101_0(uniques, 7);
  f_000_101_111_101_1(uniques, 7);
  f_000_101_111_110_0(uniques, 7);
  f_000_101_111_110_1(uniques, 7);
  f_000_101_111_111_0(uniques, 7);
  f_000_101_111_111_1(uniques, 7);
  f_000_110_010_000_0(uniques, 7);
  f_000_110_010_000_1(uniques, 7);
  f_000_110_010_001_0(uniques, 7);
  f_000_110_010_001_1(uniques, 7);
  f_000_110_010_010_0(uniques, 7);
  f_000_110_010_010_1(uniques, 7);
  f_000_110_010_011_0(uniques, 7);
  f_000_110_010_011_1(uniques, 7);
  f_000_110_010_100_0(uniques, 7);
  f_000_110_010_100_1(uniques, 7);
  f_000_110_010_101_0(uniques, 7);
  f_000_110_010_101_1(uniques, 7);
  f_000_110_010_110_0(uniques, 7);
  f_000_110_010_110_1(uniques, 7);
  f_000_110_010_111_0(uniques, 7);
  f_000_110_010_111_1(uniques, 7);
  f_000_110_011_000_0(uniques, 7);
  f_000_110_011_000_1(uniques, 7);
  f_000_110_011_001_0(uniques, 7);
  f_000_110_011_001_1(uniques, 7);
  f_000_110_011_010_0(uniques, 7);
  f_000_110_011_010_1(uniques, 7);
  f_000_110_011_011_0(uniques, 7);
  f_000_110_011_011_1(uniques, 7);
  f_000_110_011_100_0(uniques, 7);
  f_000_110_011_100_1(uniques, 7);
  f_000_110_011_101_0(uniques, 7);
  f_000_110_011_101_1(uniques, 7);
  f_000_110_011_110_0(uniques, 7);
  f_000_110_011_110_1(uniques, 7);
  f_000_110_011_111_0(uniques, 7);
  f_000_110_011_111_1(uniques, 7);
  f_000_110_110_000_0(uniques, 7);
  f_000_110_110_000_1(uniques, 7);
  f_000_110_110_001_0(uniques, 7);
  f_000_110_110_001_1(uniques, 7);
  f_000_110_110_010_0(uniques, 7);
  f_000_110_110_010_1(uniques, 7);
  f_000_110_110_011_0(uniques, 7);
  f_000_110_110_011_1(uniques, 7);
  f_000_110_110_100_0(uniques, 7);
  f_000_110_110_100_1(uniques, 7);
  f_000_110_110_101_0(uniques, 7);
  f_000_110_110_101_1(uniques, 7);
  f_000_110_110_110_0(uniques, 7);
  f_000_110_110_110_1(uniques, 7);
  f_000_110_110_111_0(uniques, 7);
  f_000_110_110_111_1(uniques, 7);
  f_000_110_111_000_0(uniques, 7);
  f_000_110_111_000_1(uniques, 7);
  f_000_110_111_001_0(uniques, 7);
  f_000_110_111_001_1(uniques, 7);
  f_000_110_111_010_0(uniques, 7);
  f_000_110_111_010_1(uniques, 7);
  f_000_110_111_011_0(uniques, 7);
  f_000_110_111_011_1(uniques, 7);
  f_000_110_111_100_0(uniques, 7);
  f_000_110_111_100_1(uniques, 7);
  f_000_110_111_101_0(uniques, 7);
  f_000_110_111_101_1(uniques, 7);
  f_000_110_111_110_0(uniques, 7);
  f_000_110_111_110_1(uniques, 7);
  f_000_110_111_111_0(uniques, 7);
  f_000_110_111_111_1(uniques, 7);
  f_000_111_010_000_0(uniques, 7);
  f_000_111_010_000_1(uniques, 7);
  f_000_111_010_001_0(uniques, 7);
  f_000_111_010_001_1(uniques, 7);
  f_000_111_010_010_0(uniques, 7);
  f_000_111_010_010_1(uniques, 7);
  f_000_111_010_011_0(uniques, 7);
  f_000_111_010_011_1(uniques, 7);
  f_000_111_010_100_0(uniques, 7);
  f_000_111_010_100_1(uniques, 7);
  f_000_111_010_101_0(uniques, 7);
  f_000_111_010_101_1(uniques, 7);
  f_000_111_010_110_0(uniques, 7);
  f_000_111_010_110_1(uniques, 7);
  f_000_111_010_111_0(uniques, 7);
  f_000_111_010_111_1(uniques, 7);
  f_000_111_011_000_0(uniques, 7);
  f_000_111_011_000_1(uniques, 7);
  f_000_111_011_001_0(uniques, 7);
  f_000_111_011_001_1(uniques, 7);
  f_000_111_011_010_0(uniques, 7);
  f_000_111_011_010_1(uniques, 7);
  f_000_111_011_011_0(uniques, 7);
  f_000_111_011_011_1(uniques, 7);
  f_000_111_011_100_0(uniques, 7);
  f_000_111_011_100_1(uniques, 7);
  f_000_111_011_101_0(uniques, 7);
  f_000_111_011_101_1(uniques, 7);
  f_000_111_011_110_0(uniques, 7);
  f_000_111_011_110_1(uniques, 7);
  f_000_111_011_111_0(uniques, 7);
  f_000_111_011_111_1(uniques, 7);
  f_000_111_110_000_0(uniques, 7);
  f_000_111_110_000_1(uniques, 7);
  f_000_111_110_001_0(uniques, 7);
  f_000_111_110_001_1(uniques, 7);
  f_000_111_110_010_0(uniques, 7);
  f_000_111_110_010_1(uniques, 7);
  f_000_111_110_011_0(uniques, 7);
  f_000_111_110_011_1(uniques, 7);
  f_000_111_110_100_0(uniques, 7);
  f_000_111_110_100_1(uniques, 7);
  f_000_111_110_101_0(uniques, 7);
  f_000_111_110_101_1(uniques, 7);
  f_000_111_110_110_0(uniques, 7);
  f_000_111_110_110_1(uniques, 7);
  f_000_111_110_111_0(uniques, 7);
  f_000_111_110_111_1(uniques, 7);
  f_000_111_111_000_0(uniques, 7);
  f_000_111_111_000_1(uniques, 7);
  f_000_111_111_001_0(uniques, 7);
  f_000_111_111_001_1(uniques, 7);
  f_000_111_111_010_0(uniques, 7);
  f_000_111_111_010_1(uniques, 7);
  f_000_111_111_011_0(uniques, 7);
  f_000_111_111_011_1(uniques, 7);
  f_000_111_111_100_0(uniques, 7);
  f_000_111_111_100_1(uniques, 7);
  f_000_111_111_101_0(uniques, 7);
  f_000_111_111_101_1(uniques, 7);
  f_000_111_111_110_0(uniques, 7);
  f_000_111_111_110_1(uniques, 7);
  f_000_111_111_111_0(uniques, 7);
  f_000_111_111_111_1(uniques, 7);
  f_001_000_010_000_0(uniques, 7);
  f_001_000_010_000_1(uniques, 7);
  f_001_000_010_001_0(uniques, 7);
  f_001_000_010_001_1(uniques, 7);
  f_001_000_010_010_0(uniques, 7);
  f_001_000_010_010_1(uniques, 7);
  f_001_000_010_011_0(uniques, 7);
  f_001_000_010_011_1(uniques, 7);
  f_001_000_010_100_0(uniques, 7);
  f_001_000_010_100_1(uniques, 7);
  f_001_000_010_101_0(uniques, 7);
  f_001_000_010_101_1(uniques, 7);
  f_001_000_010_110_0(uniques, 7);
  f_001_000_010_110_1(uniques, 7);
  f_001_000_010_111_0(uniques, 7);
  f_001_000_010_111_1(uniques, 7);
  f_001_000_011_000_0(uniques, 7);
  f_001_000_011_000_1(uniques, 7);
  f_001_000_011_001_0(uniques, 7);
  f_001_000_011_001_1(uniques, 7);
  f_001_000_011_010_0(uniques, 7);
  f_001_000_011_010_1(uniques, 7);
  f_001_000_011_011_0(uniques, 7);
  f_001_000_011_011_1(uniques, 7);
  f_001_000_011_100_0(uniques, 7);
  f_001_000_011_100_1(uniques, 7);
  f_001_000_011_101_0(uniques, 7);
  f_001_000_011_101_1(uniques, 7);
  f_001_000_011_110_0(uniques, 7);
  f_001_000_011_110_1(uniques, 7);
  f_001_000_011_111_0(uniques, 7);
  f_001_000_011_111_1(uniques, 7);
  f_001_000_110_000_0(uniques, 7);
  f_001_000_110_000_1(uniques, 7);
  f_001_000_110_001_0(uniques, 7);
  f_001_000_110_001_1(uniques, 7);
  f_001_000_110_010_0(uniques, 7);
  f_001_000_110_010_1(uniques, 7);
  f_001_000_110_011_0(uniques, 7);
  f_001_000_110_011_1(uniques, 7);
  f_001_000_110_100_0(uniques, 7);
  f_001_000_110_100_1(uniques, 7);
  f_001_000_110_101_0(uniques, 7);
  f_001_000_110_101_1(uniques, 7);
  f_001_000_110_110_0(uniques, 7);
  f_001_000_110_110_1(uniques, 7);
  f_001_000_110_111_0(uniques, 7);
  f_001_000_110_111_1(uniques, 7);
  f_001_000_111_000_0(uniques, 7);
  f_001_000_111_000_1(uniques, 7);
  f_001_000_111_001_0(uniques, 7);
  f_001_000_111_001_1(uniques, 7);
  f_001_000_111_010_0(uniques, 7);
  f_001_000_111_010_1(uniques, 7);
  f_001_000_111_011_0(uniques, 7);
  f_001_000_111_011_1(uniques, 7);
  f_001_000_111_100_0(uniques, 7);
  f_001_000_111_100_1(uniques, 7);
  f_001_000_111_101_0(uniques, 7);
  f_001_000_111_101_1(uniques, 7);
  f_001_000_111_110_0(uniques, 7);
  f_001_000_111_110_1(uniques, 7);
  f_001_000_111_111_0(uniques, 7);
  f_001_000_111_111_1(uniques, 7);
  f_001_001_010_000_0(uniques, 7);
  f_001_001_010_000_1(uniques, 7);
  f_001_001_010_001_0(uniques, 7);
  f_001_001_010_001_1(uniques, 7);
  f_001_001_010_010_0(uniques, 7);
  f_001_001_010_010_1(uniques, 7);
  f_001_001_010_011_0(uniques, 7);
  f_001_001_010_011_1(uniques, 7);
  f_001_001_010_100_0(uniques, 7);
  f_001_001_010_100_1(uniques, 7);
  f_001_001_010_101_0(uniques, 7);
  f_001_001_010_101_1(uniques, 7);
  f_001_001_010_110_0(uniques, 7);
  f_001_001_010_110_1(uniques, 7);
  f_001_001_010_111_0(uniques, 7);
  f_001_001_010_111_1(uniques, 7);
  f_001_001_011_000_0(uniques, 7);
  f_001_001_011_000_1(uniques, 7);
  f_001_001_011_001_0(uniques, 7);
  f_001_001_011_001_1(uniques, 7);
  f_001_001_011_010_0(uniques, 7);
  f_001_001_011_010_1(uniques, 7);
  f_001_001_011_011_0(uniques, 7);
  f_001_001_011_011_1(uniques, 7);
  f_001_001_011_100_0(uniques, 7);
  f_001_001_011_100_1(uniques, 7);
  f_001_001_011_101_0(uniques, 7);
  f_001_001_011_101_1(uniques, 7);
  f_001_001_011_110_0(uniques, 7);
  f_001_001_011_110_1(uniques, 7);
  f_001_001_011_111_0(uniques, 7);
  f_001_001_011_111_1(uniques, 7);
  f_001_001_110_000_0(uniques, 7);
  f_001_001_110_000_1(uniques, 7);
  f_001_001_110_001_0(uniques, 7);
  f_001_001_110_001_1(uniques, 7);
  f_001_001_110_010_0(uniques, 7);
  f_001_001_110_010_1(uniques, 7);
  f_001_001_110_011_0(uniques, 7);
  f_001_001_110_011_1(uniques, 7);
  f_001_001_110_100_0(uniques, 7);
  f_001_001_110_100_1(uniques, 7);
  f_001_001_110_101_0(uniques, 7);
  f_001_001_110_101_1(uniques, 7);
  f_001_001_110_110_0(uniques, 7);
  f_001_001_110_110_1(uniques, 7);
  f_001_001_110_111_0(uniques, 7);
  f_001_001_110_111_1(uniques, 7);
  f_001_001_111_000_0(uniques, 7);
  f_001_001_111_000_1(uniques, 7);
  f_001_001_111_001_0(uniques, 7);
  f_001_001_111_001_1(uniques, 7);
  f_001_001_111_010_0(uniques, 7);
  f_001_001_111_010_1(uniques, 7);
  f_001_001_111_011_0(uniques, 7);
  f_001_001_111_011_1(uniques, 7);
  f_001_001_111_100_0(uniques, 7);
  f_001_001_111_100_1(uniques, 7);
  f_001_001_111_101_0(uniques, 7);
  f_001_001_111_101_1(uniques, 7);
  f_001_001_111_110_0(uniques, 7);
  f_001_001_111_110_1(uniques, 7);
  f_001_001_111_111_0(uniques, 7);
  f_001_001_111_111_1(uniques, 7);
  f_001_010_010_000_0(uniques, 7);
  f_001_010_010_000_1(uniques, 7);
  f_001_010_010_001_0(uniques, 7);
  f_001_010_010_001_1(uniques, 7);
  f_001_010_010_010_0(uniques, 7);
  f_001_010_010_010_1(uniques, 7);
  f_001_010_010_011_0(uniques, 7);
  f_001_010_010_011_1(uniques, 7);
  f_001_010_010_100_0(uniques, 7);
  f_001_010_010_100_1(uniques, 7);
  f_001_010_010_101_0(uniques, 7);
  f_001_010_010_101_1(uniques, 7);
  f_001_010_010_110_0(uniques, 7);
  f_001_010_010_110_1(uniques, 7);
  f_001_010_010_111_0(uniques, 7);
  f_001_010_010_111_1(uniques, 7);
  f_001_010_011_000_0(uniques, 7);
  f_001_010_011_000_1(uniques, 7);
  f_001_010_011_001_0(uniques, 7);
  f_001_010_011_001_1(uniques, 7);
  f_001_010_011_010_0(uniques, 7);
  f_001_010_011_010_1(uniques, 7);
  f_001_010_011_011_0(uniques, 7);
  f_001_010_011_011_1(uniques, 7);
  f_001_010_011_100_0(uniques, 7);
  f_001_010_011_100_1(uniques, 7);
  f_001_010_011_101_0(uniques, 7);
  f_001_010_011_101_1(uniques, 7);
  f_001_010_011_110_0(uniques, 7);
  f_001_010_011_110_1(uniques, 7);
  f_001_010_011_111_0(uniques, 7);
  f_001_010_011_111_1(uniques, 7);
  f_001_010_110_000_0(uniques, 7);
  f_001_010_110_000_1(uniques, 7);
  f_001_010_110_001_0(uniques, 7);
  f_001_010_110_001_1(uniques, 7);
  f_001_010_110_010_0(uniques, 7);
  f_001_010_110_010_1(uniques, 7);
  f_001_010_110_011_0(uniques, 7);
  f_001_010_110_011_1(uniques, 7);
  f_001_010_110_100_0(uniques, 7);
  f_001_010_110_100_1(uniques, 7);
  f_001_010_110_101_0(uniques, 7);
  f_001_010_110_101_1(uniques, 7);
  f_001_010_110_110_0(uniques, 7);
  f_001_010_110_110_1(uniques, 7);
  f_001_010_110_111_0(uniques, 7);
  f_001_010_110_111_1(uniques, 7);
  f_001_010_111_000_0(uniques, 7);
  f_001_010_111_000_1(uniques, 7);
  f_001_010_111_001_0(uniques, 7);
  f_001_010_111_001_1(uniques, 7);
  f_001_010_111_010_0(uniques, 7);
  f_001_010_111_010_1(uniques, 7);
  f_001_010_111_011_0(uniques, 7);
  f_001_010_111_011_1(uniques, 7);
  f_001_010_111_100_0(uniques, 7);
  f_001_010_111_100_1(uniques, 7);
  f_001_010_111_101_0(uniques, 7);
  f_001_010_111_101_1(uniques, 7);
  f_001_010_111_110_0(uniques, 7);
  f_001_010_111_110_1(uniques, 7);
  f_001_010_111_111_0(uniques, 7);
  f_001_010_111_111_1(uniques, 7);
  f_001_011_010_000_0(uniques, 7);
  f_001_011_010_000_1(uniques, 7);
  f_001_011_010_001_0(uniques, 7);
  f_001_011_010_001_1(uniques, 7);
  f_001_011_010_010_0(uniques, 7);
  f_001_011_010_010_1(uniques, 7);
  f_001_011_010_011_0(uniques, 7);
  f_001_011_010_011_1(uniques, 7);
  f_001_011_010_100_0(uniques, 7);
  f_001_011_010_100_1(uniques, 7);
  f_001_011_010_101_0(uniques, 7);
  f_001_011_010_101_1(uniques, 7);
  f_001_011_010_110_0(uniques, 7);
  f_001_011_010_110_1(uniques, 7);
  f_001_011_010_111_0(uniques, 7);
  f_001_011_010_111_1(uniques, 7);
  f_001_011_011_000_0(uniques, 7);
  f_001_011_011_000_1(uniques, 7);
  f_001_011_011_001_0(uniques, 7);
  f_001_011_011_001_1(uniques, 7);
  f_001_011_011_010_0(uniques, 7);
  f_001_011_011_010_1(uniques, 7);
  f_001_011_011_011_0(uniques, 7);
  f_001_011_011_011_1(uniques, 7);
  f_001_011_011_100_0(uniques, 7);
  f_001_011_011_100_1(uniques, 7);
  f_001_011_011_101_0(uniques, 7);
  f_001_011_011_101_1(uniques, 7);
  f_001_011_011_110_0(uniques, 7);
  f_001_011_011_110_1(uniques, 7);
  f_001_011_011_111_0(uniques, 7);
  f_001_011_011_111_1(uniques, 7);
  f_001_011_110_000_0(uniques, 7);
  f_001_011_110_000_1(uniques, 7);
  f_001_011_110_001_0(uniques, 7);
  f_001_011_110_001_1(uniques, 7);
  f_001_011_110_010_0(uniques, 7);
  f_001_011_110_010_1(uniques, 7);
  f_001_011_110_011_0(uniques, 7);
  f_001_011_110_011_1(uniques, 7);
  f_001_011_110_100_0(uniques, 7);
  f_001_011_110_100_1(uniques, 7);
  f_001_011_110_101_0(uniques, 7);
  f_001_011_110_101_1(uniques, 7);
  f_001_011_110_110_0(uniques, 7);
  f_001_011_110_110_1(uniques, 7);
  f_001_011_110_111_0(uniques, 7);
  f_001_011_110_111_1(uniques, 7);
  f_001_011_111_000_0(uniques, 7);
  f_001_011_111_000_1(uniques, 7);
  f_001_011_111_001_0(uniques, 7);
  f_001_011_111_001_1(uniques, 7);
  f_001_011_111_010_0(uniques, 7);
  f_001_011_111_010_1(uniques, 7);
  f_001_011_111_011_0(uniques, 7);
  f_001_011_111_011_1(uniques, 7);
  f_001_011_111_100_0(uniques, 7);
  f_001_011_111_100_1(uniques, 7);
  f_001_011_111_101_0(uniques, 7);
  f_001_011_111_101_1(uniques, 7);
  f_001_011_111_110_0(uniques, 7);
  f_001_011_111_110_1(uniques, 7);
  f_001_011_111_111_0(uniques, 7);
  f_001_011_111_111_1(uniques, 7);
  f_001_100_010_000_0(uniques, 7);
  f_001_100_010_000_1(uniques, 7);
  f_001_100_010_001_0(uniques, 7);
  f_001_100_010_001_1(uniques, 7);
  f_001_100_010_010_0(uniques, 7);
  f_001_100_010_010_1(uniques, 7);
  f_001_100_010_011_0(uniques, 7);
  f_001_100_010_011_1(uniques, 7);
  f_001_100_010_100_0(uniques, 7);
  f_001_100_010_100_1(uniques, 7);
  f_001_100_010_101_0(uniques, 7);
  f_001_100_010_101_1(uniques, 7);
  f_001_100_010_110_0(uniques, 7);
  f_001_100_010_110_1(uniques, 7);
  f_001_100_010_111_0(uniques, 7);
  f_001_100_010_111_1(uniques, 7);
  f_001_100_011_000_0(uniques, 7);
  f_001_100_011_000_1(uniques, 7);
  f_001_100_011_001_0(uniques, 7);
  f_001_100_011_001_1(uniques, 7);
  f_001_100_011_010_0(uniques, 7);
  f_001_100_011_010_1(uniques, 7);
  f_001_100_011_011_0(uniques, 7);
  f_001_100_011_011_1(uniques, 7);
  f_001_100_011_100_0(uniques, 7);
  f_001_100_011_100_1(uniques, 7);
  f_001_100_011_101_0(uniques, 7);
  f_001_100_011_101_1(uniques, 7);
  f_001_100_011_110_0(uniques, 7);
  f_001_100_011_110_1(uniques, 7);
  f_001_100_011_111_0(uniques, 7);
  f_001_100_011_111_1(uniques, 7);
  f_001_100_110_000_0(uniques, 7);
  f_001_100_110_000_1(uniques, 7);
  f_001_100_110_001_0(uniques, 7);
  f_001_100_110_001_1(uniques, 7);
  f_001_100_110_010_0(uniques, 7);
  f_001_100_110_010_1(uniques, 7);
  f_001_100_110_011_0(uniques, 7);
  f_001_100_110_011_1(uniques, 7);
  f_001_100_110_100_0(uniques, 7);
  f_001_100_110_100_1(uniques, 7);
  f_001_100_110_101_0(uniques, 7);
  f_001_100_110_101_1(uniques, 7);
  f_001_100_110_110_0(uniques, 7);
  f_001_100_110_110_1(uniques, 7);
  f_001_100_110_111_0(uniques, 7);
  f_001_100_110_111_1(uniques, 7);
  f_001_100_111_000_0(uniques, 7);
  f_001_100_111_000_1(uniques, 7);
  f_001_100_111_001_0(uniques, 7);
  f_001_100_111_001_1(uniques, 7);
  f_001_100_111_010_0(uniques, 7);
  f_001_100_111_010_1(uniques, 7);
  f_001_100_111_011_0(uniques, 7);
  f_001_100_111_011_1(uniques, 7);
  f_001_100_111_100_0(uniques, 7);
  f_001_100_111_100_1(uniques, 7);
  f_001_100_111_101_0(uniques, 7);
  f_001_100_111_101_1(uniques, 7);
  f_001_100_111_110_0(uniques, 7);
  f_001_100_111_110_1(uniques, 7);
  f_001_100_111_111_0(uniques, 7);
  f_001_100_111_111_1(uniques, 7);
  f_001_101_010_000_0(uniques, 7);
  f_001_101_010_000_1(uniques, 7);
  f_001_101_010_001_0(uniques, 7);
  f_001_101_010_001_1(uniques, 7);
  f_001_101_010_010_0(uniques, 7);
  f_001_101_010_010_1(uniques, 7);
  f_001_101_010_011_0(uniques, 7);
  f_001_101_010_011_1(uniques, 7);
  f_001_101_010_100_0(uniques, 7);
  f_001_101_010_100_1(uniques, 7);
  f_001_101_010_101_0(uniques, 7);
  f_001_101_010_101_1(uniques, 7);
  f_001_101_010_110_0(uniques, 7);
  f_001_101_010_110_1(uniques, 7);
  f_001_101_010_111_0(uniques, 7);
  f_001_101_010_111_1(uniques, 7);
  f_001_101_011_000_0(uniques, 7);
  f_001_101_011_000_1(uniques, 7);
  f_001_101_011_001_0(uniques, 7);
  f_001_101_011_001_1(uniques, 7);
  f_001_101_011_010_0(uniques, 7);
  f_001_101_011_010_1(uniques, 7);
  f_001_101_011_011_0(uniques, 7);
  f_001_101_011_011_1(uniques, 7);
  f_001_101_011_100_0(uniques, 7);
  f_001_101_011_100_1(uniques, 7);
  f_001_101_011_101_0(uniques, 7);
  f_001_101_011_101_1(uniques, 7);
  f_001_101_011_110_0(uniques, 7);
  f_001_101_011_110_1(uniques, 7);
  f_001_101_011_111_0(uniques, 7);
  f_001_101_011_111_1(uniques, 7);
  f_001_101_110_000_0(uniques, 7);
  f_001_101_110_000_1(uniques, 7);
  f_001_101_110_001_0(uniques, 7);
  f_001_101_110_001_1(uniques, 7);
  f_001_101_110_010_0(uniques, 7);
  f_001_101_110_010_1(uniques, 7);
  f_001_101_110_011_0(uniques, 7);
  f_001_101_110_011_1(uniques, 7);
  f_001_101_110_100_0(uniques, 7);
  f_001_101_110_100_1(uniques, 7);
  f_001_101_110_101_0(uniques, 7);
  f_001_101_110_101_1(uniques, 7);
  f_001_101_110_110_0(uniques, 7);
  f_001_101_110_110_1(uniques, 7);
  f_001_101_110_111_0(uniques, 7);
  f_001_101_110_111_1(uniques, 7);
  f_001_101_111_000_0(uniques, 7);
  f_001_101_111_000_1(uniques, 7);
  f_001_101_111_001_0(uniques, 7);
  f_001_101_111_001_1(uniques, 7);
  f_001_101_111_010_0(uniques, 7);
  f_001_101_111_010_1(uniques, 7);
  f_001_101_111_011_0(uniques, 7);
  f_001_101_111_011_1(uniques, 7);
  f_001_101_111_100_0(uniques, 7);
  f_001_101_111_100_1(uniques, 7);
  f_001_101_111_101_0(uniques, 7);
  f_001_101_111_101_1(uniques, 7);
  f_001_101_111_110_0(uniques, 7);
  f_001_101_111_110_1(uniques, 7);
  f_001_101_111_111_0(uniques, 7);
  f_001_101_111_111_1(uniques, 7);
  f_001_110_010_000_0(uniques, 7);
  f_001_110_010_000_1(uniques, 7);
  f_001_110_010_001_0(uniques, 7);
  f_001_110_010_001_1(uniques, 7);
  f_001_110_010_010_0(uniques, 7);
  f_001_110_010_010_1(uniques, 7);
  f_001_110_010_011_0(uniques, 7);
  f_001_110_010_011_1(uniques, 7);
  f_001_110_010_100_0(uniques, 7);
  f_001_110_010_100_1(uniques, 7);
  f_001_110_010_101_0(uniques, 7);
  f_001_110_010_101_1(uniques, 7);
  f_001_110_010_110_0(uniques, 7);
  f_001_110_010_110_1(uniques, 7);
  f_001_110_010_111_0(uniques, 7);
  f_001_110_010_111_1(uniques, 7);
  f_001_110_011_000_0(uniques, 7);
  f_001_110_011_000_1(uniques, 7);
  f_001_110_011_001_0(uniques, 7);
  f_001_110_011_001_1(uniques, 7);
  f_001_110_011_010_0(uniques, 7);
  f_001_110_011_010_1(uniques, 7);
  f_001_110_011_011_0(uniques, 7);
  f_001_110_011_011_1(uniques, 7);
  f_001_110_011_100_0(uniques, 7);
  f_001_110_011_100_1(uniques, 7);
  f_001_110_011_101_0(uniques, 7);
  f_001_110_011_101_1(uniques, 7);
  f_001_110_011_110_0(uniques, 7);
  f_001_110_011_110_1(uniques, 7);
  f_001_110_011_111_0(uniques, 7);
  f_001_110_011_111_1(uniques, 7);
  f_001_110_110_000_0(uniques, 7);
  f_001_110_110_000_1(uniques, 7);
  f_001_110_110_001_0(uniques, 7);
  f_001_110_110_001_1(uniques, 7);
  f_001_110_110_010_0(uniques, 7);
  f_001_110_110_010_1(uniques, 7);
  f_001_110_110_011_0(uniques, 7);
  f_001_110_110_011_1(uniques, 7);
  f_001_110_110_100_0(uniques, 7);
  f_001_110_110_100_1(uniques, 7);
  f_001_110_110_101_0(uniques, 7);
  f_001_110_110_101_1(uniques, 7);
  f_001_110_110_110_0(uniques, 7);
  f_001_110_110_110_1(uniques, 7);
  f_001_110_110_111_0(uniques, 7);
  f_001_110_110_111_1(uniques, 7);
  f_001_110_111_000_0(uniques, 7);
  f_001_110_111_000_1(uniques, 7);
  f_001_110_111_001_0(uniques, 7);
  f_001_110_111_001_1(uniques, 7);
  f_001_110_111_010_0(uniques, 7);
  f_001_110_111_010_1(uniques, 7);
  f_001_110_111_011_0(uniques, 7);
  f_001_110_111_011_1(uniques, 7);
  f_001_110_111_100_0(uniques, 7);
  f_001_110_111_100_1(uniques, 7);
  f_001_110_111_101_0(uniques, 7);
  f_001_110_111_101_1(uniques, 7);
  f_001_110_111_110_0(uniques, 7);
  f_001_110_111_110_1(uniques, 7);
  f_001_110_111_111_0(uniques, 7);
  f_001_110_111_111_1(uniques, 7);
  f_001_111_010_000_0(uniques, 7);
  f_001_111_010_000_1(uniques, 7);
  f_001_111_010_001_0(uniques, 7);
  f_001_111_010_001_1(uniques, 7);
  f_001_111_010_010_0(uniques, 7);
  f_001_111_010_010_1(uniques, 7);
  f_001_111_010_011_0(uniques, 7);
  f_001_111_010_011_1(uniques, 7);
  f_001_111_010_100_0(uniques, 7);
  f_001_111_010_100_1(uniques, 7);
  f_001_111_010_101_0(uniques, 7);
  f_001_111_010_101_1(uniques, 7);
  f_001_111_010_110_0(uniques, 7);
  f_001_111_010_110_1(uniques, 7);
  f_001_111_010_111_0(uniques, 7);
  f_001_111_010_111_1(uniques, 7);
  f_001_111_011_000_0(uniques, 7);
  f_001_111_011_000_1(uniques, 7);
  f_001_111_011_001_0(uniques, 7);
  f_001_111_011_001_1(uniques, 7);
  f_001_111_011_010_0(uniques, 7);
  f_001_111_011_010_1(uniques, 7);
  f_001_111_011_011_0(uniques, 7);
  f_001_111_011_011_1(uniques, 7);
  f_001_111_011_100_0(uniques, 7);
  f_001_111_011_100_1(uniques, 7);
  f_001_111_011_101_0(uniques, 7);
  f_001_111_011_101_1(uniques, 7);
  f_001_111_011_110_0(uniques, 7);
  f_001_111_011_110_1(uniques, 7);
  f_001_111_011_111_0(uniques, 7);
  f_001_111_011_111_1(uniques, 7);
  f_001_111_110_000_0(uniques, 7);
  f_001_111_110_000_1(uniques, 7);
  f_001_111_110_001_0(uniques, 7);
  f_001_111_110_001_1(uniques, 7);
  f_001_111_110_010_0(uniques, 7);
  f_001_111_110_010_1(uniques, 7);
  f_001_111_110_011_0(uniques, 7);
  f_001_111_110_011_1(uniques, 7);
  f_001_111_110_100_0(uniques, 7);
  f_001_111_110_100_1(uniques, 7);
  f_001_111_110_101_0(uniques, 7);
  f_001_111_110_101_1(uniques, 7);
  f_001_111_110_110_0(uniques, 7);
  f_001_111_110_110_1(uniques, 7);
  f_001_111_110_111_0(uniques, 7);
  f_001_111_110_111_1(uniques, 7);
  f_001_111_111_000_0(uniques, 7);
  f_001_111_111_000_1(uniques, 7);
  f_001_111_111_001_0(uniques, 7);
  f_001_111_111_001_1(uniques, 7);
  f_001_111_111_010_0(uniques, 7);
  f_001_111_111_010_1(uniques, 7);
  f_001_111_111_011_0(uniques, 7);
  f_001_111_111_011_1(uniques, 7);
  f_001_111_111_100_0(uniques, 7);
  f_001_111_111_100_1(uniques, 7);
  f_001_111_111_101_0(uniques, 7);
  f_001_111_111_101_1(uniques, 7);
  f_001_111_111_110_0(uniques, 7);
  f_001_111_111_110_1(uniques, 7);
  f_001_111_111_111_0(uniques, 7);
  f_001_111_111_111_1(uniques, 7);
  f_010_000_010_000_0(uniques, 7);
  f_010_000_010_000_1(uniques, 7);
  f_010_000_010_001_0(uniques, 7);
  f_010_000_010_001_1(uniques, 7);
  f_010_000_010_010_0(uniques, 7);
  f_010_000_010_010_1(uniques, 7);
  f_010_000_010_011_0(uniques, 7);
  f_010_000_010_011_1(uniques, 7);
  f_010_000_010_100_0(uniques, 7);
  f_010_000_010_100_1(uniques, 7);
  f_010_000_010_101_0(uniques, 7);
  f_010_000_010_101_1(uniques, 7);
  f_010_000_010_110_0(uniques, 7);
  f_010_000_010_110_1(uniques, 7);
  f_010_000_010_111_0(uniques, 7);
  f_010_000_010_111_1(uniques, 7);
  f_010_000_011_000_0(uniques, 7);
  f_010_000_011_000_1(uniques, 7);
  f_010_000_011_001_0(uniques, 7);
  f_010_000_011_001_1(uniques, 7);
  f_010_000_011_010_0(uniques, 7);
  f_010_000_011_010_1(uniques, 7);
  f_010_000_011_011_0(uniques, 7);
  f_010_000_011_011_1(uniques, 7);
  f_010_000_011_100_0(uniques, 7);
  f_010_000_011_100_1(uniques, 7);
  f_010_000_011_101_0(uniques, 7);
  f_010_000_011_101_1(uniques, 7);
  f_010_000_011_110_0(uniques, 7);
  f_010_000_011_110_1(uniques, 7);
  f_010_000_011_111_0(uniques, 7);
  f_010_000_011_111_1(uniques, 7);
  f_010_000_110_000_0(uniques, 7);
  f_010_000_110_000_1(uniques, 7);
  f_010_000_110_001_0(uniques, 7);
  f_010_000_110_001_1(uniques, 7);
  f_010_000_110_010_0(uniques, 7);
  f_010_000_110_010_1(uniques, 7);
  f_010_000_110_011_0(uniques, 7);
  f_010_000_110_011_1(uniques, 7);
  f_010_000_110_100_0(uniques, 7);
  f_010_000_110_100_1(uniques, 7);
  f_010_000_110_101_0(uniques, 7);
  f_010_000_110_101_1(uniques, 7);
  f_010_000_110_110_0(uniques, 7);
  f_010_000_110_110_1(uniques, 7);
  f_010_000_110_111_0(uniques, 7);
  f_010_000_110_111_1(uniques, 7);
  f_010_000_111_000_0(uniques, 7);
  f_010_000_111_000_1(uniques, 7);
  f_010_000_111_001_0(uniques, 7);
  f_010_000_111_001_1(uniques, 7);
  f_010_000_111_010_0(uniques, 7);
  f_010_000_111_010_1(uniques, 7);
  f_010_000_111_011_0(uniques, 7);
  f_010_000_111_011_1(uniques, 7);
  f_010_000_111_100_0(uniques, 7);
  f_010_000_111_100_1(uniques, 7);
  f_010_000_111_101_0(uniques, 7);
  f_010_000_111_101_1(uniques, 7);
  f_010_000_111_110_0(uniques, 7);
  f_010_000_111_110_1(uniques, 7);
  f_010_000_111_111_0(uniques, 7);
  f_010_000_111_111_1(uniques, 7);
  f_010_001_010_000_0(uniques, 7);
  f_010_001_010_000_1(uniques, 7);
  f_010_001_010_001_0(uniques, 7);
  f_010_001_010_001_1(uniques, 7);
  f_010_001_010_010_0(uniques, 7);
  f_010_001_010_010_1(uniques, 7);
  f_010_001_010_011_0(uniques, 7);
  f_010_001_010_011_1(uniques, 7);
  f_010_001_010_100_0(uniques, 7);
  f_010_001_010_100_1(uniques, 7);
  f_010_001_010_101_0(uniques, 7);
  f_010_001_010_101_1(uniques, 7);
  f_010_001_010_110_0(uniques, 7);
  f_010_001_010_110_1(uniques, 7);
  f_010_001_010_111_0(uniques, 7);
  f_010_001_010_111_1(uniques, 7);
  f_010_001_011_000_0(uniques, 7);
  f_010_001_011_000_1(uniques, 7);
  f_010_001_011_001_0(uniques, 7);
  f_010_001_011_001_1(uniques, 7);
  f_010_001_011_010_0(uniques, 7);
  f_010_001_011_010_1(uniques, 7);
  f_010_001_011_011_0(uniques, 7);
  f_010_001_011_011_1(uniques, 7);
  f_010_001_011_100_0(uniques, 7);
  f_010_001_011_100_1(uniques, 7);
  f_010_001_011_101_0(uniques, 7);
  f_010_001_011_101_1(uniques, 7);
  f_010_001_011_110_0(uniques, 7);
  f_010_001_011_110_1(uniques, 7);
  f_010_001_011_111_0(uniques, 7);
  f_010_001_011_111_1(uniques, 7);
  f_010_001_110_000_0(uniques, 7);
  f_010_001_110_000_1(uniques, 7);
  f_010_001_110_001_0(uniques, 7);
  f_010_001_110_001_1(uniques, 7);
  f_010_001_110_010_0(uniques, 7);
  f_010_001_110_010_1(uniques, 7);
  f_010_001_110_011_0(uniques, 7);
  f_010_001_110_011_1(uniques, 7);
  f_010_001_110_100_0(uniques, 7);
  f_010_001_110_100_1(uniques, 7);
  f_010_001_110_101_0(uniques, 7);
  f_010_001_110_101_1(uniques, 7);
  f_010_001_110_110_0(uniques, 7);
  f_010_001_110_110_1(uniques, 7);
  f_010_001_110_111_0(uniques, 7);
  f_010_001_110_111_1(uniques, 7);
  f_010_001_111_000_0(uniques, 7);
  f_010_001_111_000_1(uniques, 7);
  f_010_001_111_001_0(uniques, 7);
  f_010_001_111_001_1(uniques, 7);
  f_010_001_111_010_0(uniques, 7);
  f_010_001_111_010_1(uniques, 7);
  f_010_001_111_011_0(uniques, 7);
  f_010_001_111_011_1(uniques, 7);
  f_010_001_111_100_0(uniques, 7);
  f_010_001_111_100_1(uniques, 7);
  f_010_001_111_101_0(uniques, 7);
  f_010_001_111_101_1(uniques, 7);
  f_010_001_111_110_0(uniques, 7);
  f_010_001_111_110_1(uniques, 7);
  f_010_001_111_111_0(uniques, 7);
  f_010_001_111_111_1(uniques, 7);
  f_010_010_010_000_0(uniques, 7);
  f_010_010_010_000_1(uniques, 7);
  f_010_010_010_001_0(uniques, 7);
  f_010_010_010_001_1(uniques, 7);
  f_010_010_010_010_0(uniques, 7);
  f_010_010_010_010_1(uniques, 7);
  f_010_010_010_011_0(uniques, 7);
  f_010_010_010_011_1(uniques, 7);
  f_010_010_010_100_0(uniques, 7);
  f_010_010_010_100_1(uniques, 7);
  f_010_010_010_101_0(uniques, 7);
  f_010_010_010_101_1(uniques, 7);
  f_010_010_010_110_0(uniques, 7);
  f_010_010_010_110_1(uniques, 7);
  f_010_010_010_111_0(uniques, 7);
  f_010_010_010_111_1(uniques, 7);
  f_010_010_011_000_0(uniques, 7);
  f_010_010_011_000_1(uniques, 7);
  f_010_010_011_001_0(uniques, 7);
  f_010_010_011_001_1(uniques, 7);
  f_010_010_011_010_0(uniques, 7);
  f_010_010_011_010_1(uniques, 7);
  f_010_010_011_011_0(uniques, 7);
  f_010_010_011_011_1(uniques, 7);
  f_010_010_011_100_0(uniques, 7);
  f_010_010_011_100_1(uniques, 7);
  f_010_010_011_101_0(uniques, 7);
  f_010_010_011_101_1(uniques, 7);
  f_010_010_011_110_0(uniques, 7);
  f_010_010_011_110_1(uniques, 7);
  f_010_010_011_111_0(uniques, 7);
  f_010_010_011_111_1(uniques, 7);
  f_010_010_110_000_0(uniques, 7);
  f_010_010_110_000_1(uniques, 7);
  f_010_010_110_001_0(uniques, 7);
  f_010_010_110_001_1(uniques, 7);
  f_010_010_110_010_0(uniques, 7);
  f_010_010_110_010_1(uniques, 7);
  f_010_010_110_011_0(uniques, 7);
  f_010_010_110_011_1(uniques, 7);
  f_010_010_110_100_0(uniques, 7);
  f_010_010_110_100_1(uniques, 7);
  f_010_010_110_101_0(uniques, 7);
  f_010_010_110_101_1(uniques, 7);
  f_010_010_110_110_0(uniques, 7);
  f_010_010_110_110_1(uniques, 7);
  f_010_010_110_111_0(uniques, 7);
  f_010_010_110_111_1(uniques, 7);
  f_010_010_111_000_0(uniques, 7);
  f_010_010_111_000_1(uniques, 7);
  f_010_010_111_001_0(uniques, 7);
  f_010_010_111_001_1(uniques, 7);
  f_010_010_111_010_0(uniques, 7);
  f_010_010_111_010_1(uniques, 7);
  f_010_010_111_011_0(uniques, 7);
  f_010_010_111_011_1(uniques, 7);
  f_010_010_111_100_0(uniques, 7);
  f_010_010_111_100_1(uniques, 7);
  f_010_010_111_101_0(uniques, 7);
  f_010_010_111_101_1(uniques, 7);
  f_010_010_111_110_0(uniques, 7);
  f_010_010_111_110_1(uniques, 7);
  f_010_010_111_111_0(uniques, 7);
  f_010_010_111_111_1(uniques, 7);
  f_010_011_010_000_0(uniques, 7);
  f_010_011_010_000_1(uniques, 7);
  f_010_011_010_001_0(uniques, 7);
  f_010_011_010_001_1(uniques, 7);
  f_010_011_010_010_0(uniques, 7);
  f_010_011_010_010_1(uniques, 7);
  f_010_011_010_011_0(uniques, 7);
  f_010_011_010_011_1(uniques, 7);
  f_010_011_010_100_0(uniques, 7);
  f_010_011_010_100_1(uniques, 7);
  f_010_011_010_101_0(uniques, 7);
  f_010_011_010_101_1(uniques, 7);
  f_010_011_010_110_0(uniques, 7);
  f_010_011_010_110_1(uniques, 7);
  f_010_011_010_111_0(uniques, 7);
  f_010_011_010_111_1(uniques, 7);
  f_010_011_011_000_0(uniques, 7);
  f_010_011_011_000_1(uniques, 7);
  f_010_011_011_001_0(uniques, 7);
  f_010_011_011_001_1(uniques, 7);
  f_010_011_011_010_0(uniques, 7);
  f_010_011_011_010_1(uniques, 7);
  f_010_011_011_011_0(uniques, 7);
  f_010_011_011_011_1(uniques, 7);
  f_010_011_011_100_0(uniques, 7);
  f_010_011_011_100_1(uniques, 7);
  f_010_011_011_101_0(uniques, 7);
  f_010_011_011_101_1(uniques, 7);
  f_010_011_011_110_0(uniques, 7);
  f_010_011_011_110_1(uniques, 7);
  f_010_011_011_111_0(uniques, 7);
  f_010_011_011_111_1(uniques, 7);
  f_010_011_110_000_0(uniques, 7);
  f_010_011_110_000_1(uniques, 7);
  f_010_011_110_001_0(uniques, 7);
  f_010_011_110_001_1(uniques, 7);
  f_010_011_110_010_0(uniques, 7);
  f_010_011_110_010_1(uniques, 7);
  f_010_011_110_011_0(uniques, 7);
  f_010_011_110_011_1(uniques, 7);
  f_010_011_110_100_0(uniques, 7);
  f_010_011_110_100_1(uniques, 7);
  f_010_011_110_101_0(uniques, 7);
  f_010_011_110_101_1(uniques, 7);
  f_010_011_110_110_0(uniques, 7);
  f_010_011_110_110_1(uniques, 7);
  f_010_011_110_111_0(uniques, 7);
  f_010_011_110_111_1(uniques, 7);
  f_010_011_111_000_0(uniques, 7);
  f_010_011_111_000_1(uniques, 7);
  f_010_011_111_001_0(uniques, 7);
  f_010_011_111_001_1(uniques, 7);
  f_010_011_111_010_0(uniques, 7);
  f_010_011_111_010_1(uniques, 7);
  f_010_011_111_011_0(uniques, 7);
  f_010_011_111_011_1(uniques, 7);
  f_010_011_111_100_0(uniques, 7);
  f_010_011_111_100_1(uniques, 7);
  f_010_011_111_101_0(uniques, 7);
  f_010_011_111_101_1(uniques, 7);
  f_010_011_111_110_0(uniques, 7);
  f_010_011_111_110_1(uniques, 7);
  f_010_011_111_111_0(uniques, 7);
  f_010_011_111_111_1(uniques, 7);
  f_010_100_010_000_0(uniques, 7);
  f_010_100_010_000_1(uniques, 7);
  f_010_100_010_001_0(uniques, 7);
  f_010_100_010_001_1(uniques, 7);
  f_010_100_010_010_0(uniques, 7);
  f_010_100_010_010_1(uniques, 7);
  f_010_100_010_011_0(uniques, 7);
  f_010_100_010_011_1(uniques, 7);
  f_010_100_010_100_0(uniques, 7);
  f_010_100_010_100_1(uniques, 7);
  f_010_100_010_101_0(uniques, 7);
  f_010_100_010_101_1(uniques, 7);
  f_010_100_010_110_0(uniques, 7);
  f_010_100_010_110_1(uniques, 7);
  f_010_100_010_111_0(uniques, 7);
  f_010_100_010_111_1(uniques, 7);
  f_010_100_011_000_0(uniques, 7);
  f_010_100_011_000_1(uniques, 7);
  f_010_100_011_001_0(uniques, 7);
  f_010_100_011_001_1(uniques, 7);
  f_010_100_011_010_0(uniques, 7);
  f_010_100_011_010_1(uniques, 7);
  f_010_100_011_011_0(uniques, 7);
  f_010_100_011_011_1(uniques, 7);
  f_010_100_011_100_0(uniques, 7);
  f_010_100_011_100_1(uniques, 7);
  f_010_100_011_101_0(uniques, 7);
  f_010_100_011_101_1(uniques, 7);
  f_010_100_011_110_0(uniques, 7);
  f_010_100_011_110_1(uniques, 7);
  f_010_100_011_111_0(uniques, 7);
  f_010_100_011_111_1(uniques, 7);
  f_010_100_110_000_0(uniques, 7);
  f_010_100_110_000_1(uniques, 7);
  f_010_100_110_001_0(uniques, 7);
  f_010_100_110_001_1(uniques, 7);
  f_010_100_110_010_0(uniques, 7);
  f_010_100_110_010_1(uniques, 7);
  f_010_100_110_011_0(uniques, 7);
  f_010_100_110_011_1(uniques, 7);
  f_010_100_110_100_0(uniques, 7);
  f_010_100_110_100_1(uniques, 7);
  f_010_100_110_101_0(uniques, 7);
  f_010_100_110_101_1(uniques, 7);
  f_010_100_110_110_0(uniques, 7);
  f_010_100_110_110_1(uniques, 7);
  f_010_100_110_111_0(uniques, 7);
  f_010_100_110_111_1(uniques, 7);
  f_010_100_111_000_0(uniques, 7);
  f_010_100_111_000_1(uniques, 7);
  f_010_100_111_001_0(uniques, 7);
  f_010_100_111_001_1(uniques, 7);
  f_010_100_111_010_0(uniques, 7);
  f_010_100_111_010_1(uniques, 7);
  f_010_100_111_011_0(uniques, 7);
  f_010_100_111_011_1(uniques, 7);
  f_010_100_111_100_0(uniques, 7);
  f_010_100_111_100_1(uniques, 7);
  f_010_100_111_101_0(uniques, 7);
  f_010_100_111_101_1(uniques, 7);
  f_010_100_111_110_0(uniques, 7);
  f_010_100_111_110_1(uniques, 7);
  f_010_100_111_111_0(uniques, 7);
  f_010_100_111_111_1(uniques, 7);
  f_010_101_010_000_0(uniques, 7);
  f_010_101_010_000_1(uniques, 7);
  f_010_101_010_001_0(uniques, 7);
  f_010_101_010_001_1(uniques, 7);
  f_010_101_010_010_0(uniques, 7);
  f_010_101_010_010_1(uniques, 7);
  f_010_101_010_011_0(uniques, 7);
  f_010_101_010_011_1(uniques, 7);
  f_010_101_010_100_0(uniques, 7);
  f_010_101_010_100_1(uniques, 7);
  f_010_101_010_101_0(uniques, 7);
  f_010_101_010_101_1(uniques, 7);
  f_010_101_010_110_0(uniques, 7);
  f_010_101_010_110_1(uniques, 7);
  f_010_101_010_111_0(uniques, 7);
  f_010_101_010_111_1(uniques, 7);
  f_010_101_011_000_0(uniques, 7);
  f_010_101_011_000_1(uniques, 7);
  f_010_101_011_001_0(uniques, 7);
  f_010_101_011_001_1(uniques, 7);
  f_010_101_011_010_0(uniques, 7);
  f_010_101_011_010_1(uniques, 7);
  f_010_101_011_011_0(uniques, 7);
  f_010_101_011_011_1(uniques, 7);
  f_010_101_011_100_0(uniques, 7);
  f_010_101_011_100_1(uniques, 7);
  f_010_101_011_101_0(uniques, 7);
  f_010_101_011_101_1(uniques, 7);
  f_010_101_011_110_0(uniques, 7);
  f_010_101_011_110_1(uniques, 7);
  f_010_101_011_111_0(uniques, 7);
  f_010_101_011_111_1(uniques, 7);
  f_010_101_110_000_0(uniques, 7);
  f_010_101_110_000_1(uniques, 7);
  f_010_101_110_001_0(uniques, 7);
  f_010_101_110_001_1(uniques, 7);
  f_010_101_110_010_0(uniques, 7);
  f_010_101_110_010_1(uniques, 7);
  f_010_101_110_011_0(uniques, 7);
  f_010_101_110_011_1(uniques, 7);
  f_010_101_110_100_0(uniques, 7);
  f_010_101_110_100_1(uniques, 7);
  f_010_101_110_101_0(uniques, 7);
  f_010_101_110_101_1(uniques, 7);
  f_010_101_110_110_0(uniques, 7);
  f_010_101_110_110_1(uniques, 7);
  f_010_101_110_111_0(uniques, 7);
  f_010_101_110_111_1(uniques, 7);
  f_010_101_111_000_0(uniques, 7);
  f_010_101_111_000_1(uniques, 7);
  f_010_101_111_001_0(uniques, 7);
  f_010_101_111_001_1(uniques, 7);
  f_010_101_111_010_0(uniques, 7);
  f_010_101_111_010_1(uniques, 7);
  f_010_101_111_011_0(uniques, 7);
  f_010_101_111_011_1(uniques, 7);
  f_010_101_111_100_0(uniques, 7);
  f_010_101_111_100_1(uniques, 7);
  f_010_101_111_101_0(uniques, 7);
  f_010_101_111_101_1(uniques, 7);
  f_010_101_111_110_0(uniques, 7);
  f_010_101_111_110_1(uniques, 7);
  f_010_101_111_111_0(uniques, 7);
  f_010_101_111_111_1(uniques, 7);
  f_010_110_010_000_0(uniques, 7);
  f_010_110_010_000_1(uniques, 7);
  f_010_110_010_001_0(uniques, 7);
  f_010_110_010_001_1(uniques, 7);
  f_010_110_010_010_0(uniques, 7);
  f_010_110_010_010_1(uniques, 7);
  f_010_110_010_011_0(uniques, 7);
  f_010_110_010_011_1(uniques, 7);
  f_010_110_010_100_0(uniques, 7);
  f_010_110_010_100_1(uniques, 7);
  f_010_110_010_101_0(uniques, 7);
  f_010_110_010_101_1(uniques, 7);
  f_010_110_010_110_0(uniques, 7);
  f_010_110_010_110_1(uniques, 7);
  f_010_110_010_111_0(uniques, 7);
  f_010_110_010_111_1(uniques, 7);
  f_010_110_011_000_0(uniques, 7);
  f_010_110_011_000_1(uniques, 7);
  f_010_110_011_001_0(uniques, 7);
  f_010_110_011_001_1(uniques, 7);
  f_010_110_011_010_0(uniques, 7);
  f_010_110_011_010_1(uniques, 7);
  f_010_110_011_011_0(uniques, 7);
  f_010_110_011_011_1(uniques, 7);
  f_010_110_011_100_0(uniques, 7);
  f_010_110_011_100_1(uniques, 7);
  f_010_110_011_101_0(uniques, 7);
  f_010_110_011_101_1(uniques, 7);
  f_010_110_011_110_0(uniques, 7);
  f_010_110_011_110_1(uniques, 7);
  f_010_110_011_111_0(uniques, 7);
  f_010_110_011_111_1(uniques, 7);
  f_010_110_110_000_0(uniques, 7);
  f_010_110_110_000_1(uniques, 7);
  f_010_110_110_001_0(uniques, 7);
  f_010_110_110_001_1(uniques, 7);
  f_010_110_110_010_0(uniques, 7);
  f_010_110_110_010_1(uniques, 7);
  f_010_110_110_011_0(uniques, 7);
  f_010_110_110_011_1(uniques, 7);
  f_010_110_110_100_0(uniques, 7);
  f_010_110_110_100_1(uniques, 7);
  f_010_110_110_101_0(uniques, 7);
  f_010_110_110_101_1(uniques, 7);
  f_010_110_110_110_0(uniques, 7);
  f_010_110_110_110_1(uniques, 7);
  f_010_110_110_111_0(uniques, 7);
  f_010_110_110_111_1(uniques, 7);
  f_010_110_111_000_0(uniques, 7);
  f_010_110_111_000_1(uniques, 7);
  f_010_110_111_001_0(uniques, 7);
  f_010_110_111_001_1(uniques, 7);
  f_010_110_111_010_0(uniques, 7);
  f_010_110_111_010_1(uniques, 7);
  f_010_110_111_011_0(uniques, 7);
  f_010_110_111_011_1(uniques, 7);
  f_010_110_111_100_0(uniques, 7);
  f_010_110_111_100_1(uniques, 7);
  f_010_110_111_101_0(uniques, 7);
  f_010_110_111_101_1(uniques, 7);
  f_010_110_111_110_0(uniques, 7);
  f_010_110_111_110_1(uniques, 7);
  f_010_110_111_111_0(uniques, 7);
  f_010_110_111_111_1(uniques, 7);
  f_010_111_010_000_0(uniques, 7);
  f_010_111_010_000_1(uniques, 7);
  f_010_111_010_001_0(uniques, 7);
  f_010_111_010_001_1(uniques, 7);
  f_010_111_010_010_0(uniques, 7);
  f_010_111_010_010_1(uniques, 7);
  f_010_111_010_011_0(uniques, 7);
  f_010_111_010_011_1(uniques, 7);
  f_010_111_010_100_0(uniques, 7);
  f_010_111_010_100_1(uniques, 7);
  f_010_111_010_101_0(uniques, 7);
  f_010_111_010_101_1(uniques, 7);
  f_010_111_010_110_0(uniques, 7);
  f_010_111_010_110_1(uniques, 7);
  f_010_111_010_111_0(uniques, 7);
  f_010_111_010_111_1(uniques, 7);
  f_010_111_011_000_0(uniques, 7);
  f_010_111_011_000_1(uniques, 7);
  f_010_111_011_001_0(uniques, 7);
  f_010_111_011_001_1(uniques, 7);
  f_010_111_011_010_0(uniques, 7);
  f_010_111_011_010_1(uniques, 7);
  f_010_111_011_011_0(uniques, 7);
  f_010_111_011_011_1(uniques, 7);
  f_010_111_011_100_0(uniques, 7);
  f_010_111_011_100_1(uniques, 7);
  f_010_111_011_101_0(uniques, 7);
  f_010_111_011_101_1(uniques, 7);
  f_010_111_011_110_0(uniques, 7);
  f_010_111_011_110_1(uniques, 7);
  f_010_111_011_111_0(uniques, 7);
  f_010_111_011_111_1(uniques, 7);
  f_010_111_110_000_0(uniques, 7);
  f_010_111_110_000_1(uniques, 7);
  f_010_111_110_001_0(uniques, 7);
  f_010_111_110_001_1(uniques, 7);
  f_010_111_110_010_0(uniques, 7);
  f_010_111_110_010_1(uniques, 7);
  f_010_111_110_011_0(uniques, 7);
  f_010_111_110_011_1(uniques, 7);
  f_010_111_110_100_0(uniques, 7);
  f_010_111_110_100_1(uniques, 7);
  f_010_111_110_101_0(uniques, 7);
  f_010_111_110_101_1(uniques, 7);
  f_010_111_110_110_0(uniques, 7);
  f_010_111_110_110_1(uniques, 7);
  f_010_111_110_111_0(uniques, 7);
  f_010_111_110_111_1(uniques, 7);
  f_010_111_111_000_0(uniques, 7);
  f_010_111_111_000_1(uniques, 7);
  f_010_111_111_001_0(uniques, 7);
  f_010_111_111_001_1(uniques, 7);
  f_010_111_111_010_0(uniques, 7);
  f_010_111_111_010_1(uniques, 7);
  f_010_111_111_011_0(uniques, 7);
  f_010_111_111_011_1(uniques, 7);
  f_010_111_111_100_0(uniques, 7);
  f_010_111_111_100_1(uniques, 7);
  f_010_111_111_101_0(uniques, 7);
  f_010_111_111_101_1(uniques, 7);
  f_010_111_111_110_0(uniques, 7);
  f_010_111_111_110_1(uniques, 7);
  f_010_111_111_111_0(uniques, 7);
  f_010_111_111_111_1(uniques, 7);
  f_011_000_010_000_0(uniques, 7);
  f_011_000_010_000_1(uniques, 7);
  f_011_000_010_001_0(uniques, 7);
  f_011_000_010_001_1(uniques, 7);
  f_011_000_010_010_0(uniques, 7);
  f_011_000_010_010_1(uniques, 7);
  f_011_000_010_011_0(uniques, 7);
  f_011_000_010_011_1(uniques, 7);
  f_011_000_010_100_0(uniques, 7);
  f_011_000_010_100_1(uniques, 7);
  f_011_000_010_101_0(uniques, 7);
  f_011_000_010_101_1(uniques, 7);
  f_011_000_010_110_0(uniques, 7);
  f_011_000_010_110_1(uniques, 7);
  f_011_000_010_111_0(uniques, 7);
  f_011_000_010_111_1(uniques, 7);
  f_011_000_011_000_0(uniques, 7);
  f_011_000_011_000_1(uniques, 7);
  f_011_000_011_001_0(uniques, 7);
  f_011_000_011_001_1(uniques, 7);
  f_011_000_011_010_0(uniques, 7);
  f_011_000_011_010_1(uniques, 7);
  f_011_000_011_011_0(uniques, 7);
  f_011_000_011_011_1(uniques, 7);
  f_011_000_011_100_0(uniques, 7);
  f_011_000_011_100_1(uniques, 7);
  f_011_000_011_101_0(uniques, 7);
  f_011_000_011_101_1(uniques, 7);
  f_011_000_011_110_0(uniques, 7);
  f_011_000_011_110_1(uniques, 7);
  f_011_000_011_111_0(uniques, 7);
  f_011_000_011_111_1(uniques, 7);
  f_011_000_110_000_0(uniques, 7);
  f_011_000_110_000_1(uniques, 7);
  f_011_000_110_001_0(uniques, 7);
  f_011_000_110_001_1(uniques, 7);
  f_011_000_110_010_0(uniques, 7);
  f_011_000_110_010_1(uniques, 7);
  f_011_000_110_011_0(uniques, 7);
  f_011_000_110_011_1(uniques, 7);
  f_011_000_110_100_0(uniques, 7);
  f_011_000_110_100_1(uniques, 7);
  f_011_000_110_101_0(uniques, 7);
  f_011_000_110_101_1(uniques, 7);
  f_011_000_110_110_0(uniques, 7);
  f_011_000_110_110_1(uniques, 7);
  f_011_000_110_111_0(uniques, 7);
  f_011_000_110_111_1(uniques, 7);
  f_011_000_111_000_0(uniques, 7);
  f_011_000_111_000_1(uniques, 7);
  f_011_000_111_001_0(uniques, 7);
  f_011_000_111_001_1(uniques, 7);
  f_011_000_111_010_0(uniques, 7);
  f_011_000_111_010_1(uniques, 7);
  f_011_000_111_011_0(uniques, 7);
  f_011_000_111_011_1(uniques, 7);
  f_011_000_111_100_0(uniques, 7);
  f_011_000_111_100_1(uniques, 7);
  f_011_000_111_101_0(uniques, 7);
  f_011_000_111_101_1(uniques, 7);
  f_011_000_111_110_0(uniques, 7);
  f_011_000_111_110_1(uniques, 7);
  f_011_000_111_111_0(uniques, 7);
  f_011_000_111_111_1(uniques, 7);
  f_011_001_010_000_0(uniques, 7);
  f_011_001_010_000_1(uniques, 7);
  f_011_001_010_001_0(uniques, 7);
  f_011_001_010_001_1(uniques, 7);
  f_011_001_010_010_0(uniques, 7);
  f_011_001_010_010_1(uniques, 7);
  f_011_001_010_011_0(uniques, 7);
  f_011_001_010_011_1(uniques, 7);
  f_011_001_010_100_0(uniques, 7);
  f_011_001_010_100_1(uniques, 7);
  f_011_001_010_101_0(uniques, 7);
  f_011_001_010_101_1(uniques, 7);
  f_011_001_010_110_0(uniques, 7);
  f_011_001_010_110_1(uniques, 7);
  f_011_001_010_111_0(uniques, 7);
  f_011_001_010_111_1(uniques, 7);
  f_011_001_011_000_0(uniques, 7);
  f_011_001_011_000_1(uniques, 7);
  f_011_001_011_001_0(uniques, 7);
  f_011_001_011_001_1(uniques, 7);
  f_011_001_011_010_0(uniques, 7);
  f_011_001_011_010_1(uniques, 7);
  f_011_001_011_011_0(uniques, 7);
  f_011_001_011_011_1(uniques, 7);
  f_011_001_011_100_0(uniques, 7);
  f_011_001_011_100_1(uniques, 7);
  f_011_001_011_101_0(uniques, 7);
  f_011_001_011_101_1(uniques, 7);
  f_011_001_011_110_0(uniques, 7);
  f_011_001_011_110_1(uniques, 7);
  f_011_001_011_111_0(uniques, 7);
  f_011_001_011_111_1(uniques, 7);
  f_011_001_110_000_0(uniques, 7);
  f_011_001_110_000_1(uniques, 7);
  f_011_001_110_001_0(uniques, 7);
  f_011_001_110_001_1(uniques, 7);
  f_011_001_110_010_0(uniques, 7);
  f_011_001_110_010_1(uniques, 7);
  f_011_001_110_011_0(uniques, 7);
  f_011_001_110_011_1(uniques, 7);
  f_011_001_110_100_0(uniques, 7);
  f_011_001_110_100_1(uniques, 7);
  f_011_001_110_101_0(uniques, 7);
  f_011_001_110_101_1(uniques, 7);
  f_011_001_110_110_0(uniques, 7);
  f_011_001_110_110_1(uniques, 7);
  f_011_001_110_111_0(uniques, 7);
  f_011_001_110_111_1(uniques, 7);
  f_011_001_111_000_0(uniques, 7);
  f_011_001_111_000_1(uniques, 7);
  f_011_001_111_001_0(uniques, 7);
  f_011_001_111_001_1(uniques, 7);
  f_011_001_111_010_0(uniques, 7);
  f_011_001_111_010_1(uniques, 7);
  f_011_001_111_011_0(uniques, 7);
  f_011_001_111_011_1(uniques, 7);
  f_011_001_111_100_0(uniques, 7);
  f_011_001_111_100_1(uniques, 7);
  f_011_001_111_101_0(uniques, 7);
  f_011_001_111_101_1(uniques, 7);
  f_011_001_111_110_0(uniques, 7);
  f_011_001_111_110_1(uniques, 7);
  f_011_001_111_111_0(uniques, 7);
  f_011_001_111_111_1(uniques, 7);
  f_011_010_010_000_0(uniques, 7);
  f_011_010_010_000_1(uniques, 7);
  f_011_010_010_001_0(uniques, 7);
  f_011_010_010_001_1(uniques, 7);
  f_011_010_010_010_0(uniques, 7);
  f_011_010_010_010_1(uniques, 7);
  f_011_010_010_011_0(uniques, 7);
  f_011_010_010_011_1(uniques, 7);
  f_011_010_010_100_0(uniques, 7);
  f_011_010_010_100_1(uniques, 7);
  f_011_010_010_101_0(uniques, 7);
  f_011_010_010_101_1(uniques, 7);
  f_011_010_010_110_0(uniques, 7);
  f_011_010_010_110_1(uniques, 7);
  f_011_010_010_111_0(uniques, 7);
  f_011_010_010_111_1(uniques, 7);
  f_011_010_011_000_0(uniques, 7);
  f_011_010_011_000_1(uniques, 7);
  f_011_010_011_001_0(uniques, 7);
  f_011_010_011_001_1(uniques, 7);
  f_011_010_011_010_0(uniques, 7);
  f_011_010_011_010_1(uniques, 7);
  f_011_010_011_011_0(uniques, 7);
  f_011_010_011_011_1(uniques, 7);
  f_011_010_011_100_0(uniques, 7);
  f_011_010_011_100_1(uniques, 7);
  f_011_010_011_101_0(uniques, 7);
  f_011_010_011_101_1(uniques, 7);
  f_011_010_011_110_0(uniques, 7);
  f_011_010_011_110_1(uniques, 7);
  f_011_010_011_111_0(uniques, 7);
  f_011_010_011_111_1(uniques, 7);
  f_011_010_110_000_0(uniques, 7);
  f_011_010_110_000_1(uniques, 7);
  f_011_010_110_001_0(uniques, 7);
  f_011_010_110_001_1(uniques, 7);
  f_011_010_110_010_0(uniques, 7);
  f_011_010_110_010_1(uniques, 7);
  f_011_010_110_011_0(uniques, 7);
  f_011_010_110_011_1(uniques, 7);
  f_011_010_110_100_0(uniques, 7);
  f_011_010_110_100_1(uniques, 7);
  f_011_010_110_101_0(uniques, 7);
  f_011_010_110_101_1(uniques, 7);
  f_011_010_110_110_0(uniques, 7);
  f_011_010_110_110_1(uniques, 7);
  f_011_010_110_111_0(uniques, 7);
  f_011_010_110_111_1(uniques, 7);
  f_011_010_111_000_0(uniques, 7);
  f_011_010_111_000_1(uniques, 7);
  f_011_010_111_001_0(uniques, 7);
  f_011_010_111_001_1(uniques, 7);
  f_011_010_111_010_0(uniques, 7);
  f_011_010_111_010_1(uniques, 7);
  f_011_010_111_011_0(uniques, 7);
  f_011_010_111_011_1(uniques, 7);
  f_011_010_111_100_0(uniques, 7);
  f_011_010_111_100_1(uniques, 7);
  f_011_010_111_101_0(uniques, 7);
  f_011_010_111_101_1(uniques, 7);
  f_011_010_111_110_0(uniques, 7);
  f_011_010_111_110_1(uniques, 7);
  f_011_010_111_111_0(uniques, 7);
  f_011_010_111_111_1(uniques, 7);
  f_011_011_010_000_0(uniques, 7);
  f_011_011_010_000_1(uniques, 7);
  f_011_011_010_001_0(uniques, 7);
  f_011_011_010_001_1(uniques, 7);
  f_011_011_010_010_0(uniques, 7);
  f_011_011_010_010_1(uniques, 7);
  f_011_011_010_011_0(uniques, 7);
  f_011_011_010_011_1(uniques, 7);
  f_011_011_010_100_0(uniques, 7);
  f_011_011_010_100_1(uniques, 7);
  f_011_011_010_101_0(uniques, 7);
  f_011_011_010_101_1(uniques, 7);
  f_011_011_010_110_0(uniques, 7);
  f_011_011_010_110_1(uniques, 7);
  f_011_011_010_111_0(uniques, 7);
  f_011_011_010_111_1(uniques, 7);
  f_011_011_011_000_0(uniques, 7);
  f_011_011_011_000_1(uniques, 7);
  f_011_011_011_001_0(uniques, 7);
  f_011_011_011_001_1(uniques, 7);
  f_011_011_011_010_0(uniques, 7);
  f_011_011_011_010_1(uniques, 7);
  f_011_011_011_011_0(uniques, 7);
  f_011_011_011_011_1(uniques, 7);
  f_011_011_011_100_0(uniques, 7);
  f_011_011_011_100_1(uniques, 7);
  f_011_011_011_101_0(uniques, 7);
  f_011_011_011_101_1(uniques, 7);
  f_011_011_011_110_0(uniques, 7);
  f_011_011_011_110_1(uniques, 7);
  f_011_011_011_111_0(uniques, 7);
  f_011_011_011_111_1(uniques, 7);
  f_011_011_110_000_0(uniques, 7);
  f_011_011_110_000_1(uniques, 7);
  f_011_011_110_001_0(uniques, 7);
  f_011_011_110_001_1(uniques, 7);
  f_011_011_110_010_0(uniques, 7);
  f_011_011_110_010_1(uniques, 7);
  f_011_011_110_011_0(uniques, 7);
  f_011_011_110_011_1(uniques, 7);
  f_011_011_110_100_0(uniques, 7);
  f_011_011_110_100_1(uniques, 7);
  f_011_011_110_101_0(uniques, 7);
  f_011_011_110_101_1(uniques, 7);
  f_011_011_110_110_0(uniques, 7);
  f_011_011_110_110_1(uniques, 7);
  f_011_011_110_111_0(uniques, 7);
  f_011_011_110_111_1(uniques, 7);
  f_011_011_111_000_0(uniques, 7);
  f_011_011_111_000_1(uniques, 7);
  f_011_011_111_001_0(uniques, 7);
  f_011_011_111_001_1(uniques, 7);
  f_011_011_111_010_0(uniques, 7);
  f_011_011_111_010_1(uniques, 7);
  f_011_011_111_011_0(uniques, 7);
  f_011_011_111_011_1(uniques, 7);
  f_011_011_111_100_0(uniques, 7);
  f_011_011_111_100_1(uniques, 7);
  f_011_011_111_101_0(uniques, 7);
  f_011_011_111_101_1(uniques, 7);
  f_011_011_111_110_0(uniques, 7);
  f_011_011_111_110_1(uniques, 7);
  f_011_011_111_111_0(uniques, 7);
  f_011_011_111_111_1(uniques, 7);
  f_011_100_010_000_0(uniques, 7);
  f_011_100_010_000_1(uniques, 7);
  f_011_100_010_001_0(uniques, 7);
  f_011_100_010_001_1(uniques, 7);
  f_011_100_010_010_0(uniques, 7);
  f_011_100_010_010_1(uniques, 7);
  f_011_100_010_011_0(uniques, 7);
  f_011_100_010_011_1(uniques, 7);
  f_011_100_010_100_0(uniques, 7);
  f_011_100_010_100_1(uniques, 7);
  f_011_100_010_101_0(uniques, 7);
  f_011_100_010_101_1(uniques, 7);
  f_011_100_010_110_0(uniques, 7);
  f_011_100_010_110_1(uniques, 7);
  f_011_100_010_111_0(uniques, 7);
  f_011_100_010_111_1(uniques, 7);
  f_011_100_011_000_0(uniques, 7);
  f_011_100_011_000_1(uniques, 7);
  f_011_100_011_001_0(uniques, 7);
  f_011_100_011_001_1(uniques, 7);
  f_011_100_011_010_0(uniques, 7);
  f_011_100_011_010_1(uniques, 7);
  f_011_100_011_011_0(uniques, 7);
  f_011_100_011_011_1(uniques, 7);
  f_011_100_011_100_0(uniques, 7);
  f_011_100_011_100_1(uniques, 7);
  f_011_100_011_101_0(uniques, 7);
  f_011_100_011_101_1(uniques, 7);
  f_011_100_011_110_0(uniques, 7);
  f_011_100_011_110_1(uniques, 7);
  f_011_100_011_111_0(uniques, 7);
  f_011_100_011_111_1(uniques, 7);
  f_011_100_110_000_0(uniques, 7);
  f_011_100_110_000_1(uniques, 7);
  f_011_100_110_001_0(uniques, 7);
  f_011_100_110_001_1(uniques, 7);
  f_011_100_110_010_0(uniques, 7);
  f_011_100_110_010_1(uniques, 7);
  f_011_100_110_011_0(uniques, 7);
  f_011_100_110_011_1(uniques, 7);
  f_011_100_110_100_0(uniques, 7);
  f_011_100_110_100_1(uniques, 7);
  f_011_100_110_101_0(uniques, 7);
  f_011_100_110_101_1(uniques, 7);
  f_011_100_110_110_0(uniques, 7);
  f_011_100_110_110_1(uniques, 7);
  f_011_100_110_111_0(uniques, 7);
  f_011_100_110_111_1(uniques, 7);
  f_011_100_111_000_0(uniques, 7);
  f_011_100_111_000_1(uniques, 7);
  f_011_100_111_001_0(uniques, 7);
  f_011_100_111_001_1(uniques, 7);
  f_011_100_111_010_0(uniques, 7);
  f_011_100_111_010_1(uniques, 7);
  f_011_100_111_011_0(uniques, 7);
  f_011_100_111_011_1(uniques, 7);
  f_011_100_111_100_0(uniques, 7);
  f_011_100_111_100_1(uniques, 7);
  f_011_100_111_101_0(uniques, 7);
  f_011_100_111_101_1(uniques, 7);
  f_011_100_111_110_0(uniques, 7);
  f_011_100_111_110_1(uniques, 7);
  f_011_100_111_111_0(uniques, 7);
  f_011_100_111_111_1(uniques, 7);
  f_011_101_010_000_0(uniques, 7);
  f_011_101_010_000_1(uniques, 7);
  f_011_101_010_001_0(uniques, 7);
  f_011_101_010_001_1(uniques, 7);
  f_011_101_010_010_0(uniques, 7);
  f_011_101_010_010_1(uniques, 7);
  f_011_101_010_011_0(uniques, 7);
  f_011_101_010_011_1(uniques, 7);
  f_011_101_010_100_0(uniques, 7);
  f_011_101_010_100_1(uniques, 7);
  f_011_101_010_101_0(uniques, 7);
  f_011_101_010_101_1(uniques, 7);
  f_011_101_010_110_0(uniques, 7);
  f_011_101_010_110_1(uniques, 7);
  f_011_101_010_111_0(uniques, 7);
  f_011_101_010_111_1(uniques, 7);
  f_011_101_011_000_0(uniques, 7);
  f_011_101_011_000_1(uniques, 7);
  f_011_101_011_001_0(uniques, 7);
  f_011_101_011_001_1(uniques, 7);
  f_011_101_011_010_0(uniques, 7);
  f_011_101_011_010_1(uniques, 7);
  f_011_101_011_011_0(uniques, 7);
  f_011_101_011_011_1(uniques, 7);
  f_011_101_011_100_0(uniques, 7);
  f_011_101_011_100_1(uniques, 7);
  f_011_101_011_101_0(uniques, 7);
  f_011_101_011_101_1(uniques, 7);
  f_011_101_011_110_0(uniques, 7);
  f_011_101_011_110_1(uniques, 7);
  f_011_101_011_111_0(uniques, 7);
  f_011_101_011_111_1(uniques, 7);
  f_011_101_110_000_0(uniques, 7);
  f_011_101_110_000_1(uniques, 7);
  f_011_101_110_001_0(uniques, 7);
  f_011_101_110_001_1(uniques, 7);
  f_011_101_110_010_0(uniques, 7);
  f_011_101_110_010_1(uniques, 7);
  f_011_101_110_011_0(uniques, 7);
  f_011_101_110_011_1(uniques, 7);
  f_011_101_110_100_0(uniques, 7);
  f_011_101_110_100_1(uniques, 7);
  f_011_101_110_101_0(uniques, 7);
  f_011_101_110_101_1(uniques, 7);
  f_011_101_110_110_0(uniques, 7);
  f_011_101_110_110_1(uniques, 7);
  f_011_101_110_111_0(uniques, 7);
  f_011_101_110_111_1(uniques, 7);
  f_011_101_111_000_0(uniques, 7);
  f_011_101_111_000_1(uniques, 7);
  f_011_101_111_001_0(uniques, 7);
  f_011_101_111_001_1(uniques, 7);
  f_011_101_111_010_0(uniques, 7);
  f_011_101_111_010_1(uniques, 7);
  f_011_101_111_011_0(uniques, 7);
  f_011_101_111_011_1(uniques, 7);
  f_011_101_111_100_0(uniques, 7);
  f_011_101_111_100_1(uniques, 7);
  f_011_101_111_101_0(uniques, 7);
  f_011_101_111_101_1(uniques, 7);
  f_011_101_111_110_0(uniques, 7);
  f_011_101_111_110_1(uniques, 7);
  f_011_101_111_111_0(uniques, 7);
  f_011_101_111_111_1(uniques, 7);
  f_011_110_010_000_0(uniques, 7);
  f_011_110_010_000_1(uniques, 7);
  f_011_110_010_001_0(uniques, 7);
  f_011_110_010_001_1(uniques, 7);
  f_011_110_010_010_0(uniques, 7);
  f_011_110_010_010_1(uniques, 7);
  f_011_110_010_011_0(uniques, 7);
  f_011_110_010_011_1(uniques, 7);
  f_011_110_010_100_0(uniques, 7);
  f_011_110_010_100_1(uniques, 7);
  f_011_110_010_101_0(uniques, 7);
  f_011_110_010_101_1(uniques, 7);
  f_011_110_010_110_0(uniques, 7);
  f_011_110_010_110_1(uniques, 7);
  f_011_110_010_111_0(uniques, 7);
  f_011_110_010_111_1(uniques, 7);
  f_011_110_011_000_0(uniques, 7);
  f_011_110_011_000_1(uniques, 7);
  f_011_110_011_001_0(uniques, 7);
  f_011_110_011_001_1(uniques, 7);
  f_011_110_011_010_0(uniques, 7);
  f_011_110_011_010_1(uniques, 7);
  f_011_110_011_011_0(uniques, 7);
  f_011_110_011_011_1(uniques, 7);
  f_011_110_011_100_0(uniques, 7);
  f_011_110_011_100_1(uniques, 7);
  f_011_110_011_101_0(uniques, 7);
  f_011_110_011_101_1(uniques, 7);
  f_011_110_011_110_0(uniques, 7);
  f_011_110_011_110_1(uniques, 7);
  f_011_110_011_111_0(uniques, 7);
  f_011_110_011_111_1(uniques, 7);
  f_011_110_110_000_0(uniques, 7);
  f_011_110_110_000_1(uniques, 7);
  f_011_110_110_001_0(uniques, 7);
  f_011_110_110_001_1(uniques, 7);
  f_011_110_110_010_0(uniques, 7);
  f_011_110_110_010_1(uniques, 7);
  f_011_110_110_011_0(uniques, 7);
  f_011_110_110_011_1(uniques, 7);
  f_011_110_110_100_0(uniques, 7);
  f_011_110_110_100_1(uniques, 7);
  f_011_110_110_101_0(uniques, 7);
  f_011_110_110_101_1(uniques, 7);
  f_011_110_110_110_0(uniques, 7);
  f_011_110_110_110_1(uniques, 7);
  f_011_110_110_111_0(uniques, 7);
  f_011_110_110_111_1(uniques, 7);
  f_011_110_111_000_0(uniques, 7);
  f_011_110_111_000_1(uniques, 7);
  f_011_110_111_001_0(uniques, 7);
  f_011_110_111_001_1(uniques, 7);
  f_011_110_111_010_0(uniques, 7);
  f_011_110_111_010_1(uniques, 7);
  f_011_110_111_011_0(uniques, 7);
  f_011_110_111_011_1(uniques, 7);
  f_011_110_111_100_0(uniques, 7);
  f_011_110_111_100_1(uniques, 7);
  f_011_110_111_101_0(uniques, 7);
  f_011_110_111_101_1(uniques, 7);
  f_011_110_111_110_0(uniques, 7);
  f_011_110_111_110_1(uniques, 7);
  f_011_110_111_111_0(uniques, 7);
  f_011_110_111_111_1(uniques, 7);
  f_011_111_010_000_0(uniques, 7);
  f_011_111_010_000_1(uniques, 7);
  f_011_111_010_001_0(uniques, 7);
  f_011_111_010_001_1(uniques, 7);
  f_011_111_010_010_0(uniques, 7);
  f_011_111_010_010_1(uniques, 7);
  f_011_111_010_011_0(uniques, 7);
  f_011_111_010_011_1(uniques, 7);
  f_011_111_010_100_0(uniques, 7);
  f_011_111_010_100_1(uniques, 7);
  f_011_111_010_101_0(uniques, 7);
  f_011_111_010_101_1(uniques, 7);
  f_011_111_010_110_0(uniques, 7);
  f_011_111_010_110_1(uniques, 7);
  f_011_111_010_111_0(uniques, 7);
  f_011_111_010_111_1(uniques, 7);
  f_011_111_011_000_0(uniques, 7);
  f_011_111_011_000_1(uniques, 7);
  f_011_111_011_001_0(uniques, 7);
  f_011_111_011_001_1(uniques, 7);
  f_011_111_011_010_0(uniques, 7);
  f_011_111_011_010_1(uniques, 7);
  f_011_111_011_011_0(uniques, 7);
  f_011_111_011_011_1(uniques, 7);
  f_011_111_011_100_0(uniques, 7);
  f_011_111_011_100_1(uniques, 7);
  f_011_111_011_101_0(uniques, 7);
  f_011_111_011_101_1(uniques, 7);
  f_011_111_011_110_0(uniques, 7);
  f_011_111_011_110_1(uniques, 7);
  f_011_111_011_111_0(uniques, 7);
  f_011_111_011_111_1(uniques, 7);
  f_011_111_110_000_0(uniques, 7);
  f_011_111_110_000_1(uniques, 7);
  f_011_111_110_001_0(uniques, 7);
  f_011_111_110_001_1(uniques, 7);
  f_011_111_110_010_0(uniques, 7);
  f_011_111_110_010_1(uniques, 7);
  f_011_111_110_011_0(uniques, 7);
  f_011_111_110_011_1(uniques, 7);
  f_011_111_110_100_0(uniques, 7);
  f_011_111_110_100_1(uniques, 7);
  f_011_111_110_101_0(uniques, 7);
  f_011_111_110_101_1(uniques, 7);
  f_011_111_110_110_0(uniques, 7);
  f_011_111_110_110_1(uniques, 7);
  f_011_111_110_111_0(uniques, 7);
  f_011_111_110_111_1(uniques, 7);
  f_011_111_111_000_0(uniques, 7);
  f_011_111_111_000_1(uniques, 7);
  f_011_111_111_001_0(uniques, 7);
  f_011_111_111_001_1(uniques, 7);
  f_011_111_111_010_0(uniques, 7);
  f_011_111_111_010_1(uniques, 7);
  f_011_111_111_011_0(uniques, 7);
  f_011_111_111_011_1(uniques, 7);
  f_011_111_111_100_0(uniques, 7);
  f_011_111_111_100_1(uniques, 7);
  f_011_111_111_101_0(uniques, 7);
  f_011_111_111_101_1(uniques, 7);
  f_011_111_111_110_0(uniques, 7);
  f_011_111_111_110_1(uniques, 7);
  f_011_111_111_111_0(uniques, 7);
  f_011_111_111_111_1(uniques, 7);
  f_100_000_010_000_0(uniques, 7);
  f_100_000_010_000_1(uniques, 7);
  f_100_000_010_001_0(uniques, 7);
  f_100_000_010_001_1(uniques, 7);
  f_100_000_010_010_0(uniques, 7);
  f_100_000_010_010_1(uniques, 7);
  f_100_000_010_011_0(uniques, 7);
  f_100_000_010_011_1(uniques, 7);
  f_100_000_010_100_0(uniques, 7);
  f_100_000_010_100_1(uniques, 7);
  f_100_000_010_101_0(uniques, 7);
  f_100_000_010_101_1(uniques, 7);
  f_100_000_010_110_0(uniques, 7);
  f_100_000_010_110_1(uniques, 7);
  f_100_000_010_111_0(uniques, 7);
  f_100_000_010_111_1(uniques, 7);
  f_100_000_011_000_0(uniques, 7);
  f_100_000_011_000_1(uniques, 7);
  f_100_000_011_001_0(uniques, 7);
  f_100_000_011_001_1(uniques, 7);
  f_100_000_011_010_0(uniques, 7);
  f_100_000_011_010_1(uniques, 7);
  f_100_000_011_011_0(uniques, 7);
  f_100_000_011_011_1(uniques, 7);
  f_100_000_011_100_0(uniques, 7);
  f_100_000_011_100_1(uniques, 7);
  f_100_000_011_101_0(uniques, 7);
  f_100_000_011_101_1(uniques, 7);
  f_100_000_011_110_0(uniques, 7);
  f_100_000_011_110_1(uniques, 7);
  f_100_000_011_111_0(uniques, 7);
  f_100_000_011_111_1(uniques, 7);
  f_100_000_110_000_0(uniques, 7);
  f_100_000_110_000_1(uniques, 7);
  f_100_000_110_001_0(uniques, 7);
  f_100_000_110_001_1(uniques, 7);
  f_100_000_110_010_0(uniques, 7);
  f_100_000_110_010_1(uniques, 7);
  f_100_000_110_011_0(uniques, 7);
  f_100_000_110_011_1(uniques, 7);
  f_100_000_110_100_0(uniques, 7);
  f_100_000_110_100_1(uniques, 7);
  f_100_000_110_101_0(uniques, 7);
  f_100_000_110_101_1(uniques, 7);
  f_100_000_110_110_0(uniques, 7);
  f_100_000_110_110_1(uniques, 7);
  f_100_000_110_111_0(uniques, 7);
  f_100_000_110_111_1(uniques, 7);
  f_100_000_111_000_0(uniques, 7);
  f_100_000_111_000_1(uniques, 7);
  f_100_000_111_001_0(uniques, 7);
  f_100_000_111_001_1(uniques, 7);
  f_100_000_111_010_0(uniques, 7);
  f_100_000_111_010_1(uniques, 7);
  f_100_000_111_011_0(uniques, 7);
  f_100_000_111_011_1(uniques, 7);
  f_100_000_111_100_0(uniques, 7);
  f_100_000_111_100_1(uniques, 7);
  f_100_000_111_101_0(uniques, 7);
  f_100_000_111_101_1(uniques, 7);
  f_100_000_111_110_0(uniques, 7);
  f_100_000_111_110_1(uniques, 7);
  f_100_000_111_111_0(uniques, 7);
  f_100_000_111_111_1(uniques, 7);
  f_100_001_010_000_0(uniques, 7);
  f_100_001_010_000_1(uniques, 7);
  f_100_001_010_001_0(uniques, 7);
  f_100_001_010_001_1(uniques, 7);
  f_100_001_010_010_0(uniques, 7);
  f_100_001_010_010_1(uniques, 7);
  f_100_001_010_011_0(uniques, 7);
  f_100_001_010_011_1(uniques, 7);
  f_100_001_010_100_0(uniques, 7);
  f_100_001_010_100_1(uniques, 7);
  f_100_001_010_101_0(uniques, 7);
  f_100_001_010_101_1(uniques, 7);
  f_100_001_010_110_0(uniques, 7);
  f_100_001_010_110_1(uniques, 7);
  f_100_001_010_111_0(uniques, 7);
  f_100_001_010_111_1(uniques, 7);
  f_100_001_011_000_0(uniques, 7);
  f_100_001_011_000_1(uniques, 7);
  f_100_001_011_001_0(uniques, 7);
  f_100_001_011_001_1(uniques, 7);
  f_100_001_011_010_0(uniques, 7);
  f_100_001_011_010_1(uniques, 7);
  f_100_001_011_011_0(uniques, 7);
  f_100_001_011_011_1(uniques, 7);
  f_100_001_011_100_0(uniques, 7);
  f_100_001_011_100_1(uniques, 7);
  f_100_001_011_101_0(uniques, 7);
  f_100_001_011_101_1(uniques, 7);
  f_100_001_011_110_0(uniques, 7);
  f_100_001_011_110_1(uniques, 7);
  f_100_001_011_111_0(uniques, 7);
  f_100_001_011_111_1(uniques, 7);
  f_100_001_110_000_0(uniques, 7);
  f_100_001_110_000_1(uniques, 7);
  f_100_001_110_001_0(uniques, 7);
  f_100_001_110_001_1(uniques, 7);
  f_100_001_110_010_0(uniques, 7);
  f_100_001_110_010_1(uniques, 7);
  f_100_001_110_011_0(uniques, 7);
  f_100_001_110_011_1(uniques, 7);
  f_100_001_110_100_0(uniques, 7);
  f_100_001_110_100_1(uniques, 7);
  f_100_001_110_101_0(uniques, 7);
  f_100_001_110_101_1(uniques, 7);
  f_100_001_110_110_0(uniques, 7);
  f_100_001_110_110_1(uniques, 7);
  f_100_001_110_111_0(uniques, 7);
  f_100_001_110_111_1(uniques, 7);
  f_100_001_111_000_0(uniques, 7);
  f_100_001_111_000_1(uniques, 7);
  f_100_001_111_001_0(uniques, 7);
  f_100_001_111_001_1(uniques, 7);
  f_100_001_111_010_0(uniques, 7);
  f_100_001_111_010_1(uniques, 7);
  f_100_001_111_011_0(uniques, 7);
  f_100_001_111_011_1(uniques, 7);
  f_100_001_111_100_0(uniques, 7);
  f_100_001_111_100_1(uniques, 7);
  f_100_001_111_101_0(uniques, 7);
  f_100_001_111_101_1(uniques, 7);
  f_100_001_111_110_0(uniques, 7);
  f_100_001_111_110_1(uniques, 7);
  f_100_001_111_111_0(uniques, 7);
  f_100_001_111_111_1(uniques, 7);
  f_100_010_010_000_0(uniques, 7);
  f_100_010_010_000_1(uniques, 7);
  f_100_010_010_001_0(uniques, 7);
  f_100_010_010_001_1(uniques, 7);
  f_100_010_010_010_0(uniques, 7);
  f_100_010_010_010_1(uniques, 7);
  f_100_010_010_011_0(uniques, 7);
  f_100_010_010_011_1(uniques, 7);
  f_100_010_010_100_0(uniques, 7);
  f_100_010_010_100_1(uniques, 7);
  f_100_010_010_101_0(uniques, 7);
  f_100_010_010_101_1(uniques, 7);
  f_100_010_010_110_0(uniques, 7);
  f_100_010_010_110_1(uniques, 7);
  f_100_010_010_111_0(uniques, 7);
  f_100_010_010_111_1(uniques, 7);
  f_100_010_011_000_0(uniques, 7);
  f_100_010_011_000_1(uniques, 7);
  f_100_010_011_001_0(uniques, 7);
  f_100_010_011_001_1(uniques, 7);
  f_100_010_011_010_0(uniques, 7);
  f_100_010_011_010_1(uniques, 7);
  f_100_010_011_011_0(uniques, 7);
  f_100_010_011_011_1(uniques, 7);
  f_100_010_011_100_0(uniques, 7);
  f_100_010_011_100_1(uniques, 7);
  f_100_010_011_101_0(uniques, 7);
  f_100_010_011_101_1(uniques, 7);
  f_100_010_011_110_0(uniques, 7);
  f_100_010_011_110_1(uniques, 7);
  f_100_010_011_111_0(uniques, 7);
  f_100_010_011_111_1(uniques, 7);
  f_100_010_110_000_0(uniques, 7);
  f_100_010_110_000_1(uniques, 7);
  f_100_010_110_001_0(uniques, 7);
  f_100_010_110_001_1(uniques, 7);
  f_100_010_110_010_0(uniques, 7);
  f_100_010_110_010_1(uniques, 7);
  f_100_010_110_011_0(uniques, 7);
  f_100_010_110_011_1(uniques, 7);
  f_100_010_110_100_0(uniques, 7);
  f_100_010_110_100_1(uniques, 7);
  f_100_010_110_101_0(uniques, 7);
  f_100_010_110_101_1(uniques, 7);
  f_100_010_110_110_0(uniques, 7);
  f_100_010_110_110_1(uniques, 7);
  f_100_010_110_111_0(uniques, 7);
  f_100_010_110_111_1(uniques, 7);
  f_100_010_111_000_0(uniques, 7);
  f_100_010_111_000_1(uniques, 7);
  f_100_010_111_001_0(uniques, 7);
  f_100_010_111_001_1(uniques, 7);
  f_100_010_111_010_0(uniques, 7);
  f_100_010_111_010_1(uniques, 7);
  f_100_010_111_011_0(uniques, 7);
  f_100_010_111_011_1(uniques, 7);
  f_100_010_111_100_0(uniques, 7);
  f_100_010_111_100_1(uniques, 7);
  f_100_010_111_101_0(uniques, 7);
  f_100_010_111_101_1(uniques, 7);
  f_100_010_111_110_0(uniques, 7);
  f_100_010_111_110_1(uniques, 7);
  f_100_010_111_111_0(uniques, 7);
  f_100_010_111_111_1(uniques, 7);
  f_100_011_010_000_0(uniques, 7);
  f_100_011_010_000_1(uniques, 7);
  f_100_011_010_001_0(uniques, 7);
  f_100_011_010_001_1(uniques, 7);
  f_100_011_010_010_0(uniques, 7);
  f_100_011_010_010_1(uniques, 7);
  f_100_011_010_011_0(uniques, 7);
  f_100_011_010_011_1(uniques, 7);
  f_100_011_010_100_0(uniques, 7);
  f_100_011_010_100_1(uniques, 7);
  f_100_011_010_101_0(uniques, 7);
  f_100_011_010_101_1(uniques, 7);
  f_100_011_010_110_0(uniques, 7);
  f_100_011_010_110_1(uniques, 7);
  f_100_011_010_111_0(uniques, 7);
  f_100_011_010_111_1(uniques, 7);
  f_100_011_011_000_0(uniques, 7);
  f_100_011_011_000_1(uniques, 7);
  f_100_011_011_001_0(uniques, 7);
  f_100_011_011_001_1(uniques, 7);
  f_100_011_011_010_0(uniques, 7);
  f_100_011_011_010_1(uniques, 7);
  f_100_011_011_011_0(uniques, 7);
  f_100_011_011_011_1(uniques, 7);
  f_100_011_011_100_0(uniques, 7);
  f_100_011_011_100_1(uniques, 7);
  f_100_011_011_101_0(uniques, 7);
  f_100_011_011_101_1(uniques, 7);
  f_100_011_011_110_0(uniques, 7);
  f_100_011_011_110_1(uniques, 7);
  f_100_011_011_111_0(uniques, 7);
  f_100_011_011_111_1(uniques, 7);
  f_100_011_110_000_0(uniques, 7);
  f_100_011_110_000_1(uniques, 7);
  f_100_011_110_001_0(uniques, 7);
  f_100_011_110_001_1(uniques, 7);
  f_100_011_110_010_0(uniques, 7);
  f_100_011_110_010_1(uniques, 7);
  f_100_011_110_011_0(uniques, 7);
  f_100_011_110_011_1(uniques, 7);
  f_100_011_110_100_0(uniques, 7);
  f_100_011_110_100_1(uniques, 7);
  f_100_011_110_101_0(uniques, 7);
  f_100_011_110_101_1(uniques, 7);
  f_100_011_110_110_0(uniques, 7);
  f_100_011_110_110_1(uniques, 7);
  f_100_011_110_111_0(uniques, 7);
  f_100_011_110_111_1(uniques, 7);
  f_100_011_111_000_0(uniques, 7);
  f_100_011_111_000_1(uniques, 7);
  f_100_011_111_001_0(uniques, 7);
  f_100_011_111_001_1(uniques, 7);
  f_100_011_111_010_0(uniques, 7);
  f_100_011_111_010_1(uniques, 7);
  f_100_011_111_011_0(uniques, 7);
  f_100_011_111_011_1(uniques, 7);
  f_100_011_111_100_0(uniques, 7);
  f_100_011_111_100_1(uniques, 7);
  f_100_011_111_101_0(uniques, 7);
  f_100_011_111_101_1(uniques, 7);
  f_100_011_111_110_0(uniques, 7);
  f_100_011_111_110_1(uniques, 7);
  f_100_011_111_111_0(uniques, 7);
  f_100_011_111_111_1(uniques, 7);
  f_100_100_010_000_0(uniques, 7);
  f_100_100_010_000_1(uniques, 7);
  f_100_100_010_001_0(uniques, 7);
  f_100_100_010_001_1(uniques, 7);
  f_100_100_010_010_0(uniques, 7);
  f_100_100_010_010_1(uniques, 7);
  f_100_100_010_011_0(uniques, 7);
  f_100_100_010_011_1(uniques, 7);
  f_100_100_010_100_0(uniques, 7);
  f_100_100_010_100_1(uniques, 7);
  f_100_100_010_101_0(uniques, 7);
  f_100_100_010_101_1(uniques, 7);
  f_100_100_010_110_0(uniques, 7);
  f_100_100_010_110_1(uniques, 7);
  f_100_100_010_111_0(uniques, 7);
  f_100_100_010_111_1(uniques, 7);
  f_100_100_011_000_0(uniques, 7);
  f_100_100_011_000_1(uniques, 7);
  f_100_100_011_001_0(uniques, 7);
  f_100_100_011_001_1(uniques, 7);
  f_100_100_011_010_0(uniques, 7);
  f_100_100_011_010_1(uniques, 7);
  f_100_100_011_011_0(uniques, 7);
  f_100_100_011_011_1(uniques, 7);
  f_100_100_011_100_0(uniques, 7);
  f_100_100_011_100_1(uniques, 7);
  f_100_100_011_101_0(uniques, 7);
  f_100_100_011_101_1(uniques, 7);
  f_100_100_011_110_0(uniques, 7);
  f_100_100_011_110_1(uniques, 7);
  f_100_100_011_111_0(uniques, 7);
  f_100_100_011_111_1(uniques, 7);
  f_100_100_110_000_0(uniques, 7);
  f_100_100_110_000_1(uniques, 7);
  f_100_100_110_001_0(uniques, 7);
  f_100_100_110_001_1(uniques, 7);
  f_100_100_110_010_0(uniques, 7);
  f_100_100_110_010_1(uniques, 7);
  f_100_100_110_011_0(uniques, 7);
  f_100_100_110_011_1(uniques, 7);
  f_100_100_110_100_0(uniques, 7);
  f_100_100_110_100_1(uniques, 7);
  f_100_100_110_101_0(uniques, 7);
  f_100_100_110_101_1(uniques, 7);
  f_100_100_110_110_0(uniques, 7);
  f_100_100_110_110_1(uniques, 7);
  f_100_100_110_111_0(uniques, 7);
  f_100_100_110_111_1(uniques, 7);
  f_100_100_111_000_0(uniques, 7);
  f_100_100_111_000_1(uniques, 7);
  f_100_100_111_001_0(uniques, 7);
  f_100_100_111_001_1(uniques, 7);
  f_100_100_111_010_0(uniques, 7);
  f_100_100_111_010_1(uniques, 7);
  f_100_100_111_011_0(uniques, 7);
  f_100_100_111_011_1(uniques, 7);
  f_100_100_111_100_0(uniques, 7);
  f_100_100_111_100_1(uniques, 7);
  f_100_100_111_101_0(uniques, 7);
  f_100_100_111_101_1(uniques, 7);
  f_100_100_111_110_0(uniques, 7);
  f_100_100_111_110_1(uniques, 7);
  f_100_100_111_111_0(uniques, 7);
  f_100_100_111_111_1(uniques, 7);
  f_100_101_010_000_0(uniques, 7);
  f_100_101_010_000_1(uniques, 7);
  f_100_101_010_001_0(uniques, 7);
  f_100_101_010_001_1(uniques, 7);
  f_100_101_010_010_0(uniques, 7);
  f_100_101_010_010_1(uniques, 7);
  f_100_101_010_011_0(uniques, 7);
  f_100_101_010_011_1(uniques, 7);
  f_100_101_010_100_0(uniques, 7);
  f_100_101_010_100_1(uniques, 7);
  f_100_101_010_101_0(uniques, 7);
  f_100_101_010_101_1(uniques, 7);
  f_100_101_010_110_0(uniques, 7);
  f_100_101_010_110_1(uniques, 7);
  f_100_101_010_111_0(uniques, 7);
  f_100_101_010_111_1(uniques, 7);
  f_100_101_011_000_0(uniques, 7);
  f_100_101_011_000_1(uniques, 7);
  f_100_101_011_001_0(uniques, 7);
  f_100_101_011_001_1(uniques, 7);
  f_100_101_011_010_0(uniques, 7);
  f_100_101_011_010_1(uniques, 7);
  f_100_101_011_011_0(uniques, 7);
  f_100_101_011_011_1(uniques, 7);
  f_100_101_011_100_0(uniques, 7);
  f_100_101_011_100_1(uniques, 7);
  f_100_101_011_101_0(uniques, 7);
  f_100_101_011_101_1(uniques, 7);
  f_100_101_011_110_0(uniques, 7);
  f_100_101_011_110_1(uniques, 7);
  f_100_101_011_111_0(uniques, 7);
  f_100_101_011_111_1(uniques, 7);
  f_100_101_110_000_0(uniques, 7);
  f_100_101_110_000_1(uniques, 7);
  f_100_101_110_001_0(uniques, 7);
  f_100_101_110_001_1(uniques, 7);
  f_100_101_110_010_0(uniques, 7);
  f_100_101_110_010_1(uniques, 7);
  f_100_101_110_011_0(uniques, 7);
  f_100_101_110_011_1(uniques, 7);
  f_100_101_110_100_0(uniques, 7);
  f_100_101_110_100_1(uniques, 7);
  f_100_101_110_101_0(uniques, 7);
  f_100_101_110_101_1(uniques, 7);
  f_100_101_110_110_0(uniques, 7);
  f_100_101_110_110_1(uniques, 7);
  f_100_101_110_111_0(uniques, 7);
  f_100_101_110_111_1(uniques, 7);
  f_100_101_111_000_0(uniques, 7);
  f_100_101_111_000_1(uniques, 7);
  f_100_101_111_001_0(uniques, 7);
  f_100_101_111_001_1(uniques, 7);
  f_100_101_111_010_0(uniques, 7);
  f_100_101_111_010_1(uniques, 7);
  f_100_101_111_011_0(uniques, 7);
  f_100_101_111_011_1(uniques, 7);
  f_100_101_111_100_0(uniques, 7);
  f_100_101_111_100_1(uniques, 7);
  f_100_101_111_101_0(uniques, 7);
  f_100_101_111_101_1(uniques, 7);
  f_100_101_111_110_0(uniques, 7);
  f_100_101_111_110_1(uniques, 7);
  f_100_101_111_111_0(uniques, 7);
  f_100_101_111_111_1(uniques, 7);
  f_100_110_010_000_0(uniques, 7);
  f_100_110_010_000_1(uniques, 7);
  f_100_110_010_001_0(uniques, 7);
  f_100_110_010_001_1(uniques, 7);
  f_100_110_010_010_0(uniques, 7);
  f_100_110_010_010_1(uniques, 7);
  f_100_110_010_011_0(uniques, 7);
  f_100_110_010_011_1(uniques, 7);
  f_100_110_010_100_0(uniques, 7);
  f_100_110_010_100_1(uniques, 7);
  f_100_110_010_101_0(uniques, 7);
  f_100_110_010_101_1(uniques, 7);
  f_100_110_010_110_0(uniques, 7);
  f_100_110_010_110_1(uniques, 7);
  f_100_110_010_111_0(uniques, 7);
  f_100_110_010_111_1(uniques, 7);
  f_100_110_011_000_0(uniques, 7);
  f_100_110_011_000_1(uniques, 7);
  f_100_110_011_001_0(uniques, 7);
  f_100_110_011_001_1(uniques, 7);
  f_100_110_011_010_0(uniques, 7);
  f_100_110_011_010_1(uniques, 7);
  f_100_110_011_011_0(uniques, 7);
  f_100_110_011_011_1(uniques, 7);
  f_100_110_011_100_0(uniques, 7);
  f_100_110_011_100_1(uniques, 7);
  f_100_110_011_101_0(uniques, 7);
  f_100_110_011_101_1(uniques, 7);
  f_100_110_011_110_0(uniques, 7);
  f_100_110_011_110_1(uniques, 7);
  f_100_110_011_111_0(uniques, 7);
  f_100_110_011_111_1(uniques, 7);
  f_100_110_110_000_0(uniques, 7);
  f_100_110_110_000_1(uniques, 7);
  f_100_110_110_001_0(uniques, 7);
  f_100_110_110_001_1(uniques, 7);
  f_100_110_110_010_0(uniques, 7);
  f_100_110_110_010_1(uniques, 7);
  f_100_110_110_011_0(uniques, 7);
  f_100_110_110_011_1(uniques, 7);
  f_100_110_110_100_0(uniques, 7);
  f_100_110_110_100_1(uniques, 7);
  f_100_110_110_101_0(uniques, 7);
  f_100_110_110_101_1(uniques, 7);
  f_100_110_110_110_0(uniques, 7);
  f_100_110_110_110_1(uniques, 7);
  f_100_110_110_111_0(uniques, 7);
  f_100_110_110_111_1(uniques, 7);
  f_100_110_111_000_0(uniques, 7);
  f_100_110_111_000_1(uniques, 7);
  f_100_110_111_001_0(uniques, 7);
  f_100_110_111_001_1(uniques, 7);
  f_100_110_111_010_0(uniques, 7);
  f_100_110_111_010_1(uniques, 7);
  f_100_110_111_011_0(uniques, 7);
  f_100_110_111_011_1(uniques, 7);
  f_100_110_111_100_0(uniques, 7);
  f_100_110_111_100_1(uniques, 7);
  f_100_110_111_101_0(uniques, 7);
  f_100_110_111_101_1(uniques, 7);
  f_100_110_111_110_0(uniques, 7);
  f_100_110_111_110_1(uniques, 7);
  f_100_110_111_111_0(uniques, 7);
  f_100_110_111_111_1(uniques, 7);
  f_100_111_010_000_0(uniques, 7);
  f_100_111_010_000_1(uniques, 7);
  f_100_111_010_001_0(uniques, 7);
  f_100_111_010_001_1(uniques, 7);
  f_100_111_010_010_0(uniques, 7);
  f_100_111_010_010_1(uniques, 7);
  f_100_111_010_011_0(uniques, 7);
  f_100_111_010_011_1(uniques, 7);
  f_100_111_010_100_0(uniques, 7);
  f_100_111_010_100_1(uniques, 7);
  f_100_111_010_101_0(uniques, 7);
  f_100_111_010_101_1(uniques, 7);
  f_100_111_010_110_0(uniques, 7);
  f_100_111_010_110_1(uniques, 7);
  f_100_111_010_111_0(uniques, 7);
  f_100_111_010_111_1(uniques, 7);
  f_100_111_011_000_0(uniques, 7);
  f_100_111_011_000_1(uniques, 7);
  f_100_111_011_001_0(uniques, 7);
  f_100_111_011_001_1(uniques, 7);
  f_100_111_011_010_0(uniques, 7);
  f_100_111_011_010_1(uniques, 7);
  f_100_111_011_011_0(uniques, 7);
  f_100_111_011_011_1(uniques, 7);
  f_100_111_011_100_0(uniques, 7);
  f_100_111_011_100_1(uniques, 7);
  f_100_111_011_101_0(uniques, 7);
  f_100_111_011_101_1(uniques, 7);
  f_100_111_011_110_0(uniques, 7);
  f_100_111_011_110_1(uniques, 7);
  f_100_111_011_111_0(uniques, 7);
  f_100_111_011_111_1(uniques, 7);
  f_100_111_110_000_0(uniques, 7);
  f_100_111_110_000_1(uniques, 7);
  f_100_111_110_001_0(uniques, 7);
  f_100_111_110_001_1(uniques, 7);
  f_100_111_110_010_0(uniques, 7);
  f_100_111_110_010_1(uniques, 7);
  f_100_111_110_011_0(uniques, 7);
  f_100_111_110_011_1(uniques, 7);
  f_100_111_110_100_0(uniques, 7);
  f_100_111_110_100_1(uniques, 7);
  f_100_111_110_101_0(uniques, 7);
  f_100_111_110_101_1(uniques, 7);
  f_100_111_110_110_0(uniques, 7);
  f_100_111_110_110_1(uniques, 7);
  f_100_111_110_111_0(uniques, 7);
  f_100_111_110_111_1(uniques, 7);
  f_100_111_111_000_0(uniques, 7);
  f_100_111_111_000_1(uniques, 7);
  f_100_111_111_001_0(uniques, 7);
  f_100_111_111_001_1(uniques, 7);
  f_100_111_111_010_0(uniques, 7);
  f_100_111_111_010_1(uniques, 7);
  f_100_111_111_011_0(uniques, 7);
  f_100_111_111_011_1(uniques, 7);
  f_100_111_111_100_0(uniques, 7);
  f_100_111_111_100_1(uniques, 7);
  f_100_111_111_101_0(uniques, 7);
  f_100_111_111_101_1(uniques, 7);
  f_100_111_111_110_0(uniques, 7);
  f_100_111_111_110_1(uniques, 7);
  f_100_111_111_111_0(uniques, 7);
  f_100_111_111_111_1(uniques, 7);
  f_101_000_010_000_0(uniques, 7);
  f_101_000_010_000_1(uniques, 7);
  f_101_000_010_001_0(uniques, 7);
  f_101_000_010_001_1(uniques, 7);
  f_101_000_010_010_0(uniques, 7);
  f_101_000_010_010_1(uniques, 7);
  f_101_000_010_011_0(uniques, 7);
  f_101_000_010_011_1(uniques, 7);
  f_101_000_010_100_0(uniques, 7);
  f_101_000_010_100_1(uniques, 7);
  f_101_000_010_101_0(uniques, 7);
  f_101_000_010_101_1(uniques, 7);
  f_101_000_010_110_0(uniques, 7);
  f_101_000_010_110_1(uniques, 7);
  f_101_000_010_111_0(uniques, 7);
  f_101_000_010_111_1(uniques, 7);
  f_101_000_011_000_0(uniques, 7);
  f_101_000_011_000_1(uniques, 7);
  f_101_000_011_001_0(uniques, 7);
  f_101_000_011_001_1(uniques, 7);
  f_101_000_011_010_0(uniques, 7);
  f_101_000_011_010_1(uniques, 7);
  f_101_000_011_011_0(uniques, 7);
  f_101_000_011_011_1(uniques, 7);
  f_101_000_011_100_0(uniques, 7);
  f_101_000_011_100_1(uniques, 7);
  f_101_000_011_101_0(uniques, 7);
  f_101_000_011_101_1(uniques, 7);
  f_101_000_011_110_0(uniques, 7);
  f_101_000_011_110_1(uniques, 7);
  f_101_000_011_111_0(uniques, 7);
  f_101_000_011_111_1(uniques, 7);
  f_101_000_110_000_0(uniques, 7);
  f_101_000_110_000_1(uniques, 7);
  f_101_000_110_001_0(uniques, 7);
  f_101_000_110_001_1(uniques, 7);
  f_101_000_110_010_0(uniques, 7);
  f_101_000_110_010_1(uniques, 7);
  f_101_000_110_011_0(uniques, 7);
  f_101_000_110_011_1(uniques, 7);
  f_101_000_110_100_0(uniques, 7);
  f_101_000_110_100_1(uniques, 7);
  f_101_000_110_101_0(uniques, 7);
  f_101_000_110_101_1(uniques, 7);
  f_101_000_110_110_0(uniques, 7);
  f_101_000_110_110_1(uniques, 7);
  f_101_000_110_111_0(uniques, 7);
  f_101_000_110_111_1(uniques, 7);
  f_101_000_111_000_0(uniques, 7);
  f_101_000_111_000_1(uniques, 7);
  f_101_000_111_001_0(uniques, 7);
  f_101_000_111_001_1(uniques, 7);
  f_101_000_111_010_0(uniques, 7);
  f_101_000_111_010_1(uniques, 7);
  f_101_000_111_011_0(uniques, 7);
  f_101_000_111_011_1(uniques, 7);
  f_101_000_111_100_0(uniques, 7);
  f_101_000_111_100_1(uniques, 7);
  f_101_000_111_101_0(uniques, 7);
  f_101_000_111_101_1(uniques, 7);
  f_101_000_111_110_0(uniques, 7);
  f_101_000_111_110_1(uniques, 7);
  f_101_000_111_111_0(uniques, 7);
  f_101_000_111_111_1(uniques, 7);
  f_101_001_010_000_0(uniques, 7);
  f_101_001_010_000_1(uniques, 7);
  f_101_001_010_001_0(uniques, 7);
  f_101_001_010_001_1(uniques, 7);
  f_101_001_010_010_0(uniques, 7);
  f_101_001_010_010_1(uniques, 7);
  f_101_001_010_011_0(uniques, 7);
  f_101_001_010_011_1(uniques, 7);
  f_101_001_010_100_0(uniques, 7);
  f_101_001_010_100_1(uniques, 7);
  f_101_001_010_101_0(uniques, 7);
  f_101_001_010_101_1(uniques, 7);
  f_101_001_010_110_0(uniques, 7);
  f_101_001_010_110_1(uniques, 7);
  f_101_001_010_111_0(uniques, 7);
  f_101_001_010_111_1(uniques, 7);
  f_101_001_011_000_0(uniques, 7);
  f_101_001_011_000_1(uniques, 7);
  f_101_001_011_001_0(uniques, 7);
  f_101_001_011_001_1(uniques, 7);
  f_101_001_011_010_0(uniques, 7);
  f_101_001_011_010_1(uniques, 7);
  f_101_001_011_011_0(uniques, 7);
  f_101_001_011_011_1(uniques, 7);
  f_101_001_011_100_0(uniques, 7);
  f_101_001_011_100_1(uniques, 7);
  f_101_001_011_101_0(uniques, 7);
  f_101_001_011_101_1(uniques, 7);
  f_101_001_011_110_0(uniques, 7);
  f_101_001_011_110_1(uniques, 7);
  f_101_001_011_111_0(uniques, 7);
  f_101_001_011_111_1(uniques, 7);
  f_101_001_110_000_0(uniques, 7);
  f_101_001_110_000_1(uniques, 7);
  f_101_001_110_001_0(uniques, 7);
  f_101_001_110_001_1(uniques, 7);
  f_101_001_110_010_0(uniques, 7);
  f_101_001_110_010_1(uniques, 7);
  f_101_001_110_011_0(uniques, 7);
  f_101_001_110_011_1(uniques, 7);
  f_101_001_110_100_0(uniques, 7);
  f_101_001_110_100_1(uniques, 7);
  f_101_001_110_101_0(uniques, 7);
  f_101_001_110_101_1(uniques, 7);
  f_101_001_110_110_0(uniques, 7);
  f_101_001_110_110_1(uniques, 7);
  f_101_001_110_111_0(uniques, 7);
  f_101_001_110_111_1(uniques, 7);
  f_101_001_111_000_0(uniques, 7);
  f_101_001_111_000_1(uniques, 7);
  f_101_001_111_001_0(uniques, 7);
  f_101_001_111_001_1(uniques, 7);
  f_101_001_111_010_0(uniques, 7);
  f_101_001_111_010_1(uniques, 7);
  f_101_001_111_011_0(uniques, 7);
  f_101_001_111_011_1(uniques, 7);
  f_101_001_111_100_0(uniques, 7);
  f_101_001_111_100_1(uniques, 7);
  f_101_001_111_101_0(uniques, 7);
  f_101_001_111_101_1(uniques, 7);
  f_101_001_111_110_0(uniques, 7);
  f_101_001_111_110_1(uniques, 7);
  f_101_001_111_111_0(uniques, 7);
  f_101_001_111_111_1(uniques, 7);
  f_101_010_010_000_0(uniques, 7);
  f_101_010_010_000_1(uniques, 7);
  f_101_010_010_001_0(uniques, 7);
  f_101_010_010_001_1(uniques, 7);
  f_101_010_010_010_0(uniques, 7);
  f_101_010_010_010_1(uniques, 7);
  f_101_010_010_011_0(uniques, 7);
  f_101_010_010_011_1(uniques, 7);
  f_101_010_010_100_0(uniques, 7);
  f_101_010_010_100_1(uniques, 7);
  f_101_010_010_101_0(uniques, 7);
  f_101_010_010_101_1(uniques, 7);
  f_101_010_010_110_0(uniques, 7);
  f_101_010_010_110_1(uniques, 7);
  f_101_010_010_111_0(uniques, 7);
  f_101_010_010_111_1(uniques, 7);
  f_101_010_011_000_0(uniques, 7);
  f_101_010_011_000_1(uniques, 7);
  f_101_010_011_001_0(uniques, 7);
  f_101_010_011_001_1(uniques, 7);
  f_101_010_011_010_0(uniques, 7);
  f_101_010_011_010_1(uniques, 7);
  f_101_010_011_011_0(uniques, 7);
  f_101_010_011_011_1(uniques, 7);
  f_101_010_011_100_0(uniques, 7);
  f_101_010_011_100_1(uniques, 7);
  f_101_010_011_101_0(uniques, 7);
  f_101_010_011_101_1(uniques, 7);
  f_101_010_011_110_0(uniques, 7);
  f_101_010_011_110_1(uniques, 7);
  f_101_010_011_111_0(uniques, 7);
  f_101_010_011_111_1(uniques, 7);
  f_101_010_110_000_0(uniques, 7);
  f_101_010_110_000_1(uniques, 7);
  f_101_010_110_001_0(uniques, 7);
  f_101_010_110_001_1(uniques, 7);
  f_101_010_110_010_0(uniques, 7);
  f_101_010_110_010_1(uniques, 7);
  f_101_010_110_011_0(uniques, 7);
  f_101_010_110_011_1(uniques, 7);
  f_101_010_110_100_0(uniques, 7);
  f_101_010_110_100_1(uniques, 7);
  f_101_010_110_101_0(uniques, 7);
  f_101_010_110_101_1(uniques, 7);
  f_101_010_110_110_0(uniques, 7);
  f_101_010_110_110_1(uniques, 7);
  f_101_010_110_111_0(uniques, 7);
  f_101_010_110_111_1(uniques, 7);
  f_101_010_111_000_0(uniques, 7);
  f_101_010_111_000_1(uniques, 7);
  f_101_010_111_001_0(uniques, 7);
  f_101_010_111_001_1(uniques, 7);
  f_101_010_111_010_0(uniques, 7);
  f_101_010_111_010_1(uniques, 7);
  f_101_010_111_011_0(uniques, 7);
  f_101_010_111_011_1(uniques, 7);
  f_101_010_111_100_0(uniques, 7);
  f_101_010_111_100_1(uniques, 7);
  f_101_010_111_101_0(uniques, 7);
  f_101_010_111_101_1(uniques, 7);
  f_101_010_111_110_0(uniques, 7);
  f_101_010_111_110_1(uniques, 7);
  f_101_010_111_111_0(uniques, 7);
  f_101_010_111_111_1(uniques, 7);
  f_101_011_010_000_0(uniques, 7);
  f_101_011_010_000_1(uniques, 7);
  f_101_011_010_001_0(uniques, 7);
  f_101_011_010_001_1(uniques, 7);
  f_101_011_010_010_0(uniques, 7);
  f_101_011_010_010_1(uniques, 7);
  f_101_011_010_011_0(uniques, 7);
  f_101_011_010_011_1(uniques, 7);
  f_101_011_010_100_0(uniques, 7);
  f_101_011_010_100_1(uniques, 7);
  f_101_011_010_101_0(uniques, 7);
  f_101_011_010_101_1(uniques, 7);
  f_101_011_010_110_0(uniques, 7);
  f_101_011_010_110_1(uniques, 7);
  f_101_011_010_111_0(uniques, 7);
  f_101_011_010_111_1(uniques, 7);
  f_101_011_011_000_0(uniques, 7);
  f_101_011_011_000_1(uniques, 7);
  f_101_011_011_001_0(uniques, 7);
  f_101_011_011_001_1(uniques, 7);
  f_101_011_011_010_0(uniques, 7);
  f_101_011_011_010_1(uniques, 7);
  f_101_011_011_011_0(uniques, 7);
  f_101_011_011_011_1(uniques, 7);
  f_101_011_011_100_0(uniques, 7);
  f_101_011_011_100_1(uniques, 7);
  f_101_011_011_101_0(uniques, 7);
  f_101_011_011_101_1(uniques, 7);
  f_101_011_011_110_0(uniques, 7);
  f_101_011_011_110_1(uniques, 7);
  f_101_011_011_111_0(uniques, 7);
  f_101_011_011_111_1(uniques, 7);
  f_101_011_110_000_0(uniques, 7);
  f_101_011_110_000_1(uniques, 7);
  f_101_011_110_001_0(uniques, 7);
  f_101_011_110_001_1(uniques, 7);
  f_101_011_110_010_0(uniques, 7);
  f_101_011_110_010_1(uniques, 7);
  f_101_011_110_011_0(uniques, 7);
  f_101_011_110_011_1(uniques, 7);
  f_101_011_110_100_0(uniques, 7);
  f_101_011_110_100_1(uniques, 7);
  f_101_011_110_101_0(uniques, 7);
  f_101_011_110_101_1(uniques, 7);
  f_101_011_110_110_0(uniques, 7);
  f_101_011_110_110_1(uniques, 7);
  f_101_011_110_111_0(uniques, 7);
  f_101_011_110_111_1(uniques, 7);
  f_101_011_111_000_0(uniques, 7);
  f_101_011_111_000_1(uniques, 7);
  f_101_011_111_001_0(uniques, 7);
  f_101_011_111_001_1(uniques, 7);
  f_101_011_111_010_0(uniques, 7);
  f_101_011_111_010_1(uniques, 7);
  f_101_011_111_011_0(uniques, 7);
  f_101_011_111_011_1(uniques, 7);
  f_101_011_111_100_0(uniques, 7);
  f_101_011_111_100_1(uniques, 7);
  f_101_011_111_101_0(uniques, 7);
  f_101_011_111_101_1(uniques, 7);
  f_101_011_111_110_0(uniques, 7);
  f_101_011_111_110_1(uniques, 7);
  f_101_011_111_111_0(uniques, 7);
  f_101_011_111_111_1(uniques, 7);
  f_101_100_010_000_0(uniques, 7);
  f_101_100_010_000_1(uniques, 7);
  f_101_100_010_001_0(uniques, 7);
  f_101_100_010_001_1(uniques, 7);
  f_101_100_010_010_0(uniques, 7);
  f_101_100_010_010_1(uniques, 7);
  f_101_100_010_011_0(uniques, 7);
  f_101_100_010_011_1(uniques, 7);
  f_101_100_010_100_0(uniques, 7);
  f_101_100_010_100_1(uniques, 7);
  f_101_100_010_101_0(uniques, 7);
  f_101_100_010_101_1(uniques, 7);
  f_101_100_010_110_0(uniques, 7);
  f_101_100_010_110_1(uniques, 7);
  f_101_100_010_111_0(uniques, 7);
  f_101_100_010_111_1(uniques, 7);
  f_101_100_011_000_0(uniques, 7);
  f_101_100_011_000_1(uniques, 7);
  f_101_100_011_001_0(uniques, 7);
  f_101_100_011_001_1(uniques, 7);
  f_101_100_011_010_0(uniques, 7);
  f_101_100_011_010_1(uniques, 7);
  f_101_100_011_011_0(uniques, 7);
  f_101_100_011_011_1(uniques, 7);
  f_101_100_011_100_0(uniques, 7);
  f_101_100_011_100_1(uniques, 7);
  f_101_100_011_101_0(uniques, 7);
  f_101_100_011_101_1(uniques, 7);
  f_101_100_011_110_0(uniques, 7);
  f_101_100_011_110_1(uniques, 7);
  f_101_100_011_111_0(uniques, 7);
  f_101_100_011_111_1(uniques, 7);
  f_101_100_110_000_0(uniques, 7);
  f_101_100_110_000_1(uniques, 7);
  f_101_100_110_001_0(uniques, 7);
  f_101_100_110_001_1(uniques, 7);
  f_101_100_110_010_0(uniques, 7);
  f_101_100_110_010_1(uniques, 7);
  f_101_100_110_011_0(uniques, 7);
  f_101_100_110_011_1(uniques, 7);
  f_101_100_110_100_0(uniques, 7);
  f_101_100_110_100_1(uniques, 7);
  f_101_100_110_101_0(uniques, 7);
  f_101_100_110_101_1(uniques, 7);
  f_101_100_110_110_0(uniques, 7);
  f_101_100_110_110_1(uniques, 7);
  f_101_100_110_111_0(uniques, 7);
  f_101_100_110_111_1(uniques, 7);
  f_101_100_111_000_0(uniques, 7);
  f_101_100_111_000_1(uniques, 7);
  f_101_100_111_001_0(uniques, 7);
  f_101_100_111_001_1(uniques, 7);
  f_101_100_111_010_0(uniques, 7);
  f_101_100_111_010_1(uniques, 7);
  f_101_100_111_011_0(uniques, 7);
  f_101_100_111_011_1(uniques, 7);
  f_101_100_111_100_0(uniques, 7);
  f_101_100_111_100_1(uniques, 7);
  f_101_100_111_101_0(uniques, 7);
  f_101_100_111_101_1(uniques, 7);
  f_101_100_111_110_0(uniques, 7);
  f_101_100_111_110_1(uniques, 7);
  f_101_100_111_111_0(uniques, 7);
  f_101_100_111_111_1(uniques, 7);
  f_101_101_010_000_0(uniques, 7);
  f_101_101_010_000_1(uniques, 7);
  f_101_101_010_001_0(uniques, 7);
  f_101_101_010_001_1(uniques, 7);
  f_101_101_010_010_0(uniques, 7);
  f_101_101_010_010_1(uniques, 7);
  f_101_101_010_011_0(uniques, 7);
  f_101_101_010_011_1(uniques, 7);
  f_101_101_010_100_0(uniques, 7);
  f_101_101_010_100_1(uniques, 7);
  f_101_101_010_101_0(uniques, 7);
  f_101_101_010_101_1(uniques, 7);
  f_101_101_010_110_0(uniques, 7);
  f_101_101_010_110_1(uniques, 7);
  f_101_101_010_111_0(uniques, 7);
  f_101_101_010_111_1(uniques, 7);
  f_101_101_011_000_0(uniques, 7);
  f_101_101_011_000_1(uniques, 7);
  f_101_101_011_001_0(uniques, 7);
  f_101_101_011_001_1(uniques, 7);
  f_101_101_011_010_0(uniques, 7);
  f_101_101_011_010_1(uniques, 7);
  f_101_101_011_011_0(uniques, 7);
  f_101_101_011_011_1(uniques, 7);
  f_101_101_011_100_0(uniques, 7);
  f_101_101_011_100_1(uniques, 7);
  f_101_101_011_101_0(uniques, 7);
  f_101_101_011_101_1(uniques, 7);
  f_101_101_011_110_0(uniques, 7);
  f_101_101_011_110_1(uniques, 7);
  f_101_101_011_111_0(uniques, 7);
  f_101_101_011_111_1(uniques, 7);
  f_101_101_110_000_0(uniques, 7);
  f_101_101_110_000_1(uniques, 7);
  f_101_101_110_001_0(uniques, 7);
  f_101_101_110_001_1(uniques, 7);
  f_101_101_110_010_0(uniques, 7);
  f_101_101_110_010_1(uniques, 7);
  f_101_101_110_011_0(uniques, 7);
  f_101_101_110_011_1(uniques, 7);
  f_101_101_110_100_0(uniques, 7);
  f_101_101_110_100_1(uniques, 7);
  f_101_101_110_101_0(uniques, 7);
  f_101_101_110_101_1(uniques, 7);
  f_101_101_110_110_0(uniques, 7);
  f_101_101_110_110_1(uniques, 7);
  f_101_101_110_111_0(uniques, 7);
  f_101_101_110_111_1(uniques, 7);
  f_101_101_111_000_0(uniques, 7);
  f_101_101_111_000_1(uniques, 7);
  f_101_101_111_001_0(uniques, 7);
  f_101_101_111_001_1(uniques, 7);
  f_101_101_111_010_0(uniques, 7);
  f_101_101_111_010_1(uniques, 7);
  f_101_101_111_011_0(uniques, 7);
  f_101_101_111_011_1(uniques, 7);
  f_101_101_111_100_0(uniques, 7);
  f_101_101_111_100_1(uniques, 7);
  f_101_101_111_101_0(uniques, 7);
  f_101_101_111_101_1(uniques, 7);
  f_101_101_111_110_0(uniques, 7);
  f_101_101_111_110_1(uniques, 7);
  f_101_101_111_111_0(uniques, 7);
  f_101_101_111_111_1(uniques, 7);
  f_101_110_010_000_0(uniques, 7);
  f_101_110_010_000_1(uniques, 7);
  f_101_110_010_001_0(uniques, 7);
  f_101_110_010_001_1(uniques, 7);
  f_101_110_010_010_0(uniques, 7);
  f_101_110_010_010_1(uniques, 7);
  f_101_110_010_011_0(uniques, 7);
  f_101_110_010_011_1(uniques, 7);
  f_101_110_010_100_0(uniques, 7);
  f_101_110_010_100_1(uniques, 7);
  f_101_110_010_101_0(uniques, 7);
  f_101_110_010_101_1(uniques, 7);
  f_101_110_010_110_0(uniques, 7);
  f_101_110_010_110_1(uniques, 7);
  f_101_110_010_111_0(uniques, 7);
  f_101_110_010_111_1(uniques, 7);
  f_101_110_011_000_0(uniques, 7);
  f_101_110_011_000_1(uniques, 7);
  f_101_110_011_001_0(uniques, 7);
  f_101_110_011_001_1(uniques, 7);
  f_101_110_011_010_0(uniques, 7);
  f_101_110_011_010_1(uniques, 7);
  f_101_110_011_011_0(uniques, 7);
  f_101_110_011_011_1(uniques, 7);
  f_101_110_011_100_0(uniques, 7);
  f_101_110_011_100_1(uniques, 7);
  f_101_110_011_101_0(uniques, 7);
  f_101_110_011_101_1(uniques, 7);
  f_101_110_011_110_0(uniques, 7);
  f_101_110_011_110_1(uniques, 7);
  f_101_110_011_111_0(uniques, 7);
  f_101_110_011_111_1(uniques, 7);
  f_101_110_110_000_0(uniques, 7);
  f_101_110_110_000_1(uniques, 7);
  f_101_110_110_001_0(uniques, 7);
  f_101_110_110_001_1(uniques, 7);
  f_101_110_110_010_0(uniques, 7);
  f_101_110_110_010_1(uniques, 7);
  f_101_110_110_011_0(uniques, 7);
  f_101_110_110_011_1(uniques, 7);
  f_101_110_110_100_0(uniques, 7);
  f_101_110_110_100_1(uniques, 7);
  f_101_110_110_101_0(uniques, 7);
  f_101_110_110_101_1(uniques, 7);
  f_101_110_110_110_0(uniques, 7);
  f_101_110_110_110_1(uniques, 7);
  f_101_110_110_111_0(uniques, 7);
  f_101_110_110_111_1(uniques, 7);
  f_101_110_111_000_0(uniques, 7);
  f_101_110_111_000_1(uniques, 7);
  f_101_110_111_001_0(uniques, 7);
  f_101_110_111_001_1(uniques, 7);
  f_101_110_111_010_0(uniques, 7);
  f_101_110_111_010_1(uniques, 7);
  f_101_110_111_011_0(uniques, 7);
  f_101_110_111_011_1(uniques, 7);
  f_101_110_111_100_0(uniques, 7);
  f_101_110_111_100_1(uniques, 7);
  f_101_110_111_101_0(uniques, 7);
  f_101_110_111_101_1(uniques, 7);
  f_101_110_111_110_0(uniques, 7);
  f_101_110_111_110_1(uniques, 7);
  f_101_110_111_111_0(uniques, 7);
  f_101_110_111_111_1(uniques, 7);
  f_101_111_010_000_0(uniques, 7);
  f_101_111_010_000_1(uniques, 7);
  f_101_111_010_001_0(uniques, 7);
  f_101_111_010_001_1(uniques, 7);
  f_101_111_010_010_0(uniques, 7);
  f_101_111_010_010_1(uniques, 7);
  f_101_111_010_011_0(uniques, 7);
  f_101_111_010_011_1(uniques, 7);
  f_101_111_010_100_0(uniques, 7);
  f_101_111_010_100_1(uniques, 7);
  f_101_111_010_101_0(uniques, 7);
  f_101_111_010_101_1(uniques, 7);
  f_101_111_010_110_0(uniques, 7);
  f_101_111_010_110_1(uniques, 7);
  f_101_111_010_111_0(uniques, 7);
  f_101_111_010_111_1(uniques, 7);
  f_101_111_011_000_0(uniques, 7);
  f_101_111_011_000_1(uniques, 7);
  f_101_111_011_001_0(uniques, 7);
  f_101_111_011_001_1(uniques, 7);
  f_101_111_011_010_0(uniques, 7);
  f_101_111_011_010_1(uniques, 7);
  f_101_111_011_011_0(uniques, 7);
  f_101_111_011_011_1(uniques, 7);
  f_101_111_011_100_0(uniques, 7);
  f_101_111_011_100_1(uniques, 7);
  f_101_111_011_101_0(uniques, 7);
  f_101_111_011_101_1(uniques, 7);
  f_101_111_011_110_0(uniques, 7);
  f_101_111_011_110_1(uniques, 7);
  f_101_111_011_111_0(uniques, 7);
  f_101_111_011_111_1(uniques, 7);
  f_101_111_110_000_0(uniques, 7);
  f_101_111_110_000_1(uniques, 7);
  f_101_111_110_001_0(uniques, 7);
  f_101_111_110_001_1(uniques, 7);
  f_101_111_110_010_0(uniques, 7);
  f_101_111_110_010_1(uniques, 7);
  f_101_111_110_011_0(uniques, 7);
  f_101_111_110_011_1(uniques, 7);
  f_101_111_110_100_0(uniques, 7);
  f_101_111_110_100_1(uniques, 7);
  f_101_111_110_101_0(uniques, 7);
  f_101_111_110_101_1(uniques, 7);
  f_101_111_110_110_0(uniques, 7);
  f_101_111_110_110_1(uniques, 7);
  f_101_111_110_111_0(uniques, 7);
  f_101_111_110_111_1(uniques, 7);
  f_101_111_111_000_0(uniques, 7);
  f_101_111_111_000_1(uniques, 7);
  f_101_111_111_001_0(uniques, 7);
  f_101_111_111_001_1(uniques, 7);
  f_101_111_111_010_0(uniques, 7);
  f_101_111_111_010_1(uniques, 7);
  f_101_111_111_011_0(uniques, 7);
  f_101_111_111_011_1(uniques, 7);
  f_101_111_111_100_0(uniques, 7);
  f_101_111_111_100_1(uniques, 7);
  f_101_111_111_101_0(uniques, 7);
  f_101_111_111_101_1(uniques, 7);
  f_101_111_111_110_0(uniques, 7);
  f_101_111_111_110_1(uniques, 7);
  f_101_111_111_111_0(uniques, 7);
  f_101_111_111_111_1(uniques, 7);
  f_110_000_010_000_0(uniques, 7);
  f_110_000_010_000_1(uniques, 7);
  f_110_000_010_001_0(uniques, 7);
  f_110_000_010_001_1(uniques, 7);
  f_110_000_010_010_0(uniques, 7);
  f_110_000_010_010_1(uniques, 7);
  f_110_000_010_011_0(uniques, 7);
  f_110_000_010_011_1(uniques, 7);
  f_110_000_010_100_0(uniques, 7);
  f_110_000_010_100_1(uniques, 7);
  f_110_000_010_101_0(uniques, 7);
  f_110_000_010_101_1(uniques, 7);
  f_110_000_010_110_0(uniques, 7);
  f_110_000_010_110_1(uniques, 7);
  f_110_000_010_111_0(uniques, 7);
  f_110_000_010_111_1(uniques, 7);
  f_110_000_011_000_0(uniques, 7);
  f_110_000_011_000_1(uniques, 7);
  f_110_000_011_001_0(uniques, 7);
  f_110_000_011_001_1(uniques, 7);
  f_110_000_011_010_0(uniques, 7);
  f_110_000_011_010_1(uniques, 7);
  f_110_000_011_011_0(uniques, 7);
  f_110_000_011_011_1(uniques, 7);
  f_110_000_011_100_0(uniques, 7);
  f_110_000_011_100_1(uniques, 7);
  f_110_000_011_101_0(uniques, 7);
  f_110_000_011_101_1(uniques, 7);
  f_110_000_011_110_0(uniques, 7);
  f_110_000_011_110_1(uniques, 7);
  f_110_000_011_111_0(uniques, 7);
  f_110_000_011_111_1(uniques, 7);
  f_110_000_110_000_0(uniques, 7);
  f_110_000_110_000_1(uniques, 7);
  f_110_000_110_001_0(uniques, 7);
  f_110_000_110_001_1(uniques, 7);
  f_110_000_110_010_0(uniques, 7);
  f_110_000_110_010_1(uniques, 7);
  f_110_000_110_011_0(uniques, 7);
  f_110_000_110_011_1(uniques, 7);
  f_110_000_110_100_0(uniques, 7);
  f_110_000_110_100_1(uniques, 7);
  f_110_000_110_101_0(uniques, 7);
  f_110_000_110_101_1(uniques, 7);
  f_110_000_110_110_0(uniques, 7);
  f_110_000_110_110_1(uniques, 7);
  f_110_000_110_111_0(uniques, 7);
  f_110_000_110_111_1(uniques, 7);
  f_110_000_111_000_0(uniques, 7);
  f_110_000_111_000_1(uniques, 7);
  f_110_000_111_001_0(uniques, 7);
  f_110_000_111_001_1(uniques, 7);
  f_110_000_111_010_0(uniques, 7);
  f_110_000_111_010_1(uniques, 7);
  f_110_000_111_011_0(uniques, 7);
  f_110_000_111_011_1(uniques, 7);
  f_110_000_111_100_0(uniques, 7);
  f_110_000_111_100_1(uniques, 7);
  f_110_000_111_101_0(uniques, 7);
  f_110_000_111_101_1(uniques, 7);
  f_110_000_111_110_0(uniques, 7);
  f_110_000_111_110_1(uniques, 7);
  f_110_000_111_111_0(uniques, 7);
  f_110_000_111_111_1(uniques, 7);
  f_110_001_010_000_0(uniques, 7);
  f_110_001_010_000_1(uniques, 7);
  f_110_001_010_001_0(uniques, 7);
  f_110_001_010_001_1(uniques, 7);
  f_110_001_010_010_0(uniques, 7);
  f_110_001_010_010_1(uniques, 7);
  f_110_001_010_011_0(uniques, 7);
  f_110_001_010_011_1(uniques, 7);
  f_110_001_010_100_0(uniques, 7);
  f_110_001_010_100_1(uniques, 7);
  f_110_001_010_101_0(uniques, 7);
  f_110_001_010_101_1(uniques, 7);
  f_110_001_010_110_0(uniques, 7);
  f_110_001_010_110_1(uniques, 7);
  f_110_001_010_111_0(uniques, 7);
  f_110_001_010_111_1(uniques, 7);
  f_110_001_011_000_0(uniques, 7);
  f_110_001_011_000_1(uniques, 7);
  f_110_001_011_001_0(uniques, 7);
  f_110_001_011_001_1(uniques, 7);
  f_110_001_011_010_0(uniques, 7);
  f_110_001_011_010_1(uniques, 7);
  f_110_001_011_011_0(uniques, 7);
  f_110_001_011_011_1(uniques, 7);
  f_110_001_011_100_0(uniques, 7);
  f_110_001_011_100_1(uniques, 7);
  f_110_001_011_101_0(uniques, 7);
  f_110_001_011_101_1(uniques, 7);
  f_110_001_011_110_0(uniques, 7);
  f_110_001_011_110_1(uniques, 7);
  f_110_001_011_111_0(uniques, 7);
  f_110_001_011_111_1(uniques, 7);
  f_110_001_110_000_0(uniques, 7);
  f_110_001_110_000_1(uniques, 7);
  f_110_001_110_001_0(uniques, 7);
  f_110_001_110_001_1(uniques, 7);
  f_110_001_110_010_0(uniques, 7);
  f_110_001_110_010_1(uniques, 7);
  f_110_001_110_011_0(uniques, 7);
  f_110_001_110_011_1(uniques, 7);
  f_110_001_110_100_0(uniques, 7);
  f_110_001_110_100_1(uniques, 7);
  f_110_001_110_101_0(uniques, 7);
  f_110_001_110_101_1(uniques, 7);
  f_110_001_110_110_0(uniques, 7);
  f_110_001_110_110_1(uniques, 7);
  f_110_001_110_111_0(uniques, 7);
  f_110_001_110_111_1(uniques, 7);
  f_110_001_111_000_0(uniques, 7);
  f_110_001_111_000_1(uniques, 7);
  f_110_001_111_001_0(uniques, 7);
  f_110_001_111_001_1(uniques, 7);
  f_110_001_111_010_0(uniques, 7);
  f_110_001_111_010_1(uniques, 7);
  f_110_001_111_011_0(uniques, 7);
  f_110_001_111_011_1(uniques, 7);
  f_110_001_111_100_0(uniques, 7);
  f_110_001_111_100_1(uniques, 7);
  f_110_001_111_101_0(uniques, 7);
  f_110_001_111_101_1(uniques, 7);
  f_110_001_111_110_0(uniques, 7);
  f_110_001_111_110_1(uniques, 7);
  f_110_001_111_111_0(uniques, 7);
  f_110_001_111_111_1(uniques, 7);
  f_110_010_010_000_0(uniques, 7);
  f_110_010_010_000_1(uniques, 7);
  f_110_010_010_001_0(uniques, 7);
  f_110_010_010_001_1(uniques, 7);
  f_110_010_010_010_0(uniques, 7);
  f_110_010_010_010_1(uniques, 7);
  f_110_010_010_011_0(uniques, 7);
  f_110_010_010_011_1(uniques, 7);
  f_110_010_010_100_0(uniques, 7);
  f_110_010_010_100_1(uniques, 7);
  f_110_010_010_101_0(uniques, 7);
  f_110_010_010_101_1(uniques, 7);
  f_110_010_010_110_0(uniques, 7);
  f_110_010_010_110_1(uniques, 7);
  f_110_010_010_111_0(uniques, 7);
  f_110_010_010_111_1(uniques, 7);
  f_110_010_011_000_0(uniques, 7);
  f_110_010_011_000_1(uniques, 7);
  f_110_010_011_001_0(uniques, 7);
  f_110_010_011_001_1(uniques, 7);
  f_110_010_011_010_0(uniques, 7);
  f_110_010_011_010_1(uniques, 7);
  f_110_010_011_011_0(uniques, 7);
  f_110_010_011_011_1(uniques, 7);
  f_110_010_011_100_0(uniques, 7);
  f_110_010_011_100_1(uniques, 7);
  f_110_010_011_101_0(uniques, 7);
  f_110_010_011_101_1(uniques, 7);
  f_110_010_011_110_0(uniques, 7);
  f_110_010_011_110_1(uniques, 7);
  f_110_010_011_111_0(uniques, 7);
  f_110_010_011_111_1(uniques, 7);
  f_110_010_110_000_0(uniques, 7);
  f_110_010_110_000_1(uniques, 7);
  f_110_010_110_001_0(uniques, 7);
  f_110_010_110_001_1(uniques, 7);
  f_110_010_110_010_0(uniques, 7);
  f_110_010_110_010_1(uniques, 7);
  f_110_010_110_011_0(uniques, 7);
  f_110_010_110_011_1(uniques, 7);
  f_110_010_110_100_0(uniques, 7);
  f_110_010_110_100_1(uniques, 7);
  f_110_010_110_101_0(uniques, 7);
  f_110_010_110_101_1(uniques, 7);
  f_110_010_110_110_0(uniques, 7);
  f_110_010_110_110_1(uniques, 7);
  f_110_010_110_111_0(uniques, 7);
  f_110_010_110_111_1(uniques, 7);
  f_110_010_111_000_0(uniques, 7);
  f_110_010_111_000_1(uniques, 7);
  f_110_010_111_001_0(uniques, 7);
  f_110_010_111_001_1(uniques, 7);
  f_110_010_111_010_0(uniques, 7);
  f_110_010_111_010_1(uniques, 7);
  f_110_010_111_011_0(uniques, 7);
  f_110_010_111_011_1(uniques, 7);
  f_110_010_111_100_0(uniques, 7);
  f_110_010_111_100_1(uniques, 7);
  f_110_010_111_101_0(uniques, 7);
  f_110_010_111_101_1(uniques, 7);
  f_110_010_111_110_0(uniques, 7);
  f_110_010_111_110_1(uniques, 7);
  f_110_010_111_111_0(uniques, 7);
  f_110_010_111_111_1(uniques, 7);
  f_110_011_010_000_0(uniques, 7);
  f_110_011_010_000_1(uniques, 7);
  f_110_011_010_001_0(uniques, 7);
  f_110_011_010_001_1(uniques, 7);
  f_110_011_010_010_0(uniques, 7);
  f_110_011_010_010_1(uniques, 7);
  f_110_011_010_011_0(uniques, 7);
  f_110_011_010_011_1(uniques, 7);
  f_110_011_010_100_0(uniques, 7);
  f_110_011_010_100_1(uniques, 7);
  f_110_011_010_101_0(uniques, 7);
  f_110_011_010_101_1(uniques, 7);
  f_110_011_010_110_0(uniques, 7);
  f_110_011_010_110_1(uniques, 7);
  f_110_011_010_111_0(uniques, 7);
  f_110_011_010_111_1(uniques, 7);
  f_110_011_011_000_0(uniques, 7);
  f_110_011_011_000_1(uniques, 7);
  f_110_011_011_001_0(uniques, 7);
  f_110_011_011_001_1(uniques, 7);
  f_110_011_011_010_0(uniques, 7);
  f_110_011_011_010_1(uniques, 7);
  f_110_011_011_011_0(uniques, 7);
  f_110_011_011_011_1(uniques, 7);
  f_110_011_011_100_0(uniques, 7);
  f_110_011_011_100_1(uniques, 7);
  f_110_011_011_101_0(uniques, 7);
  f_110_011_011_101_1(uniques, 7);
  f_110_011_011_110_0(uniques, 7);
  f_110_011_011_110_1(uniques, 7);
  f_110_011_011_111_0(uniques, 7);
  f_110_011_011_111_1(uniques, 7);
  f_110_011_110_000_0(uniques, 7);
  f_110_011_110_000_1(uniques, 7);
  f_110_011_110_001_0(uniques, 7);
  f_110_011_110_001_1(uniques, 7);
  f_110_011_110_010_0(uniques, 7);
  f_110_011_110_010_1(uniques, 7);
  f_110_011_110_011_0(uniques, 7);
  f_110_011_110_011_1(uniques, 7);
  f_110_011_110_100_0(uniques, 7);
  f_110_011_110_100_1(uniques, 7);
  f_110_011_110_101_0(uniques, 7);
  f_110_011_110_101_1(uniques, 7);
  f_110_011_110_110_0(uniques, 7);
  f_110_011_110_110_1(uniques, 7);
  f_110_011_110_111_0(uniques, 7);
  f_110_011_110_111_1(uniques, 7);
  f_110_011_111_000_0(uniques, 7);
  f_110_011_111_000_1(uniques, 7);
  f_110_011_111_001_0(uniques, 7);
  f_110_011_111_001_1(uniques, 7);
  f_110_011_111_010_0(uniques, 7);
  f_110_011_111_010_1(uniques, 7);
  f_110_011_111_011_0(uniques, 7);
  f_110_011_111_011_1(uniques, 7);
  f_110_011_111_100_0(uniques, 7);
  f_110_011_111_100_1(uniques, 7);
  f_110_011_111_101_0(uniques, 7);
  f_110_011_111_101_1(uniques, 7);
  f_110_011_111_110_0(uniques, 7);
  f_110_011_111_110_1(uniques, 7);
  f_110_011_111_111_0(uniques, 7);
  f_110_011_111_111_1(uniques, 7);
  f_110_100_010_000_0(uniques, 7);
  f_110_100_010_000_1(uniques, 7);
  f_110_100_010_001_0(uniques, 7);
  f_110_100_010_001_1(uniques, 7);
  f_110_100_010_010_0(uniques, 7);
  f_110_100_010_010_1(uniques, 7);
  f_110_100_010_011_0(uniques, 7);
  f_110_100_010_011_1(uniques, 7);
  f_110_100_010_100_0(uniques, 7);
  f_110_100_010_100_1(uniques, 7);
  f_110_100_010_101_0(uniques, 7);
  f_110_100_010_101_1(uniques, 7);
  f_110_100_010_110_0(uniques, 7);
  f_110_100_010_110_1(uniques, 7);
  f_110_100_010_111_0(uniques, 7);
  f_110_100_010_111_1(uniques, 7);
  f_110_100_011_000_0(uniques, 7);
  f_110_100_011_000_1(uniques, 7);
  f_110_100_011_001_0(uniques, 7);
  f_110_100_011_001_1(uniques, 7);
  f_110_100_011_010_0(uniques, 7);
  f_110_100_011_010_1(uniques, 7);
  f_110_100_011_011_0(uniques, 7);
  f_110_100_011_011_1(uniques, 7);
  f_110_100_011_100_0(uniques, 7);
  f_110_100_011_100_1(uniques, 7);
  f_110_100_011_101_0(uniques, 7);
  f_110_100_011_101_1(uniques, 7);
  f_110_100_011_110_0(uniques, 7);
  f_110_100_011_110_1(uniques, 7);
  f_110_100_011_111_0(uniques, 7);
  f_110_100_011_111_1(uniques, 7);
  f_110_100_110_000_0(uniques, 7);
  f_110_100_110_000_1(uniques, 7);
  f_110_100_110_001_0(uniques, 7);
  f_110_100_110_001_1(uniques, 7);
  f_110_100_110_010_0(uniques, 7);
  f_110_100_110_010_1(uniques, 7);
  f_110_100_110_011_0(uniques, 7);
  f_110_100_110_011_1(uniques, 7);
  f_110_100_110_100_0(uniques, 7);
  f_110_100_110_100_1(uniques, 7);
  f_110_100_110_101_0(uniques, 7);
  f_110_100_110_101_1(uniques, 7);
  f_110_100_110_110_0(uniques, 7);
  f_110_100_110_110_1(uniques, 7);
  f_110_100_110_111_0(uniques, 7);
  f_110_100_110_111_1(uniques, 7);
  f_110_100_111_000_0(uniques, 7);
  f_110_100_111_000_1(uniques, 7);
  f_110_100_111_001_0(uniques, 7);
  f_110_100_111_001_1(uniques, 7);
  f_110_100_111_010_0(uniques, 7);
  f_110_100_111_010_1(uniques, 7);
  f_110_100_111_011_0(uniques, 7);
  f_110_100_111_011_1(uniques, 7);
  f_110_100_111_100_0(uniques, 7);
  f_110_100_111_100_1(uniques, 7);
  f_110_100_111_101_0(uniques, 7);
  f_110_100_111_101_1(uniques, 7);
  f_110_100_111_110_0(uniques, 7);
  f_110_100_111_110_1(uniques, 7);
  f_110_100_111_111_0(uniques, 7);
  f_110_100_111_111_1(uniques, 7);
  f_110_101_010_000_0(uniques, 7);
  f_110_101_010_000_1(uniques, 7);
  f_110_101_010_001_0(uniques, 7);
  f_110_101_010_001_1(uniques, 7);
  f_110_101_010_010_0(uniques, 7);
  f_110_101_010_010_1(uniques, 7);
  f_110_101_010_011_0(uniques, 7);
  f_110_101_010_011_1(uniques, 7);
  f_110_101_010_100_0(uniques, 7);
  f_110_101_010_100_1(uniques, 7);
  f_110_101_010_101_0(uniques, 7);
  f_110_101_010_101_1(uniques, 7);
  f_110_101_010_110_0(uniques, 7);
  f_110_101_010_110_1(uniques, 7);
  f_110_101_010_111_0(uniques, 7);
  f_110_101_010_111_1(uniques, 7);
  f_110_101_011_000_0(uniques, 7);
  f_110_101_011_000_1(uniques, 7);
  f_110_101_011_001_0(uniques, 7);
  f_110_101_011_001_1(uniques, 7);
  f_110_101_011_010_0(uniques, 7);
  f_110_101_011_010_1(uniques, 7);
  f_110_101_011_011_0(uniques, 7);
  f_110_101_011_011_1(uniques, 7);
  f_110_101_011_100_0(uniques, 7);
  f_110_101_011_100_1(uniques, 7);
  f_110_101_011_101_0(uniques, 7);
  f_110_101_011_101_1(uniques, 7);
  f_110_101_011_110_0(uniques, 7);
  f_110_101_011_110_1(uniques, 7);
  f_110_101_011_111_0(uniques, 7);
  f_110_101_011_111_1(uniques, 7);
  f_110_101_110_000_0(uniques, 7);
  f_110_101_110_000_1(uniques, 7);
  f_110_101_110_001_0(uniques, 7);
  f_110_101_110_001_1(uniques, 7);
  f_110_101_110_010_0(uniques, 7);
  f_110_101_110_010_1(uniques, 7);
  f_110_101_110_011_0(uniques, 7);
  f_110_101_110_011_1(uniques, 7);
  f_110_101_110_100_0(uniques, 7);
  f_110_101_110_100_1(uniques, 7);
  f_110_101_110_101_0(uniques, 7);
  f_110_101_110_101_1(uniques, 7);
  f_110_101_110_110_0(uniques, 7);
  f_110_101_110_110_1(uniques, 7);
  f_110_101_110_111_0(uniques, 7);
  f_110_101_110_111_1(uniques, 7);
  f_110_101_111_000_0(uniques, 7);
  f_110_101_111_000_1(uniques, 7);
  f_110_101_111_001_0(uniques, 7);
  f_110_101_111_001_1(uniques, 7);
  f_110_101_111_010_0(uniques, 7);
  f_110_101_111_010_1(uniques, 7);
  f_110_101_111_011_0(uniques, 7);
  f_110_101_111_011_1(uniques, 7);
  f_110_101_111_100_0(uniques, 7);
  f_110_101_111_100_1(uniques, 7);
  f_110_101_111_101_0(uniques, 7);
  f_110_101_111_101_1(uniques, 7);
  f_110_101_111_110_0(uniques, 7);
  f_110_101_111_110_1(uniques, 7);
  f_110_101_111_111_0(uniques, 7);
  f_110_101_111_111_1(uniques, 7);
  f_110_110_010_000_0(uniques, 7);
  f_110_110_010_000_1(uniques, 7);
  f_110_110_010_001_0(uniques, 7);
  f_110_110_010_001_1(uniques, 7);
  f_110_110_010_010_0(uniques, 7);
  f_110_110_010_010_1(uniques, 7);
  f_110_110_010_011_0(uniques, 7);
  f_110_110_010_011_1(uniques, 7);
  f_110_110_010_100_0(uniques, 7);
  f_110_110_010_100_1(uniques, 7);
  f_110_110_010_101_0(uniques, 7);
  f_110_110_010_101_1(uniques, 7);
  f_110_110_010_110_0(uniques, 7);
  f_110_110_010_110_1(uniques, 7);
  f_110_110_010_111_0(uniques, 7);
  f_110_110_010_111_1(uniques, 7);
  f_110_110_011_000_0(uniques, 7);
  f_110_110_011_000_1(uniques, 7);
  f_110_110_011_001_0(uniques, 7);
  f_110_110_011_001_1(uniques, 7);
  f_110_110_011_010_0(uniques, 7);
  f_110_110_011_010_1(uniques, 7);
  f_110_110_011_011_0(uniques, 7);
  f_110_110_011_011_1(uniques, 7);
  f_110_110_011_100_0(uniques, 7);
  f_110_110_011_100_1(uniques, 7);
  f_110_110_011_101_0(uniques, 7);
  f_110_110_011_101_1(uniques, 7);
  f_110_110_011_110_0(uniques, 7);
  f_110_110_011_110_1(uniques, 7);
  f_110_110_011_111_0(uniques, 7);
  f_110_110_011_111_1(uniques, 7);
  f_110_110_110_000_0(uniques, 7);
  f_110_110_110_000_1(uniques, 7);
  f_110_110_110_001_0(uniques, 7);
  f_110_110_110_001_1(uniques, 7);
  f_110_110_110_010_0(uniques, 7);
  f_110_110_110_010_1(uniques, 7);
  f_110_110_110_011_0(uniques, 7);
  f_110_110_110_011_1(uniques, 7);
  f_110_110_110_100_0(uniques, 7);
  f_110_110_110_100_1(uniques, 7);
  f_110_110_110_101_0(uniques, 7);
  f_110_110_110_101_1(uniques, 7);
  f_110_110_110_110_0(uniques, 7);
  f_110_110_110_110_1(uniques, 7);
  f_110_110_110_111_0(uniques, 7);
  f_110_110_110_111_1(uniques, 7);
  f_110_110_111_000_0(uniques, 7);
  f_110_110_111_000_1(uniques, 7);
  f_110_110_111_001_0(uniques, 7);
  f_110_110_111_001_1(uniques, 7);
  f_110_110_111_010_0(uniques, 7);
  f_110_110_111_010_1(uniques, 7);
  f_110_110_111_011_0(uniques, 7);
  f_110_110_111_011_1(uniques, 7);
  f_110_110_111_100_0(uniques, 7);
  f_110_110_111_100_1(uniques, 7);
  f_110_110_111_101_0(uniques, 7);
  f_110_110_111_101_1(uniques, 7);
  f_110_110_111_110_0(uniques, 7);
  f_110_110_111_110_1(uniques, 7);
  f_110_110_111_111_0(uniques, 7);
  f_110_110_111_111_1(uniques, 7);
  f_110_111_010_000_0(uniques, 7);
  f_110_111_010_000_1(uniques, 7);
  f_110_111_010_001_0(uniques, 7);
  f_110_111_010_001_1(uniques, 7);
  f_110_111_010_010_0(uniques, 7);
  f_110_111_010_010_1(uniques, 7);
  f_110_111_010_011_0(uniques, 7);
  f_110_111_010_011_1(uniques, 7);
  f_110_111_010_100_0(uniques, 7);
  f_110_111_010_100_1(uniques, 7);
  f_110_111_010_101_0(uniques, 7);
  f_110_111_010_101_1(uniques, 7);
  f_110_111_010_110_0(uniques, 7);
  f_110_111_010_110_1(uniques, 7);
  f_110_111_010_111_0(uniques, 7);
  f_110_111_010_111_1(uniques, 7);
  f_110_111_011_000_0(uniques, 7);
  f_110_111_011_000_1(uniques, 7);
  f_110_111_011_001_0(uniques, 7);
  f_110_111_011_001_1(uniques, 7);
  f_110_111_011_010_0(uniques, 7);
  f_110_111_011_010_1(uniques, 7);
  f_110_111_011_011_0(uniques, 7);
  f_110_111_011_011_1(uniques, 7);
  f_110_111_011_100_0(uniques, 7);
  f_110_111_011_100_1(uniques, 7);
  f_110_111_011_101_0(uniques, 7);
  f_110_111_011_101_1(uniques, 7);
  f_110_111_011_110_0(uniques, 7);
  f_110_111_011_110_1(uniques, 7);
  f_110_111_011_111_0(uniques, 7);
  f_110_111_011_111_1(uniques, 7);
  f_110_111_110_000_0(uniques, 7);
  f_110_111_110_000_1(uniques, 7);
  f_110_111_110_001_0(uniques, 7);
  f_110_111_110_001_1(uniques, 7);
  f_110_111_110_010_0(uniques, 7);
  f_110_111_110_010_1(uniques, 7);
  f_110_111_110_011_0(uniques, 7);
  f_110_111_110_011_1(uniques, 7);
  f_110_111_110_100_0(uniques, 7);
  f_110_111_110_100_1(uniques, 7);
  f_110_111_110_101_0(uniques, 7);
  f_110_111_110_101_1(uniques, 7);
  f_110_111_110_110_0(uniques, 7);
  f_110_111_110_110_1(uniques, 7);
  f_110_111_110_111_0(uniques, 7);
  f_110_111_110_111_1(uniques, 7);
  f_110_111_111_000_0(uniques, 7);
  f_110_111_111_000_1(uniques, 7);
  f_110_111_111_001_0(uniques, 7);
  f_110_111_111_001_1(uniques, 7);
  f_110_111_111_010_0(uniques, 7);
  f_110_111_111_010_1(uniques, 7);
  f_110_111_111_011_0(uniques, 7);
  f_110_111_111_011_1(uniques, 7);
  f_110_111_111_100_0(uniques, 7);
  f_110_111_111_100_1(uniques, 7);
  f_110_111_111_101_0(uniques, 7);
  f_110_111_111_101_1(uniques, 7);
  f_110_111_111_110_0(uniques, 7);
  f_110_111_111_110_1(uniques, 7);
  f_110_111_111_111_0(uniques, 7);
  f_110_111_111_111_1(uniques, 7);
  f_111_000_010_000_0(uniques, 7);
  f_111_000_010_000_1(uniques, 7);
  f_111_000_010_001_0(uniques, 7);
  f_111_000_010_001_1(uniques, 7);
  f_111_000_010_010_0(uniques, 7);
  f_111_000_010_010_1(uniques, 7);
  f_111_000_010_011_0(uniques, 7);
  f_111_000_010_011_1(uniques, 7);
  f_111_000_010_100_0(uniques, 7);
  f_111_000_010_100_1(uniques, 7);
  f_111_000_010_101_0(uniques, 7);
  f_111_000_010_101_1(uniques, 7);
  f_111_000_010_110_0(uniques, 7);
  f_111_000_010_110_1(uniques, 7);
  f_111_000_010_111_0(uniques, 7);
  f_111_000_010_111_1(uniques, 7);
  f_111_000_011_000_0(uniques, 7);
  f_111_000_011_000_1(uniques, 7);
  f_111_000_011_001_0(uniques, 7);
  f_111_000_011_001_1(uniques, 7);
  f_111_000_011_010_0(uniques, 7);
  f_111_000_011_010_1(uniques, 7);
  f_111_000_011_011_0(uniques, 7);
  f_111_000_011_011_1(uniques, 7);
  f_111_000_011_100_0(uniques, 7);
  f_111_000_011_100_1(uniques, 7);
  f_111_000_011_101_0(uniques, 7);
  f_111_000_011_101_1(uniques, 7);
  f_111_000_011_110_0(uniques, 7);
  f_111_000_011_110_1(uniques, 7);
  f_111_000_011_111_0(uniques, 7);
  f_111_000_011_111_1(uniques, 7);
  f_111_000_110_000_0(uniques, 7);
  f_111_000_110_000_1(uniques, 7);
  f_111_000_110_001_0(uniques, 7);
  f_111_000_110_001_1(uniques, 7);
  f_111_000_110_010_0(uniques, 7);
  f_111_000_110_010_1(uniques, 7);
  f_111_000_110_011_0(uniques, 7);
  f_111_000_110_011_1(uniques, 7);
  f_111_000_110_100_0(uniques, 7);
  f_111_000_110_100_1(uniques, 7);
  f_111_000_110_101_0(uniques, 7);
  f_111_000_110_101_1(uniques, 7);
  f_111_000_110_110_0(uniques, 7);
  f_111_000_110_110_1(uniques, 7);
  f_111_000_110_111_0(uniques, 7);
  f_111_000_110_111_1(uniques, 7);
  f_111_000_111_000_0(uniques, 7);
  f_111_000_111_000_1(uniques, 7);
  f_111_000_111_001_0(uniques, 7);
  f_111_000_111_001_1(uniques, 7);
  f_111_000_111_010_0(uniques, 7);
  f_111_000_111_010_1(uniques, 7);
  f_111_000_111_011_0(uniques, 7);
  f_111_000_111_011_1(uniques, 7);
  f_111_000_111_100_0(uniques, 7);
  f_111_000_111_100_1(uniques, 7);
  f_111_000_111_101_0(uniques, 7);
  f_111_000_111_101_1(uniques, 7);
  f_111_000_111_110_0(uniques, 7);
  f_111_000_111_110_1(uniques, 7);
  f_111_000_111_111_0(uniques, 7);
  f_111_000_111_111_1(uniques, 7);
  f_111_001_010_000_0(uniques, 7);
  f_111_001_010_000_1(uniques, 7);
  f_111_001_010_001_0(uniques, 7);
  f_111_001_010_001_1(uniques, 7);
  f_111_001_010_010_0(uniques, 7);
  f_111_001_010_010_1(uniques, 7);
  f_111_001_010_011_0(uniques, 7);
  f_111_001_010_011_1(uniques, 7);
  f_111_001_010_100_0(uniques, 7);
  f_111_001_010_100_1(uniques, 7);
  f_111_001_010_101_0(uniques, 7);
  f_111_001_010_101_1(uniques, 7);
  f_111_001_010_110_0(uniques, 7);
  f_111_001_010_110_1(uniques, 7);
  f_111_001_010_111_0(uniques, 7);
  f_111_001_010_111_1(uniques, 7);
  f_111_001_011_000_0(uniques, 7);
  f_111_001_011_000_1(uniques, 7);
  f_111_001_011_001_0(uniques, 7);
  f_111_001_011_001_1(uniques, 7);
  f_111_001_011_010_0(uniques, 7);
  f_111_001_011_010_1(uniques, 7);
  f_111_001_011_011_0(uniques, 7);
  f_111_001_011_011_1(uniques, 7);
  f_111_001_011_100_0(uniques, 7);
  f_111_001_011_100_1(uniques, 7);
  f_111_001_011_101_0(uniques, 7);
  f_111_001_011_101_1(uniques, 7);
  f_111_001_011_110_0(uniques, 7);
  f_111_001_011_110_1(uniques, 7);
  f_111_001_011_111_0(uniques, 7);
  f_111_001_011_111_1(uniques, 7);
  f_111_001_110_000_0(uniques, 7);
  f_111_001_110_000_1(uniques, 7);
  f_111_001_110_001_0(uniques, 7);
  f_111_001_110_001_1(uniques, 7);
  f_111_001_110_010_0(uniques, 7);
  f_111_001_110_010_1(uniques, 7);
  f_111_001_110_011_0(uniques, 7);
  f_111_001_110_011_1(uniques, 7);
  f_111_001_110_100_0(uniques, 7);
  f_111_001_110_100_1(uniques, 7);
  f_111_001_110_101_0(uniques, 7);
  f_111_001_110_101_1(uniques, 7);
  f_111_001_110_110_0(uniques, 7);
  f_111_001_110_110_1(uniques, 7);
  f_111_001_110_111_0(uniques, 7);
  f_111_001_110_111_1(uniques, 7);
  f_111_001_111_000_0(uniques, 7);
  f_111_001_111_000_1(uniques, 7);
  f_111_001_111_001_0(uniques, 7);
  f_111_001_111_001_1(uniques, 7);
  f_111_001_111_010_0(uniques, 7);
  f_111_001_111_010_1(uniques, 7);
  f_111_001_111_011_0(uniques, 7);
  f_111_001_111_011_1(uniques, 7);
  f_111_001_111_100_0(uniques, 7);
  f_111_001_111_100_1(uniques, 7);
  f_111_001_111_101_0(uniques, 7);
  f_111_001_111_101_1(uniques, 7);
  f_111_001_111_110_0(uniques, 7);
  f_111_001_111_110_1(uniques, 7);
  f_111_001_111_111_0(uniques, 7);
  f_111_001_111_111_1(uniques, 7);
  f_111_010_010_000_0(uniques, 7);
  f_111_010_010_000_1(uniques, 7);
  f_111_010_010_001_0(uniques, 7);
  f_111_010_010_001_1(uniques, 7);
  f_111_010_010_010_0(uniques, 7);
  f_111_010_010_010_1(uniques, 7);
  f_111_010_010_011_0(uniques, 7);
  f_111_010_010_011_1(uniques, 7);
  f_111_010_010_100_0(uniques, 7);
  f_111_010_010_100_1(uniques, 7);
  f_111_010_010_101_0(uniques, 7);
  f_111_010_010_101_1(uniques, 7);
  f_111_010_010_110_0(uniques, 7);
  f_111_010_010_110_1(uniques, 7);
  f_111_010_010_111_0(uniques, 7);
  f_111_010_010_111_1(uniques, 7);
  f_111_010_011_000_0(uniques, 7);
  f_111_010_011_000_1(uniques, 7);
  f_111_010_011_001_0(uniques, 7);
  f_111_010_011_001_1(uniques, 7);
  f_111_010_011_010_0(uniques, 7);
  f_111_010_011_010_1(uniques, 7);
  f_111_010_011_011_0(uniques, 7);
  f_111_010_011_011_1(uniques, 7);
  f_111_010_011_100_0(uniques, 7);
  f_111_010_011_100_1(uniques, 7);
  f_111_010_011_101_0(uniques, 7);
  f_111_010_011_101_1(uniques, 7);
  f_111_010_011_110_0(uniques, 7);
  f_111_010_011_110_1(uniques, 7);
  f_111_010_011_111_0(uniques, 7);
  f_111_010_011_111_1(uniques, 7);
  f_111_010_110_000_0(uniques, 7);
  f_111_010_110_000_1(uniques, 7);
  f_111_010_110_001_0(uniques, 7);
  f_111_010_110_001_1(uniques, 7);
  f_111_010_110_010_0(uniques, 7);
  f_111_010_110_010_1(uniques, 7);
  f_111_010_110_011_0(uniques, 7);
  f_111_010_110_011_1(uniques, 7);
  f_111_010_110_100_0(uniques, 7);
  f_111_010_110_100_1(uniques, 7);
  f_111_010_110_101_0(uniques, 7);
  f_111_010_110_101_1(uniques, 7);
  f_111_010_110_110_0(uniques, 7);
  f_111_010_110_110_1(uniques, 7);
  f_111_010_110_111_0(uniques, 7);
  f_111_010_110_111_1(uniques, 7);
  f_111_010_111_000_0(uniques, 7);
  f_111_010_111_000_1(uniques, 7);
  f_111_010_111_001_0(uniques, 7);
  f_111_010_111_001_1(uniques, 7);
  f_111_010_111_010_0(uniques, 7);
  f_111_010_111_010_1(uniques, 7);
  f_111_010_111_011_0(uniques, 7);
  f_111_010_111_011_1(uniques, 7);
  f_111_010_111_100_0(uniques, 7);
  f_111_010_111_100_1(uniques, 7);
  f_111_010_111_101_0(uniques, 7);
  f_111_010_111_101_1(uniques, 7);
  f_111_010_111_110_0(uniques, 7);
  f_111_010_111_110_1(uniques, 7);
  f_111_010_111_111_0(uniques, 7);
  f_111_010_111_111_1(uniques, 7);
  f_111_011_010_000_0(uniques, 7);
  f_111_011_010_000_1(uniques, 7);
  f_111_011_010_001_0(uniques, 7);
  f_111_011_010_001_1(uniques, 7);
  f_111_011_010_010_0(uniques, 7);
  f_111_011_010_010_1(uniques, 7);
  f_111_011_010_011_0(uniques, 7);
  f_111_011_010_011_1(uniques, 7);
  f_111_011_010_100_0(uniques, 7);
  f_111_011_010_100_1(uniques, 7);
  f_111_011_010_101_0(uniques, 7);
  f_111_011_010_101_1(uniques, 7);
  f_111_011_010_110_0(uniques, 7);
  f_111_011_010_110_1(uniques, 7);
  f_111_011_010_111_0(uniques, 7);
  f_111_011_010_111_1(uniques, 7);
  f_111_011_011_000_0(uniques, 7);
  f_111_011_011_000_1(uniques, 7);
  f_111_011_011_001_0(uniques, 7);
  f_111_011_011_001_1(uniques, 7);
  f_111_011_011_010_0(uniques, 7);
  f_111_011_011_010_1(uniques, 7);
  f_111_011_011_011_0(uniques, 7);
  f_111_011_011_011_1(uniques, 7);
  f_111_011_011_100_0(uniques, 7);
  f_111_011_011_100_1(uniques, 7);
  f_111_011_011_101_0(uniques, 7);
  f_111_011_011_101_1(uniques, 7);
  f_111_011_011_110_0(uniques, 7);
  f_111_011_011_110_1(uniques, 7);
  f_111_011_011_111_0(uniques, 7);
  f_111_011_011_111_1(uniques, 7);
  f_111_011_110_000_0(uniques, 7);
  f_111_011_110_000_1(uniques, 7);
  f_111_011_110_001_0(uniques, 7);
  f_111_011_110_001_1(uniques, 7);
  f_111_011_110_010_0(uniques, 7);
  f_111_011_110_010_1(uniques, 7);
  f_111_011_110_011_0(uniques, 7);
  f_111_011_110_011_1(uniques, 7);
  f_111_011_110_100_0(uniques, 7);
  f_111_011_110_100_1(uniques, 7);
  f_111_011_110_101_0(uniques, 7);
  f_111_011_110_101_1(uniques, 7);
  f_111_011_110_110_0(uniques, 7);
  f_111_011_110_110_1(uniques, 7);
  f_111_011_110_111_0(uniques, 7);
  f_111_011_110_111_1(uniques, 7);
  f_111_011_111_000_0(uniques, 7);
  f_111_011_111_000_1(uniques, 7);
  f_111_011_111_001_0(uniques, 7);
  f_111_011_111_001_1(uniques, 7);
  f_111_011_111_010_0(uniques, 7);
  f_111_011_111_010_1(uniques, 7);
  f_111_011_111_011_0(uniques, 7);
  f_111_011_111_011_1(uniques, 7);
  f_111_011_111_100_0(uniques, 7);
  f_111_011_111_100_1(uniques, 7);
  f_111_011_111_101_0(uniques, 7);
  f_111_011_111_101_1(uniques, 7);
  f_111_011_111_110_0(uniques, 7);
  f_111_011_111_110_1(uniques, 7);
  f_111_011_111_111_0(uniques, 7);
  f_111_011_111_111_1(uniques, 7);
  f_111_100_010_000_0(uniques, 7);
  f_111_100_010_000_1(uniques, 7);
  f_111_100_010_001_0(uniques, 7);
  f_111_100_010_001_1(uniques, 7);
  f_111_100_010_010_0(uniques, 7);
  f_111_100_010_010_1(uniques, 7);
  f_111_100_010_011_0(uniques, 7);
  f_111_100_010_011_1(uniques, 7);
  f_111_100_010_100_0(uniques, 7);
  f_111_100_010_100_1(uniques, 7);
  f_111_100_010_101_0(uniques, 7);
  f_111_100_010_101_1(uniques, 7);
  f_111_100_010_110_0(uniques, 7);
  f_111_100_010_110_1(uniques, 7);
  f_111_100_010_111_0(uniques, 7);
  f_111_100_010_111_1(uniques, 7);
  f_111_100_011_000_0(uniques, 7);
  f_111_100_011_000_1(uniques, 7);
  f_111_100_011_001_0(uniques, 7);
  f_111_100_011_001_1(uniques, 7);
  f_111_100_011_010_0(uniques, 7);
  f_111_100_011_010_1(uniques, 7);
  f_111_100_011_011_0(uniques, 7);
  f_111_100_011_011_1(uniques, 7);
  f_111_100_011_100_0(uniques, 7);
  f_111_100_011_100_1(uniques, 7);
  f_111_100_011_101_0(uniques, 7);
  f_111_100_011_101_1(uniques, 7);
  f_111_100_011_110_0(uniques, 7);
  f_111_100_011_110_1(uniques, 7);
  f_111_100_011_111_0(uniques, 7);
  f_111_100_011_111_1(uniques, 7);
  f_111_100_110_000_0(uniques, 7);
  f_111_100_110_000_1(uniques, 7);
  f_111_100_110_001_0(uniques, 7);
  f_111_100_110_001_1(uniques, 7);
  f_111_100_110_010_0(uniques, 7);
  f_111_100_110_010_1(uniques, 7);
  f_111_100_110_011_0(uniques, 7);
  f_111_100_110_011_1(uniques, 7);
  f_111_100_110_100_0(uniques, 7);
  f_111_100_110_100_1(uniques, 7);
  f_111_100_110_101_0(uniques, 7);
  f_111_100_110_101_1(uniques, 7);
  f_111_100_110_110_0(uniques, 7);
  f_111_100_110_110_1(uniques, 7);
  f_111_100_110_111_0(uniques, 7);
  f_111_100_110_111_1(uniques, 7);
  f_111_100_111_000_0(uniques, 7);
  f_111_100_111_000_1(uniques, 7);
  f_111_100_111_001_0(uniques, 7);
  f_111_100_111_001_1(uniques, 7);
  f_111_100_111_010_0(uniques, 7);
  f_111_100_111_010_1(uniques, 7);
  f_111_100_111_011_0(uniques, 7);
  f_111_100_111_011_1(uniques, 7);
  f_111_100_111_100_0(uniques, 7);
  f_111_100_111_100_1(uniques, 7);
  f_111_100_111_101_0(uniques, 7);
  f_111_100_111_101_1(uniques, 7);
  f_111_100_111_110_0(uniques, 7);
  f_111_100_111_110_1(uniques, 7);
  f_111_100_111_111_0(uniques, 7);
  f_111_100_111_111_1(uniques, 7);
  f_111_101_010_000_0(uniques, 7);
  f_111_101_010_000_1(uniques, 7);
  f_111_101_010_001_0(uniques, 7);
  f_111_101_010_001_1(uniques, 7);
  f_111_101_010_010_0(uniques, 7);
  f_111_101_010_010_1(uniques, 7);
  f_111_101_010_011_0(uniques, 7);
  f_111_101_010_011_1(uniques, 7);
  f_111_101_010_100_0(uniques, 7);
  f_111_101_010_100_1(uniques, 7);
  f_111_101_010_101_0(uniques, 7);
  f_111_101_010_101_1(uniques, 7);
  f_111_101_010_110_0(uniques, 7);
  f_111_101_010_110_1(uniques, 7);
  f_111_101_010_111_0(uniques, 7);
  f_111_101_010_111_1(uniques, 7);
  f_111_101_011_000_0(uniques, 7);
  f_111_101_011_000_1(uniques, 7);
  f_111_101_011_001_0(uniques, 7);
  f_111_101_011_001_1(uniques, 7);
  f_111_101_011_010_0(uniques, 7);
  f_111_101_011_010_1(uniques, 7);
  f_111_101_011_011_0(uniques, 7);
  f_111_101_011_011_1(uniques, 7);
  f_111_101_011_100_0(uniques, 7);
  f_111_101_011_100_1(uniques, 7);
  f_111_101_011_101_0(uniques, 7);
  f_111_101_011_101_1(uniques, 7);
  f_111_101_011_110_0(uniques, 7);
  f_111_101_011_110_1(uniques, 7);
  f_111_101_011_111_0(uniques, 7);
  f_111_101_011_111_1(uniques, 7);
  f_111_101_110_000_0(uniques, 7);
  f_111_101_110_000_1(uniques, 7);
  f_111_101_110_001_0(uniques, 7);
  f_111_101_110_001_1(uniques, 7);
  f_111_101_110_010_0(uniques, 7);
  f_111_101_110_010_1(uniques, 7);
  f_111_101_110_011_0(uniques, 7);
  f_111_101_110_011_1(uniques, 7);
  f_111_101_110_100_0(uniques, 7);
  f_111_101_110_100_1(uniques, 7);
  f_111_101_110_101_0(uniques, 7);
  f_111_101_110_101_1(uniques, 7);
  f_111_101_110_110_0(uniques, 7);
  f_111_101_110_110_1(uniques, 7);
  f_111_101_110_111_0(uniques, 7);
  f_111_101_110_111_1(uniques, 7);
  f_111_101_111_000_0(uniques, 7);
  f_111_101_111_000_1(uniques, 7);
  f_111_101_111_001_0(uniques, 7);
  f_111_101_111_001_1(uniques, 7);
  f_111_101_111_010_0(uniques, 7);
  f_111_101_111_010_1(uniques, 7);
  f_111_101_111_011_0(uniques, 7);
  f_111_101_111_011_1(uniques, 7);
  f_111_101_111_100_0(uniques, 7);
  f_111_101_111_100_1(uniques, 7);
  f_111_101_111_101_0(uniques, 7);
  f_111_101_111_101_1(uniques, 7);
  f_111_101_111_110_0(uniques, 7);
  f_111_101_111_110_1(uniques, 7);
  f_111_101_111_111_0(uniques, 7);
  f_111_101_111_111_1(uniques, 7);
  f_111_110_010_000_0(uniques, 7);
  f_111_110_010_000_1(uniques, 7);
  f_111_110_010_001_0(uniques, 7);
  f_111_110_010_001_1(uniques, 7);
  f_111_110_010_010_0(uniques, 7);
  f_111_110_010_010_1(uniques, 7);
  f_111_110_010_011_0(uniques, 7);
  f_111_110_010_011_1(uniques, 7);
  f_111_110_010_100_0(uniques, 7);
  f_111_110_010_100_1(uniques, 7);
  f_111_110_010_101_0(uniques, 7);
  f_111_110_010_101_1(uniques, 7);
  f_111_110_010_110_0(uniques, 7);
  f_111_110_010_110_1(uniques, 7);
  f_111_110_010_111_0(uniques, 7);
  f_111_110_010_111_1(uniques, 7);
  f_111_110_011_000_0(uniques, 7);
  f_111_110_011_000_1(uniques, 7);
  f_111_110_011_001_0(uniques, 7);
  f_111_110_011_001_1(uniques, 7);
  f_111_110_011_010_0(uniques, 7);
  f_111_110_011_010_1(uniques, 7);
  f_111_110_011_011_0(uniques, 7);
  f_111_110_011_011_1(uniques, 7);
  f_111_110_011_100_0(uniques, 7);
  f_111_110_011_100_1(uniques, 7);
  f_111_110_011_101_0(uniques, 7);
  f_111_110_011_101_1(uniques, 7);
  f_111_110_011_110_0(uniques, 7);
  f_111_110_011_110_1(uniques, 7);
  f_111_110_011_111_0(uniques, 7);
  f_111_110_011_111_1(uniques, 7);
  f_111_110_110_000_0(uniques, 7);
  f_111_110_110_000_1(uniques, 7);
  f_111_110_110_001_0(uniques, 7);
  f_111_110_110_001_1(uniques, 7);
  f_111_110_110_010_0(uniques, 7);
  f_111_110_110_010_1(uniques, 7);
  f_111_110_110_011_0(uniques, 7);
  f_111_110_110_011_1(uniques, 7);
  f_111_110_110_100_0(uniques, 7);
  f_111_110_110_100_1(uniques, 7);
  f_111_110_110_101_0(uniques, 7);
  f_111_110_110_101_1(uniques, 7);
  f_111_110_110_110_0(uniques, 7);
  f_111_110_110_110_1(uniques, 7);
  f_111_110_110_111_0(uniques, 7);
  f_111_110_110_111_1(uniques, 7);
  f_111_110_111_000_0(uniques, 7);
  f_111_110_111_000_1(uniques, 7);
  f_111_110_111_001_0(uniques, 7);
  f_111_110_111_001_1(uniques, 7);
  f_111_110_111_010_0(uniques, 7);
  f_111_110_111_010_1(uniques, 7);
  f_111_110_111_011_0(uniques, 7);
  f_111_110_111_011_1(uniques, 7);
  f_111_110_111_100_0(uniques, 7);
  f_111_110_111_100_1(uniques, 7);
  f_111_110_111_101_0(uniques, 7);
  f_111_110_111_101_1(uniques, 7);
  f_111_110_111_110_0(uniques, 7);
  f_111_110_111_110_1(uniques, 7);
  f_111_110_111_111_0(uniques, 7);
  f_111_110_111_111_1(uniques, 7);
  f_111_111_010_000_0(uniques, 7);
  f_111_111_010_000_1(uniques, 7);
  f_111_111_010_001_0(uniques, 7);
  f_111_111_010_001_1(uniques, 7);
  f_111_111_010_010_0(uniques, 7);
  f_111_111_010_010_1(uniques, 7);
  f_111_111_010_011_0(uniques, 7);
  f_111_111_010_011_1(uniques, 7);
  f_111_111_010_100_0(uniques, 7);
  f_111_111_010_100_1(uniques, 7);
  f_111_111_010_101_0(uniques, 7);
  f_111_111_010_101_1(uniques, 7);
  f_111_111_010_110_0(uniques, 7);
  f_111_111_010_110_1(uniques, 7);
  f_111_111_010_111_0(uniques, 7);
  f_111_111_010_111_1(uniques, 7);
  f_111_111_011_000_0(uniques, 7);
  f_111_111_011_000_1(uniques, 7);
  f_111_111_011_001_0(uniques, 7);
  f_111_111_011_001_1(uniques, 7);
  f_111_111_011_010_0(uniques, 7);
  f_111_111_011_010_1(uniques, 7);
  f_111_111_011_011_0(uniques, 7);
  f_111_111_011_011_1(uniques, 7);
  f_111_111_011_100_0(uniques, 7);
  f_111_111_011_100_1(uniques, 7);
  f_111_111_011_101_0(uniques, 7);
  f_111_111_011_101_1(uniques, 7);
  f_111_111_011_110_0(uniques, 7);
  f_111_111_011_110_1(uniques, 7);
  f_111_111_011_111_0(uniques, 7);
  f_111_111_011_111_1(uniques, 7);
  f_111_111_110_000_0(uniques, 7);
  f_111_111_110_000_1(uniques, 7);
  f_111_111_110_001_0(uniques, 7);
  f_111_111_110_001_1(uniques, 7);
  f_111_111_110_010_0(uniques, 7);
  f_111_111_110_010_1(uniques, 7);
  f_111_111_110_011_0(uniques, 7);
  f_111_111_110_011_1(uniques, 7);
  f_111_111_110_100_0(uniques, 7);
  f_111_111_110_100_1(uniques, 7);
  f_111_111_110_101_0(uniques, 7);
  f_111_111_110_101_1(uniques, 7);
  f_111_111_110_110_0(uniques, 7);
  f_111_111_110_110_1(uniques, 7);
  f_111_111_110_111_0(uniques, 7);
  f_111_111_110_111_1(uniques, 7);
  f_111_111_111_000_0(uniques, 7);
  f_111_111_111_000_1(uniques, 7);
  f_111_111_111_001_0(uniques, 7);
  f_111_111_111_001_1(uniques, 7);
  f_111_111_111_010_0(uniques, 7);
  f_111_111_111_010_1(uniques, 7);
  f_111_111_111_011_0(uniques, 7);
  f_111_111_111_011_1(uniques, 7);
  f_111_111_111_100_0(uniques, 7);
  f_111_111_111_100_1(uniques, 7);
  f_111_111_111_101_0(uniques, 7);
  f_111_111_111_101_1(uniques, 7);
  f_111_111_111_110_0(uniques, 7);
  f_111_111_111_110_1(uniques, 7);
  f_111_111_111_111_0(uniques, 7);
  f_111_111_111_111_1(uniques, 7);
  Expect.equals(4096, uniques.length);
}