// 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_000_000_1() {
  Set<String> uniques = {};

  // f_***_***_***_***_1;
  f_000_000_000_000_1(uniques, 12);
  f_000_000_000_001_1(uniques, 12);
  f_000_000_000_010_1(uniques, 12);
  f_000_000_000_011_1(uniques, 12);
  f_000_000_000_100_1(uniques, 12);
  f_000_000_000_101_1(uniques, 12);
  f_000_000_000_110_1(uniques, 12);
  f_000_000_000_111_1(uniques, 12);
  f_000_000_001_000_1(uniques, 12);
  f_000_000_001_001_1(uniques, 12);
  f_000_000_001_010_1(uniques, 12);
  f_000_000_001_011_1(uniques, 12);
  f_000_000_001_100_1(uniques, 12);
  f_000_000_001_101_1(uniques, 12);
  f_000_000_001_110_1(uniques, 12);
  f_000_000_001_111_1(uniques, 12);
  f_000_000_010_000_1(uniques, 12);
  f_000_000_010_001_1(uniques, 12);
  f_000_000_010_010_1(uniques, 12);
  f_000_000_010_011_1(uniques, 12);
  f_000_000_010_100_1(uniques, 12);
  f_000_000_010_101_1(uniques, 12);
  f_000_000_010_110_1(uniques, 12);
  f_000_000_010_111_1(uniques, 12);
  f_000_000_011_000_1(uniques, 12);
  f_000_000_011_001_1(uniques, 12);
  f_000_000_011_010_1(uniques, 12);
  f_000_000_011_011_1(uniques, 12);
  f_000_000_011_100_1(uniques, 12);
  f_000_000_011_101_1(uniques, 12);
  f_000_000_011_110_1(uniques, 12);
  f_000_000_011_111_1(uniques, 12);
  f_000_000_100_000_1(uniques, 12);
  f_000_000_100_001_1(uniques, 12);
  f_000_000_100_010_1(uniques, 12);
  f_000_000_100_011_1(uniques, 12);
  f_000_000_100_100_1(uniques, 12);
  f_000_000_100_101_1(uniques, 12);
  f_000_000_100_110_1(uniques, 12);
  f_000_000_100_111_1(uniques, 12);
  f_000_000_101_000_1(uniques, 12);
  f_000_000_101_001_1(uniques, 12);
  f_000_000_101_010_1(uniques, 12);
  f_000_000_101_011_1(uniques, 12);
  f_000_000_101_100_1(uniques, 12);
  f_000_000_101_101_1(uniques, 12);
  f_000_000_101_110_1(uniques, 12);
  f_000_000_101_111_1(uniques, 12);
  f_000_000_110_000_1(uniques, 12);
  f_000_000_110_001_1(uniques, 12);
  f_000_000_110_010_1(uniques, 12);
  f_000_000_110_011_1(uniques, 12);
  f_000_000_110_100_1(uniques, 12);
  f_000_000_110_101_1(uniques, 12);
  f_000_000_110_110_1(uniques, 12);
  f_000_000_110_111_1(uniques, 12);
  f_000_000_111_000_1(uniques, 12);
  f_000_000_111_001_1(uniques, 12);
  f_000_000_111_010_1(uniques, 12);
  f_000_000_111_011_1(uniques, 12);
  f_000_000_111_100_1(uniques, 12);
  f_000_000_111_101_1(uniques, 12);
  f_000_000_111_110_1(uniques, 12);
  f_000_000_111_111_1(uniques, 12);
  f_000_001_000_000_1(uniques, 12);
  f_000_001_000_001_1(uniques, 12);
  f_000_001_000_010_1(uniques, 12);
  f_000_001_000_011_1(uniques, 12);
  f_000_001_000_100_1(uniques, 12);
  f_000_001_000_101_1(uniques, 12);
  f_000_001_000_110_1(uniques, 12);
  f_000_001_000_111_1(uniques, 12);
  f_000_001_001_000_1(uniques, 12);
  f_000_001_001_001_1(uniques, 12);
  f_000_001_001_010_1(uniques, 12);
  f_000_001_001_011_1(uniques, 12);
  f_000_001_001_100_1(uniques, 12);
  f_000_001_001_101_1(uniques, 12);
  f_000_001_001_110_1(uniques, 12);
  f_000_001_001_111_1(uniques, 12);
  f_000_001_010_000_1(uniques, 12);
  f_000_001_010_001_1(uniques, 12);
  f_000_001_010_010_1(uniques, 12);
  f_000_001_010_011_1(uniques, 12);
  f_000_001_010_100_1(uniques, 12);
  f_000_001_010_101_1(uniques, 12);
  f_000_001_010_110_1(uniques, 12);
  f_000_001_010_111_1(uniques, 12);
  f_000_001_011_000_1(uniques, 12);
  f_000_001_011_001_1(uniques, 12);
  f_000_001_011_010_1(uniques, 12);
  f_000_001_011_011_1(uniques, 12);
  f_000_001_011_100_1(uniques, 12);
  f_000_001_011_101_1(uniques, 12);
  f_000_001_011_110_1(uniques, 12);
  f_000_001_011_111_1(uniques, 12);
  f_000_001_100_000_1(uniques, 12);
  f_000_001_100_001_1(uniques, 12);
  f_000_001_100_010_1(uniques, 12);
  f_000_001_100_011_1(uniques, 12);
  f_000_001_100_100_1(uniques, 12);
  f_000_001_100_101_1(uniques, 12);
  f_000_001_100_110_1(uniques, 12);
  f_000_001_100_111_1(uniques, 12);
  f_000_001_101_000_1(uniques, 12);
  f_000_001_101_001_1(uniques, 12);
  f_000_001_101_010_1(uniques, 12);
  f_000_001_101_011_1(uniques, 12);
  f_000_001_101_100_1(uniques, 12);
  f_000_001_101_101_1(uniques, 12);
  f_000_001_101_110_1(uniques, 12);
  f_000_001_101_111_1(uniques, 12);
  f_000_001_110_000_1(uniques, 12);
  f_000_001_110_001_1(uniques, 12);
  f_000_001_110_010_1(uniques, 12);
  f_000_001_110_011_1(uniques, 12);
  f_000_001_110_100_1(uniques, 12);
  f_000_001_110_101_1(uniques, 12);
  f_000_001_110_110_1(uniques, 12);
  f_000_001_110_111_1(uniques, 12);
  f_000_001_111_000_1(uniques, 12);
  f_000_001_111_001_1(uniques, 12);
  f_000_001_111_010_1(uniques, 12);
  f_000_001_111_011_1(uniques, 12);
  f_000_001_111_100_1(uniques, 12);
  f_000_001_111_101_1(uniques, 12);
  f_000_001_111_110_1(uniques, 12);
  f_000_001_111_111_1(uniques, 12);
  f_000_010_000_000_1(uniques, 12);
  f_000_010_000_001_1(uniques, 12);
  f_000_010_000_010_1(uniques, 12);
  f_000_010_000_011_1(uniques, 12);
  f_000_010_000_100_1(uniques, 12);
  f_000_010_000_101_1(uniques, 12);
  f_000_010_000_110_1(uniques, 12);
  f_000_010_000_111_1(uniques, 12);
  f_000_010_001_000_1(uniques, 12);
  f_000_010_001_001_1(uniques, 12);
  f_000_010_001_010_1(uniques, 12);
  f_000_010_001_011_1(uniques, 12);
  f_000_010_001_100_1(uniques, 12);
  f_000_010_001_101_1(uniques, 12);
  f_000_010_001_110_1(uniques, 12);
  f_000_010_001_111_1(uniques, 12);
  f_000_010_010_000_1(uniques, 12);
  f_000_010_010_001_1(uniques, 12);
  f_000_010_010_010_1(uniques, 12);
  f_000_010_010_011_1(uniques, 12);
  f_000_010_010_100_1(uniques, 12);
  f_000_010_010_101_1(uniques, 12);
  f_000_010_010_110_1(uniques, 12);
  f_000_010_010_111_1(uniques, 12);
  f_000_010_011_000_1(uniques, 12);
  f_000_010_011_001_1(uniques, 12);
  f_000_010_011_010_1(uniques, 12);
  f_000_010_011_011_1(uniques, 12);
  f_000_010_011_100_1(uniques, 12);
  f_000_010_011_101_1(uniques, 12);
  f_000_010_011_110_1(uniques, 12);
  f_000_010_011_111_1(uniques, 12);
  f_000_010_100_000_1(uniques, 12);
  f_000_010_100_001_1(uniques, 12);
  f_000_010_100_010_1(uniques, 12);
  f_000_010_100_011_1(uniques, 12);
  f_000_010_100_100_1(uniques, 12);
  f_000_010_100_101_1(uniques, 12);
  f_000_010_100_110_1(uniques, 12);
  f_000_010_100_111_1(uniques, 12);
  f_000_010_101_000_1(uniques, 12);
  f_000_010_101_001_1(uniques, 12);
  f_000_010_101_010_1(uniques, 12);
  f_000_010_101_011_1(uniques, 12);
  f_000_010_101_100_1(uniques, 12);
  f_000_010_101_101_1(uniques, 12);
  f_000_010_101_110_1(uniques, 12);
  f_000_010_101_111_1(uniques, 12);
  f_000_010_110_000_1(uniques, 12);
  f_000_010_110_001_1(uniques, 12);
  f_000_010_110_010_1(uniques, 12);
  f_000_010_110_011_1(uniques, 12);
  f_000_010_110_100_1(uniques, 12);
  f_000_010_110_101_1(uniques, 12);
  f_000_010_110_110_1(uniques, 12);
  f_000_010_110_111_1(uniques, 12);
  f_000_010_111_000_1(uniques, 12);
  f_000_010_111_001_1(uniques, 12);
  f_000_010_111_010_1(uniques, 12);
  f_000_010_111_011_1(uniques, 12);
  f_000_010_111_100_1(uniques, 12);
  f_000_010_111_101_1(uniques, 12);
  f_000_010_111_110_1(uniques, 12);
  f_000_010_111_111_1(uniques, 12);
  f_000_011_000_000_1(uniques, 12);
  f_000_011_000_001_1(uniques, 12);
  f_000_011_000_010_1(uniques, 12);
  f_000_011_000_011_1(uniques, 12);
  f_000_011_000_100_1(uniques, 12);
  f_000_011_000_101_1(uniques, 12);
  f_000_011_000_110_1(uniques, 12);
  f_000_011_000_111_1(uniques, 12);
  f_000_011_001_000_1(uniques, 12);
  f_000_011_001_001_1(uniques, 12);
  f_000_011_001_010_1(uniques, 12);
  f_000_011_001_011_1(uniques, 12);
  f_000_011_001_100_1(uniques, 12);
  f_000_011_001_101_1(uniques, 12);
  f_000_011_001_110_1(uniques, 12);
  f_000_011_001_111_1(uniques, 12);
  f_000_011_010_000_1(uniques, 12);
  f_000_011_010_001_1(uniques, 12);
  f_000_011_010_010_1(uniques, 12);
  f_000_011_010_011_1(uniques, 12);
  f_000_011_010_100_1(uniques, 12);
  f_000_011_010_101_1(uniques, 12);
  f_000_011_010_110_1(uniques, 12);
  f_000_011_010_111_1(uniques, 12);
  f_000_011_011_000_1(uniques, 12);
  f_000_011_011_001_1(uniques, 12);
  f_000_011_011_010_1(uniques, 12);
  f_000_011_011_011_1(uniques, 12);
  f_000_011_011_100_1(uniques, 12);
  f_000_011_011_101_1(uniques, 12);
  f_000_011_011_110_1(uniques, 12);
  f_000_011_011_111_1(uniques, 12);
  f_000_011_100_000_1(uniques, 12);
  f_000_011_100_001_1(uniques, 12);
  f_000_011_100_010_1(uniques, 12);
  f_000_011_100_011_1(uniques, 12);
  f_000_011_100_100_1(uniques, 12);
  f_000_011_100_101_1(uniques, 12);
  f_000_011_100_110_1(uniques, 12);
  f_000_011_100_111_1(uniques, 12);
  f_000_011_101_000_1(uniques, 12);
  f_000_011_101_001_1(uniques, 12);
  f_000_011_101_010_1(uniques, 12);
  f_000_011_101_011_1(uniques, 12);
  f_000_011_101_100_1(uniques, 12);
  f_000_011_101_101_1(uniques, 12);
  f_000_011_101_110_1(uniques, 12);
  f_000_011_101_111_1(uniques, 12);
  f_000_011_110_000_1(uniques, 12);
  f_000_011_110_001_1(uniques, 12);
  f_000_011_110_010_1(uniques, 12);
  f_000_011_110_011_1(uniques, 12);
  f_000_011_110_100_1(uniques, 12);
  f_000_011_110_101_1(uniques, 12);
  f_000_011_110_110_1(uniques, 12);
  f_000_011_110_111_1(uniques, 12);
  f_000_011_111_000_1(uniques, 12);
  f_000_011_111_001_1(uniques, 12);
  f_000_011_111_010_1(uniques, 12);
  f_000_011_111_011_1(uniques, 12);
  f_000_011_111_100_1(uniques, 12);
  f_000_011_111_101_1(uniques, 12);
  f_000_011_111_110_1(uniques, 12);
  f_000_011_111_111_1(uniques, 12);
  f_000_100_000_000_1(uniques, 12);
  f_000_100_000_001_1(uniques, 12);
  f_000_100_000_010_1(uniques, 12);
  f_000_100_000_011_1(uniques, 12);
  f_000_100_000_100_1(uniques, 12);
  f_000_100_000_101_1(uniques, 12);
  f_000_100_000_110_1(uniques, 12);
  f_000_100_000_111_1(uniques, 12);
  f_000_100_001_000_1(uniques, 12);
  f_000_100_001_001_1(uniques, 12);
  f_000_100_001_010_1(uniques, 12);
  f_000_100_001_011_1(uniques, 12);
  f_000_100_001_100_1(uniques, 12);
  f_000_100_001_101_1(uniques, 12);
  f_000_100_001_110_1(uniques, 12);
  f_000_100_001_111_1(uniques, 12);
  f_000_100_010_000_1(uniques, 12);
  f_000_100_010_001_1(uniques, 12);
  f_000_100_010_010_1(uniques, 12);
  f_000_100_010_011_1(uniques, 12);
  f_000_100_010_100_1(uniques, 12);
  f_000_100_010_101_1(uniques, 12);
  f_000_100_010_110_1(uniques, 12);
  f_000_100_010_111_1(uniques, 12);
  f_000_100_011_000_1(uniques, 12);
  f_000_100_011_001_1(uniques, 12);
  f_000_100_011_010_1(uniques, 12);
  f_000_100_011_011_1(uniques, 12);
  f_000_100_011_100_1(uniques, 12);
  f_000_100_011_101_1(uniques, 12);
  f_000_100_011_110_1(uniques, 12);
  f_000_100_011_111_1(uniques, 12);
  f_000_100_100_000_1(uniques, 12);
  f_000_100_100_001_1(uniques, 12);
  f_000_100_100_010_1(uniques, 12);
  f_000_100_100_011_1(uniques, 12);
  f_000_100_100_100_1(uniques, 12);
  f_000_100_100_101_1(uniques, 12);
  f_000_100_100_110_1(uniques, 12);
  f_000_100_100_111_1(uniques, 12);
  f_000_100_101_000_1(uniques, 12);
  f_000_100_101_001_1(uniques, 12);
  f_000_100_101_010_1(uniques, 12);
  f_000_100_101_011_1(uniques, 12);
  f_000_100_101_100_1(uniques, 12);
  f_000_100_101_101_1(uniques, 12);
  f_000_100_101_110_1(uniques, 12);
  f_000_100_101_111_1(uniques, 12);
  f_000_100_110_000_1(uniques, 12);
  f_000_100_110_001_1(uniques, 12);
  f_000_100_110_010_1(uniques, 12);
  f_000_100_110_011_1(uniques, 12);
  f_000_100_110_100_1(uniques, 12);
  f_000_100_110_101_1(uniques, 12);
  f_000_100_110_110_1(uniques, 12);
  f_000_100_110_111_1(uniques, 12);
  f_000_100_111_000_1(uniques, 12);
  f_000_100_111_001_1(uniques, 12);
  f_000_100_111_010_1(uniques, 12);
  f_000_100_111_011_1(uniques, 12);
  f_000_100_111_100_1(uniques, 12);
  f_000_100_111_101_1(uniques, 12);
  f_000_100_111_110_1(uniques, 12);
  f_000_100_111_111_1(uniques, 12);
  f_000_101_000_000_1(uniques, 12);
  f_000_101_000_001_1(uniques, 12);
  f_000_101_000_010_1(uniques, 12);
  f_000_101_000_011_1(uniques, 12);
  f_000_101_000_100_1(uniques, 12);
  f_000_101_000_101_1(uniques, 12);
  f_000_101_000_110_1(uniques, 12);
  f_000_101_000_111_1(uniques, 12);
  f_000_101_001_000_1(uniques, 12);
  f_000_101_001_001_1(uniques, 12);
  f_000_101_001_010_1(uniques, 12);
  f_000_101_001_011_1(uniques, 12);
  f_000_101_001_100_1(uniques, 12);
  f_000_101_001_101_1(uniques, 12);
  f_000_101_001_110_1(uniques, 12);
  f_000_101_001_111_1(uniques, 12);
  f_000_101_010_000_1(uniques, 12);
  f_000_101_010_001_1(uniques, 12);
  f_000_101_010_010_1(uniques, 12);
  f_000_101_010_011_1(uniques, 12);
  f_000_101_010_100_1(uniques, 12);
  f_000_101_010_101_1(uniques, 12);
  f_000_101_010_110_1(uniques, 12);
  f_000_101_010_111_1(uniques, 12);
  f_000_101_011_000_1(uniques, 12);
  f_000_101_011_001_1(uniques, 12);
  f_000_101_011_010_1(uniques, 12);
  f_000_101_011_011_1(uniques, 12);
  f_000_101_011_100_1(uniques, 12);
  f_000_101_011_101_1(uniques, 12);
  f_000_101_011_110_1(uniques, 12);
  f_000_101_011_111_1(uniques, 12);
  f_000_101_100_000_1(uniques, 12);
  f_000_101_100_001_1(uniques, 12);
  f_000_101_100_010_1(uniques, 12);
  f_000_101_100_011_1(uniques, 12);
  f_000_101_100_100_1(uniques, 12);
  f_000_101_100_101_1(uniques, 12);
  f_000_101_100_110_1(uniques, 12);
  f_000_101_100_111_1(uniques, 12);
  f_000_101_101_000_1(uniques, 12);
  f_000_101_101_001_1(uniques, 12);
  f_000_101_101_010_1(uniques, 12);
  f_000_101_101_011_1(uniques, 12);
  f_000_101_101_100_1(uniques, 12);
  f_000_101_101_101_1(uniques, 12);
  f_000_101_101_110_1(uniques, 12);
  f_000_101_101_111_1(uniques, 12);
  f_000_101_110_000_1(uniques, 12);
  f_000_101_110_001_1(uniques, 12);
  f_000_101_110_010_1(uniques, 12);
  f_000_101_110_011_1(uniques, 12);
  f_000_101_110_100_1(uniques, 12);
  f_000_101_110_101_1(uniques, 12);
  f_000_101_110_110_1(uniques, 12);
  f_000_101_110_111_1(uniques, 12);
  f_000_101_111_000_1(uniques, 12);
  f_000_101_111_001_1(uniques, 12);
  f_000_101_111_010_1(uniques, 12);
  f_000_101_111_011_1(uniques, 12);
  f_000_101_111_100_1(uniques, 12);
  f_000_101_111_101_1(uniques, 12);
  f_000_101_111_110_1(uniques, 12);
  f_000_101_111_111_1(uniques, 12);
  f_000_110_000_000_1(uniques, 12);
  f_000_110_000_001_1(uniques, 12);
  f_000_110_000_010_1(uniques, 12);
  f_000_110_000_011_1(uniques, 12);
  f_000_110_000_100_1(uniques, 12);
  f_000_110_000_101_1(uniques, 12);
  f_000_110_000_110_1(uniques, 12);
  f_000_110_000_111_1(uniques, 12);
  f_000_110_001_000_1(uniques, 12);
  f_000_110_001_001_1(uniques, 12);
  f_000_110_001_010_1(uniques, 12);
  f_000_110_001_011_1(uniques, 12);
  f_000_110_001_100_1(uniques, 12);
  f_000_110_001_101_1(uniques, 12);
  f_000_110_001_110_1(uniques, 12);
  f_000_110_001_111_1(uniques, 12);
  f_000_110_010_000_1(uniques, 12);
  f_000_110_010_001_1(uniques, 12);
  f_000_110_010_010_1(uniques, 12);
  f_000_110_010_011_1(uniques, 12);
  f_000_110_010_100_1(uniques, 12);
  f_000_110_010_101_1(uniques, 12);
  f_000_110_010_110_1(uniques, 12);
  f_000_110_010_111_1(uniques, 12);
  f_000_110_011_000_1(uniques, 12);
  f_000_110_011_001_1(uniques, 12);
  f_000_110_011_010_1(uniques, 12);
  f_000_110_011_011_1(uniques, 12);
  f_000_110_011_100_1(uniques, 12);
  f_000_110_011_101_1(uniques, 12);
  f_000_110_011_110_1(uniques, 12);
  f_000_110_011_111_1(uniques, 12);
  f_000_110_100_000_1(uniques, 12);
  f_000_110_100_001_1(uniques, 12);
  f_000_110_100_010_1(uniques, 12);
  f_000_110_100_011_1(uniques, 12);
  f_000_110_100_100_1(uniques, 12);
  f_000_110_100_101_1(uniques, 12);
  f_000_110_100_110_1(uniques, 12);
  f_000_110_100_111_1(uniques, 12);
  f_000_110_101_000_1(uniques, 12);
  f_000_110_101_001_1(uniques, 12);
  f_000_110_101_010_1(uniques, 12);
  f_000_110_101_011_1(uniques, 12);
  f_000_110_101_100_1(uniques, 12);
  f_000_110_101_101_1(uniques, 12);
  f_000_110_101_110_1(uniques, 12);
  f_000_110_101_111_1(uniques, 12);
  f_000_110_110_000_1(uniques, 12);
  f_000_110_110_001_1(uniques, 12);
  f_000_110_110_010_1(uniques, 12);
  f_000_110_110_011_1(uniques, 12);
  f_000_110_110_100_1(uniques, 12);
  f_000_110_110_101_1(uniques, 12);
  f_000_110_110_110_1(uniques, 12);
  f_000_110_110_111_1(uniques, 12);
  f_000_110_111_000_1(uniques, 12);
  f_000_110_111_001_1(uniques, 12);
  f_000_110_111_010_1(uniques, 12);
  f_000_110_111_011_1(uniques, 12);
  f_000_110_111_100_1(uniques, 12);
  f_000_110_111_101_1(uniques, 12);
  f_000_110_111_110_1(uniques, 12);
  f_000_110_111_111_1(uniques, 12);
  f_000_111_000_000_1(uniques, 12);
  f_000_111_000_001_1(uniques, 12);
  f_000_111_000_010_1(uniques, 12);
  f_000_111_000_011_1(uniques, 12);
  f_000_111_000_100_1(uniques, 12);
  f_000_111_000_101_1(uniques, 12);
  f_000_111_000_110_1(uniques, 12);
  f_000_111_000_111_1(uniques, 12);
  f_000_111_001_000_1(uniques, 12);
  f_000_111_001_001_1(uniques, 12);
  f_000_111_001_010_1(uniques, 12);
  f_000_111_001_011_1(uniques, 12);
  f_000_111_001_100_1(uniques, 12);
  f_000_111_001_101_1(uniques, 12);
  f_000_111_001_110_1(uniques, 12);
  f_000_111_001_111_1(uniques, 12);
  f_000_111_010_000_1(uniques, 12);
  f_000_111_010_001_1(uniques, 12);
  f_000_111_010_010_1(uniques, 12);
  f_000_111_010_011_1(uniques, 12);
  f_000_111_010_100_1(uniques, 12);
  f_000_111_010_101_1(uniques, 12);
  f_000_111_010_110_1(uniques, 12);
  f_000_111_010_111_1(uniques, 12);
  f_000_111_011_000_1(uniques, 12);
  f_000_111_011_001_1(uniques, 12);
  f_000_111_011_010_1(uniques, 12);
  f_000_111_011_011_1(uniques, 12);
  f_000_111_011_100_1(uniques, 12);
  f_000_111_011_101_1(uniques, 12);
  f_000_111_011_110_1(uniques, 12);
  f_000_111_011_111_1(uniques, 12);
  f_000_111_100_000_1(uniques, 12);
  f_000_111_100_001_1(uniques, 12);
  f_000_111_100_010_1(uniques, 12);
  f_000_111_100_011_1(uniques, 12);
  f_000_111_100_100_1(uniques, 12);
  f_000_111_100_101_1(uniques, 12);
  f_000_111_100_110_1(uniques, 12);
  f_000_111_100_111_1(uniques, 12);
  f_000_111_101_000_1(uniques, 12);
  f_000_111_101_001_1(uniques, 12);
  f_000_111_101_010_1(uniques, 12);
  f_000_111_101_011_1(uniques, 12);
  f_000_111_101_100_1(uniques, 12);
  f_000_111_101_101_1(uniques, 12);
  f_000_111_101_110_1(uniques, 12);
  f_000_111_101_111_1(uniques, 12);
  f_000_111_110_000_1(uniques, 12);
  f_000_111_110_001_1(uniques, 12);
  f_000_111_110_010_1(uniques, 12);
  f_000_111_110_011_1(uniques, 12);
  f_000_111_110_100_1(uniques, 12);
  f_000_111_110_101_1(uniques, 12);
  f_000_111_110_110_1(uniques, 12);
  f_000_111_110_111_1(uniques, 12);
  f_000_111_111_000_1(uniques, 12);
  f_000_111_111_001_1(uniques, 12);
  f_000_111_111_010_1(uniques, 12);
  f_000_111_111_011_1(uniques, 12);
  f_000_111_111_100_1(uniques, 12);
  f_000_111_111_101_1(uniques, 12);
  f_000_111_111_110_1(uniques, 12);
  f_000_111_111_111_1(uniques, 12);
  f_001_000_000_000_1(uniques, 12);
  f_001_000_000_001_1(uniques, 12);
  f_001_000_000_010_1(uniques, 12);
  f_001_000_000_011_1(uniques, 12);
  f_001_000_000_100_1(uniques, 12);
  f_001_000_000_101_1(uniques, 12);
  f_001_000_000_110_1(uniques, 12);
  f_001_000_000_111_1(uniques, 12);
  f_001_000_001_000_1(uniques, 12);
  f_001_000_001_001_1(uniques, 12);
  f_001_000_001_010_1(uniques, 12);
  f_001_000_001_011_1(uniques, 12);
  f_001_000_001_100_1(uniques, 12);
  f_001_000_001_101_1(uniques, 12);
  f_001_000_001_110_1(uniques, 12);
  f_001_000_001_111_1(uniques, 12);
  f_001_000_010_000_1(uniques, 12);
  f_001_000_010_001_1(uniques, 12);
  f_001_000_010_010_1(uniques, 12);
  f_001_000_010_011_1(uniques, 12);
  f_001_000_010_100_1(uniques, 12);
  f_001_000_010_101_1(uniques, 12);
  f_001_000_010_110_1(uniques, 12);
  f_001_000_010_111_1(uniques, 12);
  f_001_000_011_000_1(uniques, 12);
  f_001_000_011_001_1(uniques, 12);
  f_001_000_011_010_1(uniques, 12);
  f_001_000_011_011_1(uniques, 12);
  f_001_000_011_100_1(uniques, 12);
  f_001_000_011_101_1(uniques, 12);
  f_001_000_011_110_1(uniques, 12);
  f_001_000_011_111_1(uniques, 12);
  f_001_000_100_000_1(uniques, 12);
  f_001_000_100_001_1(uniques, 12);
  f_001_000_100_010_1(uniques, 12);
  f_001_000_100_011_1(uniques, 12);
  f_001_000_100_100_1(uniques, 12);
  f_001_000_100_101_1(uniques, 12);
  f_001_000_100_110_1(uniques, 12);
  f_001_000_100_111_1(uniques, 12);
  f_001_000_101_000_1(uniques, 12);
  f_001_000_101_001_1(uniques, 12);
  f_001_000_101_010_1(uniques, 12);
  f_001_000_101_011_1(uniques, 12);
  f_001_000_101_100_1(uniques, 12);
  f_001_000_101_101_1(uniques, 12);
  f_001_000_101_110_1(uniques, 12);
  f_001_000_101_111_1(uniques, 12);
  f_001_000_110_000_1(uniques, 12);
  f_001_000_110_001_1(uniques, 12);
  f_001_000_110_010_1(uniques, 12);
  f_001_000_110_011_1(uniques, 12);
  f_001_000_110_100_1(uniques, 12);
  f_001_000_110_101_1(uniques, 12);
  f_001_000_110_110_1(uniques, 12);
  f_001_000_110_111_1(uniques, 12);
  f_001_000_111_000_1(uniques, 12);
  f_001_000_111_001_1(uniques, 12);
  f_001_000_111_010_1(uniques, 12);
  f_001_000_111_011_1(uniques, 12);
  f_001_000_111_100_1(uniques, 12);
  f_001_000_111_101_1(uniques, 12);
  f_001_000_111_110_1(uniques, 12);
  f_001_000_111_111_1(uniques, 12);
  f_001_001_000_000_1(uniques, 12);
  f_001_001_000_001_1(uniques, 12);
  f_001_001_000_010_1(uniques, 12);
  f_001_001_000_011_1(uniques, 12);
  f_001_001_000_100_1(uniques, 12);
  f_001_001_000_101_1(uniques, 12);
  f_001_001_000_110_1(uniques, 12);
  f_001_001_000_111_1(uniques, 12);
  f_001_001_001_000_1(uniques, 12);
  f_001_001_001_001_1(uniques, 12);
  f_001_001_001_010_1(uniques, 12);
  f_001_001_001_011_1(uniques, 12);
  f_001_001_001_100_1(uniques, 12);
  f_001_001_001_101_1(uniques, 12);
  f_001_001_001_110_1(uniques, 12);
  f_001_001_001_111_1(uniques, 12);
  f_001_001_010_000_1(uniques, 12);
  f_001_001_010_001_1(uniques, 12);
  f_001_001_010_010_1(uniques, 12);
  f_001_001_010_011_1(uniques, 12);
  f_001_001_010_100_1(uniques, 12);
  f_001_001_010_101_1(uniques, 12);
  f_001_001_010_110_1(uniques, 12);
  f_001_001_010_111_1(uniques, 12);
  f_001_001_011_000_1(uniques, 12);
  f_001_001_011_001_1(uniques, 12);
  f_001_001_011_010_1(uniques, 12);
  f_001_001_011_011_1(uniques, 12);
  f_001_001_011_100_1(uniques, 12);
  f_001_001_011_101_1(uniques, 12);
  f_001_001_011_110_1(uniques, 12);
  f_001_001_011_111_1(uniques, 12);
  f_001_001_100_000_1(uniques, 12);
  f_001_001_100_001_1(uniques, 12);
  f_001_001_100_010_1(uniques, 12);
  f_001_001_100_011_1(uniques, 12);
  f_001_001_100_100_1(uniques, 12);
  f_001_001_100_101_1(uniques, 12);
  f_001_001_100_110_1(uniques, 12);
  f_001_001_100_111_1(uniques, 12);
  f_001_001_101_000_1(uniques, 12);
  f_001_001_101_001_1(uniques, 12);
  f_001_001_101_010_1(uniques, 12);
  f_001_001_101_011_1(uniques, 12);
  f_001_001_101_100_1(uniques, 12);
  f_001_001_101_101_1(uniques, 12);
  f_001_001_101_110_1(uniques, 12);
  f_001_001_101_111_1(uniques, 12);
  f_001_001_110_000_1(uniques, 12);
  f_001_001_110_001_1(uniques, 12);
  f_001_001_110_010_1(uniques, 12);
  f_001_001_110_011_1(uniques, 12);
  f_001_001_110_100_1(uniques, 12);
  f_001_001_110_101_1(uniques, 12);
  f_001_001_110_110_1(uniques, 12);
  f_001_001_110_111_1(uniques, 12);
  f_001_001_111_000_1(uniques, 12);
  f_001_001_111_001_1(uniques, 12);
  f_001_001_111_010_1(uniques, 12);
  f_001_001_111_011_1(uniques, 12);
  f_001_001_111_100_1(uniques, 12);
  f_001_001_111_101_1(uniques, 12);
  f_001_001_111_110_1(uniques, 12);
  f_001_001_111_111_1(uniques, 12);
  f_001_010_000_000_1(uniques, 12);
  f_001_010_000_001_1(uniques, 12);
  f_001_010_000_010_1(uniques, 12);
  f_001_010_000_011_1(uniques, 12);
  f_001_010_000_100_1(uniques, 12);
  f_001_010_000_101_1(uniques, 12);
  f_001_010_000_110_1(uniques, 12);
  f_001_010_000_111_1(uniques, 12);
  f_001_010_001_000_1(uniques, 12);
  f_001_010_001_001_1(uniques, 12);
  f_001_010_001_010_1(uniques, 12);
  f_001_010_001_011_1(uniques, 12);
  f_001_010_001_100_1(uniques, 12);
  f_001_010_001_101_1(uniques, 12);
  f_001_010_001_110_1(uniques, 12);
  f_001_010_001_111_1(uniques, 12);
  f_001_010_010_000_1(uniques, 12);
  f_001_010_010_001_1(uniques, 12);
  f_001_010_010_010_1(uniques, 12);
  f_001_010_010_011_1(uniques, 12);
  f_001_010_010_100_1(uniques, 12);
  f_001_010_010_101_1(uniques, 12);
  f_001_010_010_110_1(uniques, 12);
  f_001_010_010_111_1(uniques, 12);
  f_001_010_011_000_1(uniques, 12);
  f_001_010_011_001_1(uniques, 12);
  f_001_010_011_010_1(uniques, 12);
  f_001_010_011_011_1(uniques, 12);
  f_001_010_011_100_1(uniques, 12);
  f_001_010_011_101_1(uniques, 12);
  f_001_010_011_110_1(uniques, 12);
  f_001_010_011_111_1(uniques, 12);
  f_001_010_100_000_1(uniques, 12);
  f_001_010_100_001_1(uniques, 12);
  f_001_010_100_010_1(uniques, 12);
  f_001_010_100_011_1(uniques, 12);
  f_001_010_100_100_1(uniques, 12);
  f_001_010_100_101_1(uniques, 12);
  f_001_010_100_110_1(uniques, 12);
  f_001_010_100_111_1(uniques, 12);
  f_001_010_101_000_1(uniques, 12);
  f_001_010_101_001_1(uniques, 12);
  f_001_010_101_010_1(uniques, 12);
  f_001_010_101_011_1(uniques, 12);
  f_001_010_101_100_1(uniques, 12);
  f_001_010_101_101_1(uniques, 12);
  f_001_010_101_110_1(uniques, 12);
  f_001_010_101_111_1(uniques, 12);
  f_001_010_110_000_1(uniques, 12);
  f_001_010_110_001_1(uniques, 12);
  f_001_010_110_010_1(uniques, 12);
  f_001_010_110_011_1(uniques, 12);
  f_001_010_110_100_1(uniques, 12);
  f_001_010_110_101_1(uniques, 12);
  f_001_010_110_110_1(uniques, 12);
  f_001_010_110_111_1(uniques, 12);
  f_001_010_111_000_1(uniques, 12);
  f_001_010_111_001_1(uniques, 12);
  f_001_010_111_010_1(uniques, 12);
  f_001_010_111_011_1(uniques, 12);
  f_001_010_111_100_1(uniques, 12);
  f_001_010_111_101_1(uniques, 12);
  f_001_010_111_110_1(uniques, 12);
  f_001_010_111_111_1(uniques, 12);
  f_001_011_000_000_1(uniques, 12);
  f_001_011_000_001_1(uniques, 12);
  f_001_011_000_010_1(uniques, 12);
  f_001_011_000_011_1(uniques, 12);
  f_001_011_000_100_1(uniques, 12);
  f_001_011_000_101_1(uniques, 12);
  f_001_011_000_110_1(uniques, 12);
  f_001_011_000_111_1(uniques, 12);
  f_001_011_001_000_1(uniques, 12);
  f_001_011_001_001_1(uniques, 12);
  f_001_011_001_010_1(uniques, 12);
  f_001_011_001_011_1(uniques, 12);
  f_001_011_001_100_1(uniques, 12);
  f_001_011_001_101_1(uniques, 12);
  f_001_011_001_110_1(uniques, 12);
  f_001_011_001_111_1(uniques, 12);
  f_001_011_010_000_1(uniques, 12);
  f_001_011_010_001_1(uniques, 12);
  f_001_011_010_010_1(uniques, 12);
  f_001_011_010_011_1(uniques, 12);
  f_001_011_010_100_1(uniques, 12);
  f_001_011_010_101_1(uniques, 12);
  f_001_011_010_110_1(uniques, 12);
  f_001_011_010_111_1(uniques, 12);
  f_001_011_011_000_1(uniques, 12);
  f_001_011_011_001_1(uniques, 12);
  f_001_011_011_010_1(uniques, 12);
  f_001_011_011_011_1(uniques, 12);
  f_001_011_011_100_1(uniques, 12);
  f_001_011_011_101_1(uniques, 12);
  f_001_011_011_110_1(uniques, 12);
  f_001_011_011_111_1(uniques, 12);
  f_001_011_100_000_1(uniques, 12);
  f_001_011_100_001_1(uniques, 12);
  f_001_011_100_010_1(uniques, 12);
  f_001_011_100_011_1(uniques, 12);
  f_001_011_100_100_1(uniques, 12);
  f_001_011_100_101_1(uniques, 12);
  f_001_011_100_110_1(uniques, 12);
  f_001_011_100_111_1(uniques, 12);
  f_001_011_101_000_1(uniques, 12);
  f_001_011_101_001_1(uniques, 12);
  f_001_011_101_010_1(uniques, 12);
  f_001_011_101_011_1(uniques, 12);
  f_001_011_101_100_1(uniques, 12);
  f_001_011_101_101_1(uniques, 12);
  f_001_011_101_110_1(uniques, 12);
  f_001_011_101_111_1(uniques, 12);
  f_001_011_110_000_1(uniques, 12);
  f_001_011_110_001_1(uniques, 12);
  f_001_011_110_010_1(uniques, 12);
  f_001_011_110_011_1(uniques, 12);
  f_001_011_110_100_1(uniques, 12);
  f_001_011_110_101_1(uniques, 12);
  f_001_011_110_110_1(uniques, 12);
  f_001_011_110_111_1(uniques, 12);
  f_001_011_111_000_1(uniques, 12);
  f_001_011_111_001_1(uniques, 12);
  f_001_011_111_010_1(uniques, 12);
  f_001_011_111_011_1(uniques, 12);
  f_001_011_111_100_1(uniques, 12);
  f_001_011_111_101_1(uniques, 12);
  f_001_011_111_110_1(uniques, 12);
  f_001_011_111_111_1(uniques, 12);
  f_001_100_000_000_1(uniques, 12);
  f_001_100_000_001_1(uniques, 12);
  f_001_100_000_010_1(uniques, 12);
  f_001_100_000_011_1(uniques, 12);
  f_001_100_000_100_1(uniques, 12);
  f_001_100_000_101_1(uniques, 12);
  f_001_100_000_110_1(uniques, 12);
  f_001_100_000_111_1(uniques, 12);
  f_001_100_001_000_1(uniques, 12);
  f_001_100_001_001_1(uniques, 12);
  f_001_100_001_010_1(uniques, 12);
  f_001_100_001_011_1(uniques, 12);
  f_001_100_001_100_1(uniques, 12);
  f_001_100_001_101_1(uniques, 12);
  f_001_100_001_110_1(uniques, 12);
  f_001_100_001_111_1(uniques, 12);
  f_001_100_010_000_1(uniques, 12);
  f_001_100_010_001_1(uniques, 12);
  f_001_100_010_010_1(uniques, 12);
  f_001_100_010_011_1(uniques, 12);
  f_001_100_010_100_1(uniques, 12);
  f_001_100_010_101_1(uniques, 12);
  f_001_100_010_110_1(uniques, 12);
  f_001_100_010_111_1(uniques, 12);
  f_001_100_011_000_1(uniques, 12);
  f_001_100_011_001_1(uniques, 12);
  f_001_100_011_010_1(uniques, 12);
  f_001_100_011_011_1(uniques, 12);
  f_001_100_011_100_1(uniques, 12);
  f_001_100_011_101_1(uniques, 12);
  f_001_100_011_110_1(uniques, 12);
  f_001_100_011_111_1(uniques, 12);
  f_001_100_100_000_1(uniques, 12);
  f_001_100_100_001_1(uniques, 12);
  f_001_100_100_010_1(uniques, 12);
  f_001_100_100_011_1(uniques, 12);
  f_001_100_100_100_1(uniques, 12);
  f_001_100_100_101_1(uniques, 12);
  f_001_100_100_110_1(uniques, 12);
  f_001_100_100_111_1(uniques, 12);
  f_001_100_101_000_1(uniques, 12);
  f_001_100_101_001_1(uniques, 12);
  f_001_100_101_010_1(uniques, 12);
  f_001_100_101_011_1(uniques, 12);
  f_001_100_101_100_1(uniques, 12);
  f_001_100_101_101_1(uniques, 12);
  f_001_100_101_110_1(uniques, 12);
  f_001_100_101_111_1(uniques, 12);
  f_001_100_110_000_1(uniques, 12);
  f_001_100_110_001_1(uniques, 12);
  f_001_100_110_010_1(uniques, 12);
  f_001_100_110_011_1(uniques, 12);
  f_001_100_110_100_1(uniques, 12);
  f_001_100_110_101_1(uniques, 12);
  f_001_100_110_110_1(uniques, 12);
  f_001_100_110_111_1(uniques, 12);
  f_001_100_111_000_1(uniques, 12);
  f_001_100_111_001_1(uniques, 12);
  f_001_100_111_010_1(uniques, 12);
  f_001_100_111_011_1(uniques, 12);
  f_001_100_111_100_1(uniques, 12);
  f_001_100_111_101_1(uniques, 12);
  f_001_100_111_110_1(uniques, 12);
  f_001_100_111_111_1(uniques, 12);
  f_001_101_000_000_1(uniques, 12);
  f_001_101_000_001_1(uniques, 12);
  f_001_101_000_010_1(uniques, 12);
  f_001_101_000_011_1(uniques, 12);
  f_001_101_000_100_1(uniques, 12);
  f_001_101_000_101_1(uniques, 12);
  f_001_101_000_110_1(uniques, 12);
  f_001_101_000_111_1(uniques, 12);
  f_001_101_001_000_1(uniques, 12);
  f_001_101_001_001_1(uniques, 12);
  f_001_101_001_010_1(uniques, 12);
  f_001_101_001_011_1(uniques, 12);
  f_001_101_001_100_1(uniques, 12);
  f_001_101_001_101_1(uniques, 12);
  f_001_101_001_110_1(uniques, 12);
  f_001_101_001_111_1(uniques, 12);
  f_001_101_010_000_1(uniques, 12);
  f_001_101_010_001_1(uniques, 12);
  f_001_101_010_010_1(uniques, 12);
  f_001_101_010_011_1(uniques, 12);
  f_001_101_010_100_1(uniques, 12);
  f_001_101_010_101_1(uniques, 12);
  f_001_101_010_110_1(uniques, 12);
  f_001_101_010_111_1(uniques, 12);
  f_001_101_011_000_1(uniques, 12);
  f_001_101_011_001_1(uniques, 12);
  f_001_101_011_010_1(uniques, 12);
  f_001_101_011_011_1(uniques, 12);
  f_001_101_011_100_1(uniques, 12);
  f_001_101_011_101_1(uniques, 12);
  f_001_101_011_110_1(uniques, 12);
  f_001_101_011_111_1(uniques, 12);
  f_001_101_100_000_1(uniques, 12);
  f_001_101_100_001_1(uniques, 12);
  f_001_101_100_010_1(uniques, 12);
  f_001_101_100_011_1(uniques, 12);
  f_001_101_100_100_1(uniques, 12);
  f_001_101_100_101_1(uniques, 12);
  f_001_101_100_110_1(uniques, 12);
  f_001_101_100_111_1(uniques, 12);
  f_001_101_101_000_1(uniques, 12);
  f_001_101_101_001_1(uniques, 12);
  f_001_101_101_010_1(uniques, 12);
  f_001_101_101_011_1(uniques, 12);
  f_001_101_101_100_1(uniques, 12);
  f_001_101_101_101_1(uniques, 12);
  f_001_101_101_110_1(uniques, 12);
  f_001_101_101_111_1(uniques, 12);
  f_001_101_110_000_1(uniques, 12);
  f_001_101_110_001_1(uniques, 12);
  f_001_101_110_010_1(uniques, 12);
  f_001_101_110_011_1(uniques, 12);
  f_001_101_110_100_1(uniques, 12);
  f_001_101_110_101_1(uniques, 12);
  f_001_101_110_110_1(uniques, 12);
  f_001_101_110_111_1(uniques, 12);
  f_001_101_111_000_1(uniques, 12);
  f_001_101_111_001_1(uniques, 12);
  f_001_101_111_010_1(uniques, 12);
  f_001_101_111_011_1(uniques, 12);
  f_001_101_111_100_1(uniques, 12);
  f_001_101_111_101_1(uniques, 12);
  f_001_101_111_110_1(uniques, 12);
  f_001_101_111_111_1(uniques, 12);
  f_001_110_000_000_1(uniques, 12);
  f_001_110_000_001_1(uniques, 12);
  f_001_110_000_010_1(uniques, 12);
  f_001_110_000_011_1(uniques, 12);
  f_001_110_000_100_1(uniques, 12);
  f_001_110_000_101_1(uniques, 12);
  f_001_110_000_110_1(uniques, 12);
  f_001_110_000_111_1(uniques, 12);
  f_001_110_001_000_1(uniques, 12);
  f_001_110_001_001_1(uniques, 12);
  f_001_110_001_010_1(uniques, 12);
  f_001_110_001_011_1(uniques, 12);
  f_001_110_001_100_1(uniques, 12);
  f_001_110_001_101_1(uniques, 12);
  f_001_110_001_110_1(uniques, 12);
  f_001_110_001_111_1(uniques, 12);
  f_001_110_010_000_1(uniques, 12);
  f_001_110_010_001_1(uniques, 12);
  f_001_110_010_010_1(uniques, 12);
  f_001_110_010_011_1(uniques, 12);
  f_001_110_010_100_1(uniques, 12);
  f_001_110_010_101_1(uniques, 12);
  f_001_110_010_110_1(uniques, 12);
  f_001_110_010_111_1(uniques, 12);
  f_001_110_011_000_1(uniques, 12);
  f_001_110_011_001_1(uniques, 12);
  f_001_110_011_010_1(uniques, 12);
  f_001_110_011_011_1(uniques, 12);
  f_001_110_011_100_1(uniques, 12);
  f_001_110_011_101_1(uniques, 12);
  f_001_110_011_110_1(uniques, 12);
  f_001_110_011_111_1(uniques, 12);
  f_001_110_100_000_1(uniques, 12);
  f_001_110_100_001_1(uniques, 12);
  f_001_110_100_010_1(uniques, 12);
  f_001_110_100_011_1(uniques, 12);
  f_001_110_100_100_1(uniques, 12);
  f_001_110_100_101_1(uniques, 12);
  f_001_110_100_110_1(uniques, 12);
  f_001_110_100_111_1(uniques, 12);
  f_001_110_101_000_1(uniques, 12);
  f_001_110_101_001_1(uniques, 12);
  f_001_110_101_010_1(uniques, 12);
  f_001_110_101_011_1(uniques, 12);
  f_001_110_101_100_1(uniques, 12);
  f_001_110_101_101_1(uniques, 12);
  f_001_110_101_110_1(uniques, 12);
  f_001_110_101_111_1(uniques, 12);
  f_001_110_110_000_1(uniques, 12);
  f_001_110_110_001_1(uniques, 12);
  f_001_110_110_010_1(uniques, 12);
  f_001_110_110_011_1(uniques, 12);
  f_001_110_110_100_1(uniques, 12);
  f_001_110_110_101_1(uniques, 12);
  f_001_110_110_110_1(uniques, 12);
  f_001_110_110_111_1(uniques, 12);
  f_001_110_111_000_1(uniques, 12);
  f_001_110_111_001_1(uniques, 12);
  f_001_110_111_010_1(uniques, 12);
  f_001_110_111_011_1(uniques, 12);
  f_001_110_111_100_1(uniques, 12);
  f_001_110_111_101_1(uniques, 12);
  f_001_110_111_110_1(uniques, 12);
  f_001_110_111_111_1(uniques, 12);
  f_001_111_000_000_1(uniques, 12);
  f_001_111_000_001_1(uniques, 12);
  f_001_111_000_010_1(uniques, 12);
  f_001_111_000_011_1(uniques, 12);
  f_001_111_000_100_1(uniques, 12);
  f_001_111_000_101_1(uniques, 12);
  f_001_111_000_110_1(uniques, 12);
  f_001_111_000_111_1(uniques, 12);
  f_001_111_001_000_1(uniques, 12);
  f_001_111_001_001_1(uniques, 12);
  f_001_111_001_010_1(uniques, 12);
  f_001_111_001_011_1(uniques, 12);
  f_001_111_001_100_1(uniques, 12);
  f_001_111_001_101_1(uniques, 12);
  f_001_111_001_110_1(uniques, 12);
  f_001_111_001_111_1(uniques, 12);
  f_001_111_010_000_1(uniques, 12);
  f_001_111_010_001_1(uniques, 12);
  f_001_111_010_010_1(uniques, 12);
  f_001_111_010_011_1(uniques, 12);
  f_001_111_010_100_1(uniques, 12);
  f_001_111_010_101_1(uniques, 12);
  f_001_111_010_110_1(uniques, 12);
  f_001_111_010_111_1(uniques, 12);
  f_001_111_011_000_1(uniques, 12);
  f_001_111_011_001_1(uniques, 12);
  f_001_111_011_010_1(uniques, 12);
  f_001_111_011_011_1(uniques, 12);
  f_001_111_011_100_1(uniques, 12);
  f_001_111_011_101_1(uniques, 12);
  f_001_111_011_110_1(uniques, 12);
  f_001_111_011_111_1(uniques, 12);
  f_001_111_100_000_1(uniques, 12);
  f_001_111_100_001_1(uniques, 12);
  f_001_111_100_010_1(uniques, 12);
  f_001_111_100_011_1(uniques, 12);
  f_001_111_100_100_1(uniques, 12);
  f_001_111_100_101_1(uniques, 12);
  f_001_111_100_110_1(uniques, 12);
  f_001_111_100_111_1(uniques, 12);
  f_001_111_101_000_1(uniques, 12);
  f_001_111_101_001_1(uniques, 12);
  f_001_111_101_010_1(uniques, 12);
  f_001_111_101_011_1(uniques, 12);
  f_001_111_101_100_1(uniques, 12);
  f_001_111_101_101_1(uniques, 12);
  f_001_111_101_110_1(uniques, 12);
  f_001_111_101_111_1(uniques, 12);
  f_001_111_110_000_1(uniques, 12);
  f_001_111_110_001_1(uniques, 12);
  f_001_111_110_010_1(uniques, 12);
  f_001_111_110_011_1(uniques, 12);
  f_001_111_110_100_1(uniques, 12);
  f_001_111_110_101_1(uniques, 12);
  f_001_111_110_110_1(uniques, 12);
  f_001_111_110_111_1(uniques, 12);
  f_001_111_111_000_1(uniques, 12);
  f_001_111_111_001_1(uniques, 12);
  f_001_111_111_010_1(uniques, 12);
  f_001_111_111_011_1(uniques, 12);
  f_001_111_111_100_1(uniques, 12);
  f_001_111_111_101_1(uniques, 12);
  f_001_111_111_110_1(uniques, 12);
  f_001_111_111_111_1(uniques, 12);
  f_010_000_000_000_1(uniques, 12);
  f_010_000_000_001_1(uniques, 12);
  f_010_000_000_010_1(uniques, 12);
  f_010_000_000_011_1(uniques, 12);
  f_010_000_000_100_1(uniques, 12);
  f_010_000_000_101_1(uniques, 12);
  f_010_000_000_110_1(uniques, 12);
  f_010_000_000_111_1(uniques, 12);
  f_010_000_001_000_1(uniques, 12);
  f_010_000_001_001_1(uniques, 12);
  f_010_000_001_010_1(uniques, 12);
  f_010_000_001_011_1(uniques, 12);
  f_010_000_001_100_1(uniques, 12);
  f_010_000_001_101_1(uniques, 12);
  f_010_000_001_110_1(uniques, 12);
  f_010_000_001_111_1(uniques, 12);
  f_010_000_010_000_1(uniques, 12);
  f_010_000_010_001_1(uniques, 12);
  f_010_000_010_010_1(uniques, 12);
  f_010_000_010_011_1(uniques, 12);
  f_010_000_010_100_1(uniques, 12);
  f_010_000_010_101_1(uniques, 12);
  f_010_000_010_110_1(uniques, 12);
  f_010_000_010_111_1(uniques, 12);
  f_010_000_011_000_1(uniques, 12);
  f_010_000_011_001_1(uniques, 12);
  f_010_000_011_010_1(uniques, 12);
  f_010_000_011_011_1(uniques, 12);
  f_010_000_011_100_1(uniques, 12);
  f_010_000_011_101_1(uniques, 12);
  f_010_000_011_110_1(uniques, 12);
  f_010_000_011_111_1(uniques, 12);
  f_010_000_100_000_1(uniques, 12);
  f_010_000_100_001_1(uniques, 12);
  f_010_000_100_010_1(uniques, 12);
  f_010_000_100_011_1(uniques, 12);
  f_010_000_100_100_1(uniques, 12);
  f_010_000_100_101_1(uniques, 12);
  f_010_000_100_110_1(uniques, 12);
  f_010_000_100_111_1(uniques, 12);
  f_010_000_101_000_1(uniques, 12);
  f_010_000_101_001_1(uniques, 12);
  f_010_000_101_010_1(uniques, 12);
  f_010_000_101_011_1(uniques, 12);
  f_010_000_101_100_1(uniques, 12);
  f_010_000_101_101_1(uniques, 12);
  f_010_000_101_110_1(uniques, 12);
  f_010_000_101_111_1(uniques, 12);
  f_010_000_110_000_1(uniques, 12);
  f_010_000_110_001_1(uniques, 12);
  f_010_000_110_010_1(uniques, 12);
  f_010_000_110_011_1(uniques, 12);
  f_010_000_110_100_1(uniques, 12);
  f_010_000_110_101_1(uniques, 12);
  f_010_000_110_110_1(uniques, 12);
  f_010_000_110_111_1(uniques, 12);
  f_010_000_111_000_1(uniques, 12);
  f_010_000_111_001_1(uniques, 12);
  f_010_000_111_010_1(uniques, 12);
  f_010_000_111_011_1(uniques, 12);
  f_010_000_111_100_1(uniques, 12);
  f_010_000_111_101_1(uniques, 12);
  f_010_000_111_110_1(uniques, 12);
  f_010_000_111_111_1(uniques, 12);
  f_010_001_000_000_1(uniques, 12);
  f_010_001_000_001_1(uniques, 12);
  f_010_001_000_010_1(uniques, 12);
  f_010_001_000_011_1(uniques, 12);
  f_010_001_000_100_1(uniques, 12);
  f_010_001_000_101_1(uniques, 12);
  f_010_001_000_110_1(uniques, 12);
  f_010_001_000_111_1(uniques, 12);
  f_010_001_001_000_1(uniques, 12);
  f_010_001_001_001_1(uniques, 12);
  f_010_001_001_010_1(uniques, 12);
  f_010_001_001_011_1(uniques, 12);
  f_010_001_001_100_1(uniques, 12);
  f_010_001_001_101_1(uniques, 12);
  f_010_001_001_110_1(uniques, 12);
  f_010_001_001_111_1(uniques, 12);
  f_010_001_010_000_1(uniques, 12);
  f_010_001_010_001_1(uniques, 12);
  f_010_001_010_010_1(uniques, 12);
  f_010_001_010_011_1(uniques, 12);
  f_010_001_010_100_1(uniques, 12);
  f_010_001_010_101_1(uniques, 12);
  f_010_001_010_110_1(uniques, 12);
  f_010_001_010_111_1(uniques, 12);
  f_010_001_011_000_1(uniques, 12);
  f_010_001_011_001_1(uniques, 12);
  f_010_001_011_010_1(uniques, 12);
  f_010_001_011_011_1(uniques, 12);
  f_010_001_011_100_1(uniques, 12);
  f_010_001_011_101_1(uniques, 12);
  f_010_001_011_110_1(uniques, 12);
  f_010_001_011_111_1(uniques, 12);
  f_010_001_100_000_1(uniques, 12);
  f_010_001_100_001_1(uniques, 12);
  f_010_001_100_010_1(uniques, 12);
  f_010_001_100_011_1(uniques, 12);
  f_010_001_100_100_1(uniques, 12);
  f_010_001_100_101_1(uniques, 12);
  f_010_001_100_110_1(uniques, 12);
  f_010_001_100_111_1(uniques, 12);
  f_010_001_101_000_1(uniques, 12);
  f_010_001_101_001_1(uniques, 12);
  f_010_001_101_010_1(uniques, 12);
  f_010_001_101_011_1(uniques, 12);
  f_010_001_101_100_1(uniques, 12);
  f_010_001_101_101_1(uniques, 12);
  f_010_001_101_110_1(uniques, 12);
  f_010_001_101_111_1(uniques, 12);
  f_010_001_110_000_1(uniques, 12);
  f_010_001_110_001_1(uniques, 12);
  f_010_001_110_010_1(uniques, 12);
  f_010_001_110_011_1(uniques, 12);
  f_010_001_110_100_1(uniques, 12);
  f_010_001_110_101_1(uniques, 12);
  f_010_001_110_110_1(uniques, 12);
  f_010_001_110_111_1(uniques, 12);
  f_010_001_111_000_1(uniques, 12);
  f_010_001_111_001_1(uniques, 12);
  f_010_001_111_010_1(uniques, 12);
  f_010_001_111_011_1(uniques, 12);
  f_010_001_111_100_1(uniques, 12);
  f_010_001_111_101_1(uniques, 12);
  f_010_001_111_110_1(uniques, 12);
  f_010_001_111_111_1(uniques, 12);
  f_010_010_000_000_1(uniques, 12);
  f_010_010_000_001_1(uniques, 12);
  f_010_010_000_010_1(uniques, 12);
  f_010_010_000_011_1(uniques, 12);
  f_010_010_000_100_1(uniques, 12);
  f_010_010_000_101_1(uniques, 12);
  f_010_010_000_110_1(uniques, 12);
  f_010_010_000_111_1(uniques, 12);
  f_010_010_001_000_1(uniques, 12);
  f_010_010_001_001_1(uniques, 12);
  f_010_010_001_010_1(uniques, 12);
  f_010_010_001_011_1(uniques, 12);
  f_010_010_001_100_1(uniques, 12);
  f_010_010_001_101_1(uniques, 12);
  f_010_010_001_110_1(uniques, 12);
  f_010_010_001_111_1(uniques, 12);
  f_010_010_010_000_1(uniques, 12);
  f_010_010_010_001_1(uniques, 12);
  f_010_010_010_010_1(uniques, 12);
  f_010_010_010_011_1(uniques, 12);
  f_010_010_010_100_1(uniques, 12);
  f_010_010_010_101_1(uniques, 12);
  f_010_010_010_110_1(uniques, 12);
  f_010_010_010_111_1(uniques, 12);
  f_010_010_011_000_1(uniques, 12);
  f_010_010_011_001_1(uniques, 12);
  f_010_010_011_010_1(uniques, 12);
  f_010_010_011_011_1(uniques, 12);
  f_010_010_011_100_1(uniques, 12);
  f_010_010_011_101_1(uniques, 12);
  f_010_010_011_110_1(uniques, 12);
  f_010_010_011_111_1(uniques, 12);
  f_010_010_100_000_1(uniques, 12);
  f_010_010_100_001_1(uniques, 12);
  f_010_010_100_010_1(uniques, 12);
  f_010_010_100_011_1(uniques, 12);
  f_010_010_100_100_1(uniques, 12);
  f_010_010_100_101_1(uniques, 12);
  f_010_010_100_110_1(uniques, 12);
  f_010_010_100_111_1(uniques, 12);
  f_010_010_101_000_1(uniques, 12);
  f_010_010_101_001_1(uniques, 12);
  f_010_010_101_010_1(uniques, 12);
  f_010_010_101_011_1(uniques, 12);
  f_010_010_101_100_1(uniques, 12);
  f_010_010_101_101_1(uniques, 12);
  f_010_010_101_110_1(uniques, 12);
  f_010_010_101_111_1(uniques, 12);
  f_010_010_110_000_1(uniques, 12);
  f_010_010_110_001_1(uniques, 12);
  f_010_010_110_010_1(uniques, 12);
  f_010_010_110_011_1(uniques, 12);
  f_010_010_110_100_1(uniques, 12);
  f_010_010_110_101_1(uniques, 12);
  f_010_010_110_110_1(uniques, 12);
  f_010_010_110_111_1(uniques, 12);
  f_010_010_111_000_1(uniques, 12);
  f_010_010_111_001_1(uniques, 12);
  f_010_010_111_010_1(uniques, 12);
  f_010_010_111_011_1(uniques, 12);
  f_010_010_111_100_1(uniques, 12);
  f_010_010_111_101_1(uniques, 12);
  f_010_010_111_110_1(uniques, 12);
  f_010_010_111_111_1(uniques, 12);
  f_010_011_000_000_1(uniques, 12);
  f_010_011_000_001_1(uniques, 12);
  f_010_011_000_010_1(uniques, 12);
  f_010_011_000_011_1(uniques, 12);
  f_010_011_000_100_1(uniques, 12);
  f_010_011_000_101_1(uniques, 12);
  f_010_011_000_110_1(uniques, 12);
  f_010_011_000_111_1(uniques, 12);
  f_010_011_001_000_1(uniques, 12);
  f_010_011_001_001_1(uniques, 12);
  f_010_011_001_010_1(uniques, 12);
  f_010_011_001_011_1(uniques, 12);
  f_010_011_001_100_1(uniques, 12);
  f_010_011_001_101_1(uniques, 12);
  f_010_011_001_110_1(uniques, 12);
  f_010_011_001_111_1(uniques, 12);
  f_010_011_010_000_1(uniques, 12);
  f_010_011_010_001_1(uniques, 12);
  f_010_011_010_010_1(uniques, 12);
  f_010_011_010_011_1(uniques, 12);
  f_010_011_010_100_1(uniques, 12);
  f_010_011_010_101_1(uniques, 12);
  f_010_011_010_110_1(uniques, 12);
  f_010_011_010_111_1(uniques, 12);
  f_010_011_011_000_1(uniques, 12);
  f_010_011_011_001_1(uniques, 12);
  f_010_011_011_010_1(uniques, 12);
  f_010_011_011_011_1(uniques, 12);
  f_010_011_011_100_1(uniques, 12);
  f_010_011_011_101_1(uniques, 12);
  f_010_011_011_110_1(uniques, 12);
  f_010_011_011_111_1(uniques, 12);
  f_010_011_100_000_1(uniques, 12);
  f_010_011_100_001_1(uniques, 12);
  f_010_011_100_010_1(uniques, 12);
  f_010_011_100_011_1(uniques, 12);
  f_010_011_100_100_1(uniques, 12);
  f_010_011_100_101_1(uniques, 12);
  f_010_011_100_110_1(uniques, 12);
  f_010_011_100_111_1(uniques, 12);
  f_010_011_101_000_1(uniques, 12);
  f_010_011_101_001_1(uniques, 12);
  f_010_011_101_010_1(uniques, 12);
  f_010_011_101_011_1(uniques, 12);
  f_010_011_101_100_1(uniques, 12);
  f_010_011_101_101_1(uniques, 12);
  f_010_011_101_110_1(uniques, 12);
  f_010_011_101_111_1(uniques, 12);
  f_010_011_110_000_1(uniques, 12);
  f_010_011_110_001_1(uniques, 12);
  f_010_011_110_010_1(uniques, 12);
  f_010_011_110_011_1(uniques, 12);
  f_010_011_110_100_1(uniques, 12);
  f_010_011_110_101_1(uniques, 12);
  f_010_011_110_110_1(uniques, 12);
  f_010_011_110_111_1(uniques, 12);
  f_010_011_111_000_1(uniques, 12);
  f_010_011_111_001_1(uniques, 12);
  f_010_011_111_010_1(uniques, 12);
  f_010_011_111_011_1(uniques, 12);
  f_010_011_111_100_1(uniques, 12);
  f_010_011_111_101_1(uniques, 12);
  f_010_011_111_110_1(uniques, 12);
  f_010_011_111_111_1(uniques, 12);
  f_010_100_000_000_1(uniques, 12);
  f_010_100_000_001_1(uniques, 12);
  f_010_100_000_010_1(uniques, 12);
  f_010_100_000_011_1(uniques, 12);
  f_010_100_000_100_1(uniques, 12);
  f_010_100_000_101_1(uniques, 12);
  f_010_100_000_110_1(uniques, 12);
  f_010_100_000_111_1(uniques, 12);
  f_010_100_001_000_1(uniques, 12);
  f_010_100_001_001_1(uniques, 12);
  f_010_100_001_010_1(uniques, 12);
  f_010_100_001_011_1(uniques, 12);
  f_010_100_001_100_1(uniques, 12);
  f_010_100_001_101_1(uniques, 12);
  f_010_100_001_110_1(uniques, 12);
  f_010_100_001_111_1(uniques, 12);
  f_010_100_010_000_1(uniques, 12);
  f_010_100_010_001_1(uniques, 12);
  f_010_100_010_010_1(uniques, 12);
  f_010_100_010_011_1(uniques, 12);
  f_010_100_010_100_1(uniques, 12);
  f_010_100_010_101_1(uniques, 12);
  f_010_100_010_110_1(uniques, 12);
  f_010_100_010_111_1(uniques, 12);
  f_010_100_011_000_1(uniques, 12);
  f_010_100_011_001_1(uniques, 12);
  f_010_100_011_010_1(uniques, 12);
  f_010_100_011_011_1(uniques, 12);
  f_010_100_011_100_1(uniques, 12);
  f_010_100_011_101_1(uniques, 12);
  f_010_100_011_110_1(uniques, 12);
  f_010_100_011_111_1(uniques, 12);
  f_010_100_100_000_1(uniques, 12);
  f_010_100_100_001_1(uniques, 12);
  f_010_100_100_010_1(uniques, 12);
  f_010_100_100_011_1(uniques, 12);
  f_010_100_100_100_1(uniques, 12);
  f_010_100_100_101_1(uniques, 12);
  f_010_100_100_110_1(uniques, 12);
  f_010_100_100_111_1(uniques, 12);
  f_010_100_101_000_1(uniques, 12);
  f_010_100_101_001_1(uniques, 12);
  f_010_100_101_010_1(uniques, 12);
  f_010_100_101_011_1(uniques, 12);
  f_010_100_101_100_1(uniques, 12);
  f_010_100_101_101_1(uniques, 12);
  f_010_100_101_110_1(uniques, 12);
  f_010_100_101_111_1(uniques, 12);
  f_010_100_110_000_1(uniques, 12);
  f_010_100_110_001_1(uniques, 12);
  f_010_100_110_010_1(uniques, 12);
  f_010_100_110_011_1(uniques, 12);
  f_010_100_110_100_1(uniques, 12);
  f_010_100_110_101_1(uniques, 12);
  f_010_100_110_110_1(uniques, 12);
  f_010_100_110_111_1(uniques, 12);
  f_010_100_111_000_1(uniques, 12);
  f_010_100_111_001_1(uniques, 12);
  f_010_100_111_010_1(uniques, 12);
  f_010_100_111_011_1(uniques, 12);
  f_010_100_111_100_1(uniques, 12);
  f_010_100_111_101_1(uniques, 12);
  f_010_100_111_110_1(uniques, 12);
  f_010_100_111_111_1(uniques, 12);
  f_010_101_000_000_1(uniques, 12);
  f_010_101_000_001_1(uniques, 12);
  f_010_101_000_010_1(uniques, 12);
  f_010_101_000_011_1(uniques, 12);
  f_010_101_000_100_1(uniques, 12);
  f_010_101_000_101_1(uniques, 12);
  f_010_101_000_110_1(uniques, 12);
  f_010_101_000_111_1(uniques, 12);
  f_010_101_001_000_1(uniques, 12);
  f_010_101_001_001_1(uniques, 12);
  f_010_101_001_010_1(uniques, 12);
  f_010_101_001_011_1(uniques, 12);
  f_010_101_001_100_1(uniques, 12);
  f_010_101_001_101_1(uniques, 12);
  f_010_101_001_110_1(uniques, 12);
  f_010_101_001_111_1(uniques, 12);
  f_010_101_010_000_1(uniques, 12);
  f_010_101_010_001_1(uniques, 12);
  f_010_101_010_010_1(uniques, 12);
  f_010_101_010_011_1(uniques, 12);
  f_010_101_010_100_1(uniques, 12);
  f_010_101_010_101_1(uniques, 12);
  f_010_101_010_110_1(uniques, 12);
  f_010_101_010_111_1(uniques, 12);
  f_010_101_011_000_1(uniques, 12);
  f_010_101_011_001_1(uniques, 12);
  f_010_101_011_010_1(uniques, 12);
  f_010_101_011_011_1(uniques, 12);
  f_010_101_011_100_1(uniques, 12);
  f_010_101_011_101_1(uniques, 12);
  f_010_101_011_110_1(uniques, 12);
  f_010_101_011_111_1(uniques, 12);
  f_010_101_100_000_1(uniques, 12);
  f_010_101_100_001_1(uniques, 12);
  f_010_101_100_010_1(uniques, 12);
  f_010_101_100_011_1(uniques, 12);
  f_010_101_100_100_1(uniques, 12);
  f_010_101_100_101_1(uniques, 12);
  f_010_101_100_110_1(uniques, 12);
  f_010_101_100_111_1(uniques, 12);
  f_010_101_101_000_1(uniques, 12);
  f_010_101_101_001_1(uniques, 12);
  f_010_101_101_010_1(uniques, 12);
  f_010_101_101_011_1(uniques, 12);
  f_010_101_101_100_1(uniques, 12);
  f_010_101_101_101_1(uniques, 12);
  f_010_101_101_110_1(uniques, 12);
  f_010_101_101_111_1(uniques, 12);
  f_010_101_110_000_1(uniques, 12);
  f_010_101_110_001_1(uniques, 12);
  f_010_101_110_010_1(uniques, 12);
  f_010_101_110_011_1(uniques, 12);
  f_010_101_110_100_1(uniques, 12);
  f_010_101_110_101_1(uniques, 12);
  f_010_101_110_110_1(uniques, 12);
  f_010_101_110_111_1(uniques, 12);
  f_010_101_111_000_1(uniques, 12);
  f_010_101_111_001_1(uniques, 12);
  f_010_101_111_010_1(uniques, 12);
  f_010_101_111_011_1(uniques, 12);
  f_010_101_111_100_1(uniques, 12);
  f_010_101_111_101_1(uniques, 12);
  f_010_101_111_110_1(uniques, 12);
  f_010_101_111_111_1(uniques, 12);
  f_010_110_000_000_1(uniques, 12);
  f_010_110_000_001_1(uniques, 12);
  f_010_110_000_010_1(uniques, 12);
  f_010_110_000_011_1(uniques, 12);
  f_010_110_000_100_1(uniques, 12);
  f_010_110_000_101_1(uniques, 12);
  f_010_110_000_110_1(uniques, 12);
  f_010_110_000_111_1(uniques, 12);
  f_010_110_001_000_1(uniques, 12);
  f_010_110_001_001_1(uniques, 12);
  f_010_110_001_010_1(uniques, 12);
  f_010_110_001_011_1(uniques, 12);
  f_010_110_001_100_1(uniques, 12);
  f_010_110_001_101_1(uniques, 12);
  f_010_110_001_110_1(uniques, 12);
  f_010_110_001_111_1(uniques, 12);
  f_010_110_010_000_1(uniques, 12);
  f_010_110_010_001_1(uniques, 12);
  f_010_110_010_010_1(uniques, 12);
  f_010_110_010_011_1(uniques, 12);
  f_010_110_010_100_1(uniques, 12);
  f_010_110_010_101_1(uniques, 12);
  f_010_110_010_110_1(uniques, 12);
  f_010_110_010_111_1(uniques, 12);
  f_010_110_011_000_1(uniques, 12);
  f_010_110_011_001_1(uniques, 12);
  f_010_110_011_010_1(uniques, 12);
  f_010_110_011_011_1(uniques, 12);
  f_010_110_011_100_1(uniques, 12);
  f_010_110_011_101_1(uniques, 12);
  f_010_110_011_110_1(uniques, 12);
  f_010_110_011_111_1(uniques, 12);
  f_010_110_100_000_1(uniques, 12);
  f_010_110_100_001_1(uniques, 12);
  f_010_110_100_010_1(uniques, 12);
  f_010_110_100_011_1(uniques, 12);
  f_010_110_100_100_1(uniques, 12);
  f_010_110_100_101_1(uniques, 12);
  f_010_110_100_110_1(uniques, 12);
  f_010_110_100_111_1(uniques, 12);
  f_010_110_101_000_1(uniques, 12);
  f_010_110_101_001_1(uniques, 12);
  f_010_110_101_010_1(uniques, 12);
  f_010_110_101_011_1(uniques, 12);
  f_010_110_101_100_1(uniques, 12);
  f_010_110_101_101_1(uniques, 12);
  f_010_110_101_110_1(uniques, 12);
  f_010_110_101_111_1(uniques, 12);
  f_010_110_110_000_1(uniques, 12);
  f_010_110_110_001_1(uniques, 12);
  f_010_110_110_010_1(uniques, 12);
  f_010_110_110_011_1(uniques, 12);
  f_010_110_110_100_1(uniques, 12);
  f_010_110_110_101_1(uniques, 12);
  f_010_110_110_110_1(uniques, 12);
  f_010_110_110_111_1(uniques, 12);
  f_010_110_111_000_1(uniques, 12);
  f_010_110_111_001_1(uniques, 12);
  f_010_110_111_010_1(uniques, 12);
  f_010_110_111_011_1(uniques, 12);
  f_010_110_111_100_1(uniques, 12);
  f_010_110_111_101_1(uniques, 12);
  f_010_110_111_110_1(uniques, 12);
  f_010_110_111_111_1(uniques, 12);
  f_010_111_000_000_1(uniques, 12);
  f_010_111_000_001_1(uniques, 12);
  f_010_111_000_010_1(uniques, 12);
  f_010_111_000_011_1(uniques, 12);
  f_010_111_000_100_1(uniques, 12);
  f_010_111_000_101_1(uniques, 12);
  f_010_111_000_110_1(uniques, 12);
  f_010_111_000_111_1(uniques, 12);
  f_010_111_001_000_1(uniques, 12);
  f_010_111_001_001_1(uniques, 12);
  f_010_111_001_010_1(uniques, 12);
  f_010_111_001_011_1(uniques, 12);
  f_010_111_001_100_1(uniques, 12);
  f_010_111_001_101_1(uniques, 12);
  f_010_111_001_110_1(uniques, 12);
  f_010_111_001_111_1(uniques, 12);
  f_010_111_010_000_1(uniques, 12);
  f_010_111_010_001_1(uniques, 12);
  f_010_111_010_010_1(uniques, 12);
  f_010_111_010_011_1(uniques, 12);
  f_010_111_010_100_1(uniques, 12);
  f_010_111_010_101_1(uniques, 12);
  f_010_111_010_110_1(uniques, 12);
  f_010_111_010_111_1(uniques, 12);
  f_010_111_011_000_1(uniques, 12);
  f_010_111_011_001_1(uniques, 12);
  f_010_111_011_010_1(uniques, 12);
  f_010_111_011_011_1(uniques, 12);
  f_010_111_011_100_1(uniques, 12);
  f_010_111_011_101_1(uniques, 12);
  f_010_111_011_110_1(uniques, 12);
  f_010_111_011_111_1(uniques, 12);
  f_010_111_100_000_1(uniques, 12);
  f_010_111_100_001_1(uniques, 12);
  f_010_111_100_010_1(uniques, 12);
  f_010_111_100_011_1(uniques, 12);
  f_010_111_100_100_1(uniques, 12);
  f_010_111_100_101_1(uniques, 12);
  f_010_111_100_110_1(uniques, 12);
  f_010_111_100_111_1(uniques, 12);
  f_010_111_101_000_1(uniques, 12);
  f_010_111_101_001_1(uniques, 12);
  f_010_111_101_010_1(uniques, 12);
  f_010_111_101_011_1(uniques, 12);
  f_010_111_101_100_1(uniques, 12);
  f_010_111_101_101_1(uniques, 12);
  f_010_111_101_110_1(uniques, 12);
  f_010_111_101_111_1(uniques, 12);
  f_010_111_110_000_1(uniques, 12);
  f_010_111_110_001_1(uniques, 12);
  f_010_111_110_010_1(uniques, 12);
  f_010_111_110_011_1(uniques, 12);
  f_010_111_110_100_1(uniques, 12);
  f_010_111_110_101_1(uniques, 12);
  f_010_111_110_110_1(uniques, 12);
  f_010_111_110_111_1(uniques, 12);
  f_010_111_111_000_1(uniques, 12);
  f_010_111_111_001_1(uniques, 12);
  f_010_111_111_010_1(uniques, 12);
  f_010_111_111_011_1(uniques, 12);
  f_010_111_111_100_1(uniques, 12);
  f_010_111_111_101_1(uniques, 12);
  f_010_111_111_110_1(uniques, 12);
  f_010_111_111_111_1(uniques, 12);
  f_011_000_000_000_1(uniques, 12);
  f_011_000_000_001_1(uniques, 12);
  f_011_000_000_010_1(uniques, 12);
  f_011_000_000_011_1(uniques, 12);
  f_011_000_000_100_1(uniques, 12);
  f_011_000_000_101_1(uniques, 12);
  f_011_000_000_110_1(uniques, 12);
  f_011_000_000_111_1(uniques, 12);
  f_011_000_001_000_1(uniques, 12);
  f_011_000_001_001_1(uniques, 12);
  f_011_000_001_010_1(uniques, 12);
  f_011_000_001_011_1(uniques, 12);
  f_011_000_001_100_1(uniques, 12);
  f_011_000_001_101_1(uniques, 12);
  f_011_000_001_110_1(uniques, 12);
  f_011_000_001_111_1(uniques, 12);
  f_011_000_010_000_1(uniques, 12);
  f_011_000_010_001_1(uniques, 12);
  f_011_000_010_010_1(uniques, 12);
  f_011_000_010_011_1(uniques, 12);
  f_011_000_010_100_1(uniques, 12);
  f_011_000_010_101_1(uniques, 12);
  f_011_000_010_110_1(uniques, 12);
  f_011_000_010_111_1(uniques, 12);
  f_011_000_011_000_1(uniques, 12);
  f_011_000_011_001_1(uniques, 12);
  f_011_000_011_010_1(uniques, 12);
  f_011_000_011_011_1(uniques, 12);
  f_011_000_011_100_1(uniques, 12);
  f_011_000_011_101_1(uniques, 12);
  f_011_000_011_110_1(uniques, 12);
  f_011_000_011_111_1(uniques, 12);
  f_011_000_100_000_1(uniques, 12);
  f_011_000_100_001_1(uniques, 12);
  f_011_000_100_010_1(uniques, 12);
  f_011_000_100_011_1(uniques, 12);
  f_011_000_100_100_1(uniques, 12);
  f_011_000_100_101_1(uniques, 12);
  f_011_000_100_110_1(uniques, 12);
  f_011_000_100_111_1(uniques, 12);
  f_011_000_101_000_1(uniques, 12);
  f_011_000_101_001_1(uniques, 12);
  f_011_000_101_010_1(uniques, 12);
  f_011_000_101_011_1(uniques, 12);
  f_011_000_101_100_1(uniques, 12);
  f_011_000_101_101_1(uniques, 12);
  f_011_000_101_110_1(uniques, 12);
  f_011_000_101_111_1(uniques, 12);
  f_011_000_110_000_1(uniques, 12);
  f_011_000_110_001_1(uniques, 12);
  f_011_000_110_010_1(uniques, 12);
  f_011_000_110_011_1(uniques, 12);
  f_011_000_110_100_1(uniques, 12);
  f_011_000_110_101_1(uniques, 12);
  f_011_000_110_110_1(uniques, 12);
  f_011_000_110_111_1(uniques, 12);
  f_011_000_111_000_1(uniques, 12);
  f_011_000_111_001_1(uniques, 12);
  f_011_000_111_010_1(uniques, 12);
  f_011_000_111_011_1(uniques, 12);
  f_011_000_111_100_1(uniques, 12);
  f_011_000_111_101_1(uniques, 12);
  f_011_000_111_110_1(uniques, 12);
  f_011_000_111_111_1(uniques, 12);
  f_011_001_000_000_1(uniques, 12);
  f_011_001_000_001_1(uniques, 12);
  f_011_001_000_010_1(uniques, 12);
  f_011_001_000_011_1(uniques, 12);
  f_011_001_000_100_1(uniques, 12);
  f_011_001_000_101_1(uniques, 12);
  f_011_001_000_110_1(uniques, 12);
  f_011_001_000_111_1(uniques, 12);
  f_011_001_001_000_1(uniques, 12);
  f_011_001_001_001_1(uniques, 12);
  f_011_001_001_010_1(uniques, 12);
  f_011_001_001_011_1(uniques, 12);
  f_011_001_001_100_1(uniques, 12);
  f_011_001_001_101_1(uniques, 12);
  f_011_001_001_110_1(uniques, 12);
  f_011_001_001_111_1(uniques, 12);
  f_011_001_010_000_1(uniques, 12);
  f_011_001_010_001_1(uniques, 12);
  f_011_001_010_010_1(uniques, 12);
  f_011_001_010_011_1(uniques, 12);
  f_011_001_010_100_1(uniques, 12);
  f_011_001_010_101_1(uniques, 12);
  f_011_001_010_110_1(uniques, 12);
  f_011_001_010_111_1(uniques, 12);
  f_011_001_011_000_1(uniques, 12);
  f_011_001_011_001_1(uniques, 12);
  f_011_001_011_010_1(uniques, 12);
  f_011_001_011_011_1(uniques, 12);
  f_011_001_011_100_1(uniques, 12);
  f_011_001_011_101_1(uniques, 12);
  f_011_001_011_110_1(uniques, 12);
  f_011_001_011_111_1(uniques, 12);
  f_011_001_100_000_1(uniques, 12);
  f_011_001_100_001_1(uniques, 12);
  f_011_001_100_010_1(uniques, 12);
  f_011_001_100_011_1(uniques, 12);
  f_011_001_100_100_1(uniques, 12);
  f_011_001_100_101_1(uniques, 12);
  f_011_001_100_110_1(uniques, 12);
  f_011_001_100_111_1(uniques, 12);
  f_011_001_101_000_1(uniques, 12);
  f_011_001_101_001_1(uniques, 12);
  f_011_001_101_010_1(uniques, 12);
  f_011_001_101_011_1(uniques, 12);
  f_011_001_101_100_1(uniques, 12);
  f_011_001_101_101_1(uniques, 12);
  f_011_001_101_110_1(uniques, 12);
  f_011_001_101_111_1(uniques, 12);
  f_011_001_110_000_1(uniques, 12);
  f_011_001_110_001_1(uniques, 12);
  f_011_001_110_010_1(uniques, 12);
  f_011_001_110_011_1(uniques, 12);
  f_011_001_110_100_1(uniques, 12);
  f_011_001_110_101_1(uniques, 12);
  f_011_001_110_110_1(uniques, 12);
  f_011_001_110_111_1(uniques, 12);
  f_011_001_111_000_1(uniques, 12);
  f_011_001_111_001_1(uniques, 12);
  f_011_001_111_010_1(uniques, 12);
  f_011_001_111_011_1(uniques, 12);
  f_011_001_111_100_1(uniques, 12);
  f_011_001_111_101_1(uniques, 12);
  f_011_001_111_110_1(uniques, 12);
  f_011_001_111_111_1(uniques, 12);
  f_011_010_000_000_1(uniques, 12);
  f_011_010_000_001_1(uniques, 12);
  f_011_010_000_010_1(uniques, 12);
  f_011_010_000_011_1(uniques, 12);
  f_011_010_000_100_1(uniques, 12);
  f_011_010_000_101_1(uniques, 12);
  f_011_010_000_110_1(uniques, 12);
  f_011_010_000_111_1(uniques, 12);
  f_011_010_001_000_1(uniques, 12);
  f_011_010_001_001_1(uniques, 12);
  f_011_010_001_010_1(uniques, 12);
  f_011_010_001_011_1(uniques, 12);
  f_011_010_001_100_1(uniques, 12);
  f_011_010_001_101_1(uniques, 12);
  f_011_010_001_110_1(uniques, 12);
  f_011_010_001_111_1(uniques, 12);
  f_011_010_010_000_1(uniques, 12);
  f_011_010_010_001_1(uniques, 12);
  f_011_010_010_010_1(uniques, 12);
  f_011_010_010_011_1(uniques, 12);
  f_011_010_010_100_1(uniques, 12);
  f_011_010_010_101_1(uniques, 12);
  f_011_010_010_110_1(uniques, 12);
  f_011_010_010_111_1(uniques, 12);
  f_011_010_011_000_1(uniques, 12);
  f_011_010_011_001_1(uniques, 12);
  f_011_010_011_010_1(uniques, 12);
  f_011_010_011_011_1(uniques, 12);
  f_011_010_011_100_1(uniques, 12);
  f_011_010_011_101_1(uniques, 12);
  f_011_010_011_110_1(uniques, 12);
  f_011_010_011_111_1(uniques, 12);
  f_011_010_100_000_1(uniques, 12);
  f_011_010_100_001_1(uniques, 12);
  f_011_010_100_010_1(uniques, 12);
  f_011_010_100_011_1(uniques, 12);
  f_011_010_100_100_1(uniques, 12);
  f_011_010_100_101_1(uniques, 12);
  f_011_010_100_110_1(uniques, 12);
  f_011_010_100_111_1(uniques, 12);
  f_011_010_101_000_1(uniques, 12);
  f_011_010_101_001_1(uniques, 12);
  f_011_010_101_010_1(uniques, 12);
  f_011_010_101_011_1(uniques, 12);
  f_011_010_101_100_1(uniques, 12);
  f_011_010_101_101_1(uniques, 12);
  f_011_010_101_110_1(uniques, 12);
  f_011_010_101_111_1(uniques, 12);
  f_011_010_110_000_1(uniques, 12);
  f_011_010_110_001_1(uniques, 12);
  f_011_010_110_010_1(uniques, 12);
  f_011_010_110_011_1(uniques, 12);
  f_011_010_110_100_1(uniques, 12);
  f_011_010_110_101_1(uniques, 12);
  f_011_010_110_110_1(uniques, 12);
  f_011_010_110_111_1(uniques, 12);
  f_011_010_111_000_1(uniques, 12);
  f_011_010_111_001_1(uniques, 12);
  f_011_010_111_010_1(uniques, 12);
  f_011_010_111_011_1(uniques, 12);
  f_011_010_111_100_1(uniques, 12);
  f_011_010_111_101_1(uniques, 12);
  f_011_010_111_110_1(uniques, 12);
  f_011_010_111_111_1(uniques, 12);
  f_011_011_000_000_1(uniques, 12);
  f_011_011_000_001_1(uniques, 12);
  f_011_011_000_010_1(uniques, 12);
  f_011_011_000_011_1(uniques, 12);
  f_011_011_000_100_1(uniques, 12);
  f_011_011_000_101_1(uniques, 12);
  f_011_011_000_110_1(uniques, 12);
  f_011_011_000_111_1(uniques, 12);
  f_011_011_001_000_1(uniques, 12);
  f_011_011_001_001_1(uniques, 12);
  f_011_011_001_010_1(uniques, 12);
  f_011_011_001_011_1(uniques, 12);
  f_011_011_001_100_1(uniques, 12);
  f_011_011_001_101_1(uniques, 12);
  f_011_011_001_110_1(uniques, 12);
  f_011_011_001_111_1(uniques, 12);
  f_011_011_010_000_1(uniques, 12);
  f_011_011_010_001_1(uniques, 12);
  f_011_011_010_010_1(uniques, 12);
  f_011_011_010_011_1(uniques, 12);
  f_011_011_010_100_1(uniques, 12);
  f_011_011_010_101_1(uniques, 12);
  f_011_011_010_110_1(uniques, 12);
  f_011_011_010_111_1(uniques, 12);
  f_011_011_011_000_1(uniques, 12);
  f_011_011_011_001_1(uniques, 12);
  f_011_011_011_010_1(uniques, 12);
  f_011_011_011_011_1(uniques, 12);
  f_011_011_011_100_1(uniques, 12);
  f_011_011_011_101_1(uniques, 12);
  f_011_011_011_110_1(uniques, 12);
  f_011_011_011_111_1(uniques, 12);
  f_011_011_100_000_1(uniques, 12);
  f_011_011_100_001_1(uniques, 12);
  f_011_011_100_010_1(uniques, 12);
  f_011_011_100_011_1(uniques, 12);
  f_011_011_100_100_1(uniques, 12);
  f_011_011_100_101_1(uniques, 12);
  f_011_011_100_110_1(uniques, 12);
  f_011_011_100_111_1(uniques, 12);
  f_011_011_101_000_1(uniques, 12);
  f_011_011_101_001_1(uniques, 12);
  f_011_011_101_010_1(uniques, 12);
  f_011_011_101_011_1(uniques, 12);
  f_011_011_101_100_1(uniques, 12);
  f_011_011_101_101_1(uniques, 12);
  f_011_011_101_110_1(uniques, 12);
  f_011_011_101_111_1(uniques, 12);
  f_011_011_110_000_1(uniques, 12);
  f_011_011_110_001_1(uniques, 12);
  f_011_011_110_010_1(uniques, 12);
  f_011_011_110_011_1(uniques, 12);
  f_011_011_110_100_1(uniques, 12);
  f_011_011_110_101_1(uniques, 12);
  f_011_011_110_110_1(uniques, 12);
  f_011_011_110_111_1(uniques, 12);
  f_011_011_111_000_1(uniques, 12);
  f_011_011_111_001_1(uniques, 12);
  f_011_011_111_010_1(uniques, 12);
  f_011_011_111_011_1(uniques, 12);
  f_011_011_111_100_1(uniques, 12);
  f_011_011_111_101_1(uniques, 12);
  f_011_011_111_110_1(uniques, 12);
  f_011_011_111_111_1(uniques, 12);
  f_011_100_000_000_1(uniques, 12);
  f_011_100_000_001_1(uniques, 12);
  f_011_100_000_010_1(uniques, 12);
  f_011_100_000_011_1(uniques, 12);
  f_011_100_000_100_1(uniques, 12);
  f_011_100_000_101_1(uniques, 12);
  f_011_100_000_110_1(uniques, 12);
  f_011_100_000_111_1(uniques, 12);
  f_011_100_001_000_1(uniques, 12);
  f_011_100_001_001_1(uniques, 12);
  f_011_100_001_010_1(uniques, 12);
  f_011_100_001_011_1(uniques, 12);
  f_011_100_001_100_1(uniques, 12);
  f_011_100_001_101_1(uniques, 12);
  f_011_100_001_110_1(uniques, 12);
  f_011_100_001_111_1(uniques, 12);
  f_011_100_010_000_1(uniques, 12);
  f_011_100_010_001_1(uniques, 12);
  f_011_100_010_010_1(uniques, 12);
  f_011_100_010_011_1(uniques, 12);
  f_011_100_010_100_1(uniques, 12);
  f_011_100_010_101_1(uniques, 12);
  f_011_100_010_110_1(uniques, 12);
  f_011_100_010_111_1(uniques, 12);
  f_011_100_011_000_1(uniques, 12);
  f_011_100_011_001_1(uniques, 12);
  f_011_100_011_010_1(uniques, 12);
  f_011_100_011_011_1(uniques, 12);
  f_011_100_011_100_1(uniques, 12);
  f_011_100_011_101_1(uniques, 12);
  f_011_100_011_110_1(uniques, 12);
  f_011_100_011_111_1(uniques, 12);
  f_011_100_100_000_1(uniques, 12);
  f_011_100_100_001_1(uniques, 12);
  f_011_100_100_010_1(uniques, 12);
  f_011_100_100_011_1(uniques, 12);
  f_011_100_100_100_1(uniques, 12);
  f_011_100_100_101_1(uniques, 12);
  f_011_100_100_110_1(uniques, 12);
  f_011_100_100_111_1(uniques, 12);
  f_011_100_101_000_1(uniques, 12);
  f_011_100_101_001_1(uniques, 12);
  f_011_100_101_010_1(uniques, 12);
  f_011_100_101_011_1(uniques, 12);
  f_011_100_101_100_1(uniques, 12);
  f_011_100_101_101_1(uniques, 12);
  f_011_100_101_110_1(uniques, 12);
  f_011_100_101_111_1(uniques, 12);
  f_011_100_110_000_1(uniques, 12);
  f_011_100_110_001_1(uniques, 12);
  f_011_100_110_010_1(uniques, 12);
  f_011_100_110_011_1(uniques, 12);
  f_011_100_110_100_1(uniques, 12);
  f_011_100_110_101_1(uniques, 12);
  f_011_100_110_110_1(uniques, 12);
  f_011_100_110_111_1(uniques, 12);
  f_011_100_111_000_1(uniques, 12);
  f_011_100_111_001_1(uniques, 12);
  f_011_100_111_010_1(uniques, 12);
  f_011_100_111_011_1(uniques, 12);
  f_011_100_111_100_1(uniques, 12);
  f_011_100_111_101_1(uniques, 12);
  f_011_100_111_110_1(uniques, 12);
  f_011_100_111_111_1(uniques, 12);
  f_011_101_000_000_1(uniques, 12);
  f_011_101_000_001_1(uniques, 12);
  f_011_101_000_010_1(uniques, 12);
  f_011_101_000_011_1(uniques, 12);
  f_011_101_000_100_1(uniques, 12);
  f_011_101_000_101_1(uniques, 12);
  f_011_101_000_110_1(uniques, 12);
  f_011_101_000_111_1(uniques, 12);
  f_011_101_001_000_1(uniques, 12);
  f_011_101_001_001_1(uniques, 12);
  f_011_101_001_010_1(uniques, 12);
  f_011_101_001_011_1(uniques, 12);
  f_011_101_001_100_1(uniques, 12);
  f_011_101_001_101_1(uniques, 12);
  f_011_101_001_110_1(uniques, 12);
  f_011_101_001_111_1(uniques, 12);
  f_011_101_010_000_1(uniques, 12);
  f_011_101_010_001_1(uniques, 12);
  f_011_101_010_010_1(uniques, 12);
  f_011_101_010_011_1(uniques, 12);
  f_011_101_010_100_1(uniques, 12);
  f_011_101_010_101_1(uniques, 12);
  f_011_101_010_110_1(uniques, 12);
  f_011_101_010_111_1(uniques, 12);
  f_011_101_011_000_1(uniques, 12);
  f_011_101_011_001_1(uniques, 12);
  f_011_101_011_010_1(uniques, 12);
  f_011_101_011_011_1(uniques, 12);
  f_011_101_011_100_1(uniques, 12);
  f_011_101_011_101_1(uniques, 12);
  f_011_101_011_110_1(uniques, 12);
  f_011_101_011_111_1(uniques, 12);
  f_011_101_100_000_1(uniques, 12);
  f_011_101_100_001_1(uniques, 12);
  f_011_101_100_010_1(uniques, 12);
  f_011_101_100_011_1(uniques, 12);
  f_011_101_100_100_1(uniques, 12);
  f_011_101_100_101_1(uniques, 12);
  f_011_101_100_110_1(uniques, 12);
  f_011_101_100_111_1(uniques, 12);
  f_011_101_101_000_1(uniques, 12);
  f_011_101_101_001_1(uniques, 12);
  f_011_101_101_010_1(uniques, 12);
  f_011_101_101_011_1(uniques, 12);
  f_011_101_101_100_1(uniques, 12);
  f_011_101_101_101_1(uniques, 12);
  f_011_101_101_110_1(uniques, 12);
  f_011_101_101_111_1(uniques, 12);
  f_011_101_110_000_1(uniques, 12);
  f_011_101_110_001_1(uniques, 12);
  f_011_101_110_010_1(uniques, 12);
  f_011_101_110_011_1(uniques, 12);
  f_011_101_110_100_1(uniques, 12);
  f_011_101_110_101_1(uniques, 12);
  f_011_101_110_110_1(uniques, 12);
  f_011_101_110_111_1(uniques, 12);
  f_011_101_111_000_1(uniques, 12);
  f_011_101_111_001_1(uniques, 12);
  f_011_101_111_010_1(uniques, 12);
  f_011_101_111_011_1(uniques, 12);
  f_011_101_111_100_1(uniques, 12);
  f_011_101_111_101_1(uniques, 12);
  f_011_101_111_110_1(uniques, 12);
  f_011_101_111_111_1(uniques, 12);
  f_011_110_000_000_1(uniques, 12);
  f_011_110_000_001_1(uniques, 12);
  f_011_110_000_010_1(uniques, 12);
  f_011_110_000_011_1(uniques, 12);
  f_011_110_000_100_1(uniques, 12);
  f_011_110_000_101_1(uniques, 12);
  f_011_110_000_110_1(uniques, 12);
  f_011_110_000_111_1(uniques, 12);
  f_011_110_001_000_1(uniques, 12);
  f_011_110_001_001_1(uniques, 12);
  f_011_110_001_010_1(uniques, 12);
  f_011_110_001_011_1(uniques, 12);
  f_011_110_001_100_1(uniques, 12);
  f_011_110_001_101_1(uniques, 12);
  f_011_110_001_110_1(uniques, 12);
  f_011_110_001_111_1(uniques, 12);
  f_011_110_010_000_1(uniques, 12);
  f_011_110_010_001_1(uniques, 12);
  f_011_110_010_010_1(uniques, 12);
  f_011_110_010_011_1(uniques, 12);
  f_011_110_010_100_1(uniques, 12);
  f_011_110_010_101_1(uniques, 12);
  f_011_110_010_110_1(uniques, 12);
  f_011_110_010_111_1(uniques, 12);
  f_011_110_011_000_1(uniques, 12);
  f_011_110_011_001_1(uniques, 12);
  f_011_110_011_010_1(uniques, 12);
  f_011_110_011_011_1(uniques, 12);
  f_011_110_011_100_1(uniques, 12);
  f_011_110_011_101_1(uniques, 12);
  f_011_110_011_110_1(uniques, 12);
  f_011_110_011_111_1(uniques, 12);
  f_011_110_100_000_1(uniques, 12);
  f_011_110_100_001_1(uniques, 12);
  f_011_110_100_010_1(uniques, 12);
  f_011_110_100_011_1(uniques, 12);
  f_011_110_100_100_1(uniques, 12);
  f_011_110_100_101_1(uniques, 12);
  f_011_110_100_110_1(uniques, 12);
  f_011_110_100_111_1(uniques, 12);
  f_011_110_101_000_1(uniques, 12);
  f_011_110_101_001_1(uniques, 12);
  f_011_110_101_010_1(uniques, 12);
  f_011_110_101_011_1(uniques, 12);
  f_011_110_101_100_1(uniques, 12);
  f_011_110_101_101_1(uniques, 12);
  f_011_110_101_110_1(uniques, 12);
  f_011_110_101_111_1(uniques, 12);
  f_011_110_110_000_1(uniques, 12);
  f_011_110_110_001_1(uniques, 12);
  f_011_110_110_010_1(uniques, 12);
  f_011_110_110_011_1(uniques, 12);
  f_011_110_110_100_1(uniques, 12);
  f_011_110_110_101_1(uniques, 12);
  f_011_110_110_110_1(uniques, 12);
  f_011_110_110_111_1(uniques, 12);
  f_011_110_111_000_1(uniques, 12);
  f_011_110_111_001_1(uniques, 12);
  f_011_110_111_010_1(uniques, 12);
  f_011_110_111_011_1(uniques, 12);
  f_011_110_111_100_1(uniques, 12);
  f_011_110_111_101_1(uniques, 12);
  f_011_110_111_110_1(uniques, 12);
  f_011_110_111_111_1(uniques, 12);
  f_011_111_000_000_1(uniques, 12);
  f_011_111_000_001_1(uniques, 12);
  f_011_111_000_010_1(uniques, 12);
  f_011_111_000_011_1(uniques, 12);
  f_011_111_000_100_1(uniques, 12);
  f_011_111_000_101_1(uniques, 12);
  f_011_111_000_110_1(uniques, 12);
  f_011_111_000_111_1(uniques, 12);
  f_011_111_001_000_1(uniques, 12);
  f_011_111_001_001_1(uniques, 12);
  f_011_111_001_010_1(uniques, 12);
  f_011_111_001_011_1(uniques, 12);
  f_011_111_001_100_1(uniques, 12);
  f_011_111_001_101_1(uniques, 12);
  f_011_111_001_110_1(uniques, 12);
  f_011_111_001_111_1(uniques, 12);
  f_011_111_010_000_1(uniques, 12);
  f_011_111_010_001_1(uniques, 12);
  f_011_111_010_010_1(uniques, 12);
  f_011_111_010_011_1(uniques, 12);
  f_011_111_010_100_1(uniques, 12);
  f_011_111_010_101_1(uniques, 12);
  f_011_111_010_110_1(uniques, 12);
  f_011_111_010_111_1(uniques, 12);
  f_011_111_011_000_1(uniques, 12);
  f_011_111_011_001_1(uniques, 12);
  f_011_111_011_010_1(uniques, 12);
  f_011_111_011_011_1(uniques, 12);
  f_011_111_011_100_1(uniques, 12);
  f_011_111_011_101_1(uniques, 12);
  f_011_111_011_110_1(uniques, 12);
  f_011_111_011_111_1(uniques, 12);
  f_011_111_100_000_1(uniques, 12);
  f_011_111_100_001_1(uniques, 12);
  f_011_111_100_010_1(uniques, 12);
  f_011_111_100_011_1(uniques, 12);
  f_011_111_100_100_1(uniques, 12);
  f_011_111_100_101_1(uniques, 12);
  f_011_111_100_110_1(uniques, 12);
  f_011_111_100_111_1(uniques, 12);
  f_011_111_101_000_1(uniques, 12);
  f_011_111_101_001_1(uniques, 12);
  f_011_111_101_010_1(uniques, 12);
  f_011_111_101_011_1(uniques, 12);
  f_011_111_101_100_1(uniques, 12);
  f_011_111_101_101_1(uniques, 12);
  f_011_111_101_110_1(uniques, 12);
  f_011_111_101_111_1(uniques, 12);
  f_011_111_110_000_1(uniques, 12);
  f_011_111_110_001_1(uniques, 12);
  f_011_111_110_010_1(uniques, 12);
  f_011_111_110_011_1(uniques, 12);
  f_011_111_110_100_1(uniques, 12);
  f_011_111_110_101_1(uniques, 12);
  f_011_111_110_110_1(uniques, 12);
  f_011_111_110_111_1(uniques, 12);
  f_011_111_111_000_1(uniques, 12);
  f_011_111_111_001_1(uniques, 12);
  f_011_111_111_010_1(uniques, 12);
  f_011_111_111_011_1(uniques, 12);
  f_011_111_111_100_1(uniques, 12);
  f_011_111_111_101_1(uniques, 12);
  f_011_111_111_110_1(uniques, 12);
  f_011_111_111_111_1(uniques, 12);
  f_100_000_000_000_1(uniques, 12);
  f_100_000_000_001_1(uniques, 12);
  f_100_000_000_010_1(uniques, 12);
  f_100_000_000_011_1(uniques, 12);
  f_100_000_000_100_1(uniques, 12);
  f_100_000_000_101_1(uniques, 12);
  f_100_000_000_110_1(uniques, 12);
  f_100_000_000_111_1(uniques, 12);
  f_100_000_001_000_1(uniques, 12);
  f_100_000_001_001_1(uniques, 12);
  f_100_000_001_010_1(uniques, 12);
  f_100_000_001_011_1(uniques, 12);
  f_100_000_001_100_1(uniques, 12);
  f_100_000_001_101_1(uniques, 12);
  f_100_000_001_110_1(uniques, 12);
  f_100_000_001_111_1(uniques, 12);
  f_100_000_010_000_1(uniques, 12);
  f_100_000_010_001_1(uniques, 12);
  f_100_000_010_010_1(uniques, 12);
  f_100_000_010_011_1(uniques, 12);
  f_100_000_010_100_1(uniques, 12);
  f_100_000_010_101_1(uniques, 12);
  f_100_000_010_110_1(uniques, 12);
  f_100_000_010_111_1(uniques, 12);
  f_100_000_011_000_1(uniques, 12);
  f_100_000_011_001_1(uniques, 12);
  f_100_000_011_010_1(uniques, 12);
  f_100_000_011_011_1(uniques, 12);
  f_100_000_011_100_1(uniques, 12);
  f_100_000_011_101_1(uniques, 12);
  f_100_000_011_110_1(uniques, 12);
  f_100_000_011_111_1(uniques, 12);
  f_100_000_100_000_1(uniques, 12);
  f_100_000_100_001_1(uniques, 12);
  f_100_000_100_010_1(uniques, 12);
  f_100_000_100_011_1(uniques, 12);
  f_100_000_100_100_1(uniques, 12);
  f_100_000_100_101_1(uniques, 12);
  f_100_000_100_110_1(uniques, 12);
  f_100_000_100_111_1(uniques, 12);
  f_100_000_101_000_1(uniques, 12);
  f_100_000_101_001_1(uniques, 12);
  f_100_000_101_010_1(uniques, 12);
  f_100_000_101_011_1(uniques, 12);
  f_100_000_101_100_1(uniques, 12);
  f_100_000_101_101_1(uniques, 12);
  f_100_000_101_110_1(uniques, 12);
  f_100_000_101_111_1(uniques, 12);
  f_100_000_110_000_1(uniques, 12);
  f_100_000_110_001_1(uniques, 12);
  f_100_000_110_010_1(uniques, 12);
  f_100_000_110_011_1(uniques, 12);
  f_100_000_110_100_1(uniques, 12);
  f_100_000_110_101_1(uniques, 12);
  f_100_000_110_110_1(uniques, 12);
  f_100_000_110_111_1(uniques, 12);
  f_100_000_111_000_1(uniques, 12);
  f_100_000_111_001_1(uniques, 12);
  f_100_000_111_010_1(uniques, 12);
  f_100_000_111_011_1(uniques, 12);
  f_100_000_111_100_1(uniques, 12);
  f_100_000_111_101_1(uniques, 12);
  f_100_000_111_110_1(uniques, 12);
  f_100_000_111_111_1(uniques, 12);
  f_100_001_000_000_1(uniques, 12);
  f_100_001_000_001_1(uniques, 12);
  f_100_001_000_010_1(uniques, 12);
  f_100_001_000_011_1(uniques, 12);
  f_100_001_000_100_1(uniques, 12);
  f_100_001_000_101_1(uniques, 12);
  f_100_001_000_110_1(uniques, 12);
  f_100_001_000_111_1(uniques, 12);
  f_100_001_001_000_1(uniques, 12);
  f_100_001_001_001_1(uniques, 12);
  f_100_001_001_010_1(uniques, 12);
  f_100_001_001_011_1(uniques, 12);
  f_100_001_001_100_1(uniques, 12);
  f_100_001_001_101_1(uniques, 12);
  f_100_001_001_110_1(uniques, 12);
  f_100_001_001_111_1(uniques, 12);
  f_100_001_010_000_1(uniques, 12);
  f_100_001_010_001_1(uniques, 12);
  f_100_001_010_010_1(uniques, 12);
  f_100_001_010_011_1(uniques, 12);
  f_100_001_010_100_1(uniques, 12);
  f_100_001_010_101_1(uniques, 12);
  f_100_001_010_110_1(uniques, 12);
  f_100_001_010_111_1(uniques, 12);
  f_100_001_011_000_1(uniques, 12);
  f_100_001_011_001_1(uniques, 12);
  f_100_001_011_010_1(uniques, 12);
  f_100_001_011_011_1(uniques, 12);
  f_100_001_011_100_1(uniques, 12);
  f_100_001_011_101_1(uniques, 12);
  f_100_001_011_110_1(uniques, 12);
  f_100_001_011_111_1(uniques, 12);
  f_100_001_100_000_1(uniques, 12);
  f_100_001_100_001_1(uniques, 12);
  f_100_001_100_010_1(uniques, 12);
  f_100_001_100_011_1(uniques, 12);
  f_100_001_100_100_1(uniques, 12);
  f_100_001_100_101_1(uniques, 12);
  f_100_001_100_110_1(uniques, 12);
  f_100_001_100_111_1(uniques, 12);
  f_100_001_101_000_1(uniques, 12);
  f_100_001_101_001_1(uniques, 12);
  f_100_001_101_010_1(uniques, 12);
  f_100_001_101_011_1(uniques, 12);
  f_100_001_101_100_1(uniques, 12);
  f_100_001_101_101_1(uniques, 12);
  f_100_001_101_110_1(uniques, 12);
  f_100_001_101_111_1(uniques, 12);
  f_100_001_110_000_1(uniques, 12);
  f_100_001_110_001_1(uniques, 12);
  f_100_001_110_010_1(uniques, 12);
  f_100_001_110_011_1(uniques, 12);
  f_100_001_110_100_1(uniques, 12);
  f_100_001_110_101_1(uniques, 12);
  f_100_001_110_110_1(uniques, 12);
  f_100_001_110_111_1(uniques, 12);
  f_100_001_111_000_1(uniques, 12);
  f_100_001_111_001_1(uniques, 12);
  f_100_001_111_010_1(uniques, 12);
  f_100_001_111_011_1(uniques, 12);
  f_100_001_111_100_1(uniques, 12);
  f_100_001_111_101_1(uniques, 12);
  f_100_001_111_110_1(uniques, 12);
  f_100_001_111_111_1(uniques, 12);
  f_100_010_000_000_1(uniques, 12);
  f_100_010_000_001_1(uniques, 12);
  f_100_010_000_010_1(uniques, 12);
  f_100_010_000_011_1(uniques, 12);
  f_100_010_000_100_1(uniques, 12);
  f_100_010_000_101_1(uniques, 12);
  f_100_010_000_110_1(uniques, 12);
  f_100_010_000_111_1(uniques, 12);
  f_100_010_001_000_1(uniques, 12);
  f_100_010_001_001_1(uniques, 12);
  f_100_010_001_010_1(uniques, 12);
  f_100_010_001_011_1(uniques, 12);
  f_100_010_001_100_1(uniques, 12);
  f_100_010_001_101_1(uniques, 12);
  f_100_010_001_110_1(uniques, 12);
  f_100_010_001_111_1(uniques, 12);
  f_100_010_010_000_1(uniques, 12);
  f_100_010_010_001_1(uniques, 12);
  f_100_010_010_010_1(uniques, 12);
  f_100_010_010_011_1(uniques, 12);
  f_100_010_010_100_1(uniques, 12);
  f_100_010_010_101_1(uniques, 12);
  f_100_010_010_110_1(uniques, 12);
  f_100_010_010_111_1(uniques, 12);
  f_100_010_011_000_1(uniques, 12);
  f_100_010_011_001_1(uniques, 12);
  f_100_010_011_010_1(uniques, 12);
  f_100_010_011_011_1(uniques, 12);
  f_100_010_011_100_1(uniques, 12);
  f_100_010_011_101_1(uniques, 12);
  f_100_010_011_110_1(uniques, 12);
  f_100_010_011_111_1(uniques, 12);
  f_100_010_100_000_1(uniques, 12);
  f_100_010_100_001_1(uniques, 12);
  f_100_010_100_010_1(uniques, 12);
  f_100_010_100_011_1(uniques, 12);
  f_100_010_100_100_1(uniques, 12);
  f_100_010_100_101_1(uniques, 12);
  f_100_010_100_110_1(uniques, 12);
  f_100_010_100_111_1(uniques, 12);
  f_100_010_101_000_1(uniques, 12);
  f_100_010_101_001_1(uniques, 12);
  f_100_010_101_010_1(uniques, 12);
  f_100_010_101_011_1(uniques, 12);
  f_100_010_101_100_1(uniques, 12);
  f_100_010_101_101_1(uniques, 12);
  f_100_010_101_110_1(uniques, 12);
  f_100_010_101_111_1(uniques, 12);
  f_100_010_110_000_1(uniques, 12);
  f_100_010_110_001_1(uniques, 12);
  f_100_010_110_010_1(uniques, 12);
  f_100_010_110_011_1(uniques, 12);
  f_100_010_110_100_1(uniques, 12);
  f_100_010_110_101_1(uniques, 12);
  f_100_010_110_110_1(uniques, 12);
  f_100_010_110_111_1(uniques, 12);
  f_100_010_111_000_1(uniques, 12);
  f_100_010_111_001_1(uniques, 12);
  f_100_010_111_010_1(uniques, 12);
  f_100_010_111_011_1(uniques, 12);
  f_100_010_111_100_1(uniques, 12);
  f_100_010_111_101_1(uniques, 12);
  f_100_010_111_110_1(uniques, 12);
  f_100_010_111_111_1(uniques, 12);
  f_100_011_000_000_1(uniques, 12);
  f_100_011_000_001_1(uniques, 12);
  f_100_011_000_010_1(uniques, 12);
  f_100_011_000_011_1(uniques, 12);
  f_100_011_000_100_1(uniques, 12);
  f_100_011_000_101_1(uniques, 12);
  f_100_011_000_110_1(uniques, 12);
  f_100_011_000_111_1(uniques, 12);
  f_100_011_001_000_1(uniques, 12);
  f_100_011_001_001_1(uniques, 12);
  f_100_011_001_010_1(uniques, 12);
  f_100_011_001_011_1(uniques, 12);
  f_100_011_001_100_1(uniques, 12);
  f_100_011_001_101_1(uniques, 12);
  f_100_011_001_110_1(uniques, 12);
  f_100_011_001_111_1(uniques, 12);
  f_100_011_010_000_1(uniques, 12);
  f_100_011_010_001_1(uniques, 12);
  f_100_011_010_010_1(uniques, 12);
  f_100_011_010_011_1(uniques, 12);
  f_100_011_010_100_1(uniques, 12);
  f_100_011_010_101_1(uniques, 12);
  f_100_011_010_110_1(uniques, 12);
  f_100_011_010_111_1(uniques, 12);
  f_100_011_011_000_1(uniques, 12);
  f_100_011_011_001_1(uniques, 12);
  f_100_011_011_010_1(uniques, 12);
  f_100_011_011_011_1(uniques, 12);
  f_100_011_011_100_1(uniques, 12);
  f_100_011_011_101_1(uniques, 12);
  f_100_011_011_110_1(uniques, 12);
  f_100_011_011_111_1(uniques, 12);
  f_100_011_100_000_1(uniques, 12);
  f_100_011_100_001_1(uniques, 12);
  f_100_011_100_010_1(uniques, 12);
  f_100_011_100_011_1(uniques, 12);
  f_100_011_100_100_1(uniques, 12);
  f_100_011_100_101_1(uniques, 12);
  f_100_011_100_110_1(uniques, 12);
  f_100_011_100_111_1(uniques, 12);
  f_100_011_101_000_1(uniques, 12);
  f_100_011_101_001_1(uniques, 12);
  f_100_011_101_010_1(uniques, 12);
  f_100_011_101_011_1(uniques, 12);
  f_100_011_101_100_1(uniques, 12);
  f_100_011_101_101_1(uniques, 12);
  f_100_011_101_110_1(uniques, 12);
  f_100_011_101_111_1(uniques, 12);
  f_100_011_110_000_1(uniques, 12);
  f_100_011_110_001_1(uniques, 12);
  f_100_011_110_010_1(uniques, 12);
  f_100_011_110_011_1(uniques, 12);
  f_100_011_110_100_1(uniques, 12);
  f_100_011_110_101_1(uniques, 12);
  f_100_011_110_110_1(uniques, 12);
  f_100_011_110_111_1(uniques, 12);
  f_100_011_111_000_1(uniques, 12);
  f_100_011_111_001_1(uniques, 12);
  f_100_011_111_010_1(uniques, 12);
  f_100_011_111_011_1(uniques, 12);
  f_100_011_111_100_1(uniques, 12);
  f_100_011_111_101_1(uniques, 12);
  f_100_011_111_110_1(uniques, 12);
  f_100_011_111_111_1(uniques, 12);
  f_100_100_000_000_1(uniques, 12);
  f_100_100_000_001_1(uniques, 12);
  f_100_100_000_010_1(uniques, 12);
  f_100_100_000_011_1(uniques, 12);
  f_100_100_000_100_1(uniques, 12);
  f_100_100_000_101_1(uniques, 12);
  f_100_100_000_110_1(uniques, 12);
  f_100_100_000_111_1(uniques, 12);
  f_100_100_001_000_1(uniques, 12);
  f_100_100_001_001_1(uniques, 12);
  f_100_100_001_010_1(uniques, 12);
  f_100_100_001_011_1(uniques, 12);
  f_100_100_001_100_1(uniques, 12);
  f_100_100_001_101_1(uniques, 12);
  f_100_100_001_110_1(uniques, 12);
  f_100_100_001_111_1(uniques, 12);
  f_100_100_010_000_1(uniques, 12);
  f_100_100_010_001_1(uniques, 12);
  f_100_100_010_010_1(uniques, 12);
  f_100_100_010_011_1(uniques, 12);
  f_100_100_010_100_1(uniques, 12);
  f_100_100_010_101_1(uniques, 12);
  f_100_100_010_110_1(uniques, 12);
  f_100_100_010_111_1(uniques, 12);
  f_100_100_011_000_1(uniques, 12);
  f_100_100_011_001_1(uniques, 12);
  f_100_100_011_010_1(uniques, 12);
  f_100_100_011_011_1(uniques, 12);
  f_100_100_011_100_1(uniques, 12);
  f_100_100_011_101_1(uniques, 12);
  f_100_100_011_110_1(uniques, 12);
  f_100_100_011_111_1(uniques, 12);
  f_100_100_100_000_1(uniques, 12);
  f_100_100_100_001_1(uniques, 12);
  f_100_100_100_010_1(uniques, 12);
  f_100_100_100_011_1(uniques, 12);
  f_100_100_100_100_1(uniques, 12);
  f_100_100_100_101_1(uniques, 12);
  f_100_100_100_110_1(uniques, 12);
  f_100_100_100_111_1(uniques, 12);
  f_100_100_101_000_1(uniques, 12);
  f_100_100_101_001_1(uniques, 12);
  f_100_100_101_010_1(uniques, 12);
  f_100_100_101_011_1(uniques, 12);
  f_100_100_101_100_1(uniques, 12);
  f_100_100_101_101_1(uniques, 12);
  f_100_100_101_110_1(uniques, 12);
  f_100_100_101_111_1(uniques, 12);
  f_100_100_110_000_1(uniques, 12);
  f_100_100_110_001_1(uniques, 12);
  f_100_100_110_010_1(uniques, 12);
  f_100_100_110_011_1(uniques, 12);
  f_100_100_110_100_1(uniques, 12);
  f_100_100_110_101_1(uniques, 12);
  f_100_100_110_110_1(uniques, 12);
  f_100_100_110_111_1(uniques, 12);
  f_100_100_111_000_1(uniques, 12);
  f_100_100_111_001_1(uniques, 12);
  f_100_100_111_010_1(uniques, 12);
  f_100_100_111_011_1(uniques, 12);
  f_100_100_111_100_1(uniques, 12);
  f_100_100_111_101_1(uniques, 12);
  f_100_100_111_110_1(uniques, 12);
  f_100_100_111_111_1(uniques, 12);
  f_100_101_000_000_1(uniques, 12);
  f_100_101_000_001_1(uniques, 12);
  f_100_101_000_010_1(uniques, 12);
  f_100_101_000_011_1(uniques, 12);
  f_100_101_000_100_1(uniques, 12);
  f_100_101_000_101_1(uniques, 12);
  f_100_101_000_110_1(uniques, 12);
  f_100_101_000_111_1(uniques, 12);
  f_100_101_001_000_1(uniques, 12);
  f_100_101_001_001_1(uniques, 12);
  f_100_101_001_010_1(uniques, 12);
  f_100_101_001_011_1(uniques, 12);
  f_100_101_001_100_1(uniques, 12);
  f_100_101_001_101_1(uniques, 12);
  f_100_101_001_110_1(uniques, 12);
  f_100_101_001_111_1(uniques, 12);
  f_100_101_010_000_1(uniques, 12);
  f_100_101_010_001_1(uniques, 12);
  f_100_101_010_010_1(uniques, 12);
  f_100_101_010_011_1(uniques, 12);
  f_100_101_010_100_1(uniques, 12);
  f_100_101_010_101_1(uniques, 12);
  f_100_101_010_110_1(uniques, 12);
  f_100_101_010_111_1(uniques, 12);
  f_100_101_011_000_1(uniques, 12);
  f_100_101_011_001_1(uniques, 12);
  f_100_101_011_010_1(uniques, 12);
  f_100_101_011_011_1(uniques, 12);
  f_100_101_011_100_1(uniques, 12);
  f_100_101_011_101_1(uniques, 12);
  f_100_101_011_110_1(uniques, 12);
  f_100_101_011_111_1(uniques, 12);
  f_100_101_100_000_1(uniques, 12);
  f_100_101_100_001_1(uniques, 12);
  f_100_101_100_010_1(uniques, 12);
  f_100_101_100_011_1(uniques, 12);
  f_100_101_100_100_1(uniques, 12);
  f_100_101_100_101_1(uniques, 12);
  f_100_101_100_110_1(uniques, 12);
  f_100_101_100_111_1(uniques, 12);
  f_100_101_101_000_1(uniques, 12);
  f_100_101_101_001_1(uniques, 12);
  f_100_101_101_010_1(uniques, 12);
  f_100_101_101_011_1(uniques, 12);
  f_100_101_101_100_1(uniques, 12);
  f_100_101_101_101_1(uniques, 12);
  f_100_101_101_110_1(uniques, 12);
  f_100_101_101_111_1(uniques, 12);
  f_100_101_110_000_1(uniques, 12);
  f_100_101_110_001_1(uniques, 12);
  f_100_101_110_010_1(uniques, 12);
  f_100_101_110_011_1(uniques, 12);
  f_100_101_110_100_1(uniques, 12);
  f_100_101_110_101_1(uniques, 12);
  f_100_101_110_110_1(uniques, 12);
  f_100_101_110_111_1(uniques, 12);
  f_100_101_111_000_1(uniques, 12);
  f_100_101_111_001_1(uniques, 12);
  f_100_101_111_010_1(uniques, 12);
  f_100_101_111_011_1(uniques, 12);
  f_100_101_111_100_1(uniques, 12);
  f_100_101_111_101_1(uniques, 12);
  f_100_101_111_110_1(uniques, 12);
  f_100_101_111_111_1(uniques, 12);
  f_100_110_000_000_1(uniques, 12);
  f_100_110_000_001_1(uniques, 12);
  f_100_110_000_010_1(uniques, 12);
  f_100_110_000_011_1(uniques, 12);
  f_100_110_000_100_1(uniques, 12);
  f_100_110_000_101_1(uniques, 12);
  f_100_110_000_110_1(uniques, 12);
  f_100_110_000_111_1(uniques, 12);
  f_100_110_001_000_1(uniques, 12);
  f_100_110_001_001_1(uniques, 12);
  f_100_110_001_010_1(uniques, 12);
  f_100_110_001_011_1(uniques, 12);
  f_100_110_001_100_1(uniques, 12);
  f_100_110_001_101_1(uniques, 12);
  f_100_110_001_110_1(uniques, 12);
  f_100_110_001_111_1(uniques, 12);
  f_100_110_010_000_1(uniques, 12);
  f_100_110_010_001_1(uniques, 12);
  f_100_110_010_010_1(uniques, 12);
  f_100_110_010_011_1(uniques, 12);
  f_100_110_010_100_1(uniques, 12);
  f_100_110_010_101_1(uniques, 12);
  f_100_110_010_110_1(uniques, 12);
  f_100_110_010_111_1(uniques, 12);
  f_100_110_011_000_1(uniques, 12);
  f_100_110_011_001_1(uniques, 12);
  f_100_110_011_010_1(uniques, 12);
  f_100_110_011_011_1(uniques, 12);
  f_100_110_011_100_1(uniques, 12);
  f_100_110_011_101_1(uniques, 12);
  f_100_110_011_110_1(uniques, 12);
  f_100_110_011_111_1(uniques, 12);
  f_100_110_100_000_1(uniques, 12);
  f_100_110_100_001_1(uniques, 12);
  f_100_110_100_010_1(uniques, 12);
  f_100_110_100_011_1(uniques, 12);
  f_100_110_100_100_1(uniques, 12);
  f_100_110_100_101_1(uniques, 12);
  f_100_110_100_110_1(uniques, 12);
  f_100_110_100_111_1(uniques, 12);
  f_100_110_101_000_1(uniques, 12);
  f_100_110_101_001_1(uniques, 12);
  f_100_110_101_010_1(uniques, 12);
  f_100_110_101_011_1(uniques, 12);
  f_100_110_101_100_1(uniques, 12);
  f_100_110_101_101_1(uniques, 12);
  f_100_110_101_110_1(uniques, 12);
  f_100_110_101_111_1(uniques, 12);
  f_100_110_110_000_1(uniques, 12);
  f_100_110_110_001_1(uniques, 12);
  f_100_110_110_010_1(uniques, 12);
  f_100_110_110_011_1(uniques, 12);
  f_100_110_110_100_1(uniques, 12);
  f_100_110_110_101_1(uniques, 12);
  f_100_110_110_110_1(uniques, 12);
  f_100_110_110_111_1(uniques, 12);
  f_100_110_111_000_1(uniques, 12);
  f_100_110_111_001_1(uniques, 12);
  f_100_110_111_010_1(uniques, 12);
  f_100_110_111_011_1(uniques, 12);
  f_100_110_111_100_1(uniques, 12);
  f_100_110_111_101_1(uniques, 12);
  f_100_110_111_110_1(uniques, 12);
  f_100_110_111_111_1(uniques, 12);
  f_100_111_000_000_1(uniques, 12);
  f_100_111_000_001_1(uniques, 12);
  f_100_111_000_010_1(uniques, 12);
  f_100_111_000_011_1(uniques, 12);
  f_100_111_000_100_1(uniques, 12);
  f_100_111_000_101_1(uniques, 12);
  f_100_111_000_110_1(uniques, 12);
  f_100_111_000_111_1(uniques, 12);
  f_100_111_001_000_1(uniques, 12);
  f_100_111_001_001_1(uniques, 12);
  f_100_111_001_010_1(uniques, 12);
  f_100_111_001_011_1(uniques, 12);
  f_100_111_001_100_1(uniques, 12);
  f_100_111_001_101_1(uniques, 12);
  f_100_111_001_110_1(uniques, 12);
  f_100_111_001_111_1(uniques, 12);
  f_100_111_010_000_1(uniques, 12);
  f_100_111_010_001_1(uniques, 12);
  f_100_111_010_010_1(uniques, 12);
  f_100_111_010_011_1(uniques, 12);
  f_100_111_010_100_1(uniques, 12);
  f_100_111_010_101_1(uniques, 12);
  f_100_111_010_110_1(uniques, 12);
  f_100_111_010_111_1(uniques, 12);
  f_100_111_011_000_1(uniques, 12);
  f_100_111_011_001_1(uniques, 12);
  f_100_111_011_010_1(uniques, 12);
  f_100_111_011_011_1(uniques, 12);
  f_100_111_011_100_1(uniques, 12);
  f_100_111_011_101_1(uniques, 12);
  f_100_111_011_110_1(uniques, 12);
  f_100_111_011_111_1(uniques, 12);
  f_100_111_100_000_1(uniques, 12);
  f_100_111_100_001_1(uniques, 12);
  f_100_111_100_010_1(uniques, 12);
  f_100_111_100_011_1(uniques, 12);
  f_100_111_100_100_1(uniques, 12);
  f_100_111_100_101_1(uniques, 12);
  f_100_111_100_110_1(uniques, 12);
  f_100_111_100_111_1(uniques, 12);
  f_100_111_101_000_1(uniques, 12);
  f_100_111_101_001_1(uniques, 12);
  f_100_111_101_010_1(uniques, 12);
  f_100_111_101_011_1(uniques, 12);
  f_100_111_101_100_1(uniques, 12);
  f_100_111_101_101_1(uniques, 12);
  f_100_111_101_110_1(uniques, 12);
  f_100_111_101_111_1(uniques, 12);
  f_100_111_110_000_1(uniques, 12);
  f_100_111_110_001_1(uniques, 12);
  f_100_111_110_010_1(uniques, 12);
  f_100_111_110_011_1(uniques, 12);
  f_100_111_110_100_1(uniques, 12);
  f_100_111_110_101_1(uniques, 12);
  f_100_111_110_110_1(uniques, 12);
  f_100_111_110_111_1(uniques, 12);
  f_100_111_111_000_1(uniques, 12);
  f_100_111_111_001_1(uniques, 12);
  f_100_111_111_010_1(uniques, 12);
  f_100_111_111_011_1(uniques, 12);
  f_100_111_111_100_1(uniques, 12);
  f_100_111_111_101_1(uniques, 12);
  f_100_111_111_110_1(uniques, 12);
  f_100_111_111_111_1(uniques, 12);
  f_101_000_000_000_1(uniques, 12);
  f_101_000_000_001_1(uniques, 12);
  f_101_000_000_010_1(uniques, 12);
  f_101_000_000_011_1(uniques, 12);
  f_101_000_000_100_1(uniques, 12);
  f_101_000_000_101_1(uniques, 12);
  f_101_000_000_110_1(uniques, 12);
  f_101_000_000_111_1(uniques, 12);
  f_101_000_001_000_1(uniques, 12);
  f_101_000_001_001_1(uniques, 12);
  f_101_000_001_010_1(uniques, 12);
  f_101_000_001_011_1(uniques, 12);
  f_101_000_001_100_1(uniques, 12);
  f_101_000_001_101_1(uniques, 12);
  f_101_000_001_110_1(uniques, 12);
  f_101_000_001_111_1(uniques, 12);
  f_101_000_010_000_1(uniques, 12);
  f_101_000_010_001_1(uniques, 12);
  f_101_000_010_010_1(uniques, 12);
  f_101_000_010_011_1(uniques, 12);
  f_101_000_010_100_1(uniques, 12);
  f_101_000_010_101_1(uniques, 12);
  f_101_000_010_110_1(uniques, 12);
  f_101_000_010_111_1(uniques, 12);
  f_101_000_011_000_1(uniques, 12);
  f_101_000_011_001_1(uniques, 12);
  f_101_000_011_010_1(uniques, 12);
  f_101_000_011_011_1(uniques, 12);
  f_101_000_011_100_1(uniques, 12);
  f_101_000_011_101_1(uniques, 12);
  f_101_000_011_110_1(uniques, 12);
  f_101_000_011_111_1(uniques, 12);
  f_101_000_100_000_1(uniques, 12);
  f_101_000_100_001_1(uniques, 12);
  f_101_000_100_010_1(uniques, 12);
  f_101_000_100_011_1(uniques, 12);
  f_101_000_100_100_1(uniques, 12);
  f_101_000_100_101_1(uniques, 12);
  f_101_000_100_110_1(uniques, 12);
  f_101_000_100_111_1(uniques, 12);
  f_101_000_101_000_1(uniques, 12);
  f_101_000_101_001_1(uniques, 12);
  f_101_000_101_010_1(uniques, 12);
  f_101_000_101_011_1(uniques, 12);
  f_101_000_101_100_1(uniques, 12);
  f_101_000_101_101_1(uniques, 12);
  f_101_000_101_110_1(uniques, 12);
  f_101_000_101_111_1(uniques, 12);
  f_101_000_110_000_1(uniques, 12);
  f_101_000_110_001_1(uniques, 12);
  f_101_000_110_010_1(uniques, 12);
  f_101_000_110_011_1(uniques, 12);
  f_101_000_110_100_1(uniques, 12);
  f_101_000_110_101_1(uniques, 12);
  f_101_000_110_110_1(uniques, 12);
  f_101_000_110_111_1(uniques, 12);
  f_101_000_111_000_1(uniques, 12);
  f_101_000_111_001_1(uniques, 12);
  f_101_000_111_010_1(uniques, 12);
  f_101_000_111_011_1(uniques, 12);
  f_101_000_111_100_1(uniques, 12);
  f_101_000_111_101_1(uniques, 12);
  f_101_000_111_110_1(uniques, 12);
  f_101_000_111_111_1(uniques, 12);
  f_101_001_000_000_1(uniques, 12);
  f_101_001_000_001_1(uniques, 12);
  f_101_001_000_010_1(uniques, 12);
  f_101_001_000_011_1(uniques, 12);
  f_101_001_000_100_1(uniques, 12);
  f_101_001_000_101_1(uniques, 12);
  f_101_001_000_110_1(uniques, 12);
  f_101_001_000_111_1(uniques, 12);
  f_101_001_001_000_1(uniques, 12);
  f_101_001_001_001_1(uniques, 12);
  f_101_001_001_010_1(uniques, 12);
  f_101_001_001_011_1(uniques, 12);
  f_101_001_001_100_1(uniques, 12);
  f_101_001_001_101_1(uniques, 12);
  f_101_001_001_110_1(uniques, 12);
  f_101_001_001_111_1(uniques, 12);
  f_101_001_010_000_1(uniques, 12);
  f_101_001_010_001_1(uniques, 12);
  f_101_001_010_010_1(uniques, 12);
  f_101_001_010_011_1(uniques, 12);
  f_101_001_010_100_1(uniques, 12);
  f_101_001_010_101_1(uniques, 12);
  f_101_001_010_110_1(uniques, 12);
  f_101_001_010_111_1(uniques, 12);
  f_101_001_011_000_1(uniques, 12);
  f_101_001_011_001_1(uniques, 12);
  f_101_001_011_010_1(uniques, 12);
  f_101_001_011_011_1(uniques, 12);
  f_101_001_011_100_1(uniques, 12);
  f_101_001_011_101_1(uniques, 12);
  f_101_001_011_110_1(uniques, 12);
  f_101_001_011_111_1(uniques, 12);
  f_101_001_100_000_1(uniques, 12);
  f_101_001_100_001_1(uniques, 12);
  f_101_001_100_010_1(uniques, 12);
  f_101_001_100_011_1(uniques, 12);
  f_101_001_100_100_1(uniques, 12);
  f_101_001_100_101_1(uniques, 12);
  f_101_001_100_110_1(uniques, 12);
  f_101_001_100_111_1(uniques, 12);
  f_101_001_101_000_1(uniques, 12);
  f_101_001_101_001_1(uniques, 12);
  f_101_001_101_010_1(uniques, 12);
  f_101_001_101_011_1(uniques, 12);
  f_101_001_101_100_1(uniques, 12);
  f_101_001_101_101_1(uniques, 12);
  f_101_001_101_110_1(uniques, 12);
  f_101_001_101_111_1(uniques, 12);
  f_101_001_110_000_1(uniques, 12);
  f_101_001_110_001_1(uniques, 12);
  f_101_001_110_010_1(uniques, 12);
  f_101_001_110_011_1(uniques, 12);
  f_101_001_110_100_1(uniques, 12);
  f_101_001_110_101_1(uniques, 12);
  f_101_001_110_110_1(uniques, 12);
  f_101_001_110_111_1(uniques, 12);
  f_101_001_111_000_1(uniques, 12);
  f_101_001_111_001_1(uniques, 12);
  f_101_001_111_010_1(uniques, 12);
  f_101_001_111_011_1(uniques, 12);
  f_101_001_111_100_1(uniques, 12);
  f_101_001_111_101_1(uniques, 12);
  f_101_001_111_110_1(uniques, 12);
  f_101_001_111_111_1(uniques, 12);
  f_101_010_000_000_1(uniques, 12);
  f_101_010_000_001_1(uniques, 12);
  f_101_010_000_010_1(uniques, 12);
  f_101_010_000_011_1(uniques, 12);
  f_101_010_000_100_1(uniques, 12);
  f_101_010_000_101_1(uniques, 12);
  f_101_010_000_110_1(uniques, 12);
  f_101_010_000_111_1(uniques, 12);
  f_101_010_001_000_1(uniques, 12);
  f_101_010_001_001_1(uniques, 12);
  f_101_010_001_010_1(uniques, 12);
  f_101_010_001_011_1(uniques, 12);
  f_101_010_001_100_1(uniques, 12);
  f_101_010_001_101_1(uniques, 12);
  f_101_010_001_110_1(uniques, 12);
  f_101_010_001_111_1(uniques, 12);
  f_101_010_010_000_1(uniques, 12);
  f_101_010_010_001_1(uniques, 12);
  f_101_010_010_010_1(uniques, 12);
  f_101_010_010_011_1(uniques, 12);
  f_101_010_010_100_1(uniques, 12);
  f_101_010_010_101_1(uniques, 12);
  f_101_010_010_110_1(uniques, 12);
  f_101_010_010_111_1(uniques, 12);
  f_101_010_011_000_1(uniques, 12);
  f_101_010_011_001_1(uniques, 12);
  f_101_010_011_010_1(uniques, 12);
  f_101_010_011_011_1(uniques, 12);
  f_101_010_011_100_1(uniques, 12);
  f_101_010_011_101_1(uniques, 12);
  f_101_010_011_110_1(uniques, 12);
  f_101_010_011_111_1(uniques, 12);
  f_101_010_100_000_1(uniques, 12);
  f_101_010_100_001_1(uniques, 12);
  f_101_010_100_010_1(uniques, 12);
  f_101_010_100_011_1(uniques, 12);
  f_101_010_100_100_1(uniques, 12);
  f_101_010_100_101_1(uniques, 12);
  f_101_010_100_110_1(uniques, 12);
  f_101_010_100_111_1(uniques, 12);
  f_101_010_101_000_1(uniques, 12);
  f_101_010_101_001_1(uniques, 12);
  f_101_010_101_010_1(uniques, 12);
  f_101_010_101_011_1(uniques, 12);
  f_101_010_101_100_1(uniques, 12);
  f_101_010_101_101_1(uniques, 12);
  f_101_010_101_110_1(uniques, 12);
  f_101_010_101_111_1(uniques, 12);
  f_101_010_110_000_1(uniques, 12);
  f_101_010_110_001_1(uniques, 12);
  f_101_010_110_010_1(uniques, 12);
  f_101_010_110_011_1(uniques, 12);
  f_101_010_110_100_1(uniques, 12);
  f_101_010_110_101_1(uniques, 12);
  f_101_010_110_110_1(uniques, 12);
  f_101_010_110_111_1(uniques, 12);
  f_101_010_111_000_1(uniques, 12);
  f_101_010_111_001_1(uniques, 12);
  f_101_010_111_010_1(uniques, 12);
  f_101_010_111_011_1(uniques, 12);
  f_101_010_111_100_1(uniques, 12);
  f_101_010_111_101_1(uniques, 12);
  f_101_010_111_110_1(uniques, 12);
  f_101_010_111_111_1(uniques, 12);
  f_101_011_000_000_1(uniques, 12);
  f_101_011_000_001_1(uniques, 12);
  f_101_011_000_010_1(uniques, 12);
  f_101_011_000_011_1(uniques, 12);
  f_101_011_000_100_1(uniques, 12);
  f_101_011_000_101_1(uniques, 12);
  f_101_011_000_110_1(uniques, 12);
  f_101_011_000_111_1(uniques, 12);
  f_101_011_001_000_1(uniques, 12);
  f_101_011_001_001_1(uniques, 12);
  f_101_011_001_010_1(uniques, 12);
  f_101_011_001_011_1(uniques, 12);
  f_101_011_001_100_1(uniques, 12);
  f_101_011_001_101_1(uniques, 12);
  f_101_011_001_110_1(uniques, 12);
  f_101_011_001_111_1(uniques, 12);
  f_101_011_010_000_1(uniques, 12);
  f_101_011_010_001_1(uniques, 12);
  f_101_011_010_010_1(uniques, 12);
  f_101_011_010_011_1(uniques, 12);
  f_101_011_010_100_1(uniques, 12);
  f_101_011_010_101_1(uniques, 12);
  f_101_011_010_110_1(uniques, 12);
  f_101_011_010_111_1(uniques, 12);
  f_101_011_011_000_1(uniques, 12);
  f_101_011_011_001_1(uniques, 12);
  f_101_011_011_010_1(uniques, 12);
  f_101_011_011_011_1(uniques, 12);
  f_101_011_011_100_1(uniques, 12);
  f_101_011_011_101_1(uniques, 12);
  f_101_011_011_110_1(uniques, 12);
  f_101_011_011_111_1(uniques, 12);
  f_101_011_100_000_1(uniques, 12);
  f_101_011_100_001_1(uniques, 12);
  f_101_011_100_010_1(uniques, 12);
  f_101_011_100_011_1(uniques, 12);
  f_101_011_100_100_1(uniques, 12);
  f_101_011_100_101_1(uniques, 12);
  f_101_011_100_110_1(uniques, 12);
  f_101_011_100_111_1(uniques, 12);
  f_101_011_101_000_1(uniques, 12);
  f_101_011_101_001_1(uniques, 12);
  f_101_011_101_010_1(uniques, 12);
  f_101_011_101_011_1(uniques, 12);
  f_101_011_101_100_1(uniques, 12);
  f_101_011_101_101_1(uniques, 12);
  f_101_011_101_110_1(uniques, 12);
  f_101_011_101_111_1(uniques, 12);
  f_101_011_110_000_1(uniques, 12);
  f_101_011_110_001_1(uniques, 12);
  f_101_011_110_010_1(uniques, 12);
  f_101_011_110_011_1(uniques, 12);
  f_101_011_110_100_1(uniques, 12);
  f_101_011_110_101_1(uniques, 12);
  f_101_011_110_110_1(uniques, 12);
  f_101_011_110_111_1(uniques, 12);
  f_101_011_111_000_1(uniques, 12);
  f_101_011_111_001_1(uniques, 12);
  f_101_011_111_010_1(uniques, 12);
  f_101_011_111_011_1(uniques, 12);
  f_101_011_111_100_1(uniques, 12);
  f_101_011_111_101_1(uniques, 12);
  f_101_011_111_110_1(uniques, 12);
  f_101_011_111_111_1(uniques, 12);
  f_101_100_000_000_1(uniques, 12);
  f_101_100_000_001_1(uniques, 12);
  f_101_100_000_010_1(uniques, 12);
  f_101_100_000_011_1(uniques, 12);
  f_101_100_000_100_1(uniques, 12);
  f_101_100_000_101_1(uniques, 12);
  f_101_100_000_110_1(uniques, 12);
  f_101_100_000_111_1(uniques, 12);
  f_101_100_001_000_1(uniques, 12);
  f_101_100_001_001_1(uniques, 12);
  f_101_100_001_010_1(uniques, 12);
  f_101_100_001_011_1(uniques, 12);
  f_101_100_001_100_1(uniques, 12);
  f_101_100_001_101_1(uniques, 12);
  f_101_100_001_110_1(uniques, 12);
  f_101_100_001_111_1(uniques, 12);
  f_101_100_010_000_1(uniques, 12);
  f_101_100_010_001_1(uniques, 12);
  f_101_100_010_010_1(uniques, 12);
  f_101_100_010_011_1(uniques, 12);
  f_101_100_010_100_1(uniques, 12);
  f_101_100_010_101_1(uniques, 12);
  f_101_100_010_110_1(uniques, 12);
  f_101_100_010_111_1(uniques, 12);
  f_101_100_011_000_1(uniques, 12);
  f_101_100_011_001_1(uniques, 12);
  f_101_100_011_010_1(uniques, 12);
  f_101_100_011_011_1(uniques, 12);
  f_101_100_011_100_1(uniques, 12);
  f_101_100_011_101_1(uniques, 12);
  f_101_100_011_110_1(uniques, 12);
  f_101_100_011_111_1(uniques, 12);
  f_101_100_100_000_1(uniques, 12);
  f_101_100_100_001_1(uniques, 12);
  f_101_100_100_010_1(uniques, 12);
  f_101_100_100_011_1(uniques, 12);
  f_101_100_100_100_1(uniques, 12);
  f_101_100_100_101_1(uniques, 12);
  f_101_100_100_110_1(uniques, 12);
  f_101_100_100_111_1(uniques, 12);
  f_101_100_101_000_1(uniques, 12);
  f_101_100_101_001_1(uniques, 12);
  f_101_100_101_010_1(uniques, 12);
  f_101_100_101_011_1(uniques, 12);
  f_101_100_101_100_1(uniques, 12);
  f_101_100_101_101_1(uniques, 12);
  f_101_100_101_110_1(uniques, 12);
  f_101_100_101_111_1(uniques, 12);
  f_101_100_110_000_1(uniques, 12);
  f_101_100_110_001_1(uniques, 12);
  f_101_100_110_010_1(uniques, 12);
  f_101_100_110_011_1(uniques, 12);
  f_101_100_110_100_1(uniques, 12);
  f_101_100_110_101_1(uniques, 12);
  f_101_100_110_110_1(uniques, 12);
  f_101_100_110_111_1(uniques, 12);
  f_101_100_111_000_1(uniques, 12);
  f_101_100_111_001_1(uniques, 12);
  f_101_100_111_010_1(uniques, 12);
  f_101_100_111_011_1(uniques, 12);
  f_101_100_111_100_1(uniques, 12);
  f_101_100_111_101_1(uniques, 12);
  f_101_100_111_110_1(uniques, 12);
  f_101_100_111_111_1(uniques, 12);
  f_101_101_000_000_1(uniques, 12);
  f_101_101_000_001_1(uniques, 12);
  f_101_101_000_010_1(uniques, 12);
  f_101_101_000_011_1(uniques, 12);
  f_101_101_000_100_1(uniques, 12);
  f_101_101_000_101_1(uniques, 12);
  f_101_101_000_110_1(uniques, 12);
  f_101_101_000_111_1(uniques, 12);
  f_101_101_001_000_1(uniques, 12);
  f_101_101_001_001_1(uniques, 12);
  f_101_101_001_010_1(uniques, 12);
  f_101_101_001_011_1(uniques, 12);
  f_101_101_001_100_1(uniques, 12);
  f_101_101_001_101_1(uniques, 12);
  f_101_101_001_110_1(uniques, 12);
  f_101_101_001_111_1(uniques, 12);
  f_101_101_010_000_1(uniques, 12);
  f_101_101_010_001_1(uniques, 12);
  f_101_101_010_010_1(uniques, 12);
  f_101_101_010_011_1(uniques, 12);
  f_101_101_010_100_1(uniques, 12);
  f_101_101_010_101_1(uniques, 12);
  f_101_101_010_110_1(uniques, 12);
  f_101_101_010_111_1(uniques, 12);
  f_101_101_011_000_1(uniques, 12);
  f_101_101_011_001_1(uniques, 12);
  f_101_101_011_010_1(uniques, 12);
  f_101_101_011_011_1(uniques, 12);
  f_101_101_011_100_1(uniques, 12);
  f_101_101_011_101_1(uniques, 12);
  f_101_101_011_110_1(uniques, 12);
  f_101_101_011_111_1(uniques, 12);
  f_101_101_100_000_1(uniques, 12);
  f_101_101_100_001_1(uniques, 12);
  f_101_101_100_010_1(uniques, 12);
  f_101_101_100_011_1(uniques, 12);
  f_101_101_100_100_1(uniques, 12);
  f_101_101_100_101_1(uniques, 12);
  f_101_101_100_110_1(uniques, 12);
  f_101_101_100_111_1(uniques, 12);
  f_101_101_101_000_1(uniques, 12);
  f_101_101_101_001_1(uniques, 12);
  f_101_101_101_010_1(uniques, 12);
  f_101_101_101_011_1(uniques, 12);
  f_101_101_101_100_1(uniques, 12);
  f_101_101_101_101_1(uniques, 12);
  f_101_101_101_110_1(uniques, 12);
  f_101_101_101_111_1(uniques, 12);
  f_101_101_110_000_1(uniques, 12);
  f_101_101_110_001_1(uniques, 12);
  f_101_101_110_010_1(uniques, 12);
  f_101_101_110_011_1(uniques, 12);
  f_101_101_110_100_1(uniques, 12);
  f_101_101_110_101_1(uniques, 12);
  f_101_101_110_110_1(uniques, 12);
  f_101_101_110_111_1(uniques, 12);
  f_101_101_111_000_1(uniques, 12);
  f_101_101_111_001_1(uniques, 12);
  f_101_101_111_010_1(uniques, 12);
  f_101_101_111_011_1(uniques, 12);
  f_101_101_111_100_1(uniques, 12);
  f_101_101_111_101_1(uniques, 12);
  f_101_101_111_110_1(uniques, 12);
  f_101_101_111_111_1(uniques, 12);
  f_101_110_000_000_1(uniques, 12);
  f_101_110_000_001_1(uniques, 12);
  f_101_110_000_010_1(uniques, 12);
  f_101_110_000_011_1(uniques, 12);
  f_101_110_000_100_1(uniques, 12);
  f_101_110_000_101_1(uniques, 12);
  f_101_110_000_110_1(uniques, 12);
  f_101_110_000_111_1(uniques, 12);
  f_101_110_001_000_1(uniques, 12);
  f_101_110_001_001_1(uniques, 12);
  f_101_110_001_010_1(uniques, 12);
  f_101_110_001_011_1(uniques, 12);
  f_101_110_001_100_1(uniques, 12);
  f_101_110_001_101_1(uniques, 12);
  f_101_110_001_110_1(uniques, 12);
  f_101_110_001_111_1(uniques, 12);
  f_101_110_010_000_1(uniques, 12);
  f_101_110_010_001_1(uniques, 12);
  f_101_110_010_010_1(uniques, 12);
  f_101_110_010_011_1(uniques, 12);
  f_101_110_010_100_1(uniques, 12);
  f_101_110_010_101_1(uniques, 12);
  f_101_110_010_110_1(uniques, 12);
  f_101_110_010_111_1(uniques, 12);
  f_101_110_011_000_1(uniques, 12);
  f_101_110_011_001_1(uniques, 12);
  f_101_110_011_010_1(uniques, 12);
  f_101_110_011_011_1(uniques, 12);
  f_101_110_011_100_1(uniques, 12);
  f_101_110_011_101_1(uniques, 12);
  f_101_110_011_110_1(uniques, 12);
  f_101_110_011_111_1(uniques, 12);
  f_101_110_100_000_1(uniques, 12);
  f_101_110_100_001_1(uniques, 12);
  f_101_110_100_010_1(uniques, 12);
  f_101_110_100_011_1(uniques, 12);
  f_101_110_100_100_1(uniques, 12);
  f_101_110_100_101_1(uniques, 12);
  f_101_110_100_110_1(uniques, 12);
  f_101_110_100_111_1(uniques, 12);
  f_101_110_101_000_1(uniques, 12);
  f_101_110_101_001_1(uniques, 12);
  f_101_110_101_010_1(uniques, 12);
  f_101_110_101_011_1(uniques, 12);
  f_101_110_101_100_1(uniques, 12);
  f_101_110_101_101_1(uniques, 12);
  f_101_110_101_110_1(uniques, 12);
  f_101_110_101_111_1(uniques, 12);
  f_101_110_110_000_1(uniques, 12);
  f_101_110_110_001_1(uniques, 12);
  f_101_110_110_010_1(uniques, 12);
  f_101_110_110_011_1(uniques, 12);
  f_101_110_110_100_1(uniques, 12);
  f_101_110_110_101_1(uniques, 12);
  f_101_110_110_110_1(uniques, 12);
  f_101_110_110_111_1(uniques, 12);
  f_101_110_111_000_1(uniques, 12);
  f_101_110_111_001_1(uniques, 12);
  f_101_110_111_010_1(uniques, 12);
  f_101_110_111_011_1(uniques, 12);
  f_101_110_111_100_1(uniques, 12);
  f_101_110_111_101_1(uniques, 12);
  f_101_110_111_110_1(uniques, 12);
  f_101_110_111_111_1(uniques, 12);
  f_101_111_000_000_1(uniques, 12);
  f_101_111_000_001_1(uniques, 12);
  f_101_111_000_010_1(uniques, 12);
  f_101_111_000_011_1(uniques, 12);
  f_101_111_000_100_1(uniques, 12);
  f_101_111_000_101_1(uniques, 12);
  f_101_111_000_110_1(uniques, 12);
  f_101_111_000_111_1(uniques, 12);
  f_101_111_001_000_1(uniques, 12);
  f_101_111_001_001_1(uniques, 12);
  f_101_111_001_010_1(uniques, 12);
  f_101_111_001_011_1(uniques, 12);
  f_101_111_001_100_1(uniques, 12);
  f_101_111_001_101_1(uniques, 12);
  f_101_111_001_110_1(uniques, 12);
  f_101_111_001_111_1(uniques, 12);
  f_101_111_010_000_1(uniques, 12);
  f_101_111_010_001_1(uniques, 12);
  f_101_111_010_010_1(uniques, 12);
  f_101_111_010_011_1(uniques, 12);
  f_101_111_010_100_1(uniques, 12);
  f_101_111_010_101_1(uniques, 12);
  f_101_111_010_110_1(uniques, 12);
  f_101_111_010_111_1(uniques, 12);
  f_101_111_011_000_1(uniques, 12);
  f_101_111_011_001_1(uniques, 12);
  f_101_111_011_010_1(uniques, 12);
  f_101_111_011_011_1(uniques, 12);
  f_101_111_011_100_1(uniques, 12);
  f_101_111_011_101_1(uniques, 12);
  f_101_111_011_110_1(uniques, 12);
  f_101_111_011_111_1(uniques, 12);
  f_101_111_100_000_1(uniques, 12);
  f_101_111_100_001_1(uniques, 12);
  f_101_111_100_010_1(uniques, 12);
  f_101_111_100_011_1(uniques, 12);
  f_101_111_100_100_1(uniques, 12);
  f_101_111_100_101_1(uniques, 12);
  f_101_111_100_110_1(uniques, 12);
  f_101_111_100_111_1(uniques, 12);
  f_101_111_101_000_1(uniques, 12);
  f_101_111_101_001_1(uniques, 12);
  f_101_111_101_010_1(uniques, 12);
  f_101_111_101_011_1(uniques, 12);
  f_101_111_101_100_1(uniques, 12);
  f_101_111_101_101_1(uniques, 12);
  f_101_111_101_110_1(uniques, 12);
  f_101_111_101_111_1(uniques, 12);
  f_101_111_110_000_1(uniques, 12);
  f_101_111_110_001_1(uniques, 12);
  f_101_111_110_010_1(uniques, 12);
  f_101_111_110_011_1(uniques, 12);
  f_101_111_110_100_1(uniques, 12);
  f_101_111_110_101_1(uniques, 12);
  f_101_111_110_110_1(uniques, 12);
  f_101_111_110_111_1(uniques, 12);
  f_101_111_111_000_1(uniques, 12);
  f_101_111_111_001_1(uniques, 12);
  f_101_111_111_010_1(uniques, 12);
  f_101_111_111_011_1(uniques, 12);
  f_101_111_111_100_1(uniques, 12);
  f_101_111_111_101_1(uniques, 12);
  f_101_111_111_110_1(uniques, 12);
  f_101_111_111_111_1(uniques, 12);
  f_110_000_000_000_1(uniques, 12);
  f_110_000_000_001_1(uniques, 12);
  f_110_000_000_010_1(uniques, 12);
  f_110_000_000_011_1(uniques, 12);
  f_110_000_000_100_1(uniques, 12);
  f_110_000_000_101_1(uniques, 12);
  f_110_000_000_110_1(uniques, 12);
  f_110_000_000_111_1(uniques, 12);
  f_110_000_001_000_1(uniques, 12);
  f_110_000_001_001_1(uniques, 12);
  f_110_000_001_010_1(uniques, 12);
  f_110_000_001_011_1(uniques, 12);
  f_110_000_001_100_1(uniques, 12);
  f_110_000_001_101_1(uniques, 12);
  f_110_000_001_110_1(uniques, 12);
  f_110_000_001_111_1(uniques, 12);
  f_110_000_010_000_1(uniques, 12);
  f_110_000_010_001_1(uniques, 12);
  f_110_000_010_010_1(uniques, 12);
  f_110_000_010_011_1(uniques, 12);
  f_110_000_010_100_1(uniques, 12);
  f_110_000_010_101_1(uniques, 12);
  f_110_000_010_110_1(uniques, 12);
  f_110_000_010_111_1(uniques, 12);
  f_110_000_011_000_1(uniques, 12);
  f_110_000_011_001_1(uniques, 12);
  f_110_000_011_010_1(uniques, 12);
  f_110_000_011_011_1(uniques, 12);
  f_110_000_011_100_1(uniques, 12);
  f_110_000_011_101_1(uniques, 12);
  f_110_000_011_110_1(uniques, 12);
  f_110_000_011_111_1(uniques, 12);
  f_110_000_100_000_1(uniques, 12);
  f_110_000_100_001_1(uniques, 12);
  f_110_000_100_010_1(uniques, 12);
  f_110_000_100_011_1(uniques, 12);
  f_110_000_100_100_1(uniques, 12);
  f_110_000_100_101_1(uniques, 12);
  f_110_000_100_110_1(uniques, 12);
  f_110_000_100_111_1(uniques, 12);
  f_110_000_101_000_1(uniques, 12);
  f_110_000_101_001_1(uniques, 12);
  f_110_000_101_010_1(uniques, 12);
  f_110_000_101_011_1(uniques, 12);
  f_110_000_101_100_1(uniques, 12);
  f_110_000_101_101_1(uniques, 12);
  f_110_000_101_110_1(uniques, 12);
  f_110_000_101_111_1(uniques, 12);
  f_110_000_110_000_1(uniques, 12);
  f_110_000_110_001_1(uniques, 12);
  f_110_000_110_010_1(uniques, 12);
  f_110_000_110_011_1(uniques, 12);
  f_110_000_110_100_1(uniques, 12);
  f_110_000_110_101_1(uniques, 12);
  f_110_000_110_110_1(uniques, 12);
  f_110_000_110_111_1(uniques, 12);
  f_110_000_111_000_1(uniques, 12);
  f_110_000_111_001_1(uniques, 12);
  f_110_000_111_010_1(uniques, 12);
  f_110_000_111_011_1(uniques, 12);
  f_110_000_111_100_1(uniques, 12);
  f_110_000_111_101_1(uniques, 12);
  f_110_000_111_110_1(uniques, 12);
  f_110_000_111_111_1(uniques, 12);
  f_110_001_000_000_1(uniques, 12);
  f_110_001_000_001_1(uniques, 12);
  f_110_001_000_010_1(uniques, 12);
  f_110_001_000_011_1(uniques, 12);
  f_110_001_000_100_1(uniques, 12);
  f_110_001_000_101_1(uniques, 12);
  f_110_001_000_110_1(uniques, 12);
  f_110_001_000_111_1(uniques, 12);
  f_110_001_001_000_1(uniques, 12);
  f_110_001_001_001_1(uniques, 12);
  f_110_001_001_010_1(uniques, 12);
  f_110_001_001_011_1(uniques, 12);
  f_110_001_001_100_1(uniques, 12);
  f_110_001_001_101_1(uniques, 12);
  f_110_001_001_110_1(uniques, 12);
  f_110_001_001_111_1(uniques, 12);
  f_110_001_010_000_1(uniques, 12);
  f_110_001_010_001_1(uniques, 12);
  f_110_001_010_010_1(uniques, 12);
  f_110_001_010_011_1(uniques, 12);
  f_110_001_010_100_1(uniques, 12);
  f_110_001_010_101_1(uniques, 12);
  f_110_001_010_110_1(uniques, 12);
  f_110_001_010_111_1(uniques, 12);
  f_110_001_011_000_1(uniques, 12);
  f_110_001_011_001_1(uniques, 12);
  f_110_001_011_010_1(uniques, 12);
  f_110_001_011_011_1(uniques, 12);
  f_110_001_011_100_1(uniques, 12);
  f_110_001_011_101_1(uniques, 12);
  f_110_001_011_110_1(uniques, 12);
  f_110_001_011_111_1(uniques, 12);
  f_110_001_100_000_1(uniques, 12);
  f_110_001_100_001_1(uniques, 12);
  f_110_001_100_010_1(uniques, 12);
  f_110_001_100_011_1(uniques, 12);
  f_110_001_100_100_1(uniques, 12);
  f_110_001_100_101_1(uniques, 12);
  f_110_001_100_110_1(uniques, 12);
  f_110_001_100_111_1(uniques, 12);
  f_110_001_101_000_1(uniques, 12);
  f_110_001_101_001_1(uniques, 12);
  f_110_001_101_010_1(uniques, 12);
  f_110_001_101_011_1(uniques, 12);
  f_110_001_101_100_1(uniques, 12);
  f_110_001_101_101_1(uniques, 12);
  f_110_001_101_110_1(uniques, 12);
  f_110_001_101_111_1(uniques, 12);
  f_110_001_110_000_1(uniques, 12);
  f_110_001_110_001_1(uniques, 12);
  f_110_001_110_010_1(uniques, 12);
  f_110_001_110_011_1(uniques, 12);
  f_110_001_110_100_1(uniques, 12);
  f_110_001_110_101_1(uniques, 12);
  f_110_001_110_110_1(uniques, 12);
  f_110_001_110_111_1(uniques, 12);
  f_110_001_111_000_1(uniques, 12);
  f_110_001_111_001_1(uniques, 12);
  f_110_001_111_010_1(uniques, 12);
  f_110_001_111_011_1(uniques, 12);
  f_110_001_111_100_1(uniques, 12);
  f_110_001_111_101_1(uniques, 12);
  f_110_001_111_110_1(uniques, 12);
  f_110_001_111_111_1(uniques, 12);
  f_110_010_000_000_1(uniques, 12);
  f_110_010_000_001_1(uniques, 12);
  f_110_010_000_010_1(uniques, 12);
  f_110_010_000_011_1(uniques, 12);
  f_110_010_000_100_1(uniques, 12);
  f_110_010_000_101_1(uniques, 12);
  f_110_010_000_110_1(uniques, 12);
  f_110_010_000_111_1(uniques, 12);
  f_110_010_001_000_1(uniques, 12);
  f_110_010_001_001_1(uniques, 12);
  f_110_010_001_010_1(uniques, 12);
  f_110_010_001_011_1(uniques, 12);
  f_110_010_001_100_1(uniques, 12);
  f_110_010_001_101_1(uniques, 12);
  f_110_010_001_110_1(uniques, 12);
  f_110_010_001_111_1(uniques, 12);
  f_110_010_010_000_1(uniques, 12);
  f_110_010_010_001_1(uniques, 12);
  f_110_010_010_010_1(uniques, 12);
  f_110_010_010_011_1(uniques, 12);
  f_110_010_010_100_1(uniques, 12);
  f_110_010_010_101_1(uniques, 12);
  f_110_010_010_110_1(uniques, 12);
  f_110_010_010_111_1(uniques, 12);
  f_110_010_011_000_1(uniques, 12);
  f_110_010_011_001_1(uniques, 12);
  f_110_010_011_010_1(uniques, 12);
  f_110_010_011_011_1(uniques, 12);
  f_110_010_011_100_1(uniques, 12);
  f_110_010_011_101_1(uniques, 12);
  f_110_010_011_110_1(uniques, 12);
  f_110_010_011_111_1(uniques, 12);
  f_110_010_100_000_1(uniques, 12);
  f_110_010_100_001_1(uniques, 12);
  f_110_010_100_010_1(uniques, 12);
  f_110_010_100_011_1(uniques, 12);
  f_110_010_100_100_1(uniques, 12);
  f_110_010_100_101_1(uniques, 12);
  f_110_010_100_110_1(uniques, 12);
  f_110_010_100_111_1(uniques, 12);
  f_110_010_101_000_1(uniques, 12);
  f_110_010_101_001_1(uniques, 12);
  f_110_010_101_010_1(uniques, 12);
  f_110_010_101_011_1(uniques, 12);
  f_110_010_101_100_1(uniques, 12);
  f_110_010_101_101_1(uniques, 12);
  f_110_010_101_110_1(uniques, 12);
  f_110_010_101_111_1(uniques, 12);
  f_110_010_110_000_1(uniques, 12);
  f_110_010_110_001_1(uniques, 12);
  f_110_010_110_010_1(uniques, 12);
  f_110_010_110_011_1(uniques, 12);
  f_110_010_110_100_1(uniques, 12);
  f_110_010_110_101_1(uniques, 12);
  f_110_010_110_110_1(uniques, 12);
  f_110_010_110_111_1(uniques, 12);
  f_110_010_111_000_1(uniques, 12);
  f_110_010_111_001_1(uniques, 12);
  f_110_010_111_010_1(uniques, 12);
  f_110_010_111_011_1(uniques, 12);
  f_110_010_111_100_1(uniques, 12);
  f_110_010_111_101_1(uniques, 12);
  f_110_010_111_110_1(uniques, 12);
  f_110_010_111_111_1(uniques, 12);
  f_110_011_000_000_1(uniques, 12);
  f_110_011_000_001_1(uniques, 12);
  f_110_011_000_010_1(uniques, 12);
  f_110_011_000_011_1(uniques, 12);
  f_110_011_000_100_1(uniques, 12);
  f_110_011_000_101_1(uniques, 12);
  f_110_011_000_110_1(uniques, 12);
  f_110_011_000_111_1(uniques, 12);
  f_110_011_001_000_1(uniques, 12);
  f_110_011_001_001_1(uniques, 12);
  f_110_011_001_010_1(uniques, 12);
  f_110_011_001_011_1(uniques, 12);
  f_110_011_001_100_1(uniques, 12);
  f_110_011_001_101_1(uniques, 12);
  f_110_011_001_110_1(uniques, 12);
  f_110_011_001_111_1(uniques, 12);
  f_110_011_010_000_1(uniques, 12);
  f_110_011_010_001_1(uniques, 12);
  f_110_011_010_010_1(uniques, 12);
  f_110_011_010_011_1(uniques, 12);
  f_110_011_010_100_1(uniques, 12);
  f_110_011_010_101_1(uniques, 12);
  f_110_011_010_110_1(uniques, 12);
  f_110_011_010_111_1(uniques, 12);
  f_110_011_011_000_1(uniques, 12);
  f_110_011_011_001_1(uniques, 12);
  f_110_011_011_010_1(uniques, 12);
  f_110_011_011_011_1(uniques, 12);
  f_110_011_011_100_1(uniques, 12);
  f_110_011_011_101_1(uniques, 12);
  f_110_011_011_110_1(uniques, 12);
  f_110_011_011_111_1(uniques, 12);
  f_110_011_100_000_1(uniques, 12);
  f_110_011_100_001_1(uniques, 12);
  f_110_011_100_010_1(uniques, 12);
  f_110_011_100_011_1(uniques, 12);
  f_110_011_100_100_1(uniques, 12);
  f_110_011_100_101_1(uniques, 12);
  f_110_011_100_110_1(uniques, 12);
  f_110_011_100_111_1(uniques, 12);
  f_110_011_101_000_1(uniques, 12);
  f_110_011_101_001_1(uniques, 12);
  f_110_011_101_010_1(uniques, 12);
  f_110_011_101_011_1(uniques, 12);
  f_110_011_101_100_1(uniques, 12);
  f_110_011_101_101_1(uniques, 12);
  f_110_011_101_110_1(uniques, 12);
  f_110_011_101_111_1(uniques, 12);
  f_110_011_110_000_1(uniques, 12);
  f_110_011_110_001_1(uniques, 12);
  f_110_011_110_010_1(uniques, 12);
  f_110_011_110_011_1(uniques, 12);
  f_110_011_110_100_1(uniques, 12);
  f_110_011_110_101_1(uniques, 12);
  f_110_011_110_110_1(uniques, 12);
  f_110_011_110_111_1(uniques, 12);
  f_110_011_111_000_1(uniques, 12);
  f_110_011_111_001_1(uniques, 12);
  f_110_011_111_010_1(uniques, 12);
  f_110_011_111_011_1(uniques, 12);
  f_110_011_111_100_1(uniques, 12);
  f_110_011_111_101_1(uniques, 12);
  f_110_011_111_110_1(uniques, 12);
  f_110_011_111_111_1(uniques, 12);
  f_110_100_000_000_1(uniques, 12);
  f_110_100_000_001_1(uniques, 12);
  f_110_100_000_010_1(uniques, 12);
  f_110_100_000_011_1(uniques, 12);
  f_110_100_000_100_1(uniques, 12);
  f_110_100_000_101_1(uniques, 12);
  f_110_100_000_110_1(uniques, 12);
  f_110_100_000_111_1(uniques, 12);
  f_110_100_001_000_1(uniques, 12);
  f_110_100_001_001_1(uniques, 12);
  f_110_100_001_010_1(uniques, 12);
  f_110_100_001_011_1(uniques, 12);
  f_110_100_001_100_1(uniques, 12);
  f_110_100_001_101_1(uniques, 12);
  f_110_100_001_110_1(uniques, 12);
  f_110_100_001_111_1(uniques, 12);
  f_110_100_010_000_1(uniques, 12);
  f_110_100_010_001_1(uniques, 12);
  f_110_100_010_010_1(uniques, 12);
  f_110_100_010_011_1(uniques, 12);
  f_110_100_010_100_1(uniques, 12);
  f_110_100_010_101_1(uniques, 12);
  f_110_100_010_110_1(uniques, 12);
  f_110_100_010_111_1(uniques, 12);
  f_110_100_011_000_1(uniques, 12);
  f_110_100_011_001_1(uniques, 12);
  f_110_100_011_010_1(uniques, 12);
  f_110_100_011_011_1(uniques, 12);
  f_110_100_011_100_1(uniques, 12);
  f_110_100_011_101_1(uniques, 12);
  f_110_100_011_110_1(uniques, 12);
  f_110_100_011_111_1(uniques, 12);
  f_110_100_100_000_1(uniques, 12);
  f_110_100_100_001_1(uniques, 12);
  f_110_100_100_010_1(uniques, 12);
  f_110_100_100_011_1(uniques, 12);
  f_110_100_100_100_1(uniques, 12);
  f_110_100_100_101_1(uniques, 12);
  f_110_100_100_110_1(uniques, 12);
  f_110_100_100_111_1(uniques, 12);
  f_110_100_101_000_1(uniques, 12);
  f_110_100_101_001_1(uniques, 12);
  f_110_100_101_010_1(uniques, 12);
  f_110_100_101_011_1(uniques, 12);
  f_110_100_101_100_1(uniques, 12);
  f_110_100_101_101_1(uniques, 12);
  f_110_100_101_110_1(uniques, 12);
  f_110_100_101_111_1(uniques, 12);
  f_110_100_110_000_1(uniques, 12);
  f_110_100_110_001_1(uniques, 12);
  f_110_100_110_010_1(uniques, 12);
  f_110_100_110_011_1(uniques, 12);
  f_110_100_110_100_1(uniques, 12);
  f_110_100_110_101_1(uniques, 12);
  f_110_100_110_110_1(uniques, 12);
  f_110_100_110_111_1(uniques, 12);
  f_110_100_111_000_1(uniques, 12);
  f_110_100_111_001_1(uniques, 12);
  f_110_100_111_010_1(uniques, 12);
  f_110_100_111_011_1(uniques, 12);
  f_110_100_111_100_1(uniques, 12);
  f_110_100_111_101_1(uniques, 12);
  f_110_100_111_110_1(uniques, 12);
  f_110_100_111_111_1(uniques, 12);
  f_110_101_000_000_1(uniques, 12);
  f_110_101_000_001_1(uniques, 12);
  f_110_101_000_010_1(uniques, 12);
  f_110_101_000_011_1(uniques, 12);
  f_110_101_000_100_1(uniques, 12);
  f_110_101_000_101_1(uniques, 12);
  f_110_101_000_110_1(uniques, 12);
  f_110_101_000_111_1(uniques, 12);
  f_110_101_001_000_1(uniques, 12);
  f_110_101_001_001_1(uniques, 12);
  f_110_101_001_010_1(uniques, 12);
  f_110_101_001_011_1(uniques, 12);
  f_110_101_001_100_1(uniques, 12);
  f_110_101_001_101_1(uniques, 12);
  f_110_101_001_110_1(uniques, 12);
  f_110_101_001_111_1(uniques, 12);
  f_110_101_010_000_1(uniques, 12);
  f_110_101_010_001_1(uniques, 12);
  f_110_101_010_010_1(uniques, 12);
  f_110_101_010_011_1(uniques, 12);
  f_110_101_010_100_1(uniques, 12);
  f_110_101_010_101_1(uniques, 12);
  f_110_101_010_110_1(uniques, 12);
  f_110_101_010_111_1(uniques, 12);
  f_110_101_011_000_1(uniques, 12);
  f_110_101_011_001_1(uniques, 12);
  f_110_101_011_010_1(uniques, 12);
  f_110_101_011_011_1(uniques, 12);
  f_110_101_011_100_1(uniques, 12);
  f_110_101_011_101_1(uniques, 12);
  f_110_101_011_110_1(uniques, 12);
  f_110_101_011_111_1(uniques, 12);
  f_110_101_100_000_1(uniques, 12);
  f_110_101_100_001_1(uniques, 12);
  f_110_101_100_010_1(uniques, 12);
  f_110_101_100_011_1(uniques, 12);
  f_110_101_100_100_1(uniques, 12);
  f_110_101_100_101_1(uniques, 12);
  f_110_101_100_110_1(uniques, 12);
  f_110_101_100_111_1(uniques, 12);
  f_110_101_101_000_1(uniques, 12);
  f_110_101_101_001_1(uniques, 12);
  f_110_101_101_010_1(uniques, 12);
  f_110_101_101_011_1(uniques, 12);
  f_110_101_101_100_1(uniques, 12);
  f_110_101_101_101_1(uniques, 12);
  f_110_101_101_110_1(uniques, 12);
  f_110_101_101_111_1(uniques, 12);
  f_110_101_110_000_1(uniques, 12);
  f_110_101_110_001_1(uniques, 12);
  f_110_101_110_010_1(uniques, 12);
  f_110_101_110_011_1(uniques, 12);
  f_110_101_110_100_1(uniques, 12);
  f_110_101_110_101_1(uniques, 12);
  f_110_101_110_110_1(uniques, 12);
  f_110_101_110_111_1(uniques, 12);
  f_110_101_111_000_1(uniques, 12);
  f_110_101_111_001_1(uniques, 12);
  f_110_101_111_010_1(uniques, 12);
  f_110_101_111_011_1(uniques, 12);
  f_110_101_111_100_1(uniques, 12);
  f_110_101_111_101_1(uniques, 12);
  f_110_101_111_110_1(uniques, 12);
  f_110_101_111_111_1(uniques, 12);
  f_110_110_000_000_1(uniques, 12);
  f_110_110_000_001_1(uniques, 12);
  f_110_110_000_010_1(uniques, 12);
  f_110_110_000_011_1(uniques, 12);
  f_110_110_000_100_1(uniques, 12);
  f_110_110_000_101_1(uniques, 12);
  f_110_110_000_110_1(uniques, 12);
  f_110_110_000_111_1(uniques, 12);
  f_110_110_001_000_1(uniques, 12);
  f_110_110_001_001_1(uniques, 12);
  f_110_110_001_010_1(uniques, 12);
  f_110_110_001_011_1(uniques, 12);
  f_110_110_001_100_1(uniques, 12);
  f_110_110_001_101_1(uniques, 12);
  f_110_110_001_110_1(uniques, 12);
  f_110_110_001_111_1(uniques, 12);
  f_110_110_010_000_1(uniques, 12);
  f_110_110_010_001_1(uniques, 12);
  f_110_110_010_010_1(uniques, 12);
  f_110_110_010_011_1(uniques, 12);
  f_110_110_010_100_1(uniques, 12);
  f_110_110_010_101_1(uniques, 12);
  f_110_110_010_110_1(uniques, 12);
  f_110_110_010_111_1(uniques, 12);
  f_110_110_011_000_1(uniques, 12);
  f_110_110_011_001_1(uniques, 12);
  f_110_110_011_010_1(uniques, 12);
  f_110_110_011_011_1(uniques, 12);
  f_110_110_011_100_1(uniques, 12);
  f_110_110_011_101_1(uniques, 12);
  f_110_110_011_110_1(uniques, 12);
  f_110_110_011_111_1(uniques, 12);
  f_110_110_100_000_1(uniques, 12);
  f_110_110_100_001_1(uniques, 12);
  f_110_110_100_010_1(uniques, 12);
  f_110_110_100_011_1(uniques, 12);
  f_110_110_100_100_1(uniques, 12);
  f_110_110_100_101_1(uniques, 12);
  f_110_110_100_110_1(uniques, 12);
  f_110_110_100_111_1(uniques, 12);
  f_110_110_101_000_1(uniques, 12);
  f_110_110_101_001_1(uniques, 12);
  f_110_110_101_010_1(uniques, 12);
  f_110_110_101_011_1(uniques, 12);
  f_110_110_101_100_1(uniques, 12);
  f_110_110_101_101_1(uniques, 12);
  f_110_110_101_110_1(uniques, 12);
  f_110_110_101_111_1(uniques, 12);
  f_110_110_110_000_1(uniques, 12);
  f_110_110_110_001_1(uniques, 12);
  f_110_110_110_010_1(uniques, 12);
  f_110_110_110_011_1(uniques, 12);
  f_110_110_110_100_1(uniques, 12);
  f_110_110_110_101_1(uniques, 12);
  f_110_110_110_110_1(uniques, 12);
  f_110_110_110_111_1(uniques, 12);
  f_110_110_111_000_1(uniques, 12);
  f_110_110_111_001_1(uniques, 12);
  f_110_110_111_010_1(uniques, 12);
  f_110_110_111_011_1(uniques, 12);
  f_110_110_111_100_1(uniques, 12);
  f_110_110_111_101_1(uniques, 12);
  f_110_110_111_110_1(uniques, 12);
  f_110_110_111_111_1(uniques, 12);
  f_110_111_000_000_1(uniques, 12);
  f_110_111_000_001_1(uniques, 12);
  f_110_111_000_010_1(uniques, 12);
  f_110_111_000_011_1(uniques, 12);
  f_110_111_000_100_1(uniques, 12);
  f_110_111_000_101_1(uniques, 12);
  f_110_111_000_110_1(uniques, 12);
  f_110_111_000_111_1(uniques, 12);
  f_110_111_001_000_1(uniques, 12);
  f_110_111_001_001_1(uniques, 12);
  f_110_111_001_010_1(uniques, 12);
  f_110_111_001_011_1(uniques, 12);
  f_110_111_001_100_1(uniques, 12);
  f_110_111_001_101_1(uniques, 12);
  f_110_111_001_110_1(uniques, 12);
  f_110_111_001_111_1(uniques, 12);
  f_110_111_010_000_1(uniques, 12);
  f_110_111_010_001_1(uniques, 12);
  f_110_111_010_010_1(uniques, 12);
  f_110_111_010_011_1(uniques, 12);
  f_110_111_010_100_1(uniques, 12);
  f_110_111_010_101_1(uniques, 12);
  f_110_111_010_110_1(uniques, 12);
  f_110_111_010_111_1(uniques, 12);
  f_110_111_011_000_1(uniques, 12);
  f_110_111_011_001_1(uniques, 12);
  f_110_111_011_010_1(uniques, 12);
  f_110_111_011_011_1(uniques, 12);
  f_110_111_011_100_1(uniques, 12);
  f_110_111_011_101_1(uniques, 12);
  f_110_111_011_110_1(uniques, 12);
  f_110_111_011_111_1(uniques, 12);
  f_110_111_100_000_1(uniques, 12);
  f_110_111_100_001_1(uniques, 12);
  f_110_111_100_010_1(uniques, 12);
  f_110_111_100_011_1(uniques, 12);
  f_110_111_100_100_1(uniques, 12);
  f_110_111_100_101_1(uniques, 12);
  f_110_111_100_110_1(uniques, 12);
  f_110_111_100_111_1(uniques, 12);
  f_110_111_101_000_1(uniques, 12);
  f_110_111_101_001_1(uniques, 12);
  f_110_111_101_010_1(uniques, 12);
  f_110_111_101_011_1(uniques, 12);
  f_110_111_101_100_1(uniques, 12);
  f_110_111_101_101_1(uniques, 12);
  f_110_111_101_110_1(uniques, 12);
  f_110_111_101_111_1(uniques, 12);
  f_110_111_110_000_1(uniques, 12);
  f_110_111_110_001_1(uniques, 12);
  f_110_111_110_010_1(uniques, 12);
  f_110_111_110_011_1(uniques, 12);
  f_110_111_110_100_1(uniques, 12);
  f_110_111_110_101_1(uniques, 12);
  f_110_111_110_110_1(uniques, 12);
  f_110_111_110_111_1(uniques, 12);
  f_110_111_111_000_1(uniques, 12);
  f_110_111_111_001_1(uniques, 12);
  f_110_111_111_010_1(uniques, 12);
  f_110_111_111_011_1(uniques, 12);
  f_110_111_111_100_1(uniques, 12);
  f_110_111_111_101_1(uniques, 12);
  f_110_111_111_110_1(uniques, 12);
  f_110_111_111_111_1(uniques, 12);
  f_111_000_000_000_1(uniques, 12);
  f_111_000_000_001_1(uniques, 12);
  f_111_000_000_010_1(uniques, 12);
  f_111_000_000_011_1(uniques, 12);
  f_111_000_000_100_1(uniques, 12);
  f_111_000_000_101_1(uniques, 12);
  f_111_000_000_110_1(uniques, 12);
  f_111_000_000_111_1(uniques, 12);
  f_111_000_001_000_1(uniques, 12);
  f_111_000_001_001_1(uniques, 12);
  f_111_000_001_010_1(uniques, 12);
  f_111_000_001_011_1(uniques, 12);
  f_111_000_001_100_1(uniques, 12);
  f_111_000_001_101_1(uniques, 12);
  f_111_000_001_110_1(uniques, 12);
  f_111_000_001_111_1(uniques, 12);
  f_111_000_010_000_1(uniques, 12);
  f_111_000_010_001_1(uniques, 12);
  f_111_000_010_010_1(uniques, 12);
  f_111_000_010_011_1(uniques, 12);
  f_111_000_010_100_1(uniques, 12);
  f_111_000_010_101_1(uniques, 12);
  f_111_000_010_110_1(uniques, 12);
  f_111_000_010_111_1(uniques, 12);
  f_111_000_011_000_1(uniques, 12);
  f_111_000_011_001_1(uniques, 12);
  f_111_000_011_010_1(uniques, 12);
  f_111_000_011_011_1(uniques, 12);
  f_111_000_011_100_1(uniques, 12);
  f_111_000_011_101_1(uniques, 12);
  f_111_000_011_110_1(uniques, 12);
  f_111_000_011_111_1(uniques, 12);
  f_111_000_100_000_1(uniques, 12);
  f_111_000_100_001_1(uniques, 12);
  f_111_000_100_010_1(uniques, 12);
  f_111_000_100_011_1(uniques, 12);
  f_111_000_100_100_1(uniques, 12);
  f_111_000_100_101_1(uniques, 12);
  f_111_000_100_110_1(uniques, 12);
  f_111_000_100_111_1(uniques, 12);
  f_111_000_101_000_1(uniques, 12);
  f_111_000_101_001_1(uniques, 12);
  f_111_000_101_010_1(uniques, 12);
  f_111_000_101_011_1(uniques, 12);
  f_111_000_101_100_1(uniques, 12);
  f_111_000_101_101_1(uniques, 12);
  f_111_000_101_110_1(uniques, 12);
  f_111_000_101_111_1(uniques, 12);
  f_111_000_110_000_1(uniques, 12);
  f_111_000_110_001_1(uniques, 12);
  f_111_000_110_010_1(uniques, 12);
  f_111_000_110_011_1(uniques, 12);
  f_111_000_110_100_1(uniques, 12);
  f_111_000_110_101_1(uniques, 12);
  f_111_000_110_110_1(uniques, 12);
  f_111_000_110_111_1(uniques, 12);
  f_111_000_111_000_1(uniques, 12);
  f_111_000_111_001_1(uniques, 12);
  f_111_000_111_010_1(uniques, 12);
  f_111_000_111_011_1(uniques, 12);
  f_111_000_111_100_1(uniques, 12);
  f_111_000_111_101_1(uniques, 12);
  f_111_000_111_110_1(uniques, 12);
  f_111_000_111_111_1(uniques, 12);
  f_111_001_000_000_1(uniques, 12);
  f_111_001_000_001_1(uniques, 12);
  f_111_001_000_010_1(uniques, 12);
  f_111_001_000_011_1(uniques, 12);
  f_111_001_000_100_1(uniques, 12);
  f_111_001_000_101_1(uniques, 12);
  f_111_001_000_110_1(uniques, 12);
  f_111_001_000_111_1(uniques, 12);
  f_111_001_001_000_1(uniques, 12);
  f_111_001_001_001_1(uniques, 12);
  f_111_001_001_010_1(uniques, 12);
  f_111_001_001_011_1(uniques, 12);
  f_111_001_001_100_1(uniques, 12);
  f_111_001_001_101_1(uniques, 12);
  f_111_001_001_110_1(uniques, 12);
  f_111_001_001_111_1(uniques, 12);
  f_111_001_010_000_1(uniques, 12);
  f_111_001_010_001_1(uniques, 12);
  f_111_001_010_010_1(uniques, 12);
  f_111_001_010_011_1(uniques, 12);
  f_111_001_010_100_1(uniques, 12);
  f_111_001_010_101_1(uniques, 12);
  f_111_001_010_110_1(uniques, 12);
  f_111_001_010_111_1(uniques, 12);
  f_111_001_011_000_1(uniques, 12);
  f_111_001_011_001_1(uniques, 12);
  f_111_001_011_010_1(uniques, 12);
  f_111_001_011_011_1(uniques, 12);
  f_111_001_011_100_1(uniques, 12);
  f_111_001_011_101_1(uniques, 12);
  f_111_001_011_110_1(uniques, 12);
  f_111_001_011_111_1(uniques, 12);
  f_111_001_100_000_1(uniques, 12);
  f_111_001_100_001_1(uniques, 12);
  f_111_001_100_010_1(uniques, 12);
  f_111_001_100_011_1(uniques, 12);
  f_111_001_100_100_1(uniques, 12);
  f_111_001_100_101_1(uniques, 12);
  f_111_001_100_110_1(uniques, 12);
  f_111_001_100_111_1(uniques, 12);
  f_111_001_101_000_1(uniques, 12);
  f_111_001_101_001_1(uniques, 12);
  f_111_001_101_010_1(uniques, 12);
  f_111_001_101_011_1(uniques, 12);
  f_111_001_101_100_1(uniques, 12);
  f_111_001_101_101_1(uniques, 12);
  f_111_001_101_110_1(uniques, 12);
  f_111_001_101_111_1(uniques, 12);
  f_111_001_110_000_1(uniques, 12);
  f_111_001_110_001_1(uniques, 12);
  f_111_001_110_010_1(uniques, 12);
  f_111_001_110_011_1(uniques, 12);
  f_111_001_110_100_1(uniques, 12);
  f_111_001_110_101_1(uniques, 12);
  f_111_001_110_110_1(uniques, 12);
  f_111_001_110_111_1(uniques, 12);
  f_111_001_111_000_1(uniques, 12);
  f_111_001_111_001_1(uniques, 12);
  f_111_001_111_010_1(uniques, 12);
  f_111_001_111_011_1(uniques, 12);
  f_111_001_111_100_1(uniques, 12);
  f_111_001_111_101_1(uniques, 12);
  f_111_001_111_110_1(uniques, 12);
  f_111_001_111_111_1(uniques, 12);
  f_111_010_000_000_1(uniques, 12);
  f_111_010_000_001_1(uniques, 12);
  f_111_010_000_010_1(uniques, 12);
  f_111_010_000_011_1(uniques, 12);
  f_111_010_000_100_1(uniques, 12);
  f_111_010_000_101_1(uniques, 12);
  f_111_010_000_110_1(uniques, 12);
  f_111_010_000_111_1(uniques, 12);
  f_111_010_001_000_1(uniques, 12);
  f_111_010_001_001_1(uniques, 12);
  f_111_010_001_010_1(uniques, 12);
  f_111_010_001_011_1(uniques, 12);
  f_111_010_001_100_1(uniques, 12);
  f_111_010_001_101_1(uniques, 12);
  f_111_010_001_110_1(uniques, 12);
  f_111_010_001_111_1(uniques, 12);
  f_111_010_010_000_1(uniques, 12);
  f_111_010_010_001_1(uniques, 12);
  f_111_010_010_010_1(uniques, 12);
  f_111_010_010_011_1(uniques, 12);
  f_111_010_010_100_1(uniques, 12);
  f_111_010_010_101_1(uniques, 12);
  f_111_010_010_110_1(uniques, 12);
  f_111_010_010_111_1(uniques, 12);
  f_111_010_011_000_1(uniques, 12);
  f_111_010_011_001_1(uniques, 12);
  f_111_010_011_010_1(uniques, 12);
  f_111_010_011_011_1(uniques, 12);
  f_111_010_011_100_1(uniques, 12);
  f_111_010_011_101_1(uniques, 12);
  f_111_010_011_110_1(uniques, 12);
  f_111_010_011_111_1(uniques, 12);
  f_111_010_100_000_1(uniques, 12);
  f_111_010_100_001_1(uniques, 12);
  f_111_010_100_010_1(uniques, 12);
  f_111_010_100_011_1(uniques, 12);
  f_111_010_100_100_1(uniques, 12);
  f_111_010_100_101_1(uniques, 12);
  f_111_010_100_110_1(uniques, 12);
  f_111_010_100_111_1(uniques, 12);
  f_111_010_101_000_1(uniques, 12);
  f_111_010_101_001_1(uniques, 12);
  f_111_010_101_010_1(uniques, 12);
  f_111_010_101_011_1(uniques, 12);
  f_111_010_101_100_1(uniques, 12);
  f_111_010_101_101_1(uniques, 12);
  f_111_010_101_110_1(uniques, 12);
  f_111_010_101_111_1(uniques, 12);
  f_111_010_110_000_1(uniques, 12);
  f_111_010_110_001_1(uniques, 12);
  f_111_010_110_010_1(uniques, 12);
  f_111_010_110_011_1(uniques, 12);
  f_111_010_110_100_1(uniques, 12);
  f_111_010_110_101_1(uniques, 12);
  f_111_010_110_110_1(uniques, 12);
  f_111_010_110_111_1(uniques, 12);
  f_111_010_111_000_1(uniques, 12);
  f_111_010_111_001_1(uniques, 12);
  f_111_010_111_010_1(uniques, 12);
  f_111_010_111_011_1(uniques, 12);
  f_111_010_111_100_1(uniques, 12);
  f_111_010_111_101_1(uniques, 12);
  f_111_010_111_110_1(uniques, 12);
  f_111_010_111_111_1(uniques, 12);
  f_111_011_000_000_1(uniques, 12);
  f_111_011_000_001_1(uniques, 12);
  f_111_011_000_010_1(uniques, 12);
  f_111_011_000_011_1(uniques, 12);
  f_111_011_000_100_1(uniques, 12);
  f_111_011_000_101_1(uniques, 12);
  f_111_011_000_110_1(uniques, 12);
  f_111_011_000_111_1(uniques, 12);
  f_111_011_001_000_1(uniques, 12);
  f_111_011_001_001_1(uniques, 12);
  f_111_011_001_010_1(uniques, 12);
  f_111_011_001_011_1(uniques, 12);
  f_111_011_001_100_1(uniques, 12);
  f_111_011_001_101_1(uniques, 12);
  f_111_011_001_110_1(uniques, 12);
  f_111_011_001_111_1(uniques, 12);
  f_111_011_010_000_1(uniques, 12);
  f_111_011_010_001_1(uniques, 12);
  f_111_011_010_010_1(uniques, 12);
  f_111_011_010_011_1(uniques, 12);
  f_111_011_010_100_1(uniques, 12);
  f_111_011_010_101_1(uniques, 12);
  f_111_011_010_110_1(uniques, 12);
  f_111_011_010_111_1(uniques, 12);
  f_111_011_011_000_1(uniques, 12);
  f_111_011_011_001_1(uniques, 12);
  f_111_011_011_010_1(uniques, 12);
  f_111_011_011_011_1(uniques, 12);
  f_111_011_011_100_1(uniques, 12);
  f_111_011_011_101_1(uniques, 12);
  f_111_011_011_110_1(uniques, 12);
  f_111_011_011_111_1(uniques, 12);
  f_111_011_100_000_1(uniques, 12);
  f_111_011_100_001_1(uniques, 12);
  f_111_011_100_010_1(uniques, 12);
  f_111_011_100_011_1(uniques, 12);
  f_111_011_100_100_1(uniques, 12);
  f_111_011_100_101_1(uniques, 12);
  f_111_011_100_110_1(uniques, 12);
  f_111_011_100_111_1(uniques, 12);
  f_111_011_101_000_1(uniques, 12);
  f_111_011_101_001_1(uniques, 12);
  f_111_011_101_010_1(uniques, 12);
  f_111_011_101_011_1(uniques, 12);
  f_111_011_101_100_1(uniques, 12);
  f_111_011_101_101_1(uniques, 12);
  f_111_011_101_110_1(uniques, 12);
  f_111_011_101_111_1(uniques, 12);
  f_111_011_110_000_1(uniques, 12);
  f_111_011_110_001_1(uniques, 12);
  f_111_011_110_010_1(uniques, 12);
  f_111_011_110_011_1(uniques, 12);
  f_111_011_110_100_1(uniques, 12);
  f_111_011_110_101_1(uniques, 12);
  f_111_011_110_110_1(uniques, 12);
  f_111_011_110_111_1(uniques, 12);
  f_111_011_111_000_1(uniques, 12);
  f_111_011_111_001_1(uniques, 12);
  f_111_011_111_010_1(uniques, 12);
  f_111_011_111_011_1(uniques, 12);
  f_111_011_111_100_1(uniques, 12);
  f_111_011_111_101_1(uniques, 12);
  f_111_011_111_110_1(uniques, 12);
  f_111_011_111_111_1(uniques, 12);
  f_111_100_000_000_1(uniques, 12);
  f_111_100_000_001_1(uniques, 12);
  f_111_100_000_010_1(uniques, 12);
  f_111_100_000_011_1(uniques, 12);
  f_111_100_000_100_1(uniques, 12);
  f_111_100_000_101_1(uniques, 12);
  f_111_100_000_110_1(uniques, 12);
  f_111_100_000_111_1(uniques, 12);
  f_111_100_001_000_1(uniques, 12);
  f_111_100_001_001_1(uniques, 12);
  f_111_100_001_010_1(uniques, 12);
  f_111_100_001_011_1(uniques, 12);
  f_111_100_001_100_1(uniques, 12);
  f_111_100_001_101_1(uniques, 12);
  f_111_100_001_110_1(uniques, 12);
  f_111_100_001_111_1(uniques, 12);
  f_111_100_010_000_1(uniques, 12);
  f_111_100_010_001_1(uniques, 12);
  f_111_100_010_010_1(uniques, 12);
  f_111_100_010_011_1(uniques, 12);
  f_111_100_010_100_1(uniques, 12);
  f_111_100_010_101_1(uniques, 12);
  f_111_100_010_110_1(uniques, 12);
  f_111_100_010_111_1(uniques, 12);
  f_111_100_011_000_1(uniques, 12);
  f_111_100_011_001_1(uniques, 12);
  f_111_100_011_010_1(uniques, 12);
  f_111_100_011_011_1(uniques, 12);
  f_111_100_011_100_1(uniques, 12);
  f_111_100_011_101_1(uniques, 12);
  f_111_100_011_110_1(uniques, 12);
  f_111_100_011_111_1(uniques, 12);
  f_111_100_100_000_1(uniques, 12);
  f_111_100_100_001_1(uniques, 12);
  f_111_100_100_010_1(uniques, 12);
  f_111_100_100_011_1(uniques, 12);
  f_111_100_100_100_1(uniques, 12);
  f_111_100_100_101_1(uniques, 12);
  f_111_100_100_110_1(uniques, 12);
  f_111_100_100_111_1(uniques, 12);
  f_111_100_101_000_1(uniques, 12);
  f_111_100_101_001_1(uniques, 12);
  f_111_100_101_010_1(uniques, 12);
  f_111_100_101_011_1(uniques, 12);
  f_111_100_101_100_1(uniques, 12);
  f_111_100_101_101_1(uniques, 12);
  f_111_100_101_110_1(uniques, 12);
  f_111_100_101_111_1(uniques, 12);
  f_111_100_110_000_1(uniques, 12);
  f_111_100_110_001_1(uniques, 12);
  f_111_100_110_010_1(uniques, 12);
  f_111_100_110_011_1(uniques, 12);
  f_111_100_110_100_1(uniques, 12);
  f_111_100_110_101_1(uniques, 12);
  f_111_100_110_110_1(uniques, 12);
  f_111_100_110_111_1(uniques, 12);
  f_111_100_111_000_1(uniques, 12);
  f_111_100_111_001_1(uniques, 12);
  f_111_100_111_010_1(uniques, 12);
  f_111_100_111_011_1(uniques, 12);
  f_111_100_111_100_1(uniques, 12);
  f_111_100_111_101_1(uniques, 12);
  f_111_100_111_110_1(uniques, 12);
  f_111_100_111_111_1(uniques, 12);
  f_111_101_000_000_1(uniques, 12);
  f_111_101_000_001_1(uniques, 12);
  f_111_101_000_010_1(uniques, 12);
  f_111_101_000_011_1(uniques, 12);
  f_111_101_000_100_1(uniques, 12);
  f_111_101_000_101_1(uniques, 12);
  f_111_101_000_110_1(uniques, 12);
  f_111_101_000_111_1(uniques, 12);
  f_111_101_001_000_1(uniques, 12);
  f_111_101_001_001_1(uniques, 12);
  f_111_101_001_010_1(uniques, 12);
  f_111_101_001_011_1(uniques, 12);
  f_111_101_001_100_1(uniques, 12);
  f_111_101_001_101_1(uniques, 12);
  f_111_101_001_110_1(uniques, 12);
  f_111_101_001_111_1(uniques, 12);
  f_111_101_010_000_1(uniques, 12);
  f_111_101_010_001_1(uniques, 12);
  f_111_101_010_010_1(uniques, 12);
  f_111_101_010_011_1(uniques, 12);
  f_111_101_010_100_1(uniques, 12);
  f_111_101_010_101_1(uniques, 12);
  f_111_101_010_110_1(uniques, 12);
  f_111_101_010_111_1(uniques, 12);
  f_111_101_011_000_1(uniques, 12);
  f_111_101_011_001_1(uniques, 12);
  f_111_101_011_010_1(uniques, 12);
  f_111_101_011_011_1(uniques, 12);
  f_111_101_011_100_1(uniques, 12);
  f_111_101_011_101_1(uniques, 12);
  f_111_101_011_110_1(uniques, 12);
  f_111_101_011_111_1(uniques, 12);
  f_111_101_100_000_1(uniques, 12);
  f_111_101_100_001_1(uniques, 12);
  f_111_101_100_010_1(uniques, 12);
  f_111_101_100_011_1(uniques, 12);
  f_111_101_100_100_1(uniques, 12);
  f_111_101_100_101_1(uniques, 12);
  f_111_101_100_110_1(uniques, 12);
  f_111_101_100_111_1(uniques, 12);
  f_111_101_101_000_1(uniques, 12);
  f_111_101_101_001_1(uniques, 12);
  f_111_101_101_010_1(uniques, 12);
  f_111_101_101_011_1(uniques, 12);
  f_111_101_101_100_1(uniques, 12);
  f_111_101_101_101_1(uniques, 12);
  f_111_101_101_110_1(uniques, 12);
  f_111_101_101_111_1(uniques, 12);
  f_111_101_110_000_1(uniques, 12);
  f_111_101_110_001_1(uniques, 12);
  f_111_101_110_010_1(uniques, 12);
  f_111_101_110_011_1(uniques, 12);
  f_111_101_110_100_1(uniques, 12);
  f_111_101_110_101_1(uniques, 12);
  f_111_101_110_110_1(uniques, 12);
  f_111_101_110_111_1(uniques, 12);
  f_111_101_111_000_1(uniques, 12);
  f_111_101_111_001_1(uniques, 12);
  f_111_101_111_010_1(uniques, 12);
  f_111_101_111_011_1(uniques, 12);
  f_111_101_111_100_1(uniques, 12);
  f_111_101_111_101_1(uniques, 12);
  f_111_101_111_110_1(uniques, 12);
  f_111_101_111_111_1(uniques, 12);
  f_111_110_000_000_1(uniques, 12);
  f_111_110_000_001_1(uniques, 12);
  f_111_110_000_010_1(uniques, 12);
  f_111_110_000_011_1(uniques, 12);
  f_111_110_000_100_1(uniques, 12);
  f_111_110_000_101_1(uniques, 12);
  f_111_110_000_110_1(uniques, 12);
  f_111_110_000_111_1(uniques, 12);
  f_111_110_001_000_1(uniques, 12);
  f_111_110_001_001_1(uniques, 12);
  f_111_110_001_010_1(uniques, 12);
  f_111_110_001_011_1(uniques, 12);
  f_111_110_001_100_1(uniques, 12);
  f_111_110_001_101_1(uniques, 12);
  f_111_110_001_110_1(uniques, 12);
  f_111_110_001_111_1(uniques, 12);
  f_111_110_010_000_1(uniques, 12);
  f_111_110_010_001_1(uniques, 12);
  f_111_110_010_010_1(uniques, 12);
  f_111_110_010_011_1(uniques, 12);
  f_111_110_010_100_1(uniques, 12);
  f_111_110_010_101_1(uniques, 12);
  f_111_110_010_110_1(uniques, 12);
  f_111_110_010_111_1(uniques, 12);
  f_111_110_011_000_1(uniques, 12);
  f_111_110_011_001_1(uniques, 12);
  f_111_110_011_010_1(uniques, 12);
  f_111_110_011_011_1(uniques, 12);
  f_111_110_011_100_1(uniques, 12);
  f_111_110_011_101_1(uniques, 12);
  f_111_110_011_110_1(uniques, 12);
  f_111_110_011_111_1(uniques, 12);
  f_111_110_100_000_1(uniques, 12);
  f_111_110_100_001_1(uniques, 12);
  f_111_110_100_010_1(uniques, 12);
  f_111_110_100_011_1(uniques, 12);
  f_111_110_100_100_1(uniques, 12);
  f_111_110_100_101_1(uniques, 12);
  f_111_110_100_110_1(uniques, 12);
  f_111_110_100_111_1(uniques, 12);
  f_111_110_101_000_1(uniques, 12);
  f_111_110_101_001_1(uniques, 12);
  f_111_110_101_010_1(uniques, 12);
  f_111_110_101_011_1(uniques, 12);
  f_111_110_101_100_1(uniques, 12);
  f_111_110_101_101_1(uniques, 12);
  f_111_110_101_110_1(uniques, 12);
  f_111_110_101_111_1(uniques, 12);
  f_111_110_110_000_1(uniques, 12);
  f_111_110_110_001_1(uniques, 12);
  f_111_110_110_010_1(uniques, 12);
  f_111_110_110_011_1(uniques, 12);
  f_111_110_110_100_1(uniques, 12);
  f_111_110_110_101_1(uniques, 12);
  f_111_110_110_110_1(uniques, 12);
  f_111_110_110_111_1(uniques, 12);
  f_111_110_111_000_1(uniques, 12);
  f_111_110_111_001_1(uniques, 12);
  f_111_110_111_010_1(uniques, 12);
  f_111_110_111_011_1(uniques, 12);
  f_111_110_111_100_1(uniques, 12);
  f_111_110_111_101_1(uniques, 12);
  f_111_110_111_110_1(uniques, 12);
  f_111_110_111_111_1(uniques, 12);
  f_111_111_000_000_1(uniques, 12);
  f_111_111_000_001_1(uniques, 12);
  f_111_111_000_010_1(uniques, 12);
  f_111_111_000_011_1(uniques, 12);
  f_111_111_000_100_1(uniques, 12);
  f_111_111_000_101_1(uniques, 12);
  f_111_111_000_110_1(uniques, 12);
  f_111_111_000_111_1(uniques, 12);
  f_111_111_001_000_1(uniques, 12);
  f_111_111_001_001_1(uniques, 12);
  f_111_111_001_010_1(uniques, 12);
  f_111_111_001_011_1(uniques, 12);
  f_111_111_001_100_1(uniques, 12);
  f_111_111_001_101_1(uniques, 12);
  f_111_111_001_110_1(uniques, 12);
  f_111_111_001_111_1(uniques, 12);
  f_111_111_010_000_1(uniques, 12);
  f_111_111_010_001_1(uniques, 12);
  f_111_111_010_010_1(uniques, 12);
  f_111_111_010_011_1(uniques, 12);
  f_111_111_010_100_1(uniques, 12);
  f_111_111_010_101_1(uniques, 12);
  f_111_111_010_110_1(uniques, 12);
  f_111_111_010_111_1(uniques, 12);
  f_111_111_011_000_1(uniques, 12);
  f_111_111_011_001_1(uniques, 12);
  f_111_111_011_010_1(uniques, 12);
  f_111_111_011_011_1(uniques, 12);
  f_111_111_011_100_1(uniques, 12);
  f_111_111_011_101_1(uniques, 12);
  f_111_111_011_110_1(uniques, 12);
  f_111_111_011_111_1(uniques, 12);
  f_111_111_100_000_1(uniques, 12);
  f_111_111_100_001_1(uniques, 12);
  f_111_111_100_010_1(uniques, 12);
  f_111_111_100_011_1(uniques, 12);
  f_111_111_100_100_1(uniques, 12);
  f_111_111_100_101_1(uniques, 12);
  f_111_111_100_110_1(uniques, 12);
  f_111_111_100_111_1(uniques, 12);
  f_111_111_101_000_1(uniques, 12);
  f_111_111_101_001_1(uniques, 12);
  f_111_111_101_010_1(uniques, 12);
  f_111_111_101_011_1(uniques, 12);
  f_111_111_101_100_1(uniques, 12);
  f_111_111_101_101_1(uniques, 12);
  f_111_111_101_110_1(uniques, 12);
  f_111_111_101_111_1(uniques, 12);
  f_111_111_110_000_1(uniques, 12);
  f_111_111_110_001_1(uniques, 12);
  f_111_111_110_010_1(uniques, 12);
  f_111_111_110_011_1(uniques, 12);
  f_111_111_110_100_1(uniques, 12);
  f_111_111_110_101_1(uniques, 12);
  f_111_111_110_110_1(uniques, 12);
  f_111_111_110_111_1(uniques, 12);
  f_111_111_111_000_1(uniques, 12);
  f_111_111_111_001_1(uniques, 12);
  f_111_111_111_010_1(uniques, 12);
  f_111_111_111_011_1(uniques, 12);
  f_111_111_111_100_1(uniques, 12);
  f_111_111_111_101_1(uniques, 12);
  f_111_111_111_110_1(uniques, 12);
  f_111_111_111_111_1(uniques, 12);
  Expect.equals(4096, uniques.length);
}