
[30*r + 349, 259*r + 1661]
[38*r + 1138, 242*r + 1903]
[42*r + 333, 1960*r + 1247]
[68*r + 449, 683*r + 1637]
[76*r + 1998, 2028*r + 300]
[78*r + 1239, 49*r + 1605]
[86*r + 1140, 1189*r + 347]
[106*r + 920, 1163*r + 1498]
[112*r + 113, 1609*r + 1912]
[114*r + 1246, 620*r + 397]
[144*r + 532, 947*r + 998]
[156*r + 1778, 1452*r + 1541]
[166*r + 398, 432*r + 1282]
[168*r + 1787, 659*r + 1573]
[178*r + 686, 791*r + 1302]
[180*r + 1603, 616*r + 397]
[194*r + 2135, 584*r + 547]
[200*r + 1991, 1827*r + 1935]
[202*r + 1865, 165*r + 1088]
[208*r + 611, 219*r + 1323]
[226*r + 799, 679*r + 179]
[228*r + 1499, 835*r + 1363]
[244*r + 1904, 1661*r + 842]
[270*r + 297, 2076*r + 1202]
[312*r + 2052, 977*r + 1170]
[348*r + 918, 270*r + 979]
[368*r + 462, 1390*r + 696]
[378*r + 1056, 11*r + 349]
[380*r + 197, 1573*r + 1658]
[380*r + 1251, 1248*r + 1189]
[380*r + 1903, 1241*r + 1261]
[382*r + 1399, 1687*r + 262]
[388*r + 245, 1642*r + 1798]
[396*r + 967, 2007*r + 2034]
[406*r + 418, 1395*r + 1741]
[406*r + 1418, 199*r + 996]
[408*r + 713, 767*r + 913]
[428*r + 509, 229*r + 420]
[434*r + 1898, 1169*r + 1890]
[444*r + 244, 654*r + 43]
[464*r + 869, 1655*r + 2003]
[466*r + 619, 1004*r + 83]
[470*r + 936, 1267*r + 1867]
[472*r + 388, 1099*r + 720]
[478*r + 993, 659*r + 553]
[486*r + 1432, 907*r + 567]
[486*r + 2001, 946*r + 966]
[494*r + 1445, 605*r + 1336]
[500*r + 16, 137*r + 1919]
[506*r + 2082, 252*r + 455]
[520*r + 1223, 1700*r + 1388]
[548*r + 447, 1808*r + 387]
[558*r + 599, 1323*r + 296]
[562*r + 1353, 234*r + 1289]
[590*r + 559, 1600*r + 45]
[592*r + 1447, 1971*r + 1900]
[602*r + 1816, 307*r + 1947]
[604*r + 965, 731*r + 1976]
[630*r + 1447, 1293*r + 868]
[638*r + 1734, 486*r + 1545]
[640*r + 1662, 160*r + 1459]
[644*r + 2028, 469*r + 2066]
[672*r + 1260, 740*r + 1557]
[676*r + 1091, 812*r + 1683]
[680*r + 830, 404*r + 1453]
[680*r + 595, 712*r + 685]
[682*r + 2004, 1902*r + 43]
[706*r + 844, 1199*r + 1165]
[714*r + 99, 184*r + 1503]
[726*r + 1080, 1353*r + 1602]
[730*r + 1829, 6*r + 388]
[748*r + 145, 437*r + 1231]
[754*r + 1028, 1897*r + 2056]
[754*r + 515, 1133*r + 1601]
[758*r + 598, 1327*r + 306]
[758*r + 1721, 1636*r + 1271]
[762*r + 1339, 272*r + 751]
[766*r + 1821, 1556*r + 1951]
[786*r + 109, 1812*r + 152]
[788*r + 933, 1436*r + 276]
[790*r + 1798, 1861*r + 982]
[854*r + 1810, 1888*r + 465]
[858*r + 972, 2018*r + 1491]
[876*r + 536, 169*r + 1596]
[876*r + 1120, 1286*r + 1834]
[890*r + 1902, 2034*r + 2118]
[890*r + 1033, 1917*r + 226]
[904*r + 687, 1521*r + 323]
[904*r + 1789, 412*r + 246]
[906*r + 2081, 1274*r + 676]
[910*r + 1629, 1229*r + 1965]
[928*r + 369, 2030*r + 1465]
[928*r + 765, 1264*r + 569]
[930*r + 1856, 767*r + 2096]
[930*r + 1061, 2019*r + 868]
[934*r + 678, 1405*r + 981]
[934*r + 1413, 510*r + 255]
[948*r + 1623, 1406*r + 1029]
[970*r + 590, 1136*r + 685]
[972*r + 71, 979*r + 691]
[984*r + 1950, 504*r + 1223]
[986*r + 1306, 2004*r + 783]
[996*r + 740, 1908*r + 67]
[1002*r + 791, 1661*r + 1473]
[1004*r + 1139, 593*r + 1935]
[1006*r + 1902, 1787*r + 2055]
[1022*r + 2089, 731*r + 261]
[1042*r + 284, 1161*r + 786]
[1064*r + 1753, 1440*r + 271]
[1072*r + 204, 1530*r + 737]
[1076*r + 1785, 1890*r + 620]
[1092*r + 812, 439*r + 1903]
[1096*r + 1047, 844*r + 400]
[1110*r + 929, 911*r + 972]
[1124*r + 1893, 574*r + 732]
[1138*r + 956, 664*r + 394]
[1152*r + 1120, 20*r + 1821]
[1156*r + 1902, 159*r + 609]
[1158*r + 1438, 29*r + 1659]
[1174*r + 523, 551*r + 1702]
[1174*r + 1091, 965*r + 972]
[1188*r + 456, 475*r + 470]
[1202*r + 221, 778*r + 1547]
[1204*r + 489, 417*r + 150]
[1258*r + 346, 1114*r + 1832]
[1262*r + 1924, 1294*r + 1299]
[1280*r + 1713, 1404*r + 1096]
[1282*r + 1602, 1285*r + 96]
[1284*r + 1035, 1920*r + 1101]
[1296*r + 621, 390*r + 1462]
[1298*r + 567, 941*r + 695]
[1312*r + 1012, 697*r + 1774]
[1314*r + 1874, 864*r + 2060]
[1338*r + 1602, 1698*r + 2082]
[1342*r + 814, 1593*r + 1847]
[1356*r + 295, 1695*r + 264]
[1364*r + 179, 280*r + 730]
[1366*r + 2117, 1728*r + 206]
[1372*r + 1056, 1878*r + 2012]
[1376*r + 376, 997*r + 122]
[1410*r + 99, 312*r + 650]
[1440*r + 110, 2095*r + 754]
[1446*r + 1027, 1685*r + 659]
[1484*r + 472, 1577*r + 67]
[1486*r + 1913, 1657*r + 1361]
[1492*r + 853, 1059*r + 854]
[1522*r + 1426, 208*r + 1168]
[1522*r + 1641, 1914*r + 632]
[1542*r + 677, 1704*r + 1361]
[1554*r + 1247, 51*r + 2050]
[1558*r + 1614, 1751*r + 440]
[1562*r + 355, 484*r + 994]
[1570*r + 1707, 537*r + 1643]
[1586*r + 1774, 1596*r + 1620]
[1596*r + 647, 309*r + 614]
[1596*r + 1193, 422*r + 694]
[1630*r + 1556, 1059*r + 556]
[1630*r + 1093, 1275*r + 612]
[1632*r + 1122, 477*r + 1659]
[1642*r + 468, 1841*r + 1667]
[1644*r + 1201, 885*r + 802]
[1654*r + 1947, 1393*r + 2015]
[1658*r + 824, 853*r + 86]
[1662*r + 1750, 1048*r + 1620]
[1684*r + 63, 232*r + 714]
[1690*r + 1051, 652*r + 2074]
[1692*r + 615, 2115*r + 911]
[1696*r + 2116, 1494*r + 603]
[1700*r + 1041, 535*r + 2043]
[1722*r + 832, 1909*r + 163]
[1722*r + 393, 6*r + 370]
[1762*r + 2065, 1817*r + 1144]
[1764*r + 1198, 1913*r + 1500]
[1764*r + 337, 1494*r + 1866]
[1768*r + 1752, 751*r + 639]
[1772*r + 2046, 615*r + 797]
[1776*r + 1496, 1318*r + 353]
[1780*r + 566, 1343*r + 935]
[1782*r + 1314, 1922*r + 2054]
[1784*r + 412, 1282*r + 1824]
[1800*r + 529, 1637*r + 1382]
[1840*r + 891, 1713*r + 815]
[1842*r + 357, 855*r + 980]
[1880*r + 2085, 521*r + 503]
[1902*r + 1226, 1156*r + 2118]
[1914*r + 751, 446*r + 705]
[1982*r + 2114, 1956*r + 209]
[1994*r + 620, 1012*r + 1974]
[1996*r + 633, 1189*r + 375]
[2000*r + 501, 1435*r + 1296]
[2002*r + 529, 1381*r + 1208]
[2004*r + 839, 616*r + 1047]
[2010*r + 1725, 203*r + 147]
[2012*r + 88, 1296*r + 1856]
[2022*r + 298, 184*r + 617]
[2024*r + 887, 1407*r + 1747]
[2036*r + 1588, 963*r + 362]
[2036*r + 1970, 889*r + 2061]
[2046*r + 1, 1373*r + 658]
[2052*r + 1967, 2046*r + 2083]
[2068*r + 2054, 1091*r + 2051]
[2084*r + 741, 150*r + 2039]
[2094*r + 2097, 1887*r + 685]
[2108*r + 1208, 1658*r + 735]
[2112*r + 675, 77*r + 1177]
[2116*r + 1001, 593*r + 202]
[5*r + 1686, 72*r + 406]
[21*r + 621, 1862*r + 403]
[45*r + 1815, 169*r + 497]
[57*r + 1933, 2048*r + 472]
[69*r + 964, 1916*r + 2117]
[83*r + 559, 297*r + 1475]
[85*r + 1351, 1035*r + 1347]
[93*r + 908, 651*r + 224]
[111*r + 1860, 959*r + 2103]
[115*r + 328, 664*r + 1825]
[115*r + 1651, 777*r + 2044]
[119*r + 1961, 1805*r + 1773]
[137*r + 1727, 309*r + 880]
[145*r + 106, 1628*r + 442]
[145*r + 25, 1768*r + 1736]
[145*r + 1727, 789*r + 1099]
[147*r + 1967, 1341*r + 1827]
[157*r + 1592, 2095*r + 1823]
[175*r + 1168, 1513*r + 511]
[181*r + 266, 1488*r + 163]
[187*r + 1997, 1254*r + 910]
[199*r + 390, 353*r + 359]
[207*r + 963, 1619*r + 1215]
[211*r + 170, 777*r + 1293]
[211*r + 1996, 846*r + 1737]
[213*r + 1152, 1343*r + 271]
[225*r + 1264, 1094*r + 1180]
[255*r + 1166, 678*r + 421]
[259*r + 1112, 1725*r + 1777]
[263*r + 1118, 1954*r + 336]
[269*r + 387, 1804*r + 701]
[277*r + 231, 969*r + 42]
[283*r + 1090, 2032*r + 1095]
[295*r + 726, 1101*r + 1037]
[297*r + 1334, 224*r + 109]
[319*r + 1452, 1026*r + 1496]
[321*r + 767, 887*r + 1318]
[325*r + 1820, 1175*r + 901]
[325*r + 1849, 1555*r + 1591]
[329*r + 125, 2092*r + 394]
[337*r + 2059, 1033*r + 2008]
[345*r + 278, 761*r + 1288]
[355*r + 1914, 1974*r + 1516]
[359*r + 1701, 1991*r + 748]
[363*r + 1972, 245*r + 958]
[371*r + 555, 323*r + 483]
[377*r + 248, 922*r + 339]
[381*r + 2132, 780*r + 355]
[399*r + 1651, 831*r + 1783]
[407*r + 134, 178*r + 380]
[413*r + 1636, 141*r + 1189]
[415*r + 847, 755*r + 675]
[419*r + 1878, 1576*r + 1070]
[419*r + 117, 1414*r + 1353]
[425*r + 1986, 702*r + 1881]
[427*r + 1538, 431*r + 1293]
[429*r + 571, 253*r + 344]
[431*r + 877, 1726*r + 787]
[453*r + 2029, 779*r + 120]
[463*r + 90, 809*r + 75]
[511*r + 396, 1717*r + 1084]
[517*r + 1798, 939*r + 1336]
[525*r + 1409, 119*r + 1337]
[531*r + 1667, 1413*r + 983]
[545*r + 1607, 945*r + 870]
[559*r + 586, 1093*r + 101]
[563*r + 932, 2107*r + 1270]
[629*r + 2105, 128*r + 469]
[639*r + 920, 697*r + 2002]
[653*r + 1808, 1319*r + 1815]
[653*r + 2104, 1119*r + 456]
[679*r + 609, 1401*r + 704]
[683*r + 368, 1122*r + 381]
[689*r + 1044, 1498*r + 1296]
[707*r + 572, 872*r + 1362]
[721*r + 142, 905*r + 280]
[737*r + 1659, 1709*r + 1033]
[761*r + 2022, 440*r + 798]
[767*r + 801, 1240*r + 556]
[775*r + 318, 504*r + 1762]
[787*r + 440, 967*r + 293]
[789*r + 917, 561*r + 607]
[809*r + 285, 1071*r + 383]
[815*r + 1724, 1680*r + 1432]
[823*r + 450, 1726*r + 1644]
[831*r + 1756, 231*r + 819]
[831*r + 1842, 1658*r + 900]
[831*r + 1327, 1181*r + 1627]
[841*r + 111, 807*r + 1425]
[849*r + 7, 288*r + 99]
[855*r + 1379, 1275*r + 1980]
[873*r + 272, 1814*r + 1932]
[877*r + 1779, 803*r + 780]
[877*r + 1927, 1125*r + 2012]
[883*r + 200, 302*r + 1225]
[905*r + 209, 1423*r + 1831]
[917*r + 1690, 1155*r + 528]
[919*r + 813, 162*r + 1127]
[925*r + 150, 1402*r + 480]
[931*r + 761, 1408*r + 1979]
[951*r + 42, 2071*r + 1842]
[959*r + 1870, 1968*r + 483]
[973*r + 300, 526*r + 617]
[989*r + 427, 1964*r + 1243]
[997*r + 2071, 1549*r + 291]
[1023*r + 1915, 125*r + 429]
[1029*r + 1022, 724*r + 16]
[1029*r + 2037, 1073*r + 780]
[1031*r + 1482, 1289*r + 745]
[1033*r + 1757, 1368*r + 1778]
[1055*r + 222, 1990*r + 99]
[1069*r + 1277, 1762*r + 475]
[1095*r + 119, 885*r + 2079]
[1113*r + 1447, 304*r + 1012]
[1133*r + 867, 669*r + 951]
[1133*r + 1899, 500*r + 835]
[1133*r + 1905, 940*r + 1200]
[1141*r + 1161, 775*r + 1833]
[1157*r + 389, 1722*r + 1358]
[1165*r + 73, 132*r + 1724]
[1167*r + 1829, 520*r + 431]
[1181*r + 1833, 1633*r + 1588]
[1205*r + 1028, 1115*r + 410]
[1235*r + 898, 512*r + 1155]
[1241*r + 1158, 1056*r + 455]
[1251*r + 999, 1842*r + 669]
[1255*r + 382, 686*r + 680]
[1277*r + 1345, 1210*r + 1202]
[1283*r + 1639, 357*r + 1256]
[1289*r + 1111, 185*r + 2125]
[1351*r + 1930, 469*r + 1060]
[1363*r + 1671, 1475*r + 1914]
[1379*r + 1940, 2045*r + 1354]
[1381*r + 510, 1243*r + 840]
[1387*r + 1320, 1795*r + 1671]
[1387*r + 1908, 1500*r + 6]
[1391*r + 946, 500*r + 795]
[1395*r + 2063, 1916*r + 1277]
[1399*r + 2014, 1274*r + 556]
[1447*r + 913, 1937*r + 1015]
[1449*r + 935, 230*r + 562]
[1451*r + 1136, 1446*r + 462]
[1451*r + 1266, 1350*r + 1068]
[1475*r + 1853, 1585*r + 607]
[1479*r + 1112, 1069*r + 1684]
[1483*r + 663, 364*r + 1992]
[1491*r + 418, 1733*r + 1770]
[1515*r + 1596, 1853*r + 58]
[1525*r + 563, 1334*r + 828]
[1525*r + 651, 796*r + 1034]
[1539*r + 1246, 958*r + 1778]
[1549*r + 1676, 1543*r + 1841]
[1549*r + 1155, 1923*r + 523]
[1561*r + 1974, 481*r + 1161]
[1565*r + 102, 325*r + 412]
[1589*r + 748, 1320*r + 772]
[1591*r + 433, 301*r + 1946]
[1595*r + 1199, 1878*r + 227]
[1597*r + 587, 121*r + 1256]
[1601*r + 57, 488*r + 346]
[1601*r + 901, 583*r + 858]
[1615*r + 2102, 1339*r + 1034]
[1623*r + 1785, 958*r + 1107]
[1647*r + 1023, 507*r + 1923]
[1659*r + 514, 1669*r + 596]
[1665*r + 342, 1682*r + 751]
[1673*r + 1018, 46*r + 722]
[1673*r + 1957, 47*r + 332]
[1689*r + 656, 2051*r + 1501]
[1705*r + 1259, 1284*r + 111]
[1707*r + 1604, 2095*r + 163]
[1731*r + 1696, 1603*r + 2100]
[1741*r + 247, 1160*r + 1716]
[1759*r + 2136, 80*r + 1412]
[1769*r + 545, 224*r + 1472]
[1783*r + 1710, 1453*r + 1146]
[1847*r + 1980, 1946*r + 784]
[1851*r + 399, 1601*r + 2054]
[1867*r + 1468, 2019*r + 96]
[1877*r + 2022, 753*r + 1699]
[1895*r + 1606, 1174*r + 1709]
[1907*r + 1427, 1108*r + 1533]
[1917*r + 1987, 1132*r + 895]
[1925*r + 178, 103*r + 1095]
[1973*r + 649, 356*r + 682]
[1977*r + 130, 224*r + 209]
[1981*r + 664, 1912*r + 1113]
[1987*r + 1074, 1190*r + 549]
[2003*r + 1321, 146*r + 1174]
[2009*r + 1346, 998*r + 1384]
[2017*r + 2074, 1813*r + 313]
[2019*r + 14, 1333*r + 214]
[2027*r + 1221, 27*r + 1733]
[2041*r + 884, 1562*r + 1759]
[2049*r + 394, 845*r + 998]
[2057*r + 1613, 2107*r + 1944]
[2085*r + 1681, 1372*r + 160]
[2101*r + 85, 1062*r + 6]
[2111*r + 1854, 2084*r + 785]
[2119*r + 1337, 1905*r + 1612]
[2125*r + 1568, 399*r + 226]
out of samples
False
