c26c9fcfb55b22911a40f0aa192b543f95452bf8023e4d988db40ebc3814bce1  demo.py
e710be2a45f21c16833ac295de8b43df27cb38d5c9ba63495f701abb90674cbe  README.md
c1d6c6e08673b388d44cc3a0a8aa46542f1428108cd14d21503456758c34adbe  observed.stdout.txt
2eb98feb512e7b203e3f9510e1593d9539da0a8552796c506f420ade108d5ff5  verification.json
05abfd70c6ef79c92249a85175c711f335d435c2db5d2a447698575552c4c4b2  java/TcpHalfCloseDemo.java
147926e25edef04b50909da141b62d29b15bdc0d5a75540a7d8d6a474e9ee56d  java/README.md
e0578cd642a0ca9b5155ba96d640b934cc32b4c9b9ccc1ba71f7feca95924511  java/observed.jdk17.stdout.txt
e0578cd642a0ca9b5155ba96d640b934cc32b4c9b9ccc1ba71f7feca95924511  java/observed.jdk21.stdout.txt
eaa20620c148a84cedf84c04528f64acb16b0ac82d62cb7d28145a51272cbc51  java/verification.json
b8958e512dfe29e282965033099965c5c98dce2d9faf081cc44a027316dadf56  java/environment.json
c647d4a109d7247ce5852e3a9794e0c3f146c263dbb07be05c907266e4e0fe00  java/sources.json
b2fda434cb92c018c1ffe6c7d9eeb731216a730853b305e3d96ef55a4c0bc8ce  java/SHA256SUMS.txt
d4f81858e36f64abd3a0f40bdb79c352b46ab25cb9eb55494a7a603bf1a78c79  supplement-verification.json
