Lots and Lots of Ramanujan-Style Congruence miracles and Lots and Lots of new Integer Sequences for the OEIS By John Chiarelli, Rebecca Coulson, Bryan Ek, Keith Frankston, Alejandro Ginory, Emily Kukura, Andrew Lohr, Jinyoung Park, Ali Rostami, Xukai Yan, Mingjia Yang, and Anthony Zaleski Recall that p(n) is the number of integer-patitions of the integer n. Leohanrd Euler famously proved that these are the coefficients of infinity --------' ' | | 1 | | ------ . | | i | | 1 - q i = 1 Srinivasa Ramanujan famously proved that 1/5 p(5 n + 4), 1/7 p(7 n + 5), 1/11 p(11 n + 6) are all integers. These integer sequences are already in the OEIS. These amazing facts also led to the question, first raised by Freeman Dyson, to give combinatorial explanations. This was answered by Frank Garvan and George Andrews. In this article we will state many new such congruences for the more general sequences defined by infinity --------' i r ' | | (1 + q ) | | --------- | | i s | | (1 - q ) i = 1 for r from 0 to , 2, and for s from 0 to, 7, except the trivial case r=s=0 and also supply the first, 20, terms of many new sequences for the OEIS. Each theorem also raises an intriguing challenge to prove it combinatorially by finding a way to partition the counted set into subsets with the same car\ dinality. n Let's call, c[r, s](n), the coefficient of, q , in this product. Note that these also have natural combinatorial meanings. For example The case r=1, s=1 counts so-called overpartitions. We don't bother with the proofs, since for the case r=0 it was shown by Dennis Eichhorn and Ken Ono, in their interesting paper Congruences for partition functions Proceedings for a Conference in Honor of Heini Halbertstam 1, 1996, pp, 309-321 available from http://www.mathcs.emory.edu/~ono/publications-cv/pdfs/013.pdf , that one can easily determine an N_0 such that the theorem is true if it is checked for n<=N0. It turns out that the N_0 are usually rather small, and since we check it for many values of n, and we know that there exists a rigorous proof, we don't bother to actually prove it. n Theorem Number , 1, Let , c[0, 1](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | ------ | | i | | 1 - q i = 1 Then , 1/5 c[0, 1](5 n + 4), is always an integer For the sake of our beloved OEIS, here are the first coefficients 1, 6, 27, 98, 315, 913, 2462, 6237, 15035, 34705, 77231, 166364, 348326, 710869, 1417900, 2769730, 5308732, 9999185, 18533944, 33845975 n Theorem Number , 2, Let , c[0, 1](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | ------ | | i | | 1 - q i = 1 Then , 1/7 c[0, 1](7 n + 5), is always an integer For the sake of our beloved OEIS, here are the first coefficients 1, 11, 70, 348, 1449, 5334, 17822, 55165, 160215, 441105, 1159752, 2929465, 7142275, 16873472, 38749850, 86737678, 189672868, 405991500, 852077072, 1756048833 n Theorem Number , 3, Let , c[0, 1](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | ------ | | i | | 1 - q i = 1 Then , 1/11 c[0, 1](11 n + 6), is always an integer For the sake of our beloved OEIS, here are the first coefficients 1, 27, 338, 2835, 18566, 101955, 490253, 2121679, 8424520, 31120519, 108082568, 355805845, 1117485621, 3366123200, 9767105406, 27398618368, 74534264393, 197147918679, 508189847045, 1279140518117 n Theorem Number , 4, Let , c[0, 2](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 2 | | (1 - q ) i = 1 Then , 1/5 c[0, 2](5 n + 2), is always an integer For the sake of our beloved OEIS, here are the first coefficients 1, 22, 233, 1694, 9802, 48168, 209341, 825214, 3003660, 10224994, 32872656, 100562026, 294490908, 829587508, 2257107225, 5951169024, 15249323665, 38067677242, 92775934172, 221148998684 n Theorem Number , 5, Let , c[0, 2](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 2 | | (1 - q ) i = 1 Then , 1/5 c[0, 2](5 n + 3), is always an integer For the sake of our beloved OEIS, here are the first coefficients 2, 37, 354, 2446, 13630, 65203, 277386, 1074878, 3856766, 12970915, 41265542, 125085001, 363343034, 1016150450, 2746697220, 7199261205, 18347965526, 45576320907, 110568622854, 262447555085 n Theorem Number , 6, Let , c[0, 2](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 2 | | (1 - q ) i = 1 Then , 1/5 c[0, 2](5 n + 4), is always an integer For the sake of our beloved OEIS, here are the first coefficients 4, 60, 533, 3498, 18847, 87838, 366213, 1395746, 4939496, 16417680, 51701646, 155323286, 447615063, 1242976140, 3338375959, 8699352076, 22053616456, 54514510492, 131658684794, 311206269624 n Theorem Number , 7, Let , c[0, 3](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 3 | | (1 - q ) i = 1 Then , 1/11 c[0, 3](11 n + 7), is always an integer For the sake of our beloved OEIS, here are the first coefficients 39, 12979, 1063818, 43747800, 1164428478, 22784788890, 353208993369, 4553192885897, 50474682682731, 493064432482017, 4323197223030294, 34513825331341611, 253754130701090277, 1734113922213826532, 11099317568468441634, 66963415281817368690, 382864983800470294116, 2084136712030192782843, 10844551068435758849121, 54126544043407632835028 n Theorem Number , 8, Let , c[0, 3](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 3 | | (1 - q ) i = 1 Then , 1/17 c[0, 3](17 n + 15), is always an integer For the sake of our beloved OEIS, here are the first coefficients 2093, 2002023, 425689641, 40914135699, 2350811217042, 93372583927125, 2797362909019602, 66940486826482710, 1331816418332209968, 22686270458415286111, 338312576306975748120, 4494261351715951994124, 53927564012848506066083, 591125652529115865538563, 5974755280973095614723687, 56121638476655824544215720, 493165769051031027345167004, 4077349614980583204126847665, 31872892656384982312919092380, 236584178429697233813974090140 n Theorem Number , 9, Let , c[0, 4](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 4 | | (1 - q ) i = 1 Then , 1/5 c[0, 4](5 n + 3), is always an integer For the sake of our beloved OEIS, here are the first coefficients 8, 516, 12992, 202916, 2331784, 21517169, 167951532, 1147263966, 7023176864, 39204687711, 202207366060, 973585913314, 4411987799192, 18944285037545, 77500711829248, 303479254916246, 1141972799933952, 4143334994746808, 14537131149142868, 49447778809001456 n Theorem Number , 10, Let , c[0, 4](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 4 | | (1 - q ) i = 1 Then , 1/5 c[0, 4](5 n + 4), is always an integer For the sake of our beloved OEIS, here are the first coefficients 21, 1036, 23218, 337680, 3693649, 32849076, 249076786, 1661775472, 9974585922, 54754423052, 278341353304, 1323215191184, 5929160426141, 25203198392960, 102172047780194, 396796705223296, 1481897232610828, 5339536188766192, 18614712091669974, 62943758591388144 n Theorem Number , 11, Let , c[0, 4](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 4 | | (1 - q ) i = 1 Then , 1/7 c[0, 4](7 n + 2), is always an integer For the sake of our beloved OEIS, here are the first coefficients 2, 740, 50431, 1665560, 35594660, 563287856, 7124704230, 75595828488, 695418509510, 5679492833804, 41917179246707, 283426218016640, 1774839769602830, 10383665106530620, 57166089378409836, 297939186399469208, 1477467528532863730, 7001442362220629900, 31824030765308969925, 139196470290023345624 n Theorem Number , 12, Let , c[0, 4](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 4 | | (1 - q ) i = 1 Then , 1/7 c[0, 4](7 n + 4), is always an integer For the sake of our beloved OEIS, here are the first coefficients 15, 2744, 144940, 4145100, 80464434, 1186982480, 14219915550, 144433832900, 1281542510568, 10151572333576, 72980034128710, 482274224556808, 2959524996247720, 17004977312125192, 92112373865945032, 473071710696960780, 2314746941224327463, 10835425537108926720, 48697694149228888344, 210787473971330927876 n Theorem Number , 13, Let , c[0, 4](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 4 | | (1 - q ) i = 1 Then , 1/7 c[0, 4](7 n + 5), is always an integer For the sake of our beloved OEIS, here are the first coefficients 36, 5099, 241200, 6462202, 119965380, 1712082214, 19987517472, 198815252360, 1733652109160, 13531632169675, 96047435148408, 627671956340704, 3813954420547280, 21722105808220025, 116733944824258720, 595224367584048184, 2893381249018514068, 13462705447337107060, 60170522073168051208, 259112519661287725820 n Theorem Number , 14, Let , c[0, 4](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 4 | | (1 - q ) i = 1 Then , 1/7 c[0, 4](7 n + 6), is always an integer For the sake of our beloved OEIS, here are the first coefficients 82, 9280, 396931, 10000768, 177911990, 2459456188, 28003348365, 272941064064, 2339980894150, 18002284566400, 126193454422914, 815694857095680, 4908583393396074, 27714920568735936, 147778552801954720, 748188908270769536, 3613436930548377350, 16713307374517038720, 74289921945237961599, 318292577056875086680 n Theorem Number , 15, Let , c[0, 5](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 5 | | (1 - q ) i = 1 Then , 1/11 c[0, 5](11 n + 8), is always an integer For the sake of our beloved OEIS, here are the first coefficients 615, 850770, 223786351, 25270630495, 1662147139125, 74379400248010, 2483153325227395, 65681717086738467, 1435359893236806955, 26719407354443211225, 433600642677470255790, 6245627803197735913260, 81007366726660297187538, 957207071307148436899330, 10404200788715564180199135, 104867502911017896054978005, 986906033718335242101945300, 8722880911917393949214744305, 72777073767848110723842655865, 575702419305746945639848434695 n Theorem Number , 16, Let , c[0, 5](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 5 | | (1 - q ) i = 1 Then , 1/23 c[0, 5](23 n + 5), is always an integer For the sake of our beloved OEIS, here are the first coefficients 22, 41929385, 553001147255, 1187595068587015, 901105728446782065, 339655563076201973375, 76649127188546270760865, 11624733818889135795831025, 1280424323748162631028808095, 108228992508451478865374856785, 7312674155703142081867156449948, 407494435828664895058179768301630, 19193154318564602488423334951960290, 779321837122936773117539592186729270, 27722866034859132758554689591765950240, 875641017149060964485715041224548790856, 24835502378606459337072202889433567163845, 638617508715827081660764410772801033762285, 15010878419330451679144462357192070763180150, 324839622299051075546422928457235311893881050 n Theorem Number , 17, Let , c[0, 6](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 6 | | (1 - q ) i = 1 Then , 1/5 c[0, 6](5 n + 4), is always an integer For the sake of our beloved OEIS, here are the first coefficients 63, 7256, 319545, 8330010, 153658330, 2204649576, 26061496146, 263717448960, 2346771536370, 18734157515880, 136214443747312, 912872760691248, 5693032683127215, 33297541453417150, 183834654920288820, 963282031949763576, 4812838343973765730, 23019641768556332280, 105765254519268000825, 468212750046404637360 n Theorem Number , 18, Let , c[0, 6](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 6 | | (1 - q ) i = 1 Then , 1/7 c[0, 6](7 n + 3), is always an integer For the sake of our beloved OEIS, here are the first coefficients 14, 11688, 1695330, 109755950, 4318185924, 119886320754, 2560432301282, 44460154641321, 652051971922320, 8302675070633903, 93709039849182492, 952687050374124054, 8836192997640600974, 75546610370905714875, 600478542825605827200, 4468923001198806400024, 31328917114224630803976, 207950757878203950917592, 1312737506013978987579400, 7911833625227084208397521 n Theorem Number , 19, Let , c[0, 6](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 6 | | (1 - q ) i = 1 Then , 1/7 c[0, 6](7 n + 4), is always an integer For the sake of our beloved OEIS, here are the first coefficients 45, 25542, 3199337, 190349190, 7074623808, 188369606400, 3894586244769, 65880701183250, 945477426916532, 11819779115950044, 131310467800206300, 1316629201677738300, 12063470546738038995, 102020543811920834334, 802991301181395899550, 5923207356243438092760, 41188956174285241893651, 271375211500748295992438, 1701437306073311575402713, 10189802770891834980388914 n Theorem Number , 20, Let , c[0, 6](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 6 | | (1 - q ) i = 1 Then , 1/7 c[0, 6](7 n + 6), is always an integer For the sake of our beloved OEIS, here are the first coefficients 356, 112572, 10916154, 556866318, 18615354390, 458037944586, 8902394554916, 143225117040156, 1971338666779350, 23783958181012250, 256231666033696926, 2500986790964578014, 22375423835612433978, 185240323583063522622, 1430285162317464867660, 10368237985285600063094, 70961721392190964512324, 460762149019391638357842, 2850226603455631869287725, 16858472607872659228649400 n Theorem Number , 21, Let , c[0, 7](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 7 | | (1 - q ) i = 1 Then , 1/5 c[0, 7](5 n + 2), is always an integer For the sake of our beloved OEIS, here are the first coefficients 7, 2481, 201229, 8157338, 214744061, 4172083118, 64434917645, 829889907805, 9213151966051, 90303796668134, 795738214269971, 6392964722072166, 47353915196055237, 326339066267374909, 2108097016041445261, 12845135937811248911, 74219087223204079569, 408499904407226038778, 2150158151076232801119, 10860110458151377249288 n Theorem Number , 22, Let , c[0, 7](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 7 | | (1 - q ) i = 1 Then , 1/5 c[0, 7](5 n + 3), is always an integer For the sake of our beloved OEIS, here are the first coefficients 28, 6461, 440895, 16156560, 397101355, 7333177034, 108862702137, 1357937373030, 14679557633405, 140669809886760, 1215616039835659, 9601029055773736, 70050790370058840, 476285010479834115, 3039562212375842160, 18317761561846353824, 104780610636234958628, 571411693666538875675, 2982169196142864346220, 14944268056645810313955 n Theorem Number , 23, Let , c[0, 7](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 7 | | (1 - q ) i = 1 Then , 1/5 c[0, 7](5 n + 4), is always an integer For the sake of our beloved OEIS, here are the first coefficients 98, 16093, 943102, 31502156, 726061567, 12778202031, 182654869306, 2209344489394, 23277228973873, 218225359682683, 1850390302308121, 14373381052548378, 103334798463054543, 693371471628308690, 4372576625260439631, 26067596653299561318, 147644558545274735560, 797890983973598089911, 4129420223470164915173, 20533390213409054861299 n Theorem Number , 24, Let , c[0, 7](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 7 | | (1 - q ) i = 1 Then , 1/11 c[0, 7](11 n + 9), is always an integer For the sake of our beloved OEIS, here are the first coefficients 7315, 27515173, 17210982243, 4187796348205, 552552745379845, 46970362937752065, 2852765193612429046, 132506412243061221288, 4936413844614262386040, 152737191829392110472840, 4030371205312095344124500, 92597714733732595372190912, 1883179975019413333170455030, 34361105112068402164778142505, 568805626854854880927791091625, 8622623386444748253459890934070, 120652644347787806406986803915547, 1568947124679407157618392837727281, 19072518615375252411385553946894885, 217853182290777085943252013711297350 n Theorem Number , 25, Let , c[0, 7](n), be the coefficient of, q in the power series of infinity --------' ' | | 1 | | --------- | | i 7 | | (1 - q ) i = 1 Then , 1/19 c[0, 7](19 n + 9), is always an integer For the sake of our beloved OEIS, here are the first coefficients 4235, 1929783430, 23764157017930, 58690206350940353, 54645643050406314151, 25888838819012191794765, 7405153089483861300881950, 1425775114733438571453808870, 199038986451434947827271791416, 21253286103045860809251523548170, 1806781748677265703531132766068590, 126125526589397260282935376359172150, 7408722183061530314954680833737757220, 373515769961764366359666009304346952899, 16426748594360052983020500684379448391586, 638778580098083443331652054360744917289450, 22216124556320559427629724551800782842632750, 697816734642162917622014150464285621286375745, 19962713589631925950014184758357544204584463846, 523931853107471862858762823771235745194978345203 n Theorem Number , 26, Let , c[1, 4](n), be the coefficient of, q in the power series of infinity --------' i ' | | 1 + q | | --------- | | i 4 | | (1 - q ) i = 1 Then , 1/5 c[1, 4](5 n + 1), is always an integer For the sake of our beloved OEIS, here are the first coefficients 1, 211, 9159, 207052, 3170310, 37127511, 356116878, 2921227999, 21105373304, 137167587602, 814705215526, 4476425074102, 22973625421812, 110987787807775, 507978630301959, 2214398534103009, 9235519680550783, 36993985081846070, 142791934258485535, 532634787201341833 n Theorem Number , 27, Let , c[1, 4](n), be the coefficient of, q in the power series of infinity --------' i ' | | 1 + q | | --------- | | i 4 | | (1 - q ) i = 1 Then , 1/5 c[1, 4](5 n + 3), is always an integer For the sake of our beloved OEIS, here are the first coefficients 12, 1062, 33801, 640747, 8719909, 93676890, 840457319, 6533359870, 45146748535, 282565239561, 1624709220984, 8677641890801, 43434099980726, 205201992704635, 920517630854659, 3940427835096784, 16163980921423278, 63770226221412603, 242723101822675360, 893743158829473441 n Theorem Number , 28, Let , c[1, 6](n), be the coefficient of, q in the power series of infinity --------' i ' | | 1 + q | | --------- | | i 6 | | (1 - q ) i = 1 Then , 1/7 c[1, 6](7 n + 1), is always an integer For the sake of our beloved OEIS, here are the first coefficients 1, 3899, 1031295, 98758436, 5232966637, 185475274004, 4884366526843, 102048213463581, 1768157561923317, 26223691770616418, 340838205223338387, 3953140630865203635, 41502386518449919007, 398963019918620034861, 3544978891743697047636, 29344186723039024577838, 227787064782591567080998, 1667562193364363488278407, 11568786069211984921480635, 76379279362052302457402944 n Theorem Number , 29, Let , c[1, 6](n), be the coefficient of, q in the power series of infinity --------' i ' | | 1 + q | | --------- | | i 6 | | (1 - q ) i = 1 Then , 1/7 c[1, 6](7 n + 5), is always an integer For the sake of our beloved OEIS, here are the first coefficients 200, 111568, 15276710, 1011126294, 41892090401, 1240830852493, 28445337499467, 531639462845895, 8400654239392161, 115253009146465924, 1400878619109334426, 15324964309607638826, 152796404510057739608, 1402778298125503551241, 11959303445378274488137, 95356082847551995861914, 715375465134821752581879, 5075827248152507398319349, 34214346579000623928305930, 219953880432396575054874021 n Theorem Number , 30, Let , c[1, 6](n), be the coefficient of, q in the power series of infinity --------' i ' | | 1 + q | | --------- | | i 6 | | (1 - q ) i = 1 Then , 1/7 c[1, 6](7 n + 6), is always an integer For the sake of our beloved OEIS, here are the first coefficients 571, 239572, 28833402, 1764384767, 69230965267, 1968930405453, 43719277332291, 796189679452364, 12311670037274799, 165828364127393528, 1983761890531498170, 21400597995760569268, 210750105032857369679, 1913549965393452516891, 16152003803294555273943, 127625871384482295721342, 949589114170863069691854, 6686738525816846658435573, 44758711487775719541062478, 285882134108789572638481828 n Theorem Number , 31, Let , c[1, 7](n), be the coefficient of, q in the power series of infinity --------' i ' | | 1 + q | | --------- | | i 7 | | (1 - q ) i = 1 Then , 1/13 c[1, 7](13 n + 10), is always an integer For the sake of our beloved OEIS, here are the first coefficients 26700, 400353456, 673506889781, 368729649688032, 98315825053995322, 15688826422239296192, 1693742211499960976517, 134021848071406662592624, 8218833066387936693168769, 406866673295694500383526312, 16768932553334886862994693583, 589405169030958811726368291248, 18009677736868629904827614548458, 485904940595152145198297713860192, 11725810504683956791887644382648177, 255838108116323026065974844173298480, 5093184572018822663771127138840250785, 93243111413418572667485811074644315504, 1580474568063994326192599490521604496290, 24949630527820603528342883273175264900576 n Theorem Number , 32, Let , c[2, 1](n), be the coefficient of, q in the power series of infinity --------' i 2 ' | | (1 + q ) | | --------- | | i | | 1 - q i = 1 Then , 1/7 c[2, 1](7 n + 2), is always an integer For the sake of our beloved OEIS, here are the first coefficients 1, 80, 1728, 21776, 198928, 1456816, 9052144, 49463299, 243539760, 1099495408, 4611205920, 18146576144, 67542995936, 239304936992, 811317542455, 2643620028976, 8309597789920, 25275621036160, 74600683091504, 214154123742704 n Theorem Number , 33, Let , c[2, 2](n), be the coefficient of, q in the power series of infinity --------' i 2 ' | | (1 + q ) | | --------- | | i 2 | | (1 - q ) i = 1 Then , 1/3 c[2, 2](3 n + 2), is always an integer For the sake of our beloved OEIS, here are the first coefficients 4, 56, 452, 2720, 13504, 58328, 226344, 806080, 2674280, 8356856, 24804804, 70395520, 192026784, 505657496, 1289970400, 3197679488, 7722003180, 18206079416, 41987387584, 94876233760 n Theorem Number , 34, Let , c[2, 3](n), be the coefficient of, q in the power series of infinity --------' i 2 ' | | (1 + q ) | | --------- | | i 3 | | (1 - q ) i = 1 Then , 1/7 c[2, 3](7 n + 5), is always an integer For the sake of our beloved OEIS, here are the first coefficients 53, 8667, 446606, 12723004, 247840877, 3680250614, 44442051878, 455286522085, 4075206180547, 32564312312577, 236127994179240, 1573581865533489, 9735837318035119, 56387384315284512, 307805113693246482, 1592705450223292382, 7849898855714632276, 37005267230334806700, 167452613814257577264, 729637802739559376217 n Theorem Number , 35, Let , c[2, 4](n), be the coefficient of, q in the power series of infinity --------' i 2 ' | | (1 + q ) | | --------- | | i 4 | | (1 - q ) i = 1 Then , 1/5 c[2, 4](5 n + 2), is always an integer For the sake of our beloved OEIS, here are the first coefficients 5, 890, 41249, 1027130, 17426114, 226002808, 2394616237, 21631469226, 171556564012, 1220179848110, 7908115453184, 47285922047198, 263433133556844, 1378313118305516, 6817328693994681, 32051697622971008, 143904106683559125, 619446315441056086, 2565250602217442380, 10250526249942538900 n Theorem Number , 36, Let , c[2, 4](n), be the coefficient of, q in the power series of infinity --------' i 2 ' | | (1 + q ) | | --------- | | i 4 | | (1 - q ) i = 1 Then , 1/5 c[2, 4](5 n + 4), is always an integer For the sake of our beloved OEIS, here are the first coefficients 52, 4564, 157985, 3311126, 49938575, 593599658, 5875928665, 50236463150, 380592541576, 2603738292912, 16318310960630, 94751118581898, 514329240975911, 2629306086408580, 12735979718370195, 58754252650224948, 259270036021305368, 1098485250591513908, 4483020054234156834, 17672947773269222376 n Theorem Number , 37, Let , c[2, 5](n), be the coefficient of, q in the power series of infinity --------' i 2 ' | | (1 + q ) | | --------- | | i 5 | | (1 - q ) i = 1 Then , 1/3 c[2, 5](3 n + 2), is always an integer For the sake of our beloved OEIS, here are the first coefficients 11, 420, 7614, 92353, 860121, 6613470, 43870299, 258494595, 1381019175, 6791977522, 31107319677, 133886523807, 545477835236, 2116231200714, 7856614574811, 28028128686781, 96420694775103, 320833446250626, 1035292186467714, 3247259153092392 n Theorem Number , 38, Let , c[2, 5](n), be the coefficient of, q in the power series of infinity --------' i 2 ' | | (1 + q ) | | --------- | | i 5 | | (1 - q ) i = 1 Then , 1/11 c[2, 5](11 n + 7), is always an integer For the sake of our beloved OEIS, here are the first coefficients 835, 3439323, 1852357506, 369191174280, 39398810120262, 2705499569652570, 133135627902017765, 5033316920731354345, 153404286178406614407, 3903306731967171020793, 85131803995258358551486, 1624452751426797795735147, 27564433484627997856825321, 421455461651966888174798900, 5870056071023200604392119306, 75157704936114802667015514930, 891437672247896356822840789044, 9859534611652681745784944520915, 102268213629485329249959064002237, 999757865322123688301934178809348 n Theorem Number , 39, Let , c[2, 6](n), be the coefficient of, q in the power series of infinity --------' i 2 ' | | (1 + q ) | | --------- | | i 6 | | (1 - q ) i = 1 Then , 1/7 c[2, 6](7 n + 2), is always an integer For the sake of our beloved OEIS, here are the first coefficients 6, 16776, 4645535, 486416784, 28444304700, 1113563091296, 32331619411822, 742747064968688, 14109094259561954, 228745805083129880, 3241035118848609675, 40871556105207136256, 465412547578731909650, 4841717038137468866648, 46458592811858797806092, 414483050367575509102672, 3461385526315260843659254, 27214170873549977483210840, 202439916797977262067272117, 1430952449908580632614097936 n Theorem Number , 40, Let , c[2, 6](n), be the coefficient of, q in the power series of infinity --------' i 2 ' | | (1 + q ) | | --------- | | i 6 | | (1 - q ) i = 1 Then , 1/7 c[2, 6](7 n + 4), is always an integer For the sake of our beloved OEIS, here are the first coefficients 91, 96272, 18925316, 1634115416, 84037430866, 2995609693664, 80901681678450, 1753533871438952, 31746049694376952, 494188699897025264, 6761482141757444930, 82705804582962884752, 916778609849720074872, 9311245693427522381744, 87440085086188887150808, 765021700572097284433400, 6276148651133182717545875, 48546977978590206662180864, 355752819661640171372105768, 2480006447881866806753559112 n Theorem Number , 41, Let , c[2, 6](n), be the coefficient of, q in the power series of infinity --------' i 2 ' | | (1 + q ) | | --------- | | i 6 | | (1 - q ) i = 1 Then , 1/7 c[2, 6](7 n + 5), is always an integer For the sake of our beloved OEIS, here are the first coefficients 296, 219759, 37260960, 2948104990, 142833084936, 4871553879430, 127112061307328, 2679460304481560, 47398998119399312, 723501791742657223, 9732526375810515856, 117294920338582570368, 1283247865308326098976, 12881493593049447675225, 119698475722950882952128, 1037287226383952971149224, 8435876908031179187431944, 64732848453530293750623476, 470878434664437204084253168, 3260239864554852989137329012 n Theorem Number , 42, Let , c[2, 7](n), be the coefficient of, q in the power series of infinity --------' i 2 ' | | (1 + q ) | | --------- | | i 7 | | (1 - q ) i = 1 Then , 1/11 c[2, 7](11 n + 8), is always an integer For the sake of our beloved OEIS, here are the first coefficients 7943, 77040874, 90102376263, 35970062616331, 7229028343733669, 891129442104530466, 75752889943990805867, 4793253129413307734479, 238078454293973625677675, 9649720833478491390385541, 328671633394895823341580830, 9624761505866779549917266204, 246780687075331469608003128178, 5622845171743603158158065561530, 115248608858124341766841647570631, 2146828356115225819813591814977577, 36661504851387446511245935226073940, 578232673308569993589979043490023645, 8477434001555989251183054318073521569, 116178814672042089828370115997738079315 This ends this article, that took, 3156.108, seconds to produce.