?x1 460 ?x2 . ?x2 1013 ?x3 . ?x3 2031 ?x4 . ?x4 2004 ?x1
?x1 1441 ?x2 . ?x2 1013 ?x3 . ?x3 1206 ?x4 . ?x4 1979 ?x1
?x1 981 ?x2 . ?x2 372 ?x3 . ?x3 377 ?x4 . ?x4 273 ?x1
?x1 1919 ?x2 . ?x2 473 ?x3 . ?x3 2004 ?x4 . ?x4 377 ?x1
?x1 192 ?x2 . ?x2 1013 ?x3 . ?x3 1557 ?x4 . ?x4 2093 ?x1
?x1 725 ?x2 . ?x2 532 ?x3 . ?x3 301 ?x4 . ?x4 1129 ?x1
?x1 290 ?x2 . ?x2 1567 ?x3 . ?x3 543 ?x4 . ?x4 658 ?x1
?x1 963 ?x2 . ?x2 725 ?x3 . ?x3 1408 ?x4 . ?x4 108 ?x1
?x1 1129 ?x2 . ?x2 337 ?x3 . ?x3 1408 ?x4 . ?x4 1529 ?x1
?x1 826 ?x2 . ?x2 1908 ?x3 . ?x3 323 ?x4 . ?x4 322 ?x1
?x1 609 ?x2 . ?x2 2060 ?x3 . ?x3 1953 ?x4 . ?x4 1589 ?x1
?x1 444 ?x2 . ?x2 114 ?x3 . ?x3 301 ?x4 . ?x4 108 ?x1
?x1 171 ?x2 . ?x2 372 ?x3 . ?x3 193 ?x4 . ?x4 377 ?x1
?x1 1328 ?x2 . ?x2 1454 ?x3 . ?x3 2059 ?x4 . ?x4 1013 ?x1
?x1 393 ?x2 . ?x2 766 ?x3 . ?x3 2059 ?x4 . ?x4 1013 ?x1
?x1 125 ?x2 . ?x2 829 ?x3 . ?x3 1956 ?x4 . ?x4 2005 ?x1
?x1 346 ?x2 . ?x2 1454 ?x3 . ?x3 273 ?x4 . ?x4 981 ?x1
?x1 520 ?x2 . ?x2 243 ?x3 . ?x3 497 ?x4 . ?x4 525 ?x1
?x1 1948 ?x2 . ?x2 2031 ?x3 . ?x3 2005 ?x4 . ?x4 125 ?x1
?x1 1236 ?x2 . ?x2 1371 ?x3 . ?x3 1367 ?x4 . ?x4 750 ?x1
?x1 171 ?x2 . ?x2 372 ?x3 . ?x3 193 ?x4 . ?x4 377 ?x1
?x1 574 ?x2 . ?x2 1408 ?x3 . ?x3 862 ?x4 . ?x4 510 ?x1
?x1 1810 ?x2 . ?x2 372 ?x3 . ?x3 1908 ?x4 . ?x4 939 ?x1
?x1 2046 ?x2 . ?x2 2059 ?x3 . ?x3 1013 ?x4 . ?x4 2004 ?x1
?x1 123 ?x2 . ?x2 226 ?x3 . ?x3 2059 ?x4 . ?x4 1013 ?x1
?x1 1929 ?x2 . ?x2 139 ?x3 . ?x3 330 ?x4 . ?x4 2071 ?x1
?x1 644 ?x2 . ?x2 323 ?x3 . ?x3 322 ?x4 . ?x4 649 ?x1
?x1 1281 ?x2 . ?x2 226 ?x3 . ?x3 292 ?x4 . ?x4 2002 ?x1
?x1 966 ?x2 . ?x2 420 ?x3 . ?x3 497 ?x4 . ?x4 432 ?x1
?x1 2004 ?x2 . ?x2 2098 ?x3 . ?x3 432 ?x4 . ?x4 406 ?x1
?x1 412 ?x2 . ?x2 497 ?x3 . ?x3 243 ?x4 . ?x4 89 ?x1
?x1 1281 ?x2 . ?x2 478 ?x3 . ?x3 2002 ?x4 . ?x4 226 ?x1
?x1 301 ?x2 . ?x2 192 ?x3 . ?x3 1013 ?x4 . ?x4 1557 ?x1
?x1 1780 ?x2 . ?x2 89 ?x3 . ?x3 1949 ?x4 . ?x4 1232 ?x1
?x1 460 ?x2 . ?x2 1013 ?x3 . ?x3 2031 ?x4 . ?x4 2004 ?x1
?x1 103 ?x2 . ?x2 684 ?x3 . ?x3 226 ?x4 . ?x4 161 ?x1
?x1 2072 ?x2 . ?x2 1408 ?x3 . ?x3 725 ?x4 . ?x4 781 ?x1
?x1 482 ?x2 . ?x2 2093 ?x3 . ?x3 1390 ?x4 . ?x4 820 ?x1
?x1 119 ?x2 . ?x2 362 ?x3 . ?x3 2020 ?x4 . ?x4 372 ?x1
?x1 1529 ?x2 . ?x2 323 ?x3 . ?x3 322 ?x4 . ?x4 532 ?x1
?x1 1219 ?x2 . ?x2 273 ?x3 . ?x3 1525 ?x4 . ?x4 1153 ?x1
?x1 2094 ?x2 . ?x2 310 ?x3 . ?x3 161 ?x4 . ?x4 108 ?x1
?x1 566 ?x2 . ?x2 1634 ?x3 . ?x3 933 ?x4 . ?x4 89 ?x1
?x1 340 ?x2 . ?x2 1236 ?x3 . ?x3 89 ?x4 . ?x4 1268 ?x1
?x1 420 ?x2 . ?x2 406 ?x3 . ?x3 432 ?x4 . ?x4 726 ?x1
?x1 226 ?x2 . ?x2 541 ?x3 . ?x3 1268 ?x4 . ?x4 684 ?x1
?x1 891 ?x2 . ?x2 767 ?x3 . ?x3 89 ?x4 . ?x4 654 ?x1
?x1 1775 ?x2 . ?x2 301 ?x3 . ?x3 2059 ?x4 . ?x4 1013 ?x1
?x1 658 ?x2 . ?x2 233 ?x3 . ?x3 1408 ?x4 . ?x4 862 ?x1
?x1 292 ?x2 . ?x2 98 ?x3 . ?x3 1045 ?x4 . ?x4 1465 ?x1
