?x1 1229 ?x2 . ?x1 648 ?x3 . ?x4 897 ?x2 . ?x4 638 ?x3
?x1 1809 ?x2 . ?x1 1090 ?x3 . ?x4 1184 ?x2 . ?x4 1088 ?x3
?x1 1611 ?x2 . ?x1 1665 ?x3 . ?x4 1528 ?x2 . ?x4 355 ?x3
?x1 1485 ?x2 . ?x1 162 ?x3 . ?x4 497 ?x2 . ?x4 639 ?x3
?x1 347 ?x2 . ?x1 1029 ?x3 . ?x4 1164 ?x2 . ?x4 1369 ?x3
?x1 950 ?x2 . ?x1 764 ?x3 . ?x4 1288 ?x2 . ?x4 648 ?x3
?x1 491 ?x2 . ?x1 1948 ?x3 . ?x4 331 ?x2 . ?x4 139 ?x3
?x1 839 ?x2 . ?x1 1526 ?x3 . ?x4 254 ?x2 . ?x4 634 ?x3
?x1 674 ?x2 . ?x1 170 ?x3 . ?x4 153 ?x2 . ?x4 791 ?x3
?x1 1044 ?x2 . ?x1 326 ?x3 . ?x4 1408 ?x2 . ?x4 905 ?x3
?x1 267 ?x2 . ?x1 1144 ?x3 . ?x4 266 ?x2 . ?x4 2067 ?x3
?x1 1692 ?x2 . ?x1 1408 ?x3 . ?x4 1492 ?x2 . ?x4 525 ?x3
?x1 324 ?x2 . ?x1 1810 ?x3 . ?x4 2062 ?x2 . ?x4 2027 ?x3
?x1 311 ?x2 . ?x1 1829 ?x3 . ?x4 147 ?x2 . ?x4 1834 ?x3
?x1 929 ?x2 . ?x1 637 ?x3 . ?x4 1895 ?x2 . ?x4 634 ?x3
?x1 2088 ?x2 . ?x1 1083 ?x3 . ?x4 1491 ?x2 . ?x4 1100 ?x3
?x1 2086 ?x2 . ?x1 302 ?x3 . ?x4 917 ?x2 . ?x4 397 ?x3
?x1 500 ?x2 . ?x1 1716 ?x3 . ?x4 998 ?x2 . ?x4 149 ?x3
?x1 736 ?x2 . ?x1 313 ?x3 . ?x4 1749 ?x2 . ?x4 1252 ?x3
?x1 1970 ?x2 . ?x1 478 ?x3 . ?x4 256 ?x2 . ?x4 355 ?x3
?x1 391 ?x2 . ?x1 2068 ?x3 . ?x4 725 ?x2 . ?x4 658 ?x3
?x1 2092 ?x2 . ?x1 497 ?x3 . ?x4 55 ?x2 . ?x4 444 ?x3
?x1 766 ?x2 . ?x1 89 ?x3 . ?x4 253 ?x2 . ?x4 541 ?x3
?x1 925 ?x2 . ?x1 2068 ?x3 . ?x4 325 ?x2 . ?x4 658 ?x3
?x1 789 ?x2 . ?x1 109 ?x3 . ?x4 1497 ?x2 . ?x4 313 ?x3
?x1 793 ?x2 . ?x1 1553 ?x3 . ?x4 1492 ?x2 . ?x4 337 ?x3
?x1 56 ?x2 . ?x1 1144 ?x3 . ?x4 973 ?x2 . ?x4 2067 ?x3
?x1 270 ?x2 . ?x1 2068 ?x3 . ?x4 497 ?x2 . ?x4 128 ?x3
?x1 266 ?x2 . ?x1 649 ?x3 . ?x4 265 ?x2 . ?x4 1953 ?x3
?x1 752 ?x2 . ?x1 2067 ?x3 . ?x4 1553 ?x2 . ?x4 540 ?x3
?x1 2049 ?x2 . ?x1 644 ?x3 . ?x4 1892 ?x2 . ?x4 1742 ?x3
?x1 316 ?x2 . ?x1 1634 ?x3 . ?x4 426 ?x2 . ?x4 1948 ?x3
?x1 937 ?x2 . ?x1 1973 ?x3 . ?x4 98 ?x2 . ?x4 2004 ?x3
?x1 625 ?x2 . ?x1 247 ?x3 . ?x4 1336 ?x2 . ?x4 2044 ?x3
?x1 171 ?x2 . ?x1 1144 ?x3 . ?x4 541 ?x2 . ?x4 2067 ?x3
?x1 578 ?x2 . ?x1 1792 ?x3 . ?x4 748 ?x2 . ?x4 658 ?x3
?x1 1122 ?x2 . ?x1 313 ?x3 . ?x4 1039 ?x2 . ?x4 1252 ?x3
?x1 256 ?x2 . ?x1 98 ?x3 . ?x4 1842 ?x2 . ?x4 226 ?x3
?x1 973 ?x2 . ?x1 1942 ?x3 . ?x4 443 ?x2 . ?x4 226 ?x3
?x1 1246 ?x2 . ?x1 639 ?x3 . ?x4 1385 ?x2 . ?x4 134 ?x3
?x1 362 ?x2 . ?x1 1465 ?x3 . ?x4 280 ?x2 . ?x4 310 ?x3
?x1 612 ?x2 . ?x1 1252 ?x3 . ?x4 569 ?x2 . ?x4 313 ?x3
?x1 1707 ?x2 . ?x1 541 ?x3 . ?x4 226 ?x2 . ?x4 933 ?x3
?x1 164 ?x2 . ?x1 393 ?x3 . ?x4 1889 ?x2 . ?x4 933 ?x3
?x1 1302 ?x2 . ?x1 1252 ?x3 . ?x4 1861 ?x2 . ?x4 313 ?x3
?x1 159 ?x2 . ?x1 158 ?x3 . ?x4 162 ?x2 . ?x4 269 ?x3
?x1 114 ?x2 . ?x1 1553 ?x3 . ?x4 287 ?x2 . ?x4 1929 ?x3
?x1 538 ?x2 . ?x1 107 ?x3 . ?x4 191 ?x2 . ?x4 1376 ?x3
?x1 1491 ?x2 . ?x1 1083 ?x3 . ?x4 2088 ?x2 . ?x4 1100 ?x3
?x1 978 ?x2 . ?x1 209 ?x3 . ?x4 263 ?x2 . ?x4 2098 ?x3
