?x 1093 ?y . ?x 529 ?z . ?x 482 ?u . ?x 634 ?v
?x 2068 ?y . ?x 2074 ?z . ?x 1698 ?u . ?x 1155 ?v
?x 1873 ?y . ?x 1145 ?z . ?x 2012 ?u . ?x 318 ?v
?x 487 ?y . ?x 997 ?z . ?x 2059 ?u . ?x 1773 ?v
?x 2065 ?y . ?x 2081 ?z . ?x 2036 ?u . ?x 123 ?v
?x 1019 ?y . ?x 2053 ?z . ?x 1194 ?u . ?x 313 ?v
?x 1607 ?y . ?x 854 ?z . ?x 639 ?u . ?x 254 ?v
?x 76 ?y . ?x 1192 ?z . ?x 676 ?u . ?x 1945 ?v
?x 731 ?y . ?x 742 ?z . ?x 1933 ?u . ?x 1905 ?v
?x 1318 ?y . ?x 1909 ?z . ?x 120 ?u . ?x 1906 ?v
?x 2025 ?y . ?x 561 ?z . ?x 1043 ?u . ?x 1564 ?v
?x 29 ?y . ?x 521 ?z . ?x 1144 ?u . ?x 2075 ?v
?x 1611 ?y . ?x 490 ?z . ?x 806 ?u . ?x 825 ?v
?x 767 ?y . ?x 95 ?z . ?x 750 ?u . ?x 713 ?v
?x 1252 ?y . ?x 2089 ?z . ?x 1521 ?u . ?x 337 ?v
?x 278 ?y . ?x 350 ?z . ?x 313 ?u . ?x 852 ?v
?x 386 ?y . ?x 747 ?z . ?x 2009 ?u . ?x 287 ?v
?x 728 ?y . ?x 67 ?z . ?x 362 ?u . ?x 1989 ?v
?x 1962 ?y . ?x 639 ?z . ?x 642 ?u . ?x 341 ?v
?x 295 ?y . ?x 1913 ?z . ?x 859 ?u . ?x 933 ?v
?x 568 ?y . ?x 1376 ?z . ?x 313 ?u . ?x 1567 ?v
?x 1701 ?y . ?x 637 ?z . ?x 1697 ?u . ?x 1324 ?v
?x 1104 ?y . ?x 426 ?z . ?x 578 ?u . ?x 874 ?v
?x 912 ?y . ?x 1771 ?z . ?x 83 ?u . ?x 677 ?v
?x 1164 ?y . ?x 161 ?z . ?x 314 ?u . ?x 582 ?v
?x 1522 ?y . ?x 1962 ?z . ?x 696 ?u . ?x 1367 ?v
?x 929 ?y . ?x 879 ?z . ?x 1682 ?u . ?x 337 ?v
?x 252 ?y . ?x 106 ?z . ?x 946 ?u . ?x 2059 ?v
?x 900 ?y . ?x 728 ?z . ?x 737 ?u . ?x 1916 ?v
?x 1960 ?y . ?x 548 ?z . ?x 1832 ?u . ?x 1959 ?v
?x 300 ?y . ?x 38 ?z . ?x 713 ?u . ?x 317 ?v
?x 320 ?y . ?x 146 ?z . ?x 1070 ?u . ?x 2084 ?v
?x 451 ?y . ?x 693 ?z . ?x 1499 ?u . ?x 886 ?v
?x 1092 ?y . ?x 1299 ?z . ?x 160 ?u . ?x 255 ?v
?x 923 ?y . ?x 323 ?z . ?x 1833 ?u . ?x 337 ?v
?x 184 ?y . ?x 1000 ?z . ?x 1161 ?u . ?x 1376 ?v
?x 964 ?y . ?x 1942 ?z . ?x 1950 ?u . ?x 1909 ?v
?x 584 ?y . ?x 546 ?z . ?x 676 ?u . ?x 1491 ?v
?x 1580 ?y . ?x 1428 ?z . ?x 678 ?u . ?x 933 ?v
?x 362 ?y . ?x 1377 ?z . ?x 85 ?u . ?x 1713 ?v
?x 1350 ?y . ?x 407 ?z . ?x 45 ?u . ?x 1665 ?v
?x 952 ?y . ?x 2067 ?z . ?x 566 ?u . ?x 1385 ?v
?x 1748 ?y . ?x 1293 ?z . ?x 1072 ?u . ?x 1621 ?v
?x 1145 ?y . ?x 106 ?z . ?x 464 ?u . ?x 1595 ?v
?x 490 ?y . ?x 1834 ?z . ?x 830 ?u . ?x 1575 ?v
?x 1111 ?y . ?x 746 ?z . ?x 446 ?u . ?x 1050 ?v
?x 1850 ?y . ?x 1828 ?z . ?x 20 ?u . ?x 728 ?v
?x 1732 ?y . ?x 688 ?z . ?x 895 ?u . ?x 2042 ?v
?x 1501 ?y . ?x 1981 ?z . ?x 603 ?u . ?x 895 ?v
?x 1465 ?y . ?x 36 ?z . ?x 898 ?u . ?x 1144 ?v
