<?xml version="1.0" encoding="utf-8"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
  <url>
    <loc>https://research.hypsvc.com/pvsnp/run</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/library</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/play</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/efforts</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/efforts/timeline</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/efforts/barriers</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/efforts/approaches</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/efforts/results</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/efforts/attempts</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/efforts/opinions</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/prove</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/prove/ideas</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/prove/map</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/method</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/1</loc>
    <lastmod>2026-07-29</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/2</loc>
    <lastmod>2026-07-29</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/3</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/4</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/5</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/6</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/7</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/8</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/9</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/10</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/11</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/12</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/13</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/14</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/15</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/16</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/17</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/18</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/19</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/20</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/21</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/22</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/23</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/24</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/25</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/26</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/27</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/28</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/29</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/30</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/31</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/32</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/33</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/34</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/35</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/36</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/37</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/38</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/39</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/40</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/41</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/42</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/43</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/44</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/45</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/46</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/47</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/48</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/49</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/50</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/51</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/52</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/53</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/54</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/55</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/56</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/57</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/58</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/59</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/60</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/61</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/62</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/63</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/64</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/65</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/66</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/67</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/68</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/69</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/70</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/71</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/72</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/73</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/74</loc>
    <lastmod>2026-10-07</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/75</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/76</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/77</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/78</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/79</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/80</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/81</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/82</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/83</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/84</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/85</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/86</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/87</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/88</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/89</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/90</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/91</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/92</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/93</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/doc/94</loc>
    <lastmod>2026-10-24</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/2-sat</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/3-sat</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/ac0</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/acc0</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/bpp</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/bqp</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/conp</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/exp</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/nexp</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/np</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/np-hard</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/np-complete</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/np-intermediate</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/p</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/p-poly</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/pcp-theorem</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/permanent-determinant</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/pspace</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/verifier</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/decision-problem</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/undecidable</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/graph-isomorphism</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/graph-coloring</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/approximation-algorithm</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/gct</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/boolean-circuit</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/five-worlds</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/polynomial-time</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/polynomial-hierarchy</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/monotone-circuit</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/diagonalization</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/algebrization</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/interactive-proof</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/millennium-problems</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/knapsack</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/complexity-class</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/subset-sum</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/resolution</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/nondeterministic-turing-machine</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/arithmetization</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/relativization</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/primality-testing</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/time-complexity</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/time-hierarchy-theorem</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/algorithm</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/oracle</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/tsp</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/pseudorandom-generator</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/integer-factorization</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/one-way-function</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/input-size</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/natural-proofs</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/vertex-cover</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/halting-problem</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/proof-complexity</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/exponential-time</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/mcsp</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/sat</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/kolmogorov-complexity</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/cook-levin-theorem</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/big-o</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/clique</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/derandomization</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/turing-machine</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/average-case-complexity</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/lower-bound</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/hamiltonian-path</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/reduction</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/problem/glossary/heuristic</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/1</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/2</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/3</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/4</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/5</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/6</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/7</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/8</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/9</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/10</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/11</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/12</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/13</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/14</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/15</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/16</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/17</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/18</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/19</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/20</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/21</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/22</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/23</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/24</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/25</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/26</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/27</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/28</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/29</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/30</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/31</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/32</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/33</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/34</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/35</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/36</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/37</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/38</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/39</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/40</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/41</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/42</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/43</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/44</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/45</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/46</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/47</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/48</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/49</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/50</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/51</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/52</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/53</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/54</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/55</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/56</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/57</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/58</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/59</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/60</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/61</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/62</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/63</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/64</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/65</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/66</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/67</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/68</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/69</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/70</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/71</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/72</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/73</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/74</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/75</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/76</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/77</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/78</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/79</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/80</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/81</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/82</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/83</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/84</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/85</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/86</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/87</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/88</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/89</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/90</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/91</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/92</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/93</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/94</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/95</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/96</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/97</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/98</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/99</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/100</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/101</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/102</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/103</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/104</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/105</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/106</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/107</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/108</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/109</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/110</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/111</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/112</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/113</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/114</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/115</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/116</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/117</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/118</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/119</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/120</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/121</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/122</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/123</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/124</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/125</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/126</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/127</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/128</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/129</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/130</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/131</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/132</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/133</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/134</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/135</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/136</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/137</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/138</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/139</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/140</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/141</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/142</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/143</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/144</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/145</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/146</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/147</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/148</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/149</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/150</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/151</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/152</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/153</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/154</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/155</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/156</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/157</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/158</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/159</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/160</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/161</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/162</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/163</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/164</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/165</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/166</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/167</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/168</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/169</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/170</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/171</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/172</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/173</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/174</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/175</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/176</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/177</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/178</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/179</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/180</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/181</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/182</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/183</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/184</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/185</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/186</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/187</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/188</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/189</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/190</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/191</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/192</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/193</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/194</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/195</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/196</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/197</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/198</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/199</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/200</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/201</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/202</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/203</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/204</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/205</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/206</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/207</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/208</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/209</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/210</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/211</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/212</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/213</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/214</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/215</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/216</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/217</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/218</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/219</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/220</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/221</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/222</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/223</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/224</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/225</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/226</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/227</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/228</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/229</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/230</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/231</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/232</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/233</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/234</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/235</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/236</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/237</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/238</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/239</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/240</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/241</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/242</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/243</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/244</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/245</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/246</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/247</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/248</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/249</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/250</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/251</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/252</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/253</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/254</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/255</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/256</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/257</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/258</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/259</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/appendix/refs/260</loc>
    <lastmod>2026-10-05</lastmod>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/</loc>
  </url>
  <url>
    <loc>https://research.hypsvc.com/pvsnp/community</loc>
  </url>
</urlset>