{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1370-seal-el0-matrix-check-eWI43t/report.json",
    "sha256": "8d9dd13141e155384325344d9a30afc3741c1ed91af121d21d265115469bddda",
    "bytes": 8108
  },
  "status": "K1370_SEAL_EL0_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image exercised two actual shared physical pages between owner A and recipient B under real EL0 identities in six direct/UEFI QEMU profiles at 256, 512 and 1024 MiB with one CPU. A prepared two bytes, then the kernel downgraded its two live PTEs to read-only and completed TLB invalidation before publishing seal. A later RW map request was denied without mutation; B received read-only mappings and read the prepared bytes. A direct post-seal EL0 store fault was not exercised. C was a published third ProcessId but did not execute EL0. Both mappings and frames were released. Source/Image/fixture, serial, QMP and prior policy archive evidence are bound. Product acceptance remains open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "ba4c1e4d361a162e842994f33f6c2647bcb42ad4972ae68baa11565484a312c0",
  "files": [
    {
      "name": "shared_memory_seal.rs",
      "source": "kernel/tests/os/shared_memory_seal.rs",
      "originalSha256": "6dd1492379db60a663562bc9d28e45f056ed41d585014c9815b9c4dd2dcc6a13",
      "href": "/os-evidence/6dd1492379db60a663562bc9d28e45f056ed41d585014c9815b9c4dd2dcc6a13.txt",
      "sha256": "6dd1492379db60a663562bc9d28e45f056ed41d585014c9815b9c4dd2dcc6a13",
      "bytes": 2500,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "6c4914ebb51a8e8199626f4f326cfc43aa81fae05da9d643de8705b59e8da930",
      "href": "/os-evidence/6c4914ebb51a8e8199626f4f326cfc43aa81fae05da9d643de8705b59e8da930.txt",
      "sha256": "6c4914ebb51a8e8199626f4f326cfc43aa81fae05da9d643de8705b59e8da930",
      "bytes": 67920,
      "redacted": false
    },
    {
      "name": "k1290-cat-disk.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1290-cat-disk.rs",
      "originalSha256": "44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a",
      "href": "/os-evidence/44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a.txt",
      "sha256": "44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a",
      "bytes": 6012,
      "redacted": false
    },
    {
      "name": "k1295-ls-disk.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1295-ls-disk.rs",
      "originalSha256": "4809156361fcb9f43a689323f7ac4f516f37da6b006a6ac822159aa0017568d5",
      "href": "/os-evidence/4809156361fcb9f43a689323f7ac4f516f37da6b006a6ac822159aa0017568d5.txt",
      "sha256": "4809156361fcb9f43a689323f7ac4f516f37da6b006a6ac822159aa0017568d5",
      "bytes": 5376,
      "redacted": false
    },
    {
      "name": "k1295-ls-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1295-ls-dispatch.rs",
      "originalSha256": "67e001bc452fad829b7a68ba25d9935e8fcef9d08c695e027b954944a3194182",
      "href": "/os-evidence/67e001bc452fad829b7a68ba25d9935e8fcef9d08c695e027b954944a3194182.txt",
      "sha256": "67e001bc452fad829b7a68ba25d9935e8fcef9d08c695e027b954944a3194182",
      "bytes": 7342,
      "redacted": false
    },
    {
      "name": "k1300-process-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1300-process-dispatch.rs",
      "originalSha256": "2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95",
      "href": "/os-evidence/2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95.txt",
      "sha256": "2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95",
      "bytes": 10390,
      "redacted": false
    },
    {
      "name": "k1305-handles-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1305-handles-dispatch.rs",
      "originalSha256": "f8a9697e926c8fe8f81328c86bba806eda3f9721fef1ed4e173160692c91030f",
      "href": "/os-evidence/f8a9697e926c8fe8f81328c86bba806eda3f9721fef1ed4e173160692c91030f.txt",
      "sha256": "f8a9697e926c8fe8f81328c86bba806eda3f9721fef1ed4e173160692c91030f",
      "bytes": 7976,
      "redacted": false
    },
    {
      "name": "k1310-generation-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1310-generation-dispatch.rs",
      "originalSha256": "a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef",
      "href": "/os-evidence/a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef.txt",
      "sha256": "a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef",
      "bytes": 7865,
      "redacted": false
    },
    {
      "name": "k1315-rights-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1315-rights-dispatch.rs",
      "originalSha256": "b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882",
      "href": "/os-evidence/b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882.txt",
      "sha256": "b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882",
      "bytes": 8427,
      "redacted": false
    },
    {
      "name": "k1320-lifetime-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1320-lifetime-dispatch.rs",
      "originalSha256": "8e2b62eba4752eecb63907af3df53f43d33d4e2d1f61f6dd7bd5bff4c85f09fb",
      "href": "/os-evidence/8e2b62eba4752eecb63907af3df53f43d33d4e2d1f61f6dd7bd5bff4c85f09fb.txt",
      "sha256": "8e2b62eba4752eecb63907af3df53f43d33d4e2d1f61f6dd7bd5bff4c85f09fb",
      "bytes": 11017,
      "redacted": false
    },
    {
      "name": "k1325-queue-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1325-queue-dispatch.rs",
      "originalSha256": "ff139d2d548a848bf9e5debcf268b574017a5a5ffb83abe80e2afa67949b5f4a",
      "href": "/os-evidence/ff139d2d548a848bf9e5debcf268b574017a5a5ffb83abe80e2afa67949b5f4a.txt",
      "sha256": "ff139d2d548a848bf9e5debcf268b574017a5a5ffb83abe80e2afa67949b5f4a",
      "bytes": 11583,
      "redacted": false
    },
    {
      "name": "k1330-owned-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1330-owned-dispatch.rs",
      "originalSha256": "d9b469fb8bb86a86d345ac94bed6265b1e946dcebfee1169845e4612d9d5369d",
      "href": "/os-evidence/d9b469fb8bb86a86d345ac94bed6265b1e946dcebfee1169845e4612d9d5369d.txt",
      "sha256": "d9b469fb8bb86a86d345ac94bed6265b1e946dcebfee1169845e4612d9d5369d",
      "bytes": 9799,
      "redacted": false
    },
    {
      "name": "k1335-transfer-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1335-transfer-dispatch.rs",
      "originalSha256": "800bb2c06621208ba95d0ebf036193aaaf0cb9afe0a1fabef6aa4f8028f27a45",
      "href": "/os-evidence/800bb2c06621208ba95d0ebf036193aaaf0cb9afe0a1fabef6aa4f8028f27a45.txt",
      "sha256": "800bb2c06621208ba95d0ebf036193aaaf0cb9afe0a1fabef6aa4f8028f27a45",
      "bytes": 9718,
      "redacted": false
    },
    {
      "name": "k1340-peer-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1340-peer-dispatch.rs",
      "originalSha256": "df175f44c5b7172f0981a8e370ee3a8c1bedbc042dd5f69086494695aa94c2b4",
      "href": "/os-evidence/df175f44c5b7172f0981a8e370ee3a8c1bedbc042dd5f69086494695aa94c2b4.txt",
      "sha256": "df175f44c5b7172f0981a8e370ee3a8c1bedbc042dd5f69086494695aa94c2b4",
      "bytes": 9158,
      "redacted": false
    },
    {
      "name": "k1345-waitset-model.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1345-waitset-model.rs",
      "originalSha256": "3b880022f0bf31a180bcec29ddd8062b5b88ae4b130b02f0564e4ae98d753586",
      "href": "/os-evidence/3b880022f0bf31a180bcec29ddd8062b5b88ae4b130b02f0564e4ae98d753586.txt",
      "sha256": "3b880022f0bf31a180bcec29ddd8062b5b88ae4b130b02f0564e4ae98d753586",
      "bytes": 4270,
      "redacted": false
    },
    {
      "name": "k1345-waitset-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1345-waitset-dispatch.rs",
      "originalSha256": "7da772a18b27a6912f9234b82c11830f36993e8903d79ae883c9f3458c02cf5a",
      "href": "/os-evidence/7da772a18b27a6912f9234b82c11830f36993e8903d79ae883c9f3458c02cf5a.txt",
      "sha256": "7da772a18b27a6912f9234b82c11830f36993e8903d79ae883c9f3458c02cf5a",
      "bytes": 9826,
      "redacted": false
    },
    {
      "name": "k1350-readiness-model.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1350-readiness-model.rs",
      "originalSha256": "02d9cfde272e40a810e17b924296d008ff396d32c448a2c11b5bad7282b18636",
      "href": "/os-evidence/02d9cfde272e40a810e17b924296d008ff396d32c448a2c11b5bad7282b18636.txt",
      "sha256": "02d9cfde272e40a810e17b924296d008ff396d32c448a2c11b5bad7282b18636",
      "bytes": 6340,
      "redacted": false
    },
    {
      "name": "k1350-readiness-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1350-readiness-dispatch.rs",
      "originalSha256": "12ac32c2a1e63844fa8c5274d3d8fd9f15bfde99162182e7533727f3fa7b5e64",
      "href": "/os-evidence/12ac32c2a1e63844fa8c5274d3d8fd9f15bfde99162182e7533727f3fa7b5e64.txt",
      "sha256": "12ac32c2a1e63844fa8c5274d3d8fd9f15bfde99162182e7533727f3fa7b5e64",
      "bytes": 10893,
      "redacted": false
    },
    {
      "name": "k1355-deadlines-model.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1355-deadlines-model.rs",
      "originalSha256": "1ff0ce69f2883430c6d1613ecaa011798243410e20c2ad36835a1904c1bc3602",
      "href": "/os-evidence/1ff0ce69f2883430c6d1613ecaa011798243410e20c2ad36835a1904c1bc3602.txt",
      "sha256": "1ff0ce69f2883430c6d1613ecaa011798243410e20c2ad36835a1904c1bc3602",
      "bytes": 4184,
      "redacted": false
    },
    {
      "name": "k1355-deadlines-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1355-deadlines-dispatch.rs",
      "originalSha256": "d82dd424e4355a48a9e4dba23577fdce411036a01743dbf7b2f87a6ed9ef04ac",
      "href": "/os-evidence/d82dd424e4355a48a9e4dba23577fdce411036a01743dbf7b2f87a6ed9ef04ac.txt",
      "sha256": "d82dd424e4355a48a9e4dba23577fdce411036a01743dbf7b2f87a6ed9ef04ac",
      "bytes": 10347,
      "redacted": false
    },
    {
      "name": "k1360-teardown-model.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1360-teardown-model.rs",
      "originalSha256": "12570dbdb279ce451f632db6f4b73ca997a89fd75198c8400bb05d7dbb377ad0",
      "href": "/os-evidence/12570dbdb279ce451f632db6f4b73ca997a89fd75198c8400bb05d7dbb377ad0.txt",
      "sha256": "12570dbdb279ce451f632db6f4b73ca997a89fd75198c8400bb05d7dbb377ad0",
      "bytes": 3756,
      "redacted": false
    },
    {
      "name": "k1360-teardown-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1360-teardown-dispatch.rs",
      "originalSha256": "37ae6ffd8583f16c264691af1f134d99ccde77a0fc4902f83f60288032d7a97d",
      "href": "/os-evidence/37ae6ffd8583f16c264691af1f134d99ccde77a0fc4902f83f60288032d7a97d.txt",
      "sha256": "37ae6ffd8583f16c264691af1f134d99ccde77a0fc4902f83f60288032d7a97d",
      "bytes": 11210,
      "redacted": false
    },
    {
      "name": "k1365-shared-model.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1365-shared-model.rs",
      "originalSha256": "0970152e795e131d95fc574e9610d8a5a6023db3bdf2cdc197496aa7e96b4bde",
      "href": "/os-evidence/0970152e795e131d95fc574e9610d8a5a6023db3bdf2cdc197496aa7e96b4bde.txt",
      "sha256": "0970152e795e131d95fc574e9610d8a5a6023db3bdf2cdc197496aa7e96b4bde",
      "bytes": 4240,
      "redacted": false
    },
    {
      "name": "k1365-shared-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1365-shared-dispatch.rs",
      "originalSha256": "6d06e0cae6f189aade4433f42b9751f377adbbf4653fb5c068431c4fc4276c9c",
      "href": "/os-evidence/6d06e0cae6f189aade4433f42b9751f377adbbf4653fb5c068431c4fc4276c9c.txt",
      "sha256": "6d06e0cae6f189aade4433f42b9751f377adbbf4653fb5c068431c4fc4276c9c",
      "bytes": 13243,
      "redacted": false
    },
    {
      "name": "k1370-seal-dispatch.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1370-seal-dispatch.rs",
      "originalSha256": "2f136fd560394999f0acb2c2687d92f4635e5d685e2ad9780c7523f59933843a",
      "href": "/os-evidence/2f136fd560394999f0acb2c2687d92f4635e5d685e2ad9780c7523f59933843a.txt",
      "sha256": "2f136fd560394999f0acb2c2687d92f4635e5d685e2ad9780c7523f59933843a",
      "bytes": 17280,
      "redacted": false
    },
    {
      "name": "k1370-seal-model.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/k1370-seal-model.rs",
      "originalSha256": "ef824384a04072e88adbbe79a639683ed355978e2a105eb244cf8bb21463fede",
      "href": "/os-evidence/ef824384a04072e88adbbe79a639683ed355978e2a105eb244cf8bb21463fede.txt",
      "sha256": "ef824384a04072e88adbbe79a639683ed355978e2a105eb244cf8bb21463fede",
      "bytes": 5333,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/runtime/handles.rs",
      "originalSha256": "dbc1442748e5ba0a935e8adee14e0b104c6258daf4ed45ef3231fa888925680c",
      "href": "/os-evidence/dbc1442748e5ba0a935e8adee14e0b104c6258daf4ed45ef3231fa888925680c.txt",
      "sha256": "dbc1442748e5ba0a935e8adee14e0b104c6258daf4ed45ef3231fa888925680c",
      "bytes": 36105,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "c7cb21d0e3939ea1cde27b4f624090d5f2f1416600259f6c1e8a737711114785",
      "href": "/os-evidence/c7cb21d0e3939ea1cde27b4f624090d5f2f1416600259f6c1e8a737711114785.txt",
      "sha256": "c7cb21d0e3939ea1cde27b4f624090d5f2f1416600259f6c1e8a737711114785",
      "bytes": 95656,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "907e19553cf5b7e43516d69126478650d0dafc90b6da0bda354a89fa2879077e",
      "href": "/os-evidence/907e19553cf5b7e43516d69126478650d0dafc90b6da0bda354a89fa2879077e.txt",
      "sha256": "907e19553cf5b7e43516d69126478650d0dafc90b6da0bda354a89fa2879077e",
      "bytes": 49796,
      "redacted": false
    },
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "a4cd65db72950dcbaa085d0c58283bc6ca3dadcea798392e78b8e6815a7ed0dd",
      "href": "/os-evidence/a4cd65db72950dcbaa085d0c58283bc6ca3dadcea798392e78b8e6815a7ed0dd.txt",
      "sha256": "a4cd65db72950dcbaa085d0c58283bc6ca3dadcea798392e78b8e6815a7ed0dd",
      "bytes": 21513,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1370-seal-el0-candidate-wfw5MO/kernel-product.log",
      "originalSha256": "f67a9bf3fd6da7bdd2497cc75382d748da8483a0ab956b9d4b93269d8c4aa7fa",
      "href": "/os-evidence/0f9006409eef374a15c187eee145cbc06e7781d1664a29e92f7810a4f314e655.txt",
      "sha256": "0f9006409eef374a15c187eee145cbc06e7781d1664a29e92f7810a4f314e655",
      "bytes": 1653,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1370-seal-el0-matrix-kIdVJK/product-one-bank-direct-256-mode-65/serial.log",
      "originalSha256": "17374bc32ee8940cef8c52486c4647bce737cf2bcb5f52628347209f68bf3660",
      "href": "/os-evidence/17374bc32ee8940cef8c52486c4647bce737cf2bcb5f52628347209f68bf3660.txt",
      "sha256": "17374bc32ee8940cef8c52486c4647bce737cf2bcb5f52628347209f68bf3660",
      "bytes": 46613,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1370-seal-el0-matrix-kIdVJK/product-one-bank-direct-512-mode-65/serial.log",
      "originalSha256": "0e2c9549a12ab8fa1634f002dd72651e2ef351fe57d8b8c8996e95d16c78d38f",
      "href": "/os-evidence/0e2c9549a12ab8fa1634f002dd72651e2ef351fe57d8b8c8996e95d16c78d38f.txt",
      "sha256": "0e2c9549a12ab8fa1634f002dd72651e2ef351fe57d8b8c8996e95d16c78d38f",
      "bytes": 46613,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1370-seal-el0-matrix-kIdVJK/product-one-bank-direct-1024-mode-65/serial.log",
      "originalSha256": "8413addb3c763766b52fd5f8dbbb732af82f39fcd61808b915bf386ad4ab6418",
      "href": "/os-evidence/8413addb3c763766b52fd5f8dbbb732af82f39fcd61808b915bf386ad4ab6418.txt",
      "sha256": "8413addb3c763766b52fd5f8dbbb732af82f39fcd61808b915bf386ad4ab6418",
      "bytes": 46613,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1370-seal-el0-matrix-kIdVJK/product-one-bank-uefi-256-mode-65/serial.log",
      "originalSha256": "f4724811332519ca16d0545869bfe10546c9292d956ae42fe101ed1928f52700",
      "href": "/os-evidence/f4724811332519ca16d0545869bfe10546c9292d956ae42fe101ed1928f52700.txt",
      "sha256": "f4724811332519ca16d0545869bfe10546c9292d956ae42fe101ed1928f52700",
      "bytes": 52853,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1370-seal-el0-matrix-kIdVJK/product-one-bank-uefi-512-mode-65/serial.log",
      "originalSha256": "d3f577775b50abb1c009a23b85346a56df8a6c97d12de52c341de88f65b8da6a",
      "href": "/os-evidence/d3f577775b50abb1c009a23b85346a56df8a6c97d12de52c341de88f65b8da6a.txt",
      "sha256": "d3f577775b50abb1c009a23b85346a56df8a6c97d12de52c341de88f65b8da6a",
      "bytes": 52853,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1370-seal-el0-matrix-kIdVJK/product-one-bank-uefi-1024-mode-65/serial.log",
      "originalSha256": "e93693cf0af97a9af0129e6d71a200161ceeeb113c1d7f7fb92e6bac730a8e5b",
      "href": "/os-evidence/e93693cf0af97a9af0129e6d71a200161ceeeb113c1d7f7fb92e6bac730a8e5b.txt",
      "sha256": "e93693cf0af97a9af0129e6d71a200161ceeeb113c1d7f7fb92e6bac730a8e5b",
      "bytes": 52853,
      "redacted": false
    }
  ],
  "moves": [
    "K1370"
  ]
}