((|Declare|
    |fact|
    (|Apply|
      ->
      (|Declare|
        |n|
        |PositiveInteger|
        ((|symeNameCode| . 200151)
          (|symeTypeCode| . 906721763)
          (|srcpos| . 3)
          (|constNum| . 0)))
      |PositiveInteger|)
    ((|symeNameCode| . 378945602)
      (|symeTypeCode| . 24557424)
      (|srcpos| . 3)
      (|constNum| . 0))))
(|Sequence|)