!7

p {
  File f = getProgramFile(#1010745, "logged-subspaces/subspace1.gz");
  AI_SubSpace subSpace = cast loadGZStructure(f);
  print("Have subspace with " + nWeb(subspace.webs));
}