?x1 322 ?x2 . ?x1 541 ?x3 . ?x2 2059 ?x4 . ?x3 226 ?x4
?x1 1742 ?x2 . ?x1 1567 ?x3 . ?x2 290 ?x4 . ?x3 393 ?x4
?x1 460 ?x2 . ?x1 2031 ?x3 . ?x2 1013 ?x4 . ?x3 2004 ?x4
?x1 1044 ?x2 . ?x1 1848 ?x3 . ?x2 1101 ?x4 . ?x3 1914 ?x4
?x1 849 ?x2 . ?x1 543 ?x3 . ?x2 89 ?x4 . ?x3 1742 ?x4
?x1 923 ?x2 . ?x1 372 ?x3 . ?x2 283 ?x4 . ?x3 756 ?x4
?x1 1036 ?x2 . ?x1 1404 ?x3 . ?x2 129 ?x4 . ?x3 130 ?x4
?x1 327 ?x2 . ?x1 407 ?x3 . ?x2 916 ?x4 . ?x3 139 ?x4
?x1 478 ?x2 . ?x1 1979 ?x3 . ?x2 1144 ?x4 . ?x3 603 ?x4
?x1 482 ?x2 . ?x1 820 ?x3 . ?x2 541 ?x4 . ?x3 1889 ?x4
?x1 1045 ?x2 . ?x1 357 ?x3 . ?x2 247 ?x4 . ?x3 719 ?x4
?x1 1176 ?x2 . ?x1 1485 ?x3 . ?x2 604 ?x4 . ?x3 603 ?x4
?x1 1644 ?x2 . ?x1 393 ?x3 . ?x2 1376 ?x4 . ?x3 654 ?x4
?x1 552 ?x2 . ?x1 541 ?x3 . ?x2 335 ?x4 . ?x3 440 ?x4
?x1 2046 ?x2 . ?x1 2043 ?x3 . ?x2 1018 ?x4 . ?x3 1720 ?x4
?x1 576 ?x2 . ?x1 89 ?x3 . ?x2 524 ?x4 . ?x3 1742 ?x4
?x1 444 ?x2 . ?x1 497 ?x3 . ?x2 441 ?x4 . ?x3 633 ?x4
?x1 171 ?x2 . ?x1 541 ?x3 . ?x2 193 ?x4 . ?x3 651 ?x4
?x1 406 ?x2 . ?x1 420 ?x3 . ?x2 2080 ?x4 . ?x3 546 ?x4
?x1 1178 ?x2 . ?x1 555 ?x3 . ?x2 372 ?x4 . ?x3 377 ?x4
?x1 1948 ?x2 . ?x1 2068 ?x3 . ?x2 1369 ?x4 . ?x3 604 ?x4
?x1 1485 ?x2 . ?x1 275 ?x3 . ?x2 1528 ?x4 . ?x3 309 ?x4
?x1 139 ?x2 . ?x1 243 ?x3 . ?x2 1129 ?x4 . ?x3 497 ?x4
?x1 1973 ?x2 . ?x1 658 ?x3 . ?x2 677 ?x4 . ?x3 1385 ?x4
?x1 1750 ?x2 . ?x1 1686 ?x3 . ?x2 1953 ?x4 . ?x3 301 ?x4
?x1 449 ?x2 . ?x1 490 ?x3 . ?x2 119 ?x4 . ?x3 377 ?x4
?x1 367 ?x2 . ?x1 171 ?x3 . ?x2 541 ?x4 . ?x3 193 ?x4
?x1 192 ?x2 . ?x1 1612 ?x3 . ?x2 1013 ?x4 . ?x3 1557 ?x4
?x1 1919 ?x2 . ?x1 1665 ?x3 . ?x2 637 ?x4 . ?x3 971 ?x4
?x1 2021 ?x2 . ?x1 586 ?x3 . ?x2 1829 ?x4 . ?x3 404 ?x4
?x1 2002 ?x2 . ?x1 200 ?x3 . ?x2 324 ?x4 . ?x3 164 ?x4
?x1 1923 ?x2 . ?x1 1956 ?x3 . ?x2 1083 ?x4 . ?x3 603 ?x4
?x1 931 ?x2 . ?x1 484 ?x3 . ?x2 357 ?x4 . ?x3 2004 ?x4
?x1 905 ?x2 . ?x1 658 ?x3 . ?x2 206 ?x4 . ?x3 1596 ?x4
?x1 2021 ?x2 . ?x1 301 ?x3 . ?x2 2081 ?x4 . ?x3 1964 ?x4
?x1 1903 ?x2 . ?x1 1998 ?x3 . ?x2 719 ?x4 . ?x3 2020 ?x4
?x1 1868 ?x2 . ?x1 2072 ?x3 . ?x2 1971 ?x4 . ?x3 1829 ?x4
?x1 1236 ?x2 . ?x1 444 ?x3 . ?x2 349 ?x4 . ?x3 2067 ?x4
?x1 1553 ?x2 . ?x1 2059 ?x3 . ?x2 319 ?x4 . ?x3 1013 ?x4
?x1 966 ?x2 . ?x1 233 ?x3 . ?x2 420 ?x4 . ?x3 432 ?x4
?x1 292 ?x2 . ?x1 478 ?x3 . ?x2 313 ?x4 . ?x3 1300 ?x4
?x1 881 ?x2 . ?x1 89 ?x3 . ?x2 335 ?x4 . ?x3 440 ?x4
?x1 1281 ?x2 . ?x1 324 ?x3 . ?x2 933 ?x4 . ?x3 282 ?x4
?x1 658 ?x2 . ?x1 103 ?x3 . ?x2 246 ?x4 . ?x3 393 ?x4
?x1 999 ?x2 . ?x1 939 ?x3 . ?x2 100 ?x4 . ?x3 1923 ?x4
?x1 1612 ?x2 . ?x1 2059 ?x3 . ?x2 618 ?x4 . ?x3 1013 ?x4
?x1 982 ?x2 . ?x1 933 ?x3 . ?x2 363 ?x4 . ?x3 1596 ?x4
?x1 1328 ?x2 . ?x1 1441 ?x3 . ?x2 1948 ?x4 . ?x3 1454 ?x4
?x1 1949 ?x2 . ?x1 1268 ?x3 . ?x2 355 ?x4 . ?x3 290 ?x4
?x1 1750 ?x2 . ?x1 1686 ?x3 . ?x2 290 ?x4 . ?x3 1615 ?x4
