public static void checkMasterNetworkList() {
    { PropositionNeuralNetwork net = null;
      Cons iter000 = Logic.$MASTER_NEURAL_NETWORK_LIST$.theConsList;
      int i = Stella.NULL_INTEGER;
      int iter001 = 0;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest, iter001 = iter001 + 1) {
        net = ((PropositionNeuralNetwork)(iter000.value));
        i = iter001;
        System.out.println("Net " + i + ": " + net.input.length() + " inputs, " + net.hidden.length() + " outputs.");
      }
    }
  }