
#define DATA_SIZE 250 

type input_data[DATA_SIZE] = 
{
  89400484, 976015092, 1792756324, 721524505, 1214379246, 3794415, 402845420, 2126940990, 1611680320, 786566648, 754215794, 1231249235, 284658041, 137796456, 2041942843, 329767814, 1255524953, 465119445, 1731949250, 301663421, 
  1335861008, 452888789, 14125900, 1231149357, 2002881120, 730845665, 1913581092, 1275331596, 843738737, 1931282005, 1492488573, 490920543, 2066865713, 25885333, 238278880, 1898582764, 250731366, 1612593993, 637659983, 1388759892, 
  916073297, 1075762632, 675549432, 937987129, 1417415680, 1508705426, 1663890071, 1746476698, 686797873, 2109530615, 1459500136, 324215873, 1881253854, 1496277718, 810387144, 1212974417, 1020037994, 585169793, 2017191527, 556328195, 
  1160036198, 1391095995, 1223583276, 1094283114, 436580096, 190215907, 603159718, 1513255537, 1631935240, 1440145706, 1303736105, 806638567, 1100041120, 1185825535, 1414141069, 2014090929, 419476096, 1273955724, 175753599, 1223475486, 
  574236644, 2046759770, 492507266, 1721767511, 726141970, 1256152080, 2029909894, 1382429941, 1939683211, 791188057, 519699747, 1051184301, 1962689485, 706913763, 1776471922, 672906535, 2005817027, 1274190723, 2119425672, 835063788, 
  421198539, 1169327477, 2064145552, 1396662140, 1218522465, 2105638337, 754247044, 2143968639, 1395289708, 1750443194, 1412540552, 170281493, 389233190, 448284065, 240618723, 2145930822, 1846605728, 1353999206, 140536987, 1821559709, 
  619972089, 1514278798, 750919339, 2143343312, 304427548, 545066288, 1946004194, 1538069400, 1904770864, 924541465, 567779677, 893302687, 1239665569, 1157666831, 2105814934, 1505475223, 1636203720, 9736243, 518073650, 1063743848, 
  1029176122, 215018112, 1073871430, 1858933377, 866478506, 1491477359, 477407584, 895562064, 954441852, 638167485, 1550159640, 614612685, 1453397990, 1334857284, 683536723, 168771888, 481561285, 755798022, 2016161810, 1162679490, 
  619428858, 1390306889, 256860662, 365275089, 1322281086, 1134185180, 1302724177, 621921213, 837554186, 1711761015, 754896618, 1723143470, 978247260, 1548804416, 598016845, 1631405417, 790929190, 1602517354, 770957259, 198186681, 
  1256015513, 2126029304, 135012885, 583112200, 2118203528, 1834388383, 866964848, 1695191950, 745183293, 1143511498, 1112731797, 478721193, 1202162389, 991159735, 1952364329, 519344323, 1667102296, 770412991, 548632788, 714042223, 
  1674045273, 1471598258, 1286989824, 1590771096, 308832070, 959354209, 72802865, 670621648, 269167950, 1598436917, 2023498746, 1198213061, 2006856683, 1029832956, 1719009954, 1198254803, 1188748563, 1989240516, 927524181, 1711765426, 
  1394929399, 769005536, 2047006719, 1915435344, 618681206, 1431814151, 42021322, 1106678970, 107160610, 1199317660, 185592115, 1870214195, 205008108, 1834318089, 948686793, 946311527, 1262399341, 131405125, 1321897861, 1459138745, 
  821481684, 852388468, 603907009, 20643769, 1737931879, 37141933, 2088576982, 366700722, 1761289401, 625991894
};

type verify_data[DATA_SIZE] = 
{
  3794415, 9736243, 14125900, 20643769, 25885333, 37141933, 42021322, 72802865, 89400484, 107160610, 131405125, 135012885, 137796456, 140536987, 168771888, 170281493, 175753599, 185592115, 190215907, 198186681, 
  205008108, 215018112, 238278880, 240618723, 250731366, 256860662, 269167950, 284658041, 301663421, 304427548, 308832070, 324215873, 329767814, 365275089, 366700722, 389233190, 402845420, 419476096, 421198539, 436580096, 
  448284065, 452888789, 465119445, 477407584, 478721193, 481561285, 490920543, 492507266, 518073650, 519344323, 519699747, 545066288, 548632788, 556328195, 567779677, 574236644, 583112200, 585169793, 598016845, 603159718, 
  603907009, 614612685, 618681206, 619428858, 619972089, 621921213, 625991894, 637659983, 638167485, 670621648, 672906535, 675549432, 683536723, 686797873, 706913763, 714042223, 721524505, 726141970, 730845665, 745183293, 
  750919339, 754215794, 754247044, 754896618, 755798022, 769005536, 770412991, 770957259, 786566648, 790929190, 791188057, 806638567, 810387144, 821481684, 835063788, 837554186, 843738737, 852388468, 866478506, 866964848, 
  893302687, 895562064, 916073297, 924541465, 927524181, 937987129, 946311527, 948686793, 954441852, 959354209, 976015092, 978247260, 991159735, 1020037994, 1029176122, 1029832956, 1051184301, 1063743848, 1073871430, 1075762632, 
  1094283114, 1100041120, 1106678970, 1112731797, 1134185180, 1143511498, 1157666831, 1160036198, 1162679490, 1169327477, 1185825535, 1188748563, 1198213061, 1198254803, 1199317660, 1202162389, 1212974417, 1214379246, 1218522465, 1223475486, 
  1223583276, 1231149357, 1231249235, 1239665569, 1255524953, 1256015513, 1256152080, 1262399341, 1273955724, 1274190723, 1275331596, 1286989824, 1302724177, 1303736105, 1321897861, 1322281086, 1334857284, 1335861008, 1353999206, 1382429941, 
  1388759892, 1390306889, 1391095995, 1394929399, 1395289708, 1396662140, 1412540552, 1414141069, 1417415680, 1431814151, 1440145706, 1453397990, 1459138745, 1459500136, 1471598258, 1491477359, 1492488573, 1496277718, 1505475223, 1508705426, 
  1513255537, 1514278798, 1538069400, 1548804416, 1550159640, 1590771096, 1598436917, 1602517354, 1611680320, 1612593993, 1631405417, 1631935240, 1636203720, 1663890071, 1667102296, 1674045273, 1695191950, 1711761015, 1711765426, 1719009954, 
  1721767511, 1723143470, 1731949250, 1737931879, 1746476698, 1750443194, 1761289401, 1776471922, 1792756324, 1821559709, 1834318089, 1834388383, 1846605728, 1858933377, 1870214195, 1881253854, 1898582764, 1904770864, 1913581092, 1915435344, 
  1931282005, 1939683211, 1946004194, 1952364329, 1962689485, 1989240516, 2002881120, 2005817027, 2006856683, 2014090929, 2016161810, 2017191527, 2023498746, 2029909894, 2041942843, 2046759770, 2047006719, 2064145552, 2066865713, 2088576982, 
  2105638337, 2105814934, 2109530615, 2118203528, 2119425672, 2126029304, 2126940990, 2143343312, 2143968639, 2145930822
};

