{
  "Name": "hanoi",
  "Title": "Towers of Hanoi",
  "SourceFile": "examples/n3/hanoi.n3",
  "SourceSHA256": "f2ef15363d9c2430bd3b68d500d3d256d241b8fcf4fd368b287a91e15289df1d",
  "Description": "",
  "Compiler": "see.js N3-to-JS compiler",
  "CompiledFacts": 0,
  "CompiledRules": 1,
  "CompiledBackwardRules": 2,
  "CompiledFuses": 0,
  "CompiledQueries": 0,
  "Builtins": [
    "list:append",
    "math:difference",
    "math:greaterThan"
  ]
}