!7

p {
  File f = getProgramFile(#1010745, "logged-subspaces/subspace2.gz");
  AI_SubSpace subSpace = cast loadGZStructure(f);
  print("Have subspace with " + nWeb(subSpace.webs));
  print("Sources: " + struct(collectUnique(subSpace.webs, 'source)));
  
  Web seedWeb = first(subSpace.webs);
  T3<S> seed = webToTriple(seedWeb);
  print("Seed: " + ai_renderTriple(seed));
  T3<S> goal = t3("$X", "answers", seed.a);
  print("Goal: " + ai_renderTriple(goal));
  Web solution = webNodeToWeb(last(webs_tripleSearch_dollarX(subSpace.webs, goal)));
  print("Solution: " + webToStringShort(solution));
  print("Solution source: " + solution.source);
}