<commit_before>;; These 2 bind links are not alpha-equivalent and should ideally have
;; different hash values.

(define bl-1
(BindLink
  (VariableList
    (TypedVariableLink
      (VariableNode "$B-a083600")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$B-5560bed3")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$Q-5fa8b92b")
      (TypeChoice
        (TypeNode "LambdaLink")
        (TypeNode "PredicateNode")
      )
    )
  )
  (AndLink
    (VariableNode "$B-a083600")
    (VariableNode "$Q-5fa8b92b")
    (NotLink
      (EqualLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-5fa8b92b")
      )
    )
    (NotLink
      (IdenticalLink
        (VariableNode "$B-a083600")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: gt-zero-confidence")
      (EquivalenceLink
        (PredicateNode "take-treatment-1")
        (VariableNode "$B-a083600")
      )
    )
    (ImplicationLink
      (AndLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-5fa8b92b")
      )
      (VariableNode "$B-5560bed3")
    )
    (ImplicationLink
      (VariableNode "$B-5560bed3")
      (LambdaLink
        (TypedVariableLink
          (VariableNode "$X")
          (TypeNode "ConceptNode")
        )
        (EvaluationLink
          (PredicateNode "take")
          (ListLink
            (VariableNode "$X")
            (ConceptNode "compound-A")
          )
        )
      )
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: implication-introduction-precondition")
      (ListLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-5fa8b92b")
      )
    )
    (NotLink
      (IdenticalLink
        (PredicateNode "take-treatment-1")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (NotLink
      (IdenticalLink
        (VariableNode "$B-5560bed3")
        (VariableNode "$B-a083600")
      )
    )
    (EquivalenceLink
      (PredicateNode "take-treatment-1")
      (VariableNode "$B-a083600")
    )
  )
  (ExecutionOutputLink
    (GroundedSchemaNode "scm: deduction-formula")
    (ListLink
      (ImplicationLink
        (PredicateNode "take-treatment-1")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
      (ExecutionOutputLink
        (GroundedSchemaNode "scm: equivalence-to-implication-formula")
        (ListLink
          (ImplicationLink
            (PredicateNode "take-treatment-1")
            (VariableNode "$B-a083600")
          )
          (EquivalenceLink
            (PredicateNode "take-treatment-1")
            (VariableNode "$B-a083600")
          )
        )
      )
      (ExecutionOutputLink
        (GroundedSchemaNode "scm: deduction-formula")
        (ListLink
          (ImplicationLink
            (VariableNode "$B-a083600")
            (LambdaLink
              (TypedVariableLink
                (VariableNode "$X")
                (TypeNode "ConceptNode")
              )
              (EvaluationLink
                (PredicateNode "take")
                (ListLink
                  (VariableNode "$X")
                  (ConceptNode "compound-A")
                )
              )
            )
          )
          (ExecutionOutputLink
            (GroundedSchemaNode "scm: deduction-formula")
            (ListLink
              (ImplicationLink
                (VariableNode "$B-a083600")
                (VariableNode "$B-5560bed3")
              )
              (ExecutionOutputLink
                (GroundedSchemaNode "scm: implication-implicant-distribution-formula")
                (ListLink
                  (ImplicationLink
                    (VariableNode "$B-a083600")
                    (AndLink
                      (VariableNode "$B-a083600")
                      (VariableNode "$Q-5fa8b92b")
                    )
                  )
                  (ExecutionOutputLink
                    (GroundedSchemaNode "scm: implication-introduction-formula")
                    (ListLink
                      (ImplicationLink
                        (VariableNode "$B-a083600")
                        (VariableNode "$Q-5fa8b92b")
                      )
                      (VariableNode "$B-a083600")
                      (VariableNode "$Q-5fa8b92b")
                    )
                  )
                )
              )
              (ImplicationLink
                (AndLink
                  (VariableNode "$B-a083600")
                  (VariableNode "$Q-5fa8b92b")
                )
                (VariableNode "$B-5560bed3")
              )
            )
          )
          (ImplicationLink
            (VariableNode "$B-5560bed3")
            (LambdaLink
              (TypedVariableLink
                (VariableNode "$X")
                (TypeNode "ConceptNode")
              )
              (EvaluationLink
                (PredicateNode "take")
                (ListLink
                  (VariableNode "$X")
                  (ConceptNode "compound-A")
                )
              )
            )
          )
        )
      )
    )
  )
)
)

(define bl-2
(BindLink
  (VariableList
    (TypedVariableLink
      (VariableNode "$B-a083600")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$B-79625a3")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$Q-1d91711a")
      (TypeChoice
        (TypeNode "LambdaLink")
        (TypeNode "PredicateNode")
      )
    )
  )
  (AndLink
    (VariableNode "$B-a083600")
    (VariableNode "$Q-1d91711a")
    (NotLink
      (EqualLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-1d91711a")
      )
    )
    (NotLink
      (IdenticalLink
        (VariableNode "$B-a083600")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (ImplicationLink
      (PredicateNode "take-treatment-1")
      (VariableNode "$B-79625a3")
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: gt-zero-confidence")
      (EquivalenceLink
        (VariableNode "$B-a083600")
        (VariableNode "$B-79625a3")
      )
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: implication-introduction-precondition")
      (ListLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-1d91711a")
      )
    )
    (NotLink
      (IdenticalLink
        (PredicateNode "take-treatment-1")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (EquivalenceLink
      (VariableNode "$B-a083600")
      (VariableNode "$B-79625a3")
    )
    (ImplicationLink
      (AndLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-1d91711a")
      )
      (LambdaLink
        (TypedVariableLink
          (VariableNode "$X")
          (TypeNode "ConceptNode")
        )
        (EvaluationLink
          (PredicateNode "take")
          (ListLink
            (VariableNode "$X")
            (ConceptNode "compound-A")
          )
        )
      )
    )
    (NotLink
      (IdenticalLink
        (PredicateNode "take-treatment-1")
        (VariableNode "$B-a083600")
      )
    )
  )
  (ExecutionOutputLink
    (GroundedSchemaNode "scm: deduction-formula")
    (ListLink
      (ImplicationLink
        (PredicateNode "take-treatment-1")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
      (ExecutionOutputLink
        (GroundedSchemaNode "scm: deduction-formula")
        (ListLink
          (ImplicationLink
            (PredicateNode "take-treatment-1")
            (VariableNode "$B-a083600")
          )
          (ImplicationLink
            (PredicateNode "take-treatment-1")
            (VariableNode "$B-79625a3")
          )
          (ExecutionOutputLink
            (GroundedSchemaNode "scm: equivalence-to-implication-formula")
            (ListLink
              (ImplicationLink
                (VariableNode "$B-79625a3")
                (VariableNode "$B-a083600")
              )
              (EquivalenceLink
                (VariableNode "$B-a083600")
                (VariableNode "$B-79625a3")
              )
            )
          )
        )
      )
      (ExecutionOutputLink
        (GroundedSchemaNode "scm: deduction-formula")
        (ListLink
          (ImplicationLink
            (VariableNode "$B-a083600")
            (LambdaLink
              (TypedVariableLink
                (VariableNode "$X")
                (TypeNode "ConceptNode")
              )
              (EvaluationLink
                (PredicateNode "take")
                (ListLink
                  (VariableNode "$X")
                  (ConceptNode "compound-A")
                )
              )
            )
          )
          (ExecutionOutputLink
            (GroundedSchemaNode "scm: implication-implicant-distribution-formula")
            (ListLink
              (ImplicationLink
                (VariableNode "$B-a083600")
                (AndLink
                  (VariableNode "$B-a083600")
                  (VariableNode "$Q-1d91711a")
                )
              )
              (ExecutionOutputLink
                (GroundedSchemaNode "scm: implication-introduction-formula")
                (ListLink
                  (ImplicationLink
                    (VariableNode "$B-a083600")
                    (VariableNode "$Q-1d91711a")
                  )
                  (VariableNode "$B-a083600")
                  (VariableNode "$Q-1d91711a")
                )
              )
            )
          )
          (ImplicationLink
            (AndLink
              (VariableNode "$B-a083600")
              (VariableNode "$Q-1d91711a")
            )
            (LambdaLink
              (TypedVariableLink
                (VariableNode "$X")
                (TypeNode "ConceptNode")
              )
              (EvaluationLink
                (PredicateNode "take")
                (ListLink
                  (VariableNode "$X")
                  (ConceptNode "compound-A")
                )
              )
            )
          )
        )
      )
    )
  )
)
)

;; These 2 get links are not alpha-equivalent and should ideally have
;; different hash values.

(define gl-1
(GetLink
  (VariableList
    (TypedVariableLink
      (VariableNode "$B-a083600")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$B-5560bed3")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$Q-5fa8b92b")
      (TypeChoice
        (TypeNode "LambdaLink")
        (TypeNode "PredicateNode")
      )
    )
  )
  (AndLink
    (VariableNode "$B-a083600")
    (VariableNode "$Q-5fa8b92b")
    (NotLink
      (EqualLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-5fa8b92b")
      )
    )
    (NotLink
      (IdenticalLink
        (VariableNode "$B-a083600")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: gt-zero-confidence")
      (EquivalenceLink
        (PredicateNode "take-treatment-1")
        (VariableNode "$B-a083600")
      )
    )
    (ImplicationLink
      (AndLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-5fa8b92b")
      )
      (VariableNode "$B-5560bed3")
    )
    (ImplicationLink
      (VariableNode "$B-5560bed3")
      (LambdaLink
        (TypedVariableLink
          (VariableNode "$X")
          (TypeNode "ConceptNode")
        )
        (EvaluationLink
          (PredicateNode "take")
          (ListLink
            (VariableNode "$X")
            (ConceptNode "compound-A")
          )
        )
      )
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: implication-introduction-precondition")
      (ListLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-5fa8b92b")
      )
    )
    (NotLink
      (IdenticalLink
        (PredicateNode "take-treatment-1")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (NotLink
      (IdenticalLink
        (VariableNode "$B-5560bed3")
        (VariableNode "$B-a083600")
      )
    )
    (EquivalenceLink
      (PredicateNode "take-treatment-1")
      (VariableNode "$B-a083600")
    )
  )
)
)

(define gl-2
(GetLink
  (VariableList
    (TypedVariableLink
      (VariableNode "$B-a083600")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$B-79625a3")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$Q-1d91711a")
      (TypeChoice
        (TypeNode "LambdaLink")
        (TypeNode "PredicateNode")
      )
    )
  )
  (AndLink
    (VariableNode "$B-a083600")
    (VariableNode "$Q-1d91711a")
    (NotLink
      (EqualLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-1d91711a")
      )
    )
    (NotLink
      (IdenticalLink
        (VariableNode "$B-a083600")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (ImplicationLink
      (PredicateNode "take-treatment-1")
      (VariableNode "$B-79625a3")
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: gt-zero-confidence")
      (EquivalenceLink
        (VariableNode "$B-a083600")
        (VariableNode "$B-79625a3")
      )
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: implication-introduction-precondition")
      (ListLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-1d91711a")
      )
    )
    (NotLink
      (IdenticalLink
        (PredicateNode "take-treatment-1")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (EquivalenceLink
      (VariableNode "$B-a083600")
      (VariableNode "$B-79625a3")
    )
    (ImplicationLink
      (AndLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-1d91711a")
      )
      (LambdaLink
        (TypedVariableLink
          (VariableNode "$X")
          (TypeNode "ConceptNode")
        )
        (EvaluationLink
          (PredicateNode "take")
          (ListLink
            (VariableNode "$X")
            (ConceptNode "compound-A")
          )
        )
      )
    )
    (NotLink
      (IdenticalLink
        (PredicateNode "take-treatment-1")
        (VariableNode "$B-a083600")
      )
    )
  )
)
)

(define hash-test1
    (LambdaLink
         (VariableList
           (VariableNode "$PM-565f9848")
           (VariableNode "$PM-164e1b09")
         )
         (ImplicationLink
           (InheritanceLink
             (VariableNode "$PM-565f9848")
             (VariableNode "$PM-164e1b09")
           )
           (InheritanceLink
             (VariableNode "$PM-565f9848")
             (VariableNode "$PM-164e1b09")
           )
         )
    )
)

(define hash-test2
    (LambdaLink
        (VariableList
          (VariableNode "$PM-164e1b09")
          (VariableNode "$PM-164e1b09-47189056")
        )
        (ImplicationLink
          (InheritanceLink
            (VariableNode "$PM-164e1b09")
            (VariableNode "$PM-164e1b09")
          )
          (InheritanceLink
            (VariableNode "$PM-164e1b09-47189056")
            (VariableNode "$PM-164e1b09-47189056")
          )
        )
    )
)

(define hash-test3
    (LambdaLink
        (VariableList
            (VariableNode "$PM-41da0db7-3475e0e1")
            (VariableNode "$PM-61bb02a1")
            (VariableNode "$PM-61bb02a1-5779870f")
        )
        (ImplicationLink
            (InheritanceLink
                (VariableNode "$PM-41da0db7-3475e0e1")
                (VariableNode "$PM-61bb02a1")
            )
            (InheritanceLink
                (VariableNode "$PM-41da0db7-3475e0e1")
                (VariableNode "$PM-61bb02a1-5779870f")
            )
        )
    )
)

(define hash-test4
    (LambdaLink
        (VariableList
            (VariableNode "$PM-61bb02a1-5779870f")
            (VariableNode "$PM-61bb02a1")
            (VariableNode "$PM-41da0db7-3475e0e1")
        )
        (ImplicationLink
            (InheritanceLink
                (VariableNode "$PM-61bb02a1-5779870f")
                (VariableNode "$PM-61bb02a1")
            )
            (InheritanceLink
                (VariableNode "$PM-41da0db7-3475e0e1")
                (VariableNode "$PM-61bb02a1-5779870f")
            )
        )
    )
)

(define hash-test5
    (LambdaLink
        (VariableList
            (VariableNode "$PM-61bb02a1-5779870f")
            (VariableNode "$PM-61bb02a1")
        )
        (ImplicationLink
            (InheritanceLink
                (VariableNode "$PM-61bb02a1-5779870f")
                (VariableNode "$PM-61bb02a1")
            )
            (InheritanceLink
                (VariableNode "$PM-61bb02a1-5779870f")
                (VariableNode "$PM-61bb02a1-5779870f")
            )
        )
    )
)

(define hash-test6
    (LambdaLink
        (VariableList
            (VariableNode "$PM-61bb02a1")
            (VariableNode "$PM-61bb02a1-5779870f")
        )
        (ImplicationLink
            (InheritanceLink
                (VariableNode "$PM-61bb02a1")
                (VariableNode "$PM-61bb02a1")
            )
            (InheritanceLink
                (VariableNode "$PM-61bb02a1")
                (VariableNode "$PM-61bb02a1-5779870f")
            )
        )
    )
)
<commit_msg>style<commit_after>;; These 2 bind links are not alpha-equivalent and should ideally have
;; different hash values.

(define bl-1
(BindLink
  (VariableList
    (TypedVariableLink
      (VariableNode "$B-a083600")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$B-5560bed3")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$Q-5fa8b92b")
      (TypeChoice
        (TypeNode "LambdaLink")
        (TypeNode "PredicateNode")
      )
    )
  )
  (AndLink
    (VariableNode "$B-a083600")
    (VariableNode "$Q-5fa8b92b")
    (NotLink
      (EqualLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-5fa8b92b")
      )
    )
    (NotLink
      (IdenticalLink
        (VariableNode "$B-a083600")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: gt-zero-confidence")
      (EquivalenceLink
        (PredicateNode "take-treatment-1")
        (VariableNode "$B-a083600")
      )
    )
    (ImplicationLink
      (AndLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-5fa8b92b")
      )
      (VariableNode "$B-5560bed3")
    )
    (ImplicationLink
      (VariableNode "$B-5560bed3")
      (LambdaLink
        (TypedVariableLink
          (VariableNode "$X")
          (TypeNode "ConceptNode")
        )
        (EvaluationLink
          (PredicateNode "take")
          (ListLink
            (VariableNode "$X")
            (ConceptNode "compound-A")
          )
        )
      )
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: implication-introduction-precondition")
      (ListLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-5fa8b92b")
      )
    )
    (NotLink
      (IdenticalLink
        (PredicateNode "take-treatment-1")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (NotLink
      (IdenticalLink
        (VariableNode "$B-5560bed3")
        (VariableNode "$B-a083600")
      )
    )
    (EquivalenceLink
      (PredicateNode "take-treatment-1")
      (VariableNode "$B-a083600")
    )
  )
  (ExecutionOutputLink
    (GroundedSchemaNode "scm: deduction-formula")
    (ListLink
      (ImplicationLink
        (PredicateNode "take-treatment-1")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
      (ExecutionOutputLink
        (GroundedSchemaNode "scm: equivalence-to-implication-formula")
        (ListLink
          (ImplicationLink
            (PredicateNode "take-treatment-1")
            (VariableNode "$B-a083600")
          )
          (EquivalenceLink
            (PredicateNode "take-treatment-1")
            (VariableNode "$B-a083600")
          )
        )
      )
      (ExecutionOutputLink
        (GroundedSchemaNode "scm: deduction-formula")
        (ListLink
          (ImplicationLink
            (VariableNode "$B-a083600")
            (LambdaLink
              (TypedVariableLink
                (VariableNode "$X")
                (TypeNode "ConceptNode")
              )
              (EvaluationLink
                (PredicateNode "take")
                (ListLink
                  (VariableNode "$X")
                  (ConceptNode "compound-A")
                )
              )
            )
          )
          (ExecutionOutputLink
            (GroundedSchemaNode "scm: deduction-formula")
            (ListLink
              (ImplicationLink
                (VariableNode "$B-a083600")
                (VariableNode "$B-5560bed3")
              )
              (ExecutionOutputLink
                (GroundedSchemaNode "scm: implication-implicant-distribution-formula")
                (ListLink
                  (ImplicationLink
                    (VariableNode "$B-a083600")
                    (AndLink
                      (VariableNode "$B-a083600")
                      (VariableNode "$Q-5fa8b92b")
                    )
                  )
                  (ExecutionOutputLink
                    (GroundedSchemaNode "scm: implication-introduction-formula")
                    (ListLink
                      (ImplicationLink
                        (VariableNode "$B-a083600")
                        (VariableNode "$Q-5fa8b92b")
                      )
                      (VariableNode "$B-a083600")
                      (VariableNode "$Q-5fa8b92b")
                    )
                  )
                )
              )
              (ImplicationLink
                (AndLink
                  (VariableNode "$B-a083600")
                  (VariableNode "$Q-5fa8b92b")
                )
                (VariableNode "$B-5560bed3")
              )
            )
          )
          (ImplicationLink
            (VariableNode "$B-5560bed3")
            (LambdaLink
              (TypedVariableLink
                (VariableNode "$X")
                (TypeNode "ConceptNode")
              )
              (EvaluationLink
                (PredicateNode "take")
                (ListLink
                  (VariableNode "$X")
                  (ConceptNode "compound-A")
                )
              )
            )
          )
        )
      )
    )
  )
)
)

(define bl-2
(BindLink
  (VariableList
    (TypedVariableLink
      (VariableNode "$B-a083600")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$B-79625a3")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$Q-1d91711a")
      (TypeChoice
        (TypeNode "LambdaLink")
        (TypeNode "PredicateNode")
      )
    )
  )
  (AndLink
    (VariableNode "$B-a083600")
    (VariableNode "$Q-1d91711a")
    (NotLink
      (EqualLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-1d91711a")
      )
    )
    (NotLink
      (IdenticalLink
        (VariableNode "$B-a083600")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (ImplicationLink
      (PredicateNode "take-treatment-1")
      (VariableNode "$B-79625a3")
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: gt-zero-confidence")
      (EquivalenceLink
        (VariableNode "$B-a083600")
        (VariableNode "$B-79625a3")
      )
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: implication-introduction-precondition")
      (ListLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-1d91711a")
      )
    )
    (NotLink
      (IdenticalLink
        (PredicateNode "take-treatment-1")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (EquivalenceLink
      (VariableNode "$B-a083600")
      (VariableNode "$B-79625a3")
    )
    (ImplicationLink
      (AndLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-1d91711a")
      )
      (LambdaLink
        (TypedVariableLink
          (VariableNode "$X")
          (TypeNode "ConceptNode")
        )
        (EvaluationLink
          (PredicateNode "take")
          (ListLink
            (VariableNode "$X")
            (ConceptNode "compound-A")
          )
        )
      )
    )
    (NotLink
      (IdenticalLink
        (PredicateNode "take-treatment-1")
        (VariableNode "$B-a083600")
      )
    )
  )
  (ExecutionOutputLink
    (GroundedSchemaNode "scm: deduction-formula")
    (ListLink
      (ImplicationLink
        (PredicateNode "take-treatment-1")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
      (ExecutionOutputLink
        (GroundedSchemaNode "scm: deduction-formula")
        (ListLink
          (ImplicationLink
            (PredicateNode "take-treatment-1")
            (VariableNode "$B-a083600")
          )
          (ImplicationLink
            (PredicateNode "take-treatment-1")
            (VariableNode "$B-79625a3")
          )
          (ExecutionOutputLink
            (GroundedSchemaNode "scm: equivalence-to-implication-formula")
            (ListLink
              (ImplicationLink
                (VariableNode "$B-79625a3")
                (VariableNode "$B-a083600")
              )
              (EquivalenceLink
                (VariableNode "$B-a083600")
                (VariableNode "$B-79625a3")
              )
            )
          )
        )
      )
      (ExecutionOutputLink
        (GroundedSchemaNode "scm: deduction-formula")
        (ListLink
          (ImplicationLink
            (VariableNode "$B-a083600")
            (LambdaLink
              (TypedVariableLink
                (VariableNode "$X")
                (TypeNode "ConceptNode")
              )
              (EvaluationLink
                (PredicateNode "take")
                (ListLink
                  (VariableNode "$X")
                  (ConceptNode "compound-A")
                )
              )
            )
          )
          (ExecutionOutputLink
            (GroundedSchemaNode "scm: implication-implicant-distribution-formula")
            (ListLink
              (ImplicationLink
                (VariableNode "$B-a083600")
                (AndLink
                  (VariableNode "$B-a083600")
                  (VariableNode "$Q-1d91711a")
                )
              )
              (ExecutionOutputLink
                (GroundedSchemaNode "scm: implication-introduction-formula")
                (ListLink
                  (ImplicationLink
                    (VariableNode "$B-a083600")
                    (VariableNode "$Q-1d91711a")
                  )
                  (VariableNode "$B-a083600")
                  (VariableNode "$Q-1d91711a")
                )
              )
            )
          )
          (ImplicationLink
            (AndLink
              (VariableNode "$B-a083600")
              (VariableNode "$Q-1d91711a")
            )
            (LambdaLink
              (TypedVariableLink
                (VariableNode "$X")
                (TypeNode "ConceptNode")
              )
              (EvaluationLink
                (PredicateNode "take")
                (ListLink
                  (VariableNode "$X")
                  (ConceptNode "compound-A")
                )
              )
            )
          )
        )
      )
    )
  )
)
)

;; These 2 get links are not alpha-equivalent and should ideally have
;; different hash values.

(define gl-1
(GetLink
  (VariableList
    (TypedVariableLink
      (VariableNode "$B-a083600")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$B-5560bed3")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$Q-5fa8b92b")
      (TypeChoice
        (TypeNode "LambdaLink")
        (TypeNode "PredicateNode")
      )
    )
  )
  (AndLink
    (VariableNode "$B-a083600")
    (VariableNode "$Q-5fa8b92b")
    (NotLink
      (EqualLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-5fa8b92b")
      )
    )
    (NotLink
      (IdenticalLink
        (VariableNode "$B-a083600")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: gt-zero-confidence")
      (EquivalenceLink
        (PredicateNode "take-treatment-1")
        (VariableNode "$B-a083600")
      )
    )
    (ImplicationLink
      (AndLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-5fa8b92b")
      )
      (VariableNode "$B-5560bed3")
    )
    (ImplicationLink
      (VariableNode "$B-5560bed3")
      (LambdaLink
        (TypedVariableLink
          (VariableNode "$X")
          (TypeNode "ConceptNode")
        )
        (EvaluationLink
          (PredicateNode "take")
          (ListLink
            (VariableNode "$X")
            (ConceptNode "compound-A")
          )
        )
      )
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: implication-introduction-precondition")
      (ListLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-5fa8b92b")
      )
    )
    (NotLink
      (IdenticalLink
        (PredicateNode "take-treatment-1")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (NotLink
      (IdenticalLink
        (VariableNode "$B-5560bed3")
        (VariableNode "$B-a083600")
      )
    )
    (EquivalenceLink
      (PredicateNode "take-treatment-1")
      (VariableNode "$B-a083600")
    )
  )
)
)

(define gl-2
(GetLink
  (VariableList
    (TypedVariableLink
      (VariableNode "$B-a083600")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$B-79625a3")
      (TypeChoice
        (TypeNode "OrLink")
        (TypeNode "AndLink")
        (TypeNode "LambdaLink")
        (TypeNode "NotLink")
        (TypeNode "PredicateNode")
      )
    )
    (TypedVariableLink
      (VariableNode "$Q-1d91711a")
      (TypeChoice
        (TypeNode "LambdaLink")
        (TypeNode "PredicateNode")
      )
    )
  )
  (AndLink
    (VariableNode "$B-a083600")
    (VariableNode "$Q-1d91711a")
    (NotLink
      (EqualLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-1d91711a")
      )
    )
    (NotLink
      (IdenticalLink
        (VariableNode "$B-a083600")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (ImplicationLink
      (PredicateNode "take-treatment-1")
      (VariableNode "$B-79625a3")
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: gt-zero-confidence")
      (EquivalenceLink
        (VariableNode "$B-a083600")
        (VariableNode "$B-79625a3")
      )
    )
    (EvaluationLink
      (GroundedPredicateNode "scm: implication-introduction-precondition")
      (ListLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-1d91711a")
      )
    )
    (NotLink
      (IdenticalLink
        (PredicateNode "take-treatment-1")
        (LambdaLink
          (TypedVariableLink
            (VariableNode "$X")
            (TypeNode "ConceptNode")
          )
          (EvaluationLink
            (PredicateNode "take")
            (ListLink
              (VariableNode "$X")
              (ConceptNode "compound-A")
            )
          )
        )
      )
    )
    (EquivalenceLink
      (VariableNode "$B-a083600")
      (VariableNode "$B-79625a3")
    )
    (ImplicationLink
      (AndLink
        (VariableNode "$B-a083600")
        (VariableNode "$Q-1d91711a")
      )
      (LambdaLink
        (TypedVariableLink
          (VariableNode "$X")
          (TypeNode "ConceptNode")
        )
        (EvaluationLink
          (PredicateNode "take")
          (ListLink
            (VariableNode "$X")
            (ConceptNode "compound-A")
          )
        )
      )
    )
    (NotLink
      (IdenticalLink
        (PredicateNode "take-treatment-1")
        (VariableNode "$B-a083600")
      )
    )
  )
)
)

(define hash-test1
(LambdaLink
    (VariableList
        (VariableNode "$PM-565f9848")
        (VariableNode "$PM-164e1b09")
    )
    (ImplicationLink
        (InheritanceLink
            (VariableNode "$PM-565f9848")
            (VariableNode "$PM-164e1b09")
        )
        (InheritanceLink
            (VariableNode "$PM-565f9848")
            (VariableNode "$PM-164e1b09")
        )
    )
)
)

(define hash-test2
(LambdaLink
    (VariableList
        (VariableNode "$PM-164e1b09")
        (VariableNode "$PM-164e1b09-47189056")
    )
    (ImplicationLink
        (InheritanceLink
            (VariableNode "$PM-164e1b09")
            (VariableNode "$PM-164e1b09")
        )
        (InheritanceLink
            (VariableNode "$PM-164e1b09-47189056")
            (VariableNode "$PM-164e1b09-47189056")
        )
    )
)
)

(define hash-test3
(LambdaLink
    (VariableList
        (VariableNode "$PM-41da0db7-3475e0e1")
        (VariableNode "$PM-61bb02a1")
        (VariableNode "$PM-61bb02a1-5779870f")
    )
    (ImplicationLink
        (InheritanceLink
            (VariableNode "$PM-41da0db7-3475e0e1")
            (VariableNode "$PM-61bb02a1")
        )
        (InheritanceLink
            (VariableNode "$PM-41da0db7-3475e0e1")
            (VariableNode "$PM-61bb02a1-5779870f")
        )
    )
)
)

(define hash-test4
(LambdaLink
    (VariableList
        (VariableNode "$PM-61bb02a1-5779870f")
        (VariableNode "$PM-61bb02a1")
        (VariableNode "$PM-41da0db7-3475e0e1")
    )
    (ImplicationLink
        (InheritanceLink
            (VariableNode "$PM-61bb02a1-5779870f")
            (VariableNode "$PM-61bb02a1")
        )
        (InheritanceLink
            (VariableNode "$PM-41da0db7-3475e0e1")
            (VariableNode "$PM-61bb02a1-5779870f")
        )
    )
)
)

(define hash-test5
(LambdaLink
    (VariableList
        (VariableNode "$PM-61bb02a1-5779870f")
        (VariableNode "$PM-61bb02a1")
    )
    (ImplicationLink
        (InheritanceLink
            (VariableNode "$PM-61bb02a1-5779870f")
            (VariableNode "$PM-61bb02a1")
        )
        (InheritanceLink
            (VariableNode "$PM-61bb02a1-5779870f")
            (VariableNode "$PM-61bb02a1-5779870f")
        )
    )
)
)

(define hash-test6
(LambdaLink
    (VariableList
        (VariableNode "$PM-61bb02a1")
        (VariableNode "$PM-61bb02a1-5779870f")
    )
    (ImplicationLink
        (InheritanceLink
            (VariableNode "$PM-61bb02a1")
            (VariableNode "$PM-61bb02a1")
        )
        (InheritanceLink
            (VariableNode "$PM-61bb02a1")
            (VariableNode "$PM-61bb02a1-5779870f")
        )
    )
)
)

{'fraction_non_alphanumeric': 0.10828391046489381, 'fraction_numerical': 0.045245838913334606, 'mean_word_length': 1.394605737845731, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6509603', 'n_tokens_mistral': 13605, 'n_tokens_neox': 12372, 'n_words': 1906}