?y 2005 ?x . ?z 2046 ?x . ?u 473 ?x . ?v 161 ?x
?y 1325 ?x . ?z 934 ?x . ?u 1536 ?x . ?v 1194 ?x
?y 1159 ?x . ?z 1939 ?x . ?u 1595 ?x . ?v 676 ?x
?y 1735 ?x . ?z 2057 ?x . ?u 446 ?x . ?v 1571 ?x
?y 1720 ?x . ?z 2042 ?x . ?u 1388 ?x . ?v 633 ?x
?y 1290 ?x . ?z 1871 ?x . ?u 706 ?x . ?v 822 ?x
?y 390 ?x . ?z 1014 ?x . ?u 381 ?x . ?v 1529 ?x
?y 2091 ?x . ?z 377 ?x . ?u 541 ?x . ?v 357 ?x
?y 1255 ?x . ?z 936 ?x . ?u 932 ?x . ?v 991 ?x
?y 424 ?x . ?z 917 ?x . ?u 2029 ?x . ?v 438 ?x
?y 437 ?x . ?z 1908 ?x . ?u 283 ?x . ?v 939 ?x
?y 1421 ?x . ?z 1256 ?x . ?u 683 ?x . ?v 1860 ?x
?y 1790 ?x . ?z 797 ?x . ?u 1288 ?x . ?v 305 ?x
?y 1673 ?x . ?z 560 ?x . ?u 1735 ?x . ?v 1423 ?x
?y 748 ?x . ?z 438 ?x . ?u 1146 ?x . ?v 545 ?x
?y 652 ?x . ?z 694 ?x . ?u 1185 ?x . ?v 198 ?x
?y 1724 ?x . ?z 633 ?x . ?u 1184 ?x . ?v 1090 ?x
?y 564 ?x . ?z 458 ?x . ?u 1091 ?x . ?v 315 ?x
?y 437 ?x . ?z 2068 ?x . ?u 658 ?x . ?v 292 ?x
?y 1477 ?x . ?z 1632 ?x . ?u 714 ?x . ?v 540 ?x
?y 1796 ?x . ?z 719 ?x . ?u 301 ?x . ?v 484 ?x
?y 851 ?x . ?z 768 ?x . ?u 1601 ?x . ?v 603 ?x
?y 1200 ?x . ?z 1662 ?x . ?u 229 ?x . ?v 893 ?x
?y 130 ?x . ?z 200 ?x . ?u 314 ?x . ?v 1259 ?x
?y 567 ?x . ?z 1956 ?x . ?u 301 ?x . ?v 905 ?x
?y 306 ?x . ?z 950 ?x . ?u 1032 ?x . ?v 653 ?x
?y 1991 ?x . ?z 1181 ?x . ?u 782 ?x . ?v 1363 ?x
?y 1830 ?x . ?z 1895 ?x . ?u 631 ?x . ?v 1575 ?x
?y 294 ?x . ?z 1729 ?x . ?u 2069 ?x . ?v 580 ?x
?y 518 ?x . ?z 336 ?x . ?u 845 ?x . ?v 335 ?x
?y 800 ?x . ?z 2039 ?x . ?u 493 ?x . ?v 1854 ?x
?y 1147 ?x . ?z 1789 ?x . ?u 1436 ?x . ?v 321 ?x
?y 626 ?x . ?z 1051 ?x . ?u 1451 ?x . ?v 828 ?x
?y 116 ?x . ?z 621 ?x . ?u 925 ?x . ?v 1048 ?x
?y 1407 ?x . ?z 743 ?x . ?u 1402 ?x . ?v 1275 ?x
?y 1643 ?x . ?z 1674 ?x . ?u 1223 ?x . ?v 690 ?x
?y 1835 ?x . ?z 226 ?x . ?u 962 ?x . ?v 541 ?x
?y 935 ?x . ?z 810 ?x . ?u 1856 ?x . ?v 1695 ?x
?y 834 ?x . ?z 998 ?x . ?u 1350 ?x . ?v 1303 ?x
?y 1133 ?x . ?z 112 ?x . ?u 942 ?x . ?v 1468 ?x
?y 1610 ?x . ?z 1812 ?x . ?u 653 ?x . ?v 1515 ?x
?y 931 ?x . ?z 2051 ?x . ?u 1980 ?x . ?v 1979 ?x
?y 714 ?x . ?z 2067 ?x . ?u 1477 ?x . ?v 1303 ?x
?y 326 ?x . ?z 1272 ?x . ?u 905 ?x . ?v 108 ?x
?y 963 ?x . ?z 233 ?x . ?u 1408 ?x . ?v 1956 ?x
?y 690 ?x . ?z 2000 ?x . ?u 1781 ?x . ?v 363 ?x
?y 470 ?x . ?z 426 ?x . ?u 377 ?x . ?v 372 ?x
?y 1914 ?x . ?z 1088 ?x . ?u 995 ?x . ?v 1676 ?x
?y 1377 ?x . ?z 2020 ?x . ?u 529 ?x . ?v 119 ?x
?y 169 ?x . ?z 673 ?x . ?u 1630 ?x . ?v 1207 ?x
