text:
<http://trith.org/core/abs> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/abs> <http://trith.org/lang/code> _:genid8 .
<http://trith.org/core/abs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/abs> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/abs> <http://www.w3.org/2000/01/rdf-schema#label> "abs" .
<http://trith.org/core/add> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/add> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/add> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/add> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/add> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/add> <http://www.w3.org/2000/01/rdf-schema#label> "+" .
<http://trith.org/core/add> <http://www.w3.org/2000/01/rdf-schema#label> "add" .
<http://trith.org/core/and> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/and> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/and> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/and> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/and> <http://www.w3.org/2000/01/rdf-schema#comment> "Bitwise AND" .
<http://trith.org/core/and> <http://www.w3.org/2000/01/rdf-schema#label> "and" .
<http://trith.org/core/andp> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/andp> <http://trith.org/lang/code> _:genid24 .
<http://trith.org/core/andp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/andp> <http://www.w3.org/2000/01/rdf-schema#comment> "Logical AND" .
<http://trith.org/core/andp> <http://www.w3.org/2000/01/rdf-schema#label> "and?" .
<http://trith.org/core/andp> <http://www.w3.org/2000/01/rdf-schema#label> "andp" .
<http://trith.org/core/bool> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/bool> <http://trith.org/lang/code> _:genid29 .
<http://trith.org/core/bool> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/bool> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/bool> <http://www.w3.org/2000/01/rdf-schema#label> "bool" .
<http://trith.org/core/boolp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/boolp> <http://trith.org/lang/code> _:genid34 .
<http://trith.org/core/boolp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/boolp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/boolp> <http://www.w3.org/2000/01/rdf-schema#label> "bool?" .
<http://trith.org/core/boolp> <http://www.w3.org/2000/01/rdf-schema#label> "boolp" .
<http://trith.org/core/branch> <http://trith.org/lang/arity> "3"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/branch> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/branch> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/branch> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/branch> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/branch> <http://www.w3.org/2000/01/rdf-schema#label> "branch" .
<http://trith.org/core/branch> <http://www.w3.org/2000/01/rdf-schema#label> "if" .
<http://trith.org/core/call> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/call> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/call> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/call> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/call> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/call> <http://www.w3.org/2000/01/rdf-schema#label> "call" .
<http://trith.org/core/ceil> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/ceil> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/ceil> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/ceil> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/ceil> <http://www.w3.org/2000/01/rdf-schema#label> "ceil" .
<http://trith.org/core/chr> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/chr> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/chr> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/chr> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/chr> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/chr> <http://www.w3.org/2000/01/rdf-schema#label> "chr" .
<http://trith.org/core/chr> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <http://trith.org/core/ord> .
<http://trith.org/core/chrp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/chrp> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/chrp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/chrp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/chrp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/chrp> <http://www.w3.org/2000/01/rdf-schema#label> "chr?" .
<http://trith.org/core/chrp> <http://www.w3.org/2000/01/rdf-schema#label> "chrp" .
<http://trith.org/core/clear> <http://trith.org/lang/arity> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/clear> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/clear> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/clear> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/clear> <http://www.w3.org/2000/01/rdf-schema#comment> "Clear the data stack" .
<http://trith.org/core/clear> <http://www.w3.org/2000/01/rdf-schema#label> "clear" .
<http://trith.org/core/cmp> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/cmp> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/cmp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/cmp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/cmp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/cmp> <http://www.w3.org/2000/01/rdf-schema#label> "<=>" .
<http://trith.org/core/cmp> <http://www.w3.org/2000/01/rdf-schema#label> "cmp" .
<http://trith.org/core/concat> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/concat> <http://trith.org/lang/code> _:genid52 .
<http://trith.org/core/concat> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/concat> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/concat> <http://www.w3.org/2000/01/rdf-schema#label> "concat" .
<http://trith.org/core/cons> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/cons> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/cons> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/cons> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/cons> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/cons> <http://www.w3.org/2000/01/rdf-schema#label> "cons" .
<http://trith.org/core/dec> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/dec> <http://trith.org/lang/code> _:genid61 .
<http://trith.org/core/dec> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/dec> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/dec> <http://www.w3.org/2000/01/rdf-schema#label> "dec" .
<http://trith.org/core/depth> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/depth> <http://trith.org/lang/code> _:genid59 .
<http://trith.org/core/depth> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/depth> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/depth> <http://www.w3.org/2000/01/rdf-schema#label> "depth" .
<http://trith.org/core/dip> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/dip> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/dip> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/dip> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/dip> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/dip> <http://www.w3.org/2000/01/rdf-schema#label> "dip" .
<http://trith.org/core/div> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/div> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/div> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/div> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/div> <http://www.w3.org/2000/01/rdf-schema#label> "/" .
<http://trith.org/core/div> <http://www.w3.org/2000/01/rdf-schema#label> "div" .
<http://trith.org/core/drop2> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/drop2> <http://trith.org/lang/code> _:genid64 .
<http://trith.org/core/drop2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/drop2> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/drop2> <http://www.w3.org/2000/01/rdf-schema#label> "2drop" .
<http://trith.org/core/drop2> <http://www.w3.org/2000/01/rdf-schema#label> "drop2" .
<http://trith.org/core/drop3> <http://trith.org/lang/arity> "3"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/drop3> <http://trith.org/lang/code> _:genid67 .
<http://trith.org/core/drop3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/drop3> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/drop3> <http://www.w3.org/2000/01/rdf-schema#label> "3drop" .
<http://trith.org/core/drop3> <http://www.w3.org/2000/01/rdf-schema#label> "drop3" .
<http://trith.org/core/drop> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/drop> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/drop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/drop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/drop> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/drop> <http://www.w3.org/2000/01/rdf-schema#label> "drop" .
<http://trith.org/core/dup2> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/dup2> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/dup2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/dup2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/dup2> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/dup2> <http://www.w3.org/2000/01/rdf-schema#label> "2dup" .
<http://trith.org/core/dup2> <http://www.w3.org/2000/01/rdf-schema#label> "dup2" .
<http://trith.org/core/dup3> <http://trith.org/lang/arity> "3"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/dup3> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/dup3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/dup3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/dup3> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/dup3> <http://www.w3.org/2000/01/rdf-schema#label> "3dup" .
<http://trith.org/core/dup3> <http://www.w3.org/2000/01/rdf-schema#label> "dup3" .
<http://trith.org/core/dup> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/dup> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/dup> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/dup> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/dup> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/dup> <http://www.w3.org/2000/01/rdf-schema#label> "dup" .
<http://trith.org/core/each> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/each> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/each> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/each> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/each> <http://www.w3.org/2000/01/rdf-schema#label> "each" .
<http://trith.org/core/eighth> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/eighth> <http://trith.org/lang/code> _:genid69 .
<http://trith.org/core/eighth> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/eighth> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/eighth> <http://www.w3.org/2000/01/rdf-schema#label> "eighth" .
<http://trith.org/core/emptyp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/emptyp> <http://trith.org/lang/code> _:genid71 .
<http://trith.org/core/emptyp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/emptyp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/emptyp> <http://www.w3.org/2000/01/rdf-schema#label> "empty?" .
<http://trith.org/core/emptyp> <http://www.w3.org/2000/01/rdf-schema#label> "emptyp" .
<http://trith.org/core/eq> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/eq> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/eq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/eq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/eq> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/eq> <http://www.w3.org/2000/01/rdf-schema#label> "=" .
<http://trith.org/core/eq> <http://www.w3.org/2000/01/rdf-schema#label> "eq" .
<http://trith.org/core/evenp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/evenp> <http://trith.org/lang/code> _:genid74 .
<http://trith.org/core/evenp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/evenp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/evenp> <http://www.w3.org/2000/01/rdf-schema#label> "even?" .
<http://trith.org/core/evenp> <http://www.w3.org/2000/01/rdf-schema#label> "evenp" .
<http://trith.org/core/exactp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/exactp> <http://trith.org/lang/code> _:genid76 .
<http://trith.org/core/exactp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/exactp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/exactp> <http://www.w3.org/2000/01/rdf-schema#label> "exact?" .
<http://trith.org/core/exactp> <http://www.w3.org/2000/01/rdf-schema#label> "exactp" .
<http://trith.org/core/false> <http://trith.org/lang/arity> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/false> <http://trith.org/lang/code> _:genid78 .
<http://trith.org/core/false> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/false> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/false> <http://www.w3.org/2000/01/rdf-schema#label> "false" .
<http://trith.org/core/falsep> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/falsep> <http://trith.org/lang/code> _:genid80 .
<http://trith.org/core/falsep> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/falsep> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/falsep> <http://www.w3.org/2000/01/rdf-schema#label> "false?" .
<http://trith.org/core/falsep> <http://www.w3.org/2000/01/rdf-schema#label> "falsep" .
<http://trith.org/core/fifth> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/fifth> <http://trith.org/lang/code> _:genid82 .
<http://trith.org/core/fifth> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/fifth> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/fifth> <http://www.w3.org/2000/01/rdf-schema#label> "fifth" .
<http://trith.org/core/first> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/first> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/first> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/first> <http://www.w3.org/2000/01/rdf-schema#label> "first" .
<http://trith.org/core/flatten> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/flatten> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/flatten> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/flatten> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/flatten> <http://www.w3.org/2000/01/rdf-schema#label> "flatten" .
<http://trith.org/core/floor> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/floor> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/floor> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/floor> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/floor> <http://www.w3.org/2000/01/rdf-schema#label> "floor" .
<http://trith.org/core/foldl1> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/foldl1> <http://trith.org/lang/code> _:genid212 .
<http://trith.org/core/foldl1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/foldl1> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/foldl1> <http://www.w3.org/2000/01/rdf-schema#label> "foldl1" .
<http://trith.org/core/foldl> <http://trith.org/lang/arity> "3"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/foldl> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/foldl> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/foldl> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/foldl> <http://www.w3.org/2000/01/rdf-schema#label> "fold" .
<http://trith.org/core/foldl> <http://www.w3.org/2000/01/rdf-schema#label> "foldl" .
<http://trith.org/core/foldl> <http://www.w3.org/2000/01/rdf-schema#label> "reduce" .
<http://trith.org/core/fourth> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/fourth> <http://trith.org/lang/code> _:genid84 .
<http://trith.org/core/fourth> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/fourth> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/fourth> <http://www.w3.org/2000/01/rdf-schema#label> "fourth" .
<http://trith.org/core/ge> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/ge> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/ge> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/ge> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/ge> <http://www.w3.org/2000/01/rdf-schema#label> ">=" .
<http://trith.org/core/ge> <http://www.w3.org/2000/01/rdf-schema#label> "ge" .
<http://trith.org/core/gt> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/gt> <http://trith.org/lang/code> _:genid86 .
<http://trith.org/core/gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/gt> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/gt> <http://www.w3.org/2000/01/rdf-schema#label> ">" .
<http://trith.org/core/gt> <http://www.w3.org/2000/01/rdf-schema#label> "gt" .
<http://trith.org/core/halt> <http://trith.org/lang/arity> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/halt> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/halt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/halt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/halt> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/halt> <http://www.w3.org/2000/01/rdf-schema#label> "halt" .
<http://trith.org/core/inc> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/inc> <http://trith.org/lang/code> _:genid88 .
<http://trith.org/core/inc> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/inc> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/inc> <http://www.w3.org/2000/01/rdf-schema#label> "inc" .
<http://trith.org/core/inexactp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/inexactp> <http://trith.org/lang/code> _:genid90 .
<http://trith.org/core/inexactp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/inexactp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/inexactp> <http://www.w3.org/2000/01/rdf-schema#label> "inexact?" .
<http://trith.org/core/inexactp> <http://www.w3.org/2000/01/rdf-schema#label> "inexactp" .
<http://trith.org/core/inf> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/inf> <http://trith.org/lang/code> _:genid93 .
<http://trith.org/core/inf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/inf> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/inf> <http://www.w3.org/2000/01/rdf-schema#label> "inf" .
<http://trith.org/core/infp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/infp> <http://trith.org/lang/code> _:genid96 .
<http://trith.org/core/infp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/infp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/infp> <http://www.w3.org/2000/01/rdf-schema#label> "inf?" .
<http://trith.org/core/infp> <http://www.w3.org/2000/01/rdf-schema#label> "infp" .
<http://trith.org/core/intp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/intp> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/intp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/intp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/intp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/intp> <http://www.w3.org/2000/01/rdf-schema#label> "int?" .
<http://trith.org/core/intp> <http://www.w3.org/2000/01/rdf-schema#label> "intp" .
<http://trith.org/core/iota> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/iota> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/iota> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/iota> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/iota> <http://www.w3.org/2000/01/rdf-schema#label> "iota" .
<http://trith.org/core/last> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/last> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/last> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/last> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/last> <http://www.w3.org/2000/01/rdf-schema#label> "last" .
<http://trith.org/core/le> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/le> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/le> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/le> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/le> <http://www.w3.org/2000/01/rdf-schema#label> "<=" .
<http://trith.org/core/le> <http://www.w3.org/2000/01/rdf-schema#label> "le" .
<http://trith.org/core/length> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/length> <http://trith.org/lang/code> _:genid107 .
<http://trith.org/core/length> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/length> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/length> <http://www.w3.org/2000/01/rdf-schema#label> "length" .
<http://trith.org/core/list> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/list> <http://trith.org/lang/code> _:genid114 .
<http://trith.org/core/list> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/list> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/list> <http://www.w3.org/2000/01/rdf-schema#label> "list" .
<http://trith.org/core/loop> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/loop> <http://trith.org/lang/code> _:genid119 .
<http://trith.org/core/loop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/loop> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/loop> <http://www.w3.org/2000/01/rdf-schema#label> "loop" .
<http://trith.org/core/lt> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/lt> <http://trith.org/lang/code> _:genid122 .
<http://trith.org/core/lt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/lt> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/lt> <http://www.w3.org/2000/01/rdf-schema#label> "<" .
<http://trith.org/core/lt> <http://www.w3.org/2000/01/rdf-schema#label> "lt" .
<http://trith.org/core/map> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/map> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/map> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/map> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/map> <http://www.w3.org/2000/01/rdf-schema#label> "map" .
<http://trith.org/core/max> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/max> <http://trith.org/lang/code> _:genid130 .
<http://trith.org/core/max> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/max> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/max> <http://www.w3.org/2000/01/rdf-schema#label> "max" .
<http://trith.org/core/memberp> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/memberp> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/memberp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/memberp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/memberp> <http://www.w3.org/2000/01/rdf-schema#label> "member?" .
<http://trith.org/core/memberp> <http://www.w3.org/2000/01/rdf-schema#label> "memberp" .
<http://trith.org/core/min> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/min> <http://trith.org/lang/code> _:genid138 .
<http://trith.org/core/min> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/min> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/min> <http://www.w3.org/2000/01/rdf-schema#label> "min" .
<http://trith.org/core/mod> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/mod> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/mod> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/mod> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/mod> <http://www.w3.org/2000/01/rdf-schema#label> "mod" .
<http://trith.org/core/mul> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/mul> <http://trith.org/lang/code> _:genid147 .
<http://trith.org/core/mul> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/mul> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/mul> <http://www.w3.org/2000/01/rdf-schema#label> "*" .
<http://trith.org/core/mul> <http://www.w3.org/2000/01/rdf-schema#label> "mul" .
<http://trith.org/core/ne> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/ne> <http://trith.org/lang/code> _:genid149 .
<http://trith.org/core/ne> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/ne> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/ne> <http://www.w3.org/2000/01/rdf-schema#label> "!=" .
<http://trith.org/core/ne> <http://www.w3.org/2000/01/rdf-schema#label> "ne" .
<http://trith.org/core/neg> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/neg> <http://trith.org/lang/code> _:genid152 .
<http://trith.org/core/neg> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/neg> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/neg> <http://www.w3.org/2000/01/rdf-schema#label> "neg" .
<http://trith.org/core/negp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/negp> <http://trith.org/lang/code> _:genid154 .
<http://trith.org/core/negp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/negp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/negp> <http://www.w3.org/2000/01/rdf-schema#label> "neg?" .
<http://trith.org/core/negp> <http://www.w3.org/2000/01/rdf-schema#label> "negp" .
<http://trith.org/core/nil> <http://trith.org/lang/arity> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/nil> <http://trith.org/lang/code> _:genid156 .
<http://trith.org/core/nil> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/nil> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/nil> <http://www.w3.org/2000/01/rdf-schema#label> "nil" .
<http://trith.org/core/nilp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/nilp> <http://trith.org/lang/code> _:genid158 .
<http://trith.org/core/nilp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/nilp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/nilp> <http://www.w3.org/2000/01/rdf-schema#label> "nil?" .
<http://trith.org/core/nilp> <http://www.w3.org/2000/01/rdf-schema#label> "nilp" .
<http://trith.org/core/ninth> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/ninth> <http://trith.org/lang/code> _:genid160 .
<http://trith.org/core/ninth> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/ninth> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/ninth> <http://www.w3.org/2000/01/rdf-schema#label> "ninth" .
<http://trith.org/core/nip2> <http://trith.org/lang/arity> "3"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/nip2> <http://trith.org/lang/code> _:genid166 .
<http://trith.org/core/nip2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/nip2> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/nip2> <http://www.w3.org/2000/01/rdf-schema#label> "2nip" .
<http://trith.org/core/nip2> <http://www.w3.org/2000/01/rdf-schema#label> "nip2" .
<http://trith.org/core/nip> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/nip> <http://trith.org/lang/code> _:genid162 .
<http://trith.org/core/nip> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/nip> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/nip> <http://www.w3.org/2000/01/rdf-schema#label> "nip" .
<http://trith.org/core/nop> <http://trith.org/lang/arity> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/nop> <http://trith.org/lang/code> _:genid168 .
<http://trith.org/core/nop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/nop> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/nop> <http://www.w3.org/2000/01/rdf-schema#label> "," .
<http://trith.org/core/nop> <http://www.w3.org/2000/01/rdf-schema#label> ";" .
<http://trith.org/core/nop> <http://www.w3.org/2000/01/rdf-schema#label> "nop" .
<http://trith.org/core/not> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/not> <http://trith.org/lang/code> _:genid170 .
<http://trith.org/core/not> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/not> <http://www.w3.org/2000/01/rdf-schema#comment> "Bitwise NOT" .
<http://trith.org/core/not> <http://www.w3.org/2000/01/rdf-schema#label> "not" .
<http://trith.org/core/notp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/notp> <http://trith.org/lang/code> _:genid175 .
<http://trith.org/core/notp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/notp> <http://www.w3.org/2000/01/rdf-schema#comment> "Logical NOT" .
<http://trith.org/core/notp> <http://www.w3.org/2000/01/rdf-schema#label> "not?" .
<http://trith.org/core/notp> <http://www.w3.org/2000/01/rdf-schema#label> "notp" .
<http://trith.org/core/nth> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/nth> <http://trith.org/lang/code> _:genid180 .
<http://trith.org/core/nth> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/nth> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/nth> <http://www.w3.org/2000/01/rdf-schema#label> "nth" .
<http://trith.org/core/num> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/num> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/num> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/num> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/num> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/num> <http://www.w3.org/2000/01/rdf-schema#label> "num" .
<http://trith.org/core/nump> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/nump> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/nump> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/nump> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/nump> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/nump> <http://www.w3.org/2000/01/rdf-schema#label> "num?" .
<http://trith.org/core/nump> <http://www.w3.org/2000/01/rdf-schema#label> "nump" .
<http://trith.org/core/oddp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/oddp> <http://trith.org/lang/code> _:genid182 .
<http://trith.org/core/oddp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/oddp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/oddp> <http://www.w3.org/2000/01/rdf-schema#label> "odd?" .
<http://trith.org/core/oddp> <http://www.w3.org/2000/01/rdf-schema#label> "oddp" .
<http://trith.org/core/onep> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/onep> <http://trith.org/lang/code> _:genid184 .
<http://trith.org/core/onep> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/onep> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/onep> <http://www.w3.org/2000/01/rdf-schema#label> "one?" .
<http://trith.org/core/onep> <http://www.w3.org/2000/01/rdf-schema#label> "onep" .
<http://trith.org/core/or> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/or> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/or> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/or> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/or> <http://www.w3.org/2000/01/rdf-schema#comment> "Bitwise OR" .
<http://trith.org/core/or> <http://www.w3.org/2000/01/rdf-schema#label> "or" .
<http://trith.org/core/ord> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/ord> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/ord> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/ord> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/ord> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/ord> <http://www.w3.org/2000/01/rdf-schema#label> "ord" .
<http://trith.org/core/ord> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <http://trith.org/core/chr> .
<http://trith.org/core/orp> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/orp> <http://trith.org/lang/code> _:genid192 .
<http://trith.org/core/orp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/orp> <http://www.w3.org/2000/01/rdf-schema#comment> "Logical OR" .
<http://trith.org/core/orp> <http://www.w3.org/2000/01/rdf-schema#label> "or?" .
<http://trith.org/core/orp> <http://www.w3.org/2000/01/rdf-schema#label> "orp" .
<http://trith.org/core/over> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/over> <http://trith.org/lang/code> _:genid194 .
<http://trith.org/core/over> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/over> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/over> <http://www.w3.org/2000/01/rdf-schema#label> "over" .
<http://trith.org/core/pick> <http://trith.org/lang/arity> "3"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/pick> <http://trith.org/lang/code> _:genid196 .
<http://trith.org/core/pick> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/pick> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/pick> <http://www.w3.org/2000/01/rdf-schema#label> "pick" .
<http://trith.org/core/posp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/posp> <http://trith.org/lang/code> _:genid198 .
<http://trith.org/core/posp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/posp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/posp> <http://www.w3.org/2000/01/rdf-schema#label> "pos?" .
<http://trith.org/core/posp> <http://www.w3.org/2000/01/rdf-schema#label> "posp" .
<http://trith.org/core/pow> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/pow> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/pow> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/pow> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/pow> <http://www.w3.org/2000/01/rdf-schema#label> "pow" .
<http://trith.org/core/print> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/print> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/print> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/print> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/print> <http://www.w3.org/2000/01/rdf-schema#label> "." .
<http://trith.org/core/print> <http://www.w3.org/2000/01/rdf-schema#label> "print!" .
<http://trith.org/core/print> <http://www.w3.org/2000/01/rdf-schema#label> "print" .
<http://trith.org/core/quote> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/quote> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/quote> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/quote> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/quote> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/quote> <http://www.w3.org/2000/01/rdf-schema#label> "'" .
<http://trith.org/core/quote> <http://www.w3.org/2000/01/rdf-schema#label> "\\" .
<http://trith.org/core/quote> <http://www.w3.org/2000/01/rdf-schema#label> "quote" .
<http://trith.org/core/range> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/range> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/range> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/range> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/range> <http://www.w3.org/2000/01/rdf-schema#label> "range" .
<http://trith.org/core/rem> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/rem> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/rem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/rem> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/rem> <http://www.w3.org/2000/01/rdf-schema#label> "rem" .
<http://trith.org/core/reset> <http://trith.org/lang/arity> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/reset> <http://trith.org/lang/code> _:genid214 .
<http://trith.org/core/reset> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/reset> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/reset> <http://www.w3.org/2000/01/rdf-schema#label> "reset" .
<http://trith.org/core/rest> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/rest> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/rest> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/rest> <http://www.w3.org/2000/01/rdf-schema#label> "rest" .
<http://trith.org/core/reverse> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/reverse> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/reverse> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/reverse> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/reverse> <http://www.w3.org/2000/01/rdf-schema#label> "reverse" .
<http://trith.org/core/rot> <http://trith.org/lang/arity> "3"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/rot> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/rot> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/rot> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/rot> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/rot> <http://www.w3.org/2000/01/rdf-schema#label> "rot" .
<http://trith.org/core/second> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/second> <http://trith.org/lang/code> _:genid216 .
<http://trith.org/core/second> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/second> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/second> <http://www.w3.org/2000/01/rdf-schema#label> "second" .
<http://trith.org/core/seq> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/seq> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/seq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/seq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/seq> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/seq> <http://www.w3.org/2000/01/rdf-schema#label> "seq" .
<http://trith.org/core/seqp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/seqp> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/seqp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/seqp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/seqp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/seqp> <http://www.w3.org/2000/01/rdf-schema#label> "seq?" .
<http://trith.org/core/seqp> <http://www.w3.org/2000/01/rdf-schema#label> "seqp" .
<http://trith.org/core/seventh> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/seventh> <http://trith.org/lang/code> _:genid218 .
<http://trith.org/core/seventh> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/seventh> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/seventh> <http://www.w3.org/2000/01/rdf-schema#label> "seventh" .
<http://trith.org/core/shl> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/shl> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/shl> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/shl> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/shl> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/shl> <http://www.w3.org/2000/01/rdf-schema#label> "shl" .
<http://trith.org/core/shr> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/shr> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/shr> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/shr> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/shr> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/shr> <http://www.w3.org/2000/01/rdf-schema#label> "shr" .
<http://trith.org/core/sixth> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/sixth> <http://trith.org/lang/code> _:genid220 .
<http://trith.org/core/sixth> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/sixth> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/sixth> <http://www.w3.org/2000/01/rdf-schema#label> "sixth" .
<http://trith.org/core/size> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/size> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/size> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/size> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/size> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/size> <http://www.w3.org/2000/01/rdf-schema#label> "size" .
<http://trith.org/core/stack> <http://trith.org/lang/arity> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/stack> <http://trith.org/lang/code> _:genid222 .
<http://trith.org/core/stack> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/stack> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/stack> <http://www.w3.org/2000/01/rdf-schema#label> "stack" .
<http://trith.org/core/sub> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/sub> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/sub> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/sub> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/sub> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/sub> <http://www.w3.org/2000/01/rdf-schema#label> "-" .
<http://trith.org/core/sub> <http://www.w3.org/2000/01/rdf-schema#label> "sub" .
<http://trith.org/core/swap> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/swap> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/swap> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/swap> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/swap> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/swap> <http://www.w3.org/2000/01/rdf-schema#label> "swap" .
<http://trith.org/core/tenth> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/tenth> <http://trith.org/lang/code> _:genid224 .
<http://trith.org/core/tenth> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/tenth> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/tenth> <http://www.w3.org/2000/01/rdf-schema#label> "tenth" .
<http://trith.org/core/text> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/text> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/text> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/text> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/text> <http://www.w3.org/2000/01/rdf-schema#label> "text" .
<http://trith.org/core/textp> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/textp> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/textp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/textp> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/textp> <http://www.w3.org/2000/01/rdf-schema#label> "text?" .
<http://trith.org/core/textp> <http://www.w3.org/2000/01/rdf-schema#label> "textp" .
<http://trith.org/core/third> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/third> <http://trith.org/lang/code> _:genid226 .
<http://trith.org/core/third> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/third> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/third> <http://www.w3.org/2000/01/rdf-schema#label> "third" .
<http://trith.org/core/thrice> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/thrice> <http://trith.org/lang/code> _:genid228 .
<http://trith.org/core/thrice> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/thrice> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/thrice> <http://www.w3.org/2000/01/rdf-schema#label> "3x" .
<http://trith.org/core/thrice> <http://www.w3.org/2000/01/rdf-schema#label> "thrice" .
<http://trith.org/core/times> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/times> <http://trith.org/lang/code> _:genid237 .
<http://trith.org/core/times> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/times> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/times> <http://www.w3.org/2000/01/rdf-schema#label> "times" .
<http://trith.org/core/true> <http://trith.org/lang/arity> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/true> <http://trith.org/lang/code> _:genid239 .
<http://trith.org/core/true> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/true> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/true> <http://www.w3.org/2000/01/rdf-schema#label> "true" .
<http://trith.org/core/truep> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/truep> <http://trith.org/lang/code> _:genid241 .
<http://trith.org/core/truep> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/truep> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/truep> <http://www.w3.org/2000/01/rdf-schema#label> "true?" .
<http://trith.org/core/truep> <http://www.w3.org/2000/01/rdf-schema#label> "truep" .
<http://trith.org/core/twice> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/twice> <http://trith.org/lang/code> _:genid243 .
<http://trith.org/core/twice> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/twice> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/twice> <http://www.w3.org/2000/01/rdf-schema#label> "2x" .
<http://trith.org/core/twice> <http://www.w3.org/2000/01/rdf-schema#label> "twice" .
<http://trith.org/core/uncons> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/uncons> <http://trith.org/lang/code> _:genid247 .
<http://trith.org/core/uncons> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Operator> .
<http://trith.org/core/uncons> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/uncons> <http://www.w3.org/2000/01/rdf-schema#label> "uncons" .
<http://trith.org/core/unless> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/unless> <http://trith.org/lang/code> _:genid251 .
<http://trith.org/core/unless> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/unless> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/unless> <http://www.w3.org/2000/01/rdf-schema#label> "unless" .
<http://trith.org/core/unstack> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/unstack> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/unstack> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/unstack> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/unstack> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/unstack> <http://www.w3.org/2000/01/rdf-schema#label> "unstack" .
<http://trith.org/core/until> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/until> <http://trith.org/lang/code> _:genid255 .
<http://trith.org/core/until> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/until> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/until> <http://www.w3.org/2000/01/rdf-schema#label> "until" .
<http://trith.org/core/when> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/when> <http://trith.org/lang/code> _:genid258 .
<http://trith.org/core/when> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/when> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/when> <http://www.w3.org/2000/01/rdf-schema#label> "when" .
<http://trith.org/core/while> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/while> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/while> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/while> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/while> <http://www.w3.org/2000/01/rdf-schema#label> "while" .
<http://trith.org/core/xor> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/xor> <http://trith.org/lang/code> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://trith.org/core/xor> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/xor> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Primitive> .
<http://trith.org/core/xor> <http://www.w3.org/2000/01/rdf-schema#comment> "Bitwise XOR" .
<http://trith.org/core/xor> <http://www.w3.org/2000/01/rdf-schema#label> "xor" .
<http://trith.org/core/xorp> <http://trith.org/lang/arity> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/xorp> <http://trith.org/lang/code> _:genid278 .
<http://trith.org/core/xorp> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/xorp> <http://www.w3.org/2000/01/rdf-schema#comment> "Logical XOR" .
<http://trith.org/core/xorp> <http://www.w3.org/2000/01/rdf-schema#label> "xor?" .
<http://trith.org/core/xorp> <http://www.w3.org/2000/01/rdf-schema#label> "xorp" .
<http://trith.org/core/zerop> <http://trith.org/lang/arity> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://trith.org/core/zerop> <http://trith.org/lang/code> _:genid280 .
<http://trith.org/core/zerop> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://trith.org/lang/Function> .
<http://trith.org/core/zerop> <http://www.w3.org/2000/01/rdf-schema#comment> "" .
<http://trith.org/core/zerop> <http://www.w3.org/2000/01/rdf-schema#label> "zero?" .
<http://trith.org/core/zerop> <http://www.w3.org/2000/01/rdf-schema#label> "zerop" .
_:genid1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/neg> .
_:genid1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid10 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid10 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid9 .
_:genid100 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/emptyp> .
_:genid100 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid101 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid101 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid100 .
_:genid102 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid102 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid101 .
_:genid103 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid103 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid104 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/until> .
_:genid104 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid103 .
_:genid105 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid102 .
_:genid105 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid104 .
_:genid106 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid99 .
_:genid106 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid105 .
_:genid107 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid107 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid106 .
_:genid108 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/cons> .
_:genid108 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid109 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/reverse> .
_:genid109 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid11 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/false> .
_:genid11 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid110 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/times> .
_:genid110 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid109 .
_:genid111 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid111 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid110 .
_:genid112 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid108 .
_:genid112 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid111 .
_:genid113 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid113 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid112 .
_:genid114 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid114 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid113 .
_:genid115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/loop> .
_:genid115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid116 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/call> .
_:genid116 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid117 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid115 .
_:genid117 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid116 .
_:genid118 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/call> .
_:genid118 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid117 .
_:genid119 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid119 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid118 .
_:genid12 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop2> .
_:genid12 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid11 .
_:genid120 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/eq> .
_:genid120 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid121 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "-1"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid121 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid120 .
_:genid122 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/cmp> .
_:genid122 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid121 .
_:genid123 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid123 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid124 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid124 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid125 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid125 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid124 .
_:genid126 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid126 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid127 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid125 .
_:genid127 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid126 .
_:genid128 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid123 .
_:genid128 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid127 .
_:genid129 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/gt> .
_:genid129 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid128 .
_:genid13 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid13 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid130 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup2> .
_:genid130 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid129 .
_:genid131 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid131 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid132 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid132 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid133 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid133 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid132 .
_:genid134 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid134 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid135 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid133 .
_:genid135 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid134 .
_:genid136 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid131 .
_:genid136 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid135 .
_:genid137 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/lt> .
_:genid137 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid136 .
_:genid138 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup2> .
_:genid138 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid137 .
_:genid139 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/add> .
_:genid139 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid14 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid12 .
_:genid14 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid13 .
_:genid140 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/over> .
_:genid140 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid139 .
_:genid141 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nip> .
_:genid141 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid142 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/times> .
_:genid142 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid141 .
_:genid143 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid143 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid142 .
_:genid144 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid140 .
_:genid144 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid143 .
_:genid145 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/abs> .
_:genid145 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid144 .
_:genid146 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid146 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid145 .
_:genid147 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid147 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid146 .
_:genid148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/notp> .
_:genid148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid149 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/eq> .
_:genid149 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid148 .
_:genid15 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid10 .
_:genid15 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid14 .
_:genid150 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/sub> .
_:genid150 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid151 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid151 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid150 .
_:genid152 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid152 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid151 .
_:genid153 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/lt> .
_:genid153 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid154 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid154 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid153 .
_:genid155 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nil> .
_:genid155 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid156 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/quote> .
_:genid156 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid155 .
_:genid157 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/eq> .
_:genid157 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid158 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nil> .
_:genid158 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid157 .
_:genid159 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nth> .
_:genid159 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid16 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid16 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid15 .
_:genid160 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "8"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid160 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid159 .
_:genid161 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid161 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid162 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid162 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid161 .
_:genid163 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid163 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid164 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid164 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid163 .
_:genid165 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid165 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid164 .
_:genid166 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid166 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid165 .
_:genid167 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid167 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid168 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nil> .
_:genid168 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid167 .
_:genid169 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dec> .
_:genid169 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid17 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid17 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid16 .
_:genid170 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/neg> .
_:genid170 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid169 .
_:genid171 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/false> .
_:genid171 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid172 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/true> .
_:genid172 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid173 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid173 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid174 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid172 .
_:genid174 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid173 .
_:genid175 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid171 .
_:genid175 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid174 .
_:genid176 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/rest> .
_:genid176 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid177 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/first> .
_:genid177 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid178 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/times> .
_:genid178 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid177 .
_:genid179 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid179 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid178 .
_:genid18 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/false> .
_:genid18 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid180 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid176 .
_:genid180 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid179 .
_:genid181 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/notp> .
_:genid181 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid182 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/evenp> .
_:genid182 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid181 .
_:genid183 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/eq> .
_:genid183 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid184 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid184 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid183 .
_:genid185 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid185 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid186 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid186 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid185 .
_:genid187 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid187 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid188 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid188 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid189 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid187 .
_:genid189 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid188 .
_:genid19 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop2> .
_:genid19 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid18 .
_:genid190 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid186 .
_:genid190 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid189 .
_:genid191 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid191 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid190 .
_:genid192 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid192 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid191 .
_:genid193 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid193 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid194 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup2> .
_:genid194 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid193 .
_:genid195 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop2> .
_:genid195 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid196 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup3> .
_:genid196 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid195 .
_:genid197 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/gt> .
_:genid197 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid198 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid198 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid197 .
_:genid199 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nil> .
_:genid199 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nop> .
_:genid2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid20 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid20 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid200 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop2> .
_:genid200 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid199 .
_:genid201 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/foldl> .
_:genid201 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid202 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/rot> .
_:genid202 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid201 .
_:genid203 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/first> .
_:genid203 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid202 .
_:genid204 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid204 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid203 .
_:genid205 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/rest> .
_:genid205 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid204 .
_:genid206 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid206 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid205 .
_:genid207 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid207 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid208 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid206 .
_:genid208 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid207 .
_:genid209 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid200 .
_:genid209 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid208 .
_:genid21 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid19 .
_:genid21 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid20 .
_:genid210 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/emptyp> .
_:genid210 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid209 .
_:genid211 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid211 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid210 .
_:genid212 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid212 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid211 .
_:genid213 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/halt> .
_:genid213 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid214 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/clear> .
_:genid214 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid213 .
_:genid215 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nth> .
_:genid215 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid216 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid216 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid215 .
_:genid217 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nth> .
_:genid217 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid218 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "6"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid218 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid217 .
_:genid219 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nth> .
_:genid219 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid22 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid17 .
_:genid22 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid21 .
_:genid220 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "5"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid220 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid219 .
_:genid221 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/list> .
_:genid221 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid222 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/depth> .
_:genid222 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid221 .
_:genid223 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nth> .
_:genid223 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid224 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "9"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid224 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid223 .
_:genid225 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nth> .
_:genid225 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid226 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid226 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid225 .
_:genid227 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/times> .
_:genid227 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid228 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "3"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid228 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid227 .
_:genid229 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/call> .
_:genid229 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid23 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid23 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid22 .
_:genid230 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/over> .
_:genid230 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid229 .
_:genid231 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dec> .
_:genid231 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid230 .
_:genid232 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/zerop> .
_:genid232 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid233 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid233 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid232 .
_:genid234 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop2> .
_:genid234 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid235 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/until> .
_:genid235 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid234 .
_:genid236 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid233 .
_:genid236 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid235 .
_:genid237 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid231 .
_:genid237 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid236 .
_:genid238 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/true> .
_:genid238 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid239 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/quote> .
_:genid239 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid238 .
_:genid24 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid24 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid23 .
_:genid240 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/eq> .
_:genid240 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid241 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/true> .
_:genid241 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid240 .
_:genid242 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/times> .
_:genid242 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid243 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid243 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid242 .
_:genid244 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/rest> .
_:genid244 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid245 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid245 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid244 .
_:genid246 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/first> .
_:genid246 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid245 .
_:genid247 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid247 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid246 .
_:genid248 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nop> .
_:genid248 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid249 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid249 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid25 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/true> .
_:genid25 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid250 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid250 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid249 .
_:genid251 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid248 .
_:genid251 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid250 .
_:genid252 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/notp> .
_:genid252 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid253 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/while> .
_:genid253 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid254 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/concat> .
_:genid254 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid253 .
_:genid255 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid252 .
_:genid255 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid254 .
_:genid256 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nop> .
_:genid256 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid257 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid257 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid258 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid256 .
_:genid258 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid257 .
_:genid259 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/false> .
_:genid259 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/false> .
_:genid26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid260 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid260 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid259 .
_:genid261 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nop> .
_:genid261 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid262 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid262 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid263 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid261 .
_:genid263 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid262 .
_:genid264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid260 .
_:genid264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid263 .
_:genid265 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid265 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid264 .
_:genid266 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nop> .
_:genid266 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/false> .
_:genid267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid268 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid268 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid267 .
_:genid269 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid269 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid27 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid27 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid270 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid268 .
_:genid270 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid269 .
_:genid271 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid266 .
_:genid271 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid270 .
_:genid272 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid272 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid271 .
_:genid273 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid273 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid272 .
_:genid274 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid274 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid275 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid273 .
_:genid275 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid274 .
_:genid276 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid265 .
_:genid276 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid275 .
_:genid277 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid277 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid276 .
_:genid278 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid278 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid277 .
_:genid279 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/eq> .
_:genid279 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid28 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid26 .
_:genid28 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid27 .
_:genid280 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid280 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid279 .
_:genid29 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid25 .
_:genid29 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid28 .
_:genid3 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/branch> .
_:genid3 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid30 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/orp> .
_:genid30 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid31 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/falsep> .
_:genid31 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid30 .
_:genid32 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid32 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid31 .
_:genid33 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/truep> .
_:genid33 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid32 .
_:genid34 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid34 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid33 .
_:genid35 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid35 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid36 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/cons> .
_:genid36 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid35 .
_:genid37 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/rot> .
_:genid37 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid36 .
_:genid38 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid38 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid37 .
_:genid39 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/rest> .
_:genid39 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid38 .
_:genid4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid2 .
_:genid4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid3 .
_:genid40 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid40 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid39 .
_:genid41 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/first> .
_:genid41 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid40 .
_:genid42 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid42 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid41 .
_:genid43 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/emptyp> .
_:genid43 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid44 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid44 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid43 .
_:genid45 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/reverse> .
_:genid45 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid46 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid46 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid45 .
_:genid47 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/until> .
_:genid47 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid46 .
_:genid48 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid44 .
_:genid48 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid47 .
_:genid49 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid42 .
_:genid49 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid48 .
_:genid5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid1 .
_:genid5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid4 .
_:genid50 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid50 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid49 .
_:genid51 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/reverse> .
_:genid51 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid50 .
_:genid52 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid52 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid51 .
_:genid53 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/unstack> .
_:genid53 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid54 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/concat> .
_:genid54 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid53 .
_:genid55 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/cons> .
_:genid55 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid54 .
_:genid56 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid56 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid55 .
_:genid57 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/length> .
_:genid57 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid56 .
_:genid58 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid58 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid57 .
_:genid59 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/stack> .
_:genid59 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid58 .
_:genid6 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/lt> .
_:genid6 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid5 .
_:genid60 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/sub> .
_:genid60 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid61 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid61 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid60 .
_:genid62 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid62 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid63 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/twice> .
_:genid63 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid64 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid62 .
_:genid64 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid63 .
_:genid65 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid65 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid66 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/thrice> .
_:genid66 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid67 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:genid65 .
_:genid67 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid66 .
_:genid68 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nth> .
_:genid68 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid69 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "7"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid69 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid68 .
_:genid7 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid7 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid6 .
_:genid70 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/zerop> .
_:genid70 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid71 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/length> .
_:genid71 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid70 .
_:genid72 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/zerop> .
_:genid72 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid73 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/mod> .
_:genid73 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid72 .
_:genid74 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid74 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid73 .
_:genid75 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/notp> .
_:genid75 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid76 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/inexactp> .
_:genid76 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid75 .
_:genid77 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/false> .
_:genid77 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid78 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/quote> .
_:genid78 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid77 .
_:genid79 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/eq> .
_:genid79 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid8 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/dup> .
_:genid8 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid7 .
_:genid80 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/false> .
_:genid80 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid79 .
_:genid81 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nth> .
_:genid81 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid82 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "4"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid82 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid81 .
_:genid83 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/nth> .
_:genid83 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid84 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "3"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid84 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid83 .
_:genid85 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/onep> .
_:genid85 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid86 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/cmp> .
_:genid86 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid85 .
_:genid87 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/add> .
_:genid87 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid88 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:genid88 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid87 .
_:genid89 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/notp> .
_:genid89 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid9 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/drop> .
_:genid9 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid90 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/exactp> .
_:genid90 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid89 .
_:genid91 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/div> .
_:genid91 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid92 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "0.0"^^<http://www.w3.org/2001/XMLSchema#decimal> .
_:genid92 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid91 .
_:genid93 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "1.0"^^<http://www.w3.org/2001/XMLSchema#decimal> .
_:genid93 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid92 .
_:genid94 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/eq> .
_:genid94 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid95 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/inf> .
_:genid95 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid94 .
_:genid96 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/abs> .
_:genid96 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid95 .
_:genid97 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/inc> .
_:genid97 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:genid98 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/swap> .
_:genid98 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid97 .
_:genid99 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://trith.org/core/rest> .
_:genid99 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid98 .