?y 322 ?x . ?z 1589 ?x . ?x 1526 ?u . ?x 1557 ?v
?y 209 ?x . ?z 2004 ?x . ?x 1272 ?u . ?x 1665 ?v
?y 1980 ?x . ?z 357 ?x . ?x 1170 ?u . ?x 260 ?v
?y 1553 ?x . ?z 473 ?x . ?x 1634 ?u . ?x 213 ?v
?y 937 ?x . ?z 541 ?x . ?x 1329 ?u . ?x 952 ?v
?y 362 ?x . ?z 515 ?x . ?x 1444 ?u . ?x 769 ?v
?y 579 ?x . ?z 750 ?x . ?x 471 ?u . ?x 1236 ?v
?y 684 ?x . ?z 887 ?x . ?x 283 ?u . ?x 494 ?v
?y 1615 ?x . ?z 1553 ?x . ?x 532 ?u . ?x 2023 ?v
?y 1950 ?x . ?z 240 ?x . ?x 713 ?u . ?x 1951 ?v
?y 1499 ?x . ?z 1956 ?x . ?x 1796 ?u . ?x 161 ?v
?y 1687 ?x . ?z 275 ?x . ?x 1376 ?u . ?x 19 ?v
?y 2094 ?x . ?z 497 ?x . ?x 367 ?u . ?x 541 ?v
?y 99 ?x . ?z 524 ?x . ?x 678 ?u . ?x 2080 ?v
?y 253 ?x . ?z 1529 ?x . ?x 334 ?u . ?x 1376 ?v
?y 381 ?x . ?z 497 ?x . ?x 807 ?u . ?x 501 ?v
?y 258 ?x . ?z 292 ?x . ?x 54 ?u . ?x 1714 ?v
?y 1711 ?x . ?z 290 ?x . ?x 2096 ?u . ?x 649 ?v
?y 1154 ?x . ?z 524 ?x . ?x 1951 ?u . ?x 1942 ?v
?y 825 ?x . ?z 1408 ?x . ?x 469 ?u . ?x 1329 ?v
?y 963 ?x . ?z 905 ?x . ?x 1784 ?u . ?x 426 ?v
?y 1848 ?x . ?z 2004 ?x . ?x 1563 ?u . ?x 1085 ?v
?y 1780 ?x . ?z 1013 ?x . ?x 2055 ?u . ?x 89 ?v
?y 1534 ?x . ?z 529 ?x . ?x 69 ?u . ?x 1309 ?v
?y 1345 ?x . ?z 273 ?x . ?x 76 ?u . ?x 1930 ?v
?y 2058 ?x . ?z 372 ?x . ?x 323 ?u . ?x 377 ?v
?y 227 ?x . ?z 110 ?x . ?x 1312 ?u . ?x 76 ?v
?y 497 ?x . ?z 357 ?x . ?x 1657 ?u . ?x 1408 ?v
?y 391 ?x . ?z 2099 ?x . ?x 427 ?u . ?x 993 ?v
?y 1793 ?x . ?z 367 ?x . ?x 1144 ?u . ?x 1088 ?v
?y 538 ?x . ?z 191 ?x . ?x 1634 ?u . ?x 91 ?v
?y 1846 ?x . ?z 1973 ?x . ?x 1720 ?u . ?x 2078 ?v
?y 330 ?x . ?z 313 ?x . ?x 1461 ?u . ?x 95 ?v
?y 1644 ?x . ?z 233 ?x . ?x 765 ?u . ?x 1408 ?v
?y 2060 ?x . ?z 1259 ?x . ?x 36 ?u . ?x 42 ?v
?y 1271 ?x . ?z 490 ?x . ?x 1625 ?u . ?x 225 ?v
?y 273 ?x . ?z 1013 ?x . ?x 1562 ?u . ?x 38 ?v
?y 962 ?x . ?z 1013 ?x . ?x 362 ?u . ?x 274 ?v
?y 2021 ?x . ?z 324 ?x . ?x 685 ?u . ?x 586 ?v
?y 1237 ?x . ?z 377 ?x . ?x 372 ?u . ?x 363 ?v
?y 114 ?x . ?z 98 ?x . ?x 663 ?u . ?x 67 ?v
?y 339 ?x . ?z 1975 ?x . ?x 338 ?u . ?x 705 ?v
?y 498 ?x . ?z 372 ?x . ?x 377 ?u . ?x 1236 ?v
?y 778 ?x . ?z 357 ?x . ?x 1897 ?u . ?x 1640 ?v
?y 767 ?x . ?z 407 ?x . ?x 1282 ?u . ?x 52 ?v
?y 724 ?x . ?z 1938 ?x . ?x 1197 ?u . ?x 713 ?v
?y 417 ?x . ?z 357 ?x . ?x 854 ?u . ?x 1463 ?v
?y 482 ?x . ?z 193 ?x . ?x 599 ?u . ?x 47 ?v
?y 1281 ?x . ?z 1013 ?x . ?x 648 ?u . ?x 478 ?v
?y 346 ?x . ?z 1559 ?x . ?x 541 ?u . ?x 1454 ?v
