with builtins;
let
  nodes = genList (n: n + 1) 20; in
map (n: (
  rec {
    idx = 110 + n;
    name = "c0-${toString n}";
    address = "172.16.239.${toString idx}";
    ipoib = "10.1.6.${toString idx}";
    pubkey = ./. +  "/ssh_host_key.d/c0-${toString n}.pub";
  })) (filter (x: if x == 1 || x == 7 || x == 12 then false else true) nodes)