rows {
  options {
    physical_type: PHYSICAL_STREAM_TYPE_QUADS
    max_name_table_size: 128
    max_prefix_table_size: 16
    max_datatype_table_size: 16
    logical_type: LOGICAL_STREAM_TYPE_DATASETS
    version: 2
  }
}
rows {
  prefix {
    value: "https://w3id.org/np/"
  }
}
rows {
  name {
    value: "RACB5B7C3N2NTXECAuKYCV8PQgMXPpGZYwUDRii5KoZzQ"
  }
}
rows {
  namespace {
    name: "this"
    value {
      prefix_id: 1
    }
  }
}
rows {
  prefix {
    value: "https://w3id.org/np/RACB5B7C3N2NTXECAuKYCV8PQgMXPpGZYwUDRii5KoZzQ/"
  }
}
rows {
  name {
  }
}
rows {
  namespace {
    name: "sub"
    value {
      prefix_id: 2
    }
  }
}
rows {
  prefix {
    value: "https://schema.org/"
  }
}
rows {
  namespace {
    name: "schema"
    value {
      prefix_id: 3
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.nanopub.org/nschema#"
  }
}
rows {
  namespace {
    name: "np"
    value {
      prefix_id: 4
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://purl.org/dc/terms/"
  }
}
rows {
  namespace {
    name: "dct"
    value {
      prefix_id: 5
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/2001/XMLSchema#"
  }
}
rows {
  namespace {
    name: "xsd"
    value {
      prefix_id: 6
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/2004/02/skos/core#"
  }
}
rows {
  namespace {
    name: "skos"
    value {
      prefix_id: 7
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/2000/01/rdf-schema#"
  }
}
rows {
  namespace {
    name: "rdfs"
    value {
      prefix_id: 8
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "https://orcid.org/"
  }
}
rows {
  namespace {
    name: "orcid"
    value {
      prefix_id: 9
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/ns/prov#"
  }
}
rows {
  namespace {
    name: "prov"
    value {
      prefix_id: 10
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.wikidata.org/entity/"
  }
}
rows {
  namespace {
    name: "wd"
    value {
      prefix_id: 11
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://purl.org/nanopub/x/"
  }
}
rows {
  namespace {
    name: "npx"
    value {
      prefix_id: 12
      name_id: 2
    }
  }
}
rows {
  name {
    value: "hasAssertion"
  }
}
rows {
  name {
    value: "assertion"
  }
}
rows {
  name {
    value: "Head"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 1
      name_id: 1
    }
    p_iri {
      prefix_id: 4
      name_id: 3
    }
    o_iri {
      prefix_id: 2
    }
    g_iri {
    }
  }
}
rows {
  name {
    value: "hasProvenance"
  }
}
rows {
  name {
    value: "provenance"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 4
    }
    o_iri {
      prefix_id: 2
    }
  }
}
rows {
  name {
    value: "hasPublicationInfo"
  }
}
rows {
  name {
    value: "pubinfo"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 4
    }
    o_iri {
      prefix_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  }
}
rows {
  name {
    value: "type"
  }
}
rows {
  name {
    value: "Nanopublication"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 13
    }
    o_iri {
      prefix_id: 4
    }
  }
}
rows {
  name {
    value: "pythagoras4-formalization"
  }
}
rows {
  name {
    value: "description"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
    }
    p_iri {
      prefix_id: 5
    }
    o_literal {
      lex: "An independent Lean 4 formalization of the Pythagorean theorem in a Euclidean geometry setting."
      langtag: "en"
    }
    g_iri {
      prefix_id: 2
      name_id: 4
    }
  }
}
rows {
  name {
    value: "subject"
  }
}
rows {
  name {
    value: "Q11518"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 14
    }
    o_iri {
      prefix_id: 11
    }
  }
}
rows {
  name {
    value: "SoftwareSourceCode"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 13
      name_id: 10
    }
    o_iri {
      prefix_id: 3
      name_id: 16
    }
  }
}
rows {
  name {
    value: "label"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 8
    }
    o_literal {
      lex: "pythagoras4"
    }
  }
}
rows {
  name {
    value: "seeAlso"
  }
}
rows {
  prefix {
    value: "https://github.com/ianjauslin-rutgers/"
  }
}
rows {
  name {
    value: "pythagoras4"
  }
}
rows {
  quad {
    p_iri {
    }
    o_iri {
      prefix_id: 14
    }
  }
}
rows {
  name {
    value: "related"
  }
}
rows {
  name {
    value: "Q162886"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 7
    }
    o_iri {
      prefix_id: 11
    }
  }
}
rows {
  name {
    value: "programmingLanguage"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 3
    }
    o_literal {
      lex: "Lean 4"
    }
  }
}
rows {
  name {
    value: "wasAttributedTo"
  }
}
rows {
  name {
    value: "0000-0002-8042-4131"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
      name_id: 4
    }
    p_iri {
      prefix_id: 10
      name_id: 23
    }
    o_iri {
      prefix_id: 9
    }
    g_iri {
      prefix_id: 2
      name_id: 7
    }
  }
}
rows {
  name {
    value: "wasDerivedFrom"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 10
      name_id: 25
    }
    o_iri {
      prefix_id: 14
      name_id: 19
    }
  }
}
rows {
  name {
    value: "0000-0001-8680-3100"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
      name_id: 12
    }
    p_iri {
      prefix_id: 10
      name_id: 23
    }
    o_iri {
      prefix_id: 9
      name_id: 26
    }
  }
}
rows {
  name {
    value: "contributor"
  }
}
rows {
  name {
    value: "claude-fable-5"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 1
      name_id: 1
    }
    p_iri {
      prefix_id: 5
      name_id: 27
    }
    o_iri {
      prefix_id: 2
    }
    g_iri {
      name_id: 9
    }
  }
}
rows {
  name {
    value: "created"
  }
}
rows {
  datatype {
    value: "http://www.w3.org/2001/XMLSchema#dateTime"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 29
    }
    o_literal {
      lex: "2026-07-08T17:44:04Z"
      datatype: 1
    }
  }
}
rows {
  name {
    value: "creator"
  }
}
rows {
  quad {
    p_iri {
    }
    o_iri {
      prefix_id: 9
      name_id: 24
    }
  }
}
rows {
  name {
    value: "license"
  }
}
rows {
  prefix {
    value: "https://creativecommons.org/licenses/by/4.0/"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 31
    }
    o_iri {
      prefix_id: 15
      name_id: 2
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 8
      name_id: 17
    }
    o_literal {
      lex: "Independent Lean 4 formalization (pythagoras4) of the Pythagorean theorem"
    }
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
      name_id: 28
    }
    p_iri {
      prefix_id: 5
      name_id: 13
    }
    o_literal {
      lex: "AI assistant by Anthropic that drafted this nanopublication."
      langtag: "en"
    }
  }
}
rows {
  name {
    value: "SoftwareAgent"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 13
      name_id: 10
    }
    o_iri {
      prefix_id: 10
      name_id: 32
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 8
      name_id: 17
    }
    o_literal {
      lex: "Claude Fable 5"
    }
  }
}
rows {
  name {
    value: "sig"
  }
}
rows {
  name {
    value: "hasAlgorithm"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
      name_id: 33
    }
    p_iri {
      prefix_id: 12
    }
    o_literal {
      lex: "RSA"
    }
  }
}
rows {
  name {
    value: "hasPublicKey"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuf45jeLY8du2mdR9Nnr5u0VQC/Ry6wLMP4lGDZo7h5LMKigj2yOeeygfVuFKaaRl5QVvKaMn3VlZRTF14vIWPmP2gEjKsm5ItK0Ii58vh3CkqNLjSfUGreD/jLxvMRS9Urz3FBNy/fTFbK8OovkJLY84XrjTQCH0Z0ZxOXQT9msVYSMAtkA2pZVavwoMc9HFH7lixDHRgn2N8PiAzmvdKozaeFrwI6VykmJahdYGBg+o9fgCPtDSfvfJTEumUkNyRxnlj7U5g7Tq1KK4yWjPHbwQLoZSUwH/KR6pN7QD9sjUOZYRZehnUmn5GrEi17hZPZLisx0mzkmQV7Z/TPhNoQIDAQAB"
    }
  }
}
rows {
  name {
    value: "hasSignature"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "osD3Q71QcDbe8/SNMYsbntdgfF5p9tTZ8lIMm15EDxHRJ53X/N2KJ/spu88Hh72l7xWAc5Au7Wm5SQKfYZNmfRWqisDk7U7gyfmeFjjoKDVCJEO5vAEPH4ozwmLFfFmkPLU9Kw/YR4iVtKy8z3mpC6QtzyJzdynSuXFmUBJof+sYFQHbwMZr6vxI9MGNaOevWyMs9RK5uSO6MmWqejHac1FY7E8QNoWPcUv6r4GtsjNT72L+9PzZi3z1W93vZNr22KeWKHGA/7CNN6Wh2RTX/6Qk3qg6H6qr5l4OkFuUTWix7EaIGYjqi7m6675lLP/N9H3ct1discmhwyafYIkGeA=="
    }
  }
}
rows {
  name {
    value: "hasSignatureTarget"
  }
}
rows {
  quad {
    p_iri {
    }
    o_iri {
      prefix_id: 1
      name_id: 1
    }
  }
}
rows {
  name {
    value: "signedBy"
  }
}
rows {
  prefix {
    value: "https://w3id.org/np/RA2cLvTWQp8S1kkViFTLE2tWK2b7lBieP2Mc2_qTX7Woo/"
  }
}
rows {
  name {
    value: "Cavia_porcellus_bourbakii"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 12
      name_id: 38
    }
    o_iri {
      prefix_id: 16
    }
  }
}