Williams primes form b*(b+1)^n-1 , for b from 2 to 2048, n from 1 to 512, unless otherwise noted as [limit] form may also be written as (r-1)r^n-1, which is how it appears in the references below REFERENCES: H. C. Williams, The primality of certain integers of the form 2Ar^n - 1, Acta Arith. 39 (1981), 7-17; Stein, Andreas; Williams, H. C. Explicit primality criteria for (p-1)p^n-1. Math. Comp. 69 (2000), no. 232, 1721–1734. R. K. Guy, Unsolved Problems in Number Theory, Section A3. no primes are known for b = 127 232 267 292 382 477 487 532 553 664 697 778 862 877 931 940 1009 1033 1144 1163 1198 1252 1327 1352 1429 1488 1492 1521 1657 1682 1732 1737 1744 1807 1912 1927 1947 1987 2017; all these are checked to at least n=100000 2*(2+1)^1-1 2*(2+1)^2-1 2*(2+1)^3-1 2*(2+1)^7-1 2*(2+1)^8-1 2*(2+1)^12-1 2*(2+1)^20-1 2*(2+1)^23-1 2*(2+1)^27-1 2*(2+1)^35-1 2*(2+1)^56-1 2*(2+1)^62-1 2*(2+1)^68-1 2*(2+1)^131-1 2*(2+1)^222-1 2*(2+1)^384-1 2*(2+1)^387-1 2*(2+1)^579-1 2*(2+1)^644-1 2*(2+1)^1772-1 2*(2+1)^3751-1 2*(2+1)^5270-1 2*(2+1)^6335-1 2*(2+1)^8544-1 2*(2+1)^8544-1 2*(2+1)^9204-1 2*(2+1)^12312-1 2*(2+1)^18806-1 2*(2+1)^21114-1 2*(2+1)^49340-1 2*(2+1)^75551-1 2*(2+1)^90012-1 2*(2+1)^128295-1 2*(2+1)^143552-1 (Beuchel, Keller 2004) 2*(2+1)^147488-1 (Beuchel, Keller 2004) 2*(2+1)^1010743-1 (Jaworski, 2011) 2*(2+1)^1063844-1 (Jawarski, 2011) 2*(2+1)^1360104-1 (Jawarski, 2015) [1060000] http://www.research.att.com/~njas/sequences/A003307 3*(3+1)^1-1 3*(3+1)^2-1 3*(3+1)^3-1 3*(3+1)^9-1 3*(3+1)^17-1 3*(3+1)^19-1 3*(3+1)^32-1 3*(3+1)^38-1 3*(3+1)^47-1 3*(3+1)^103-1 3*(3+1)^108-1 3*(3+1)^153-1 3*(3+1)^162-1 3*(3+1)^229-1 3*(3+1)^235-1 3*(3+1)^637-1 3*(3+1)^1638-1 3*(3+1)^2102-1 3*(3+1)^2567-1 3*(3+1)^6338-1 3*(3+1)^7449-1 3*(3+1)^12845-1 (April 1989) Ray Ballinger 3*(3+1)^20814-1 (May 1998) Henri Lifchitz 3*(3+1)^40165-1 (December 1998) Ingo Buechel & Wilfrid Keller 3*(3+1)^66815-1 (March 1999) Ingo Buechel & Wilfrid Keller 3*(3+1)^77965-1 (April 1999) Ingo Buechel & Wilfrid Keller 3*(3+1)^117380-1 (10 April 2003) Thomas Ritschel 3*(3+1)^207420-1 (20 May 2003) Paul Jobling 3*(3+1)^351019-1 (13 November 2003) Thomas Ritschel 3*(3+1)^496350-1 (17 May 2004) Jason Kowzun 3*(3+1)^600523-1 (24 August 2004) Alexandre de Pereyra 3*(3+1)^1156367-1 (20 December 2005) Paul Underwood [1350000] see 321 project 4*(4+1)^1-1 4*(4+1)^3-1 4*(4+1)^9-1 4*(4+1)^13-1 4*(4+1)^15-1 4*(4+1)^25-1 4*(4+1)^39-1 4*(4+1)^69-1 4*(4+1)^165-1 4*(4+1)^171-1 4*(4+1)^209-1 4*(4+1)^339-1 4*(4+1)^2033-1 4*(4+1)^6583-1 4*(4+1)^15393-1 (antiroach 8/2006) 4*(4+1)^282989-1 (Bonath 12/2018) 4*(4+1)^498483-1 (Bonath 1/2019) 4*(4+1)^504221-1 (Bonath 1/2019) 4*(4+1)^754611-1 (Bonath 1/2019) 4*(4+1)^864751-1 (Bonath 2/2019)[1000000] see"Williams' sequence 4*5^n-1 (A046865)"@www.mersenneforum.org 5*(5+1)^1-1 5*(5+1)^2-1 5*(5+1)^6-1 5*(5+1)^7-1 5*(5+1)^11-1 5*(5+1)^23-1 5*(5+1)^33-1 5*(5+1)^48-1 5*(5+1)^68-1 5*(5+1)^79-1 5*(5+1)^116-1 5*(5+1)^151-1 5*(5+1)^205-1 5*(5+1)^1016-1 5*(5+1)^1332-1 5*(5+1)^1448-1 5*(5+1)^ 3481-1 5*(5+1)^ 3566-1 5*(5+1)^3665-1 (Wilson 2003) OEIS A079906 6*(6+1)^1-1 6*(6+1)^2-1 6*(6+1)^7-1 6*(6+1)^18-1 6*(6+1)^55-1 6*(6+1)^69-1 6*(6+1)^87-1 6*(6+1)^119-1 6*(6+1)^141-1 6*(6+1)^189-1 6*(6+1)^249-1 6*(6+1)^354-1 6*(6+1)^1586-1 6*(6+1)^2135-1 6*(6+1)^2865-1 6*(6+1)^2930-1 (Earls 2001) 6*(6+1)^4214-1 (Wilson 2003) 6*(6+1)^7167-1 (Propper 2006) OEIS A046866 7*(7+1)^3-1 7*(7+1)^7-1 7*(7+1)^15-1 7*(7+1)^59-1 7*(7+1)^6127-1 (Ballinger 1998) 7*(7+1)^8703-1 (Keller 1998) 7*(7+1)^11619-1 Keller 1998) 7*(7+1)^23403-1 (Buechel, Keller 1998) 7*(7+1)^124299-1 (Minovic 2004) [470000] 8*(8+1)^1-1 8*(8+1)^2-1 8*(8+1)^5-1 8*(8+1)^25-1 8*(8+1)^85-1 8*(8+1)^92-1 8*(8+1)^97-1 8*(8+1)^649-1 8*(8+1)^2017-1 8*(8+1)^2978-1 8*(8+1)^3577-1 8*(8+1)^4985-1 (Burke) OEIS A005541 [6000] 9*(9+1)^1-1 9*(9+1)^3-1 9*(9+1)^7-1 9*(9+1)^19-1 9*(9+1)^29-1 9*(9+1)^37-1 9*(9+1)^93-1 9*(9+1)^935-1 (Wilson) 9*(9+1)^8415-1 (Dubner 1994) 9*(9+1)^9631-1 (Dubner 1994) 9*(9+1)^11143-1 (Dubner 1994) 9*(9+1)^41475-1 (Augustin 2000) 9*(9+1)^41917-1 (Sorensen 2002) 9*(9+1)^48051-1 (Dubner 2000) 9*(9+1)^107663-1 (Sun 2004) 9*(9+1)^1009567-1 (Kurtovic 2016) [?] OEIS A056725 10*(10+1)^1-1 10*(10+1)^3-1 10*(10+1)^37-1 10*(10+1)^119-1 10*(10+1)^255-1 10*(10+1)^355-1 10*(10+1)^371-1 10*(10+1)^497-1 10*(10+1)^1759-1 (Wilson 2003) OEIS A046867 [5000] 10*(10+1)^263893-1(Lody 2010) 11*(11+1)^1-1 11*(11+1)^2-1 11*(11+1)^21-1 11*(11+1)^25-1 11*(11+1)^33-1 11*(11+1)^54-1 11*(11+1)^78-1 11*(11+1)^235-1 11*(11+1)^1566-1 (Wilson 2003) OEIS A079907 11*12^2273-1 (Platzer 10/2006) 11*12^2310-1 (Platzer 10/2006) 11*12^4121-1 (Platzer 10/2006) [5000] 12*(12+1)^2-1 12*(12+1)^7-1 12*(12+1)^11-1 12*(12+1)^36-1 12*(12+1)^164-1 12*(12+1)^216-1 12*(12+1)^302-1 12*(12+1)^311-1 12*(12+1)^455-1 12*13^738-1 (Platzer 10/2006) 12*13^1107-1 (Platzer 10/2006) 12*13^2244-1 (Platzer 10/2006) 12*13^3326-1 (Platzer 10/2006) 12*13^4878-1 (Platzer 10/2006) [5000] 13*(13+1)^1-1 13*(13+1)^3-1 13*(13+1)^5-1 13*(13+1)^27-1 13*(13+1)^35-1 13*(13+1)^165-1 13*(13+1)^209-1 14*(14+1)^14-1 14*(14+1)^33-1 14*(14+1)^43-1 15*(15+1)^1-1 15*(15+1)^20-1 15*(15+1)^29-1 15*(15+1)^43-1 15*(15+1)^56-1 15*(15+1)^251-1 16*(16+1)^1-1 16*(16+1)^3-1 16*(16+1)^71-1 16*(16+1)^139-1 16*(16+1)^265-1 17*(17+1)^2-1 17*(17+1)^6-1 17*(17+1)^26-1 17*(17+1)^79-1 17*(17+1)^91-1 17*(17+1)^96-1 17*(17+1)^416-1 18*(18+1)^6-1 18*(18+1)^9-1 18*(18+1)^20-1 18*(18+1)^43-1 18*(18+1)^174-1 18*(18+1)^273-1 18*(18+1)^428-1 19*(19+1)^1-1 19*(19+1)^219-1 19*(19+1)^223-1 20*(20+1)^1-1 20*(20+1)^2-1 20*(20+1)^7-1 20*(20+1)^24-1 20*(20+1)^31-1 20*(20+1)^60-1 20*(20+1)^230-1 20*(20+1)^307-1 21*(21+1)^1-1 21*(21+1)^2-1 21*(21+1)^5-1 21*(21+1)^19-1 21*(21+1)^141-1 21*(21+1)^302-1 21*(21+1)^337-1 22*(22+1)^55-1 22*(22+1)^103-1 22*(22+1)^115-1 22*(22+1)^131-1 23*(23+1)^12-1 23*(23+1)^18-1 23*(23+1)^63-1 23*(23+1)^153-1 23*(23+1)^221-1 24*(24+1)^1-1 24*(24+1)^5-1 24*(24+1)^7-1 24*(24+1)^30-1 24*(24+1)^75-1 24*(24+1)^371-1 24*(24+1)^383-1 25*(25+1)^133-1 25*(25+1)^205-1 25*(25+1)^215-1 26*(26+1)^1-1 26*(26+1)^3-1 26*(26+1)^5-1 26*(26+1)^13-1 26*(26+1)^15-1 26*(26+1)^31-1 26*(26+1)^55-1 26*(26+1)^151-1 26*(26+1)^259-1 26*(26+1)^479-1 27*(27+1)^20-1 28*(28+1)^1-1 28*(28+1)^7-1 28*(28+1)^11-1 28*(28+1)^57-1 28*(28+1)^69-1 28*(28+1)^235-1 29*(29+1)^2-1 29*(29+1)^83-1 30*(30+1)^1-1 30*(30+1)^5-1 30*(30+1)^27-1 30*(30+1)^41-1 30*(30+1)^48-1 30*(30+1)^177-1 30*(30+1)^398-1 31*(31+1)^1-1 31*(31+1)^7-1 31*(31+1)^23-1 31*(31+1)^41-1 31*(31+1)^47-1 32*(32+1)^2-1 32*(32+1)^3-1 32*(32+1)^146-1 33*(33+1)^15-1 33*(33+1)^25-1 33*(33+1)^99-1 33*(33+1)^188-1 34*(34+1)^3-1 34*(34+1)^5-1 34*(34+1)^7-1 34*(34+1)^13-1 34*(34+1)^31-1 34*(34+1)^69-1 34*(34+1)^341-1 34*(34+1)^437-1 34*(34+1)^485-1 35*(35+1)^1-1 35*(35+1)^9-1 35*(35+1)^11-1 35*(35+1)^15-1 35*(35+1)^27-1 35*(35+1)^145-1 35*(35+1)^417-1 36*(36+1)^7-1 36*(36+1)^325-1 36*(36+1)^439-1 37*(37+1)^136211-1(Harvey 7/2011) [142000] 38*(38+1)^1-1 38*(38+1)^3-1 38*(38+1)^5-1 38*(38+1)^8-1 38*(38+1)^90-1 38*(38+1)^272-1 38*(38+1)^290-1 39*(39+1)^1-1 39*(39+1)^19-1 39*(39+1)^218-1 40*(40+1)^7-1 40*(40+1)^295-1 41*(41+1)^1-1 41*(41+1)^3-1 41*(41+1)^6-1 41*(41+1)^9-1 41*(41+1)^11-1 41*(41+1)^47-1 41*(41+1)^61-1 41*(41+1)^105-1 41*(41+1)^263-1 42*(42+1)^7-1 42*(42+1)^39-1 42*(42+1)^71-1 43*(43+1)^7-1 43*(43+1)^17-1 43*(43+1)^43-1 44*(44+1)^1-1 44*(44+1)^13-1 44*(44+1)^72-1 44*(44+1)^83-1 44*(44+1)^132-1 44*(44+1)^144-1 45*(45+1)^1-1 45*(45+1)^2-1 45*(45+1)^3-1 45*(45+1)^9-1 45*(45+1)^12-1 45*(45+1)^24-1 45*(45+1)^68-1 45*(45+1)^108-1 45*(45+1)^476-1 46*(46+1)^1-1 46*(46+1)^9-1 46*(46+1)^15-1 46*(46+1)^45-1 46*(46+1)^211-1 47*(47+1)^2-1 47*(47+1)^3-1 47*(47+1)^14-1 47*(47+1)^48-1 47*(47+1)^215-1 47*(47+1)^324-1 48*(48+1)^1-1 48*(48+1)^5-1 48*(48+1)^18-1 48*(48+1)^21-1 48*(48+1)^35-1 48*(48+1)^84-1 48*(48+1)^121-1 48*(48+1)^189-1 49*(49+1)^25-1 49*(49+1)^37-1 49*(49+1)^39-1 49*(49+1)^47-1 49*(49+1)^99-1 49*(49+1)^245-1 50*(50+1)^1-1 50*(50+1)^31-1 50*(50+1)^170-1 51*(51+1)^5-1 51*(51+1)^13-1 51*(51+1)^19-1 51*(51+1)^425-1 52*(52+1)^3-1 52*(52+1)^251-1 53*(53+1)^1-1 53*(53+1)^5-1 53*(53+1)^14-1 53*(53+1)^321-1 53*(53+1)^427-1 54*(54+1)^1-1 54*(54+1)^15-1 54*(54+1)^44-1 54*(54+1)^71-1 54*(54+1)^98-1 54*(54+1)^147-1 54*(54+1)^225-1 54*(54+1)^242-1 55*(55+1)^1-1 55*(55+1)^25-1 55*(55+1)^77-1 55*(55+1)^297-1 56*(56+1)^1-1 56*(56+1)^2-1 56*(56+1)^3-1 56*(56+1)^18-1 56*(56+1)^367-1 57*(57+1)^2-1 57*(57+1)^14-1 58*(58+1)^3-1 58*(58+1)^15-1 58*(58+1)^493-1 59*(59+1)^1-1 59*(59+1)^5-1 59*(59+1)^13-1 60*(60+1)^1-1 60*(60+1)^2-1 60*(60+1)^7-1 60*(60+1)^25-1 60*(60+1)^132-1 60*(60+1)^216-1 60*(60+1)^439-1 60*(60+1)^482-1 61*(61+1)^899-1 [900] 62*(62+1)^3-1 62*(62+1)^30-1 62*(62+1)^36-1 62*(62+1)^79-1 63*(63+1)^11-1 63*(63+1)^21-1 63*(63+1)^119-1 64*(64+1)^1-1 64*(64+1)^7-1 65*(65+1)^1-1 65*(65+1)^2-1 65*(65+1)^17-1 65*(65+1)^71-1 65*(65+1)^145-1 65*(65+1)^149-1 65*(65+1)^228-1 66*(66+1)^1-1 66*(66+1)^2-1 66*(66+1)^18-1 66*(66+1)^54-1 66*(66+1)^63-1 66*(66+1)^203-1 67*(67+1)^63-1 67*(67+1)^119-1 67*(67+1)^139-1 68*(68+1)^1-1 68*(68+1)^6-1 68*(68+1)^39-1 68*(68+1)^193-1 68*(68+1)^307-1 69*(69+1)^13-1 69*(69+1)^18-1 69*(69+1)^19-1 69*(69+1)^110-1 69*(69+1)^189-1 69*(69+1)^354-1 69*(69+1)^380-1 70*(70+1)^1-1 70*(70+1)^59-1 70*(70+1)^93-1 71*(71+1)^25-1 71*(71+1)^373-1 72*(72+1)^8-1 72*(72+1)^12-1 72*(72+1)^98-1 72*(72+1)^204-1 72*(72+1)^231-1 73*(73+1)^3-1 73*(73+1)^7-1 73*(73+1)^19-1 73*(73+1)^187-1 73*(73+1)^337-1 74*(74+1)^2-1 74*(74+1)^6-1 74*(74+1)^30-1 74*(74+1)^78-1 75*(75+1)^7-1 75*(75+1)^18-1 75*(75+1)^37-1 75*(75+1)^51-1 75*(75+1)^66-1 75*(75+1)^83-1 75*(75+1)^246-1 75*(75+1)^263-1 76*(76+1)^1-1 76*(76+1)^7-1 76*(76+1)^69-1 77*(77+1)^44-1 77*(77+1)^228-1 78*(78+1)^2-1 78*(78+1)^68-1 78*(78+1)^145-1 78*(78+1)^398-1 79*(79+1)^11-1 80*(80+1)^3-1 80*(80+1)^5-1 80*(80+1)^18-1 80*(80+1)^54-1 80*(80+1)^203-1 80*(80+1)^252-1 80*(80+1)^417-1 80*(80+1)^458-1 81*(81+1)^81-1 82*(82+1)^21495-1 [29000] 83*(83+1)^1-1 83*(83+1)^86-1 84*(84+1)^2-1 84*(84+1)^6-1 84*(84+1)^15-1 84*(84+1)^18-1 84*(84+1)^38-1 84*(84+1)^48-1 84*(84+1)^78-1 84*(84+1)^155-1 85*(85+1)^1-1 85*(85+1)^23-1 85*(85+1)^25-1 85*(85+1)^49-1 85*(85+1)^143-1 86*(86+1)^1-1 86*(86+1)^2-1 86*(86+1)^6-1 86*(86+1)^11-1 86*(86+1)^13-1 86*(86+1)^95-1 86*(86+1)^119-1 87*(87+1)^3-1 87*(87+1)^163-1 87*(87+1)^366-1 88*(88+1)^25-1 88*(88+1)^37-1 89*(89+1)^1-1 89*(89+1)^2-1 89*(89+1)^6-1 89*(89+1)^8-1 89*(89+1)^42-1 89*(89+1)^188-1 89*(89+1)^193-1 91*(91+1)^77-1 91*(91+1)^519-1 [519] 92*(92+1)^476-1 93*(93+1)^1-1 93*(93+1)^2-1 93*(93+1)^6-1 93*(93+1)^18-1 93*(93+1)^25-1 93*(93+1)^73-1 93*(93+1)^205-1 93*(93+1)^408-1 94*(94+1)^1-1 94*(94+1)^49-1 94*(94+1)^197-1 95*(95+1)^2-1 95*(95+1)^3-1 95*(95+1)^14-1 95*(95+1)^105-1 96*(96+1)^1-1 96*(96+1)^23-1 96*(96+1)^25-1 96*(96+1)^102-1 96*(96+1)^165-1 96*(96+1)^511-1 97*(97+1)^4983-1 [5000] 98*(98+1)^2-1 98*(98+1)^9-1 98*(98+1)^15-1 98*(98+1)^39-1 98*(98+1)^49-1 98*(98+1)^111-1 98*(98+1)^207-1 98*(98+1)^299-1 99*(99+1)^2-1 99*(99+1)^17-1 99*(99+1)^35-1 99*(99+1)^41-1 99*(99+1)^359-1 100*(100+1)^1-1 100*(100+1)^3-1 100*(100+1)^5-1 100*(100+1)^27-1 100*(100+1)^99-1 100*(100+1)^383-1 101*(101+1)^1-1 101*(101+1)^6-1 101*(101+1)^17-1 101*(101+1)^31-1 101*(101+1)^53-1 101*(101+1)^117-1 102*(102+1)^3-1 102*(102+1)^20-1 102*(102+1)^163-1 102*(102+1)^224-1 103*(103+1)^1-1 103*(103+1)^9-1 103*(103+1)^15-1 103*(103+1)^23-1 104*(104+1)^3-1 104*(104+1)^33-1 104*(104+1)^60-1 104*(104+1)^141-1 104*(104+1)^289-1 104*(104+1)^429-1 105*(105+1)^2-1 105*(105+1)^11-1 105*(105+1)^17-1 105*(105+1)^20-1 105*(105+1)^66-1 105*(105+1)^139-1 106*(106+1)^37-1 106*(106+1)^103-1 106*(106+1)^319-1 107*(107+1)^410-1 108*(108+1)^6-1 108*(108+1)^77-1 108*(108+1)^111-1 108*(108+1)^308-1 109*(109+1)^5-1 110*(110+1)^2-1 110*(110+1)^12-1 110*(110+1)^14-1 110*(110+1)^25-1 110*(110+1)^33-1 110*(110+1)^62-1 110*(110+1)^119-1 110*(110+1)^186-1 111*(111+1)^7-1 111*(111+1)^43-1 111*(111+1)^51-1 111*(111+1)^103-1 111*(111+1)^153-1 112*113^286643-1(Jaworski 10/12) [290000] 113*(113+1)^2-1 114*(114+1)^1-1 114*(114+1)^3-1 114*(114+1)^6-1 114*(114+1)^20-1 114*(114+1)^191-1 114*(114+1)^193-1 115*(115+1)^1-1 115*(115+1)^3-1 115*(115+1)^51-1 115*(115+1)^91-1 115*(115+1)^93-1 115*(115+1)^145-1 115*(115+1)^277-1 116*(116+1)^2-1 116*(116+1)^6-1 116*(116+1)^9-1 116*(116+1)^30-1 116*(116+1)^45-1 116*(116+1)^395-1 117*(117+1)^2-1 117*(117+1)^3-1 117*(117+1)^27-1 117*(117+1)^47-1 117*(117+1)^144-1 117*(117+1)^212-1 117*(117+1)^218-1 117*(117+1)^503-1 118*(118+1)^3-1 118*(118+1)^43-1 118*(118+1)^281-1 119*(119+1)^2-1 119*(119+1)^12-1 119*(119+1)^47-1 119*(119+1)^93-1 119*(119+1)^96-1 119*(119+1)^117-1 119*(119+1)^162-1 120*(120+1)^1-1 120*(120+1)^2-1 120*(120+1)^14-1 120*(120+1)^161-1 121*(121+1)^3-1 121*(121+1)^17-1 121*(121+1)^27-1 121*(121+1)^417-1 122*(122+1)^6-1 122*(122+1)^38-1 122*(122+1)^115-1 123*(123+1)^33-1 124*(124+1)^8739-1 [9000] 125*(125+1)^1-1 126*(126+1)^1-1 126*(126+1)^2-1 126*(126+1)^7-1 126*(126+1)^11-1 126*(126+1)^75-1 126*(126+1)^149-1 127 none [580000] reserved Jaworski 128*(128+1)^2-1 128*(128+1)^43-1 128*(128+1)^320-1 128*(128+1)^380-1 128*(128+1)^480-1 129*(129+1)^8-1 129*(129+1)^25-1 129*(129+1)^60-1 129*(129+1)^62-1 130*(130+1)^1-1 130*(130+1)^15-1 130*(130+1)^67-1 130*(130+1)^369-1 131*(131+1)^1-1 131*(131+1)^18-1 131*(131+1)^25-1 131*(131+1)^37-1 131*(131+1)^75-1 131*(131+1)^215-1 131*(131+1)^249-1 132*(132+1)^2-1 132*(132+1)^3-1 132*(132+1)^11-1 132*(132+1)^36-1 132*(132+1)^151-1 133*(133+1)^3-1 133*(133+1)^23-1 133*(133+1)^59-1 133*(133+1)^95-1 133*(133+1)^163-1 133*(133+1)^269-1 133*(133+1)^387-1 134*(134+1)^1-1 134*(134+1)^37-1 135*(135+1)^5-1 135*(135+1)^37-1 135*(135+1)^210-1 135*(135+1)^277-1 135*(135+1)^360-1 136*(136+1)^25-1 137*(137+1)^2-1 137*(137+1)^3-1 137*(137+1)^6-1 137*(137+1)^11-1 137*(137+1)^123-1 137*(137+1)^147-1 138*(138+1)^1-1 138*(138+1)^8-1 138*(138+1)^30-1 138*(138+1)^38-1 138*(138+1)^120-1 138*(138+1)^437-1 139*(139+1)^23-1 139*(139+1)^35-1 139*(139+1)^193-1 140*(140+1)^1-1 140*(140+1)^5-1 140*(140+1)^7-1 141*(141+1)^1-1 141*(141+1)^13-1 142*(142+1)^7-1 143*(143+1)^2-1 143*(143+1)^51-1 143*(143+1)^468-1 144*(144+1)^1-1 144*(144+1)^5-1 145*(145+1)^1-1 145*(145+1)^3-1 145*(145+1)^45-1 145*(145+1)^89-1 145*(145+1)^333-1 146*(146+1)^5-1 146*(146+1)^14-1 146*(146+1)^23-1 146*(146+1)^62-1 147*(147+1)^3-1 147*(147+1)^84-1 147*(147+1)^138-1 148*(148+1)^1-1 148*(148+1)^209-1 149*(149+1)^1-1 149*(149+1)^8-1 149*(149+1)^11-1 149*(149+1)^31-1 149*(149+1)^51-1 150*(150+1)^3-1 150*(150+1)^5-1 150*(150+1)^9-1 150*(150+1)^277-1 151*(151+1)^3-1 151*(151+1)^15-1 151*(151+1)^55-1 151*(151+1)^143-1 151*(151+1)^355-1 152*(152+1)^2-1 152*(152+1)^3-1 152*(152+1)^6-1 153*(153+1)^1-1 153*(153+1)^3-1 153*(153+1)^30-1 153*(153+1)^31-1 153*(153+1)^89-1 153*(153+1)^367-1 154*(154+1)^1-1 154*(154+1)^61-1 154*(154+1)^77-1 154*(154+1)^259-1 155*(155+1)^1-1 155*(155+1)^37-1 155*(155+1)^61-1 155*(155+1)^74-1 155*(155+1)^85-1 156*(156+1)^3-1 157*(157+1)^127-1 157*(157+1)^263-1 157*(157+1)^323-1 158*(158+1)^1-1 158*(158+1)^15-1 158*(158+1)^163-1 158*(158+1)^351-1 159*(159+1)^1-1 159*(159+1)^2-1 159*(159+1)^7-1 159*(159+1)^8-1 159*(159+1)^32-1 159*(159+1)^50-1 159*(159+1)^235-1 159*(159+1)^296-1 160*(160+1)^1-1 160*(160+1)^7-1 160*(160+1)^17-1 160*(160+1)^45-1 160*(160+1)^149-1 161*(161+1)^2-1 161*(161+1)^6-1 161*(161+1)^102-1 161*(161+1)^194-1 161*(161+1)^215-1 161*(161+1)^337-1 162*(162+1)^14-1 162*(162+1)^211-1 162*(162+1)^479-1 163*(163+1)^1-1 163*(163+1)^3-1 163*(163+1)^105-1 163*(163+1)^181-1 163*(163+1)^365-1 164*(164+1)^1-1 164*(164+1)^19-1 164*(164+1)^24-1 164*(164+1)^120-1 164*(164+1)^143-1 164*(164+1)^505-1 165*(165+1)^3-1 165*(165+1)^5-1 165*(165+1)^11-1 165*(165+1)^37-1 166*(166+1)^3-1 166*(166+1)^39-1 166*(166+1)^57-1 166*(166+1)^69-1 166*(166+1)^101-1 167*(167+1)^3-1 167*(167+1)^7-1 167*(167+1)^11-1 167*(167+1)^134-1 168*(168+1)^3-1 168*(168+1)^33-1 168*(168+1)^47-1 168*(168+1)^72-1 168*(168+1)^75-1 169*(169+1)^1-1 169*(169+1)^145-1 170*(170+1)^2-1 170*(170+1)^53-1 170*(170+1)^62-1 171*(171+1)^1-1 171*(171+1)^11-1 171*(171+1)^258-1 172*(172+1)^23-1 173*(173+1)^2-1 173*(173+1)^7-1 173*(173+1)^23-1 173*(173+1)^161-1 173*(173+1)^505-1 174*(174+1)^1-1 174*(174+1)^2-1 174*(174+1)^9-1 174*(174+1)^380-1 175*(175+1)^23-1 176*(176+1)^1-1 176*(176+1)^86-1 176*(176+1)^311-1 177*(177+1)^6-1 177*(177+1)^62-1 178*(178+1)^15-1 179*(179+1)^233-1 179*(179+1)^313-1 180*(180+1)^1-1 180*(180+1)^5-1 180*(180+1)^39-1 180*(180+1)^45-1 180*(180+1)^145-1 181*(181+1)^1-1 181*(181+1)^115-1 181*(181+1)^409-1 181*(181+1)^485-1 182*(182+1)^7-1 183*(183+1)^83-1 183*(183+1)^169-1 184*(184+1)^1-1 184*(184+1)^11-1 184*(184+1)^55-1 185*(185+1)^2-1 185*(185+1)^17-1 185*(185+1)^65-1 186*(186+1)^1-1 186*(186+1)^2-1 186*(186+1)^7-1 186*(186+1)^42-1 186*(186+1)^111-1 187*(187+1)^13507-1 [20000] 188*(188+1)^1-1 188*(188+1)^12-1 188*(188+1)^139-1 189*(189+1)^7-1 189*(189+1)^8-1 189*(189+1)^33-1 189*(189+1)^87-1 189*(189+1)^140-1 189*(189+1)^179-1 189*(189+1)^193-1 189*(189+1)^217-1 190*(190+1)^263-1 191*(191+1)^1-1 191*(191+1)^19-1 191*(191+1)^39-1 191*(191+1)^41-1 192*(192+1)^3-1 193*(193+1)^1-1 193*(193+1)^5-1 193*(193+1)^7-1 194*(194+1)^2-1 194*(194+1)^27-1 194*(194+1)^32-1 194*(194+1)^105-1 194*(194+1)^476-1 195*(195+1)^1-1 195*(195+1)^12-1 195*(195+1)^18-1 196*(196+1)^1-1 196*(196+1)^3-1 196*(196+1)^7-1 196*(196+1)^11-1 196*(196+1)^51-1 197*(197+1)^55-1 198*(198+1)^2-1 198*(198+1)^5-1 198*(198+1)^7-1 198*(198+1)^11-1 198*(198+1)^50-1 198*(198+1)^107-1 198*(198+1)^464-1 199*(199+1)^1-1 199*(199+1)^15-1 199*(199+1)^19-1 200*(200+1)^43-1 201*(201+1)^2-1 201*(201+1)^18-1 202*(202+1)^3-1 202*(202+1)^271-1 203*(203+1)^1-1 203*(203+1)^2-1 203*(203+1)^5-1 203*(203+1)^6-1 203*(203+1)^18-1 203*(203+1)^47-1 203*(203+1)^505-1 204*(204+1)^8-1 205*(205+1)^9-1 205*(205+1)^15-1 205*(205+1)^23-1 205*(205+1)^35-1 205*(205+1)^59-1 205*(205+1)^99-1 205*(205+1)^103-1 206*(206+1)^1-1 206*(206+1)^3-1 206*(206+1)^11-1 207*(207+1)^3-1 207*(207+1)^107-1 208*(208+1)^9-1 208*(208+1)^13-1 208*(208+1)^81-1 208*(208+1)^191-1 208*(208+1)^201-1 209*(209+1)^1-1 209*(209+1)^3-1 209*(209+1)^7-1 209*(209+1)^25-1 210*(210+1)^23-1 210*(210+1)^365-1 211*(211+1)^23-1 211*(211+1)^53-1 211*(211+1)^131-1 212*(212+1)^20-1 213*(213+1)^8-1 213*(213+1)^13-1 213*(213+1)^59-1 213*(213+1)^110-1 213*(213+1)^216-1 214*(214+1)^95-1 214*(214+1)^349-1 215*(215+1)^1-1 215*(215+1)^25-1 215*(215+1)^455-1 216*(216+1)^5-1 216*(216+1)^55-1 216*(216+1)^169-1 217*(217+1)^11-1 217*(217+1)^103-1 218*(218+1)^1-1 218*(218+1)^37-1 219*(219+1)^1-1 219*(219+1)^2-1 219*(219+1)^15-1 219*(219+1)^20-1 219*(219+1)^31-1 219*(219+1)^43-1 219*(219+1)^91-1 220*(220+1)^1-1 220*(220+1)^15-1 220*(220+1)^25-1 220*(220+1)^41-1 220*(220+1)^87-1 221*(221+1)^2-1 221*(221+1)^11-1 221*(221+1)^39-1 222*(222+1)^2-1 222*(222+1)^11-1 222*(222+1)^14-1 222*(222+1)^51-1 223*(223+1)^3-1 223*(223+1)^13-1 223*(223+1)^47-1 223*(223+1)^137-1 224*(224+1)^6-1 224*(224+1)^266-1 225*(225+1)^1-1 225*(225+1)^17-1 225*(225+1)^127-1 226*(226+1)^515-1 [600] 227*(227+1)^3695-1 [5000] 228*(228+1)^5-1 228*(228+1)^23-1 228*(228+1)^138-1 228*(228+1)^295-1 229*(229+1)^73-1 229*(229+1)^159-1 230*(230+1)^1-1 230*(230+1)^2-1 230*(230+1)^3-1 230*(230+1)^134-1 230*(230+1)^331-1 230*(230+1)^344-1 231*(231+1)^1-1 231*(231+1)^7-1 231*(231+1)^9-1 231*(231+1)^13-1 231*(231+1)^21-1 231*(231+1)^41-1 231*(231+1)^137-1 231*(231+1)^393-1 232 none [250000] 233*(233+1)^1-1 233*(233+1)^23-1 233*(233+1)^43-1 233*(233+1)^181-1 234*(234+1)^63-1 235*(235+1)^5-1 235*(235+1)^19-1 235*(235+1)^59-1 235*(235+1)^351-1 236*(236+1)^1-1 236*(236+1)^27-1 237*(237+1)^12-1 237*(237+1)^284-1 238*(238+1)^3-1 238*(238+1)^67-1 238*(238+1)^89-1 238*(238+1)^107-1 239*(239+1)^5-1 239*(239+1)^47-1 239*(239+1)^113-1 239*(239+1)^433-1 240*(240+1)^1-1 240*(240+1)^6-1 240*(240+1)^13-1 240*(240+1)^14-1 241*(241+1)^1-1 241*(241+1)^3-1 241*(241+1)^63-1 242*(242+1)^2-1 242*(242+1)^3-1 242*(242+1)^6-1 242*(242+1)^38-1 242*(242+1)^395-1 243*(243+1)^3-1 243*(243+1)^24-1 243*(243+1)^83-1 243*(243+1)^99-1 243*(243+1)^209-1 244*(244+1)^1-1 245*(245+1)^2-1 245*(245+1)^15-1 245*(245+1)^49-1 245*(245+1)^132-1 246*(246+1)^1-1 246*(246+1)^53-1 246*(246+1)^119-1 247*(247+1)^3-1 247*(247+1)^11-1 248*(248+1)^1-1 248*(248+1)^7-1 248*(248+1)^69-1 248*(248+1)^265-1 248*(248+1)^401-1 249*(249+1)^8-1 249*(249+1)^482-1 250*(250+1)^79-1 251*(251+1)^2-1 251*(251+1)^3-1 251*(251+1)^6-1 251*(251+1)^150-1 251*(251+1)^198-1 252*(252+1)^23-1 252*(252+1)^66-1 252*(252+1)^71-1 253*(253+1)^541-1 [600] 254*(254+1)^25-1 254*(254+1)^27-1 254*(254+1)^68-1 254*(254+1)^87-1 254*(254+1)^175-1 254*(254+1)^197-1 254*(254+1)^403-1 254*(254+1)^417-1 254*(254+1)^499-1 255*(255+1)^3-1 255*(255+1)^5-1 255*(255+1)^61-1 256*(256+1)^13-1 256*(256+1)^37-1 256*(256+1)^89-1 257*(257+1)^15-1 257*(257+1)^126-1 258*(258+1)^1-1 258*(258+1)^20-1 258*(258+1)^25-1 258*(258+1)^41-1 259*(259+1)^1-1 259*(259+1)^17-1 259*(259+1)^45-1 259*(259+1)^81-1 259*(259+1)^227-1 260*(260+1)^17-1 261*(261+1)^123-1 261*(261+1)^134-1 262*(262+1)^75-1 263*(263+1)^1-1 263*(263+1)^6-1 263*(263+1)^9-1 263*(263+1)^15-1 263*(263+1)^24-1 263*(263+1)^54-1 263*(263+1)^135-1 264*(264+1)^1-1 264*(264+1)^2-1 264*(264+1)^3-1 264*(264+1)^83-1 265*(265+1)^1-1 265*(265+1)^181-1 265*(265+1)^253-1 266*(266+1)^11-1 266*(266+1)^26-1 267 none [200000] 268*(268+1)^1-1 268*(268+1)^9-1 268*(268+1)^91-1 268*(268+1)^383-1 269*(269+1)^8-1 269*(269+1)^9-1 269*(269+1)^13-1 269*(269+1)^48-1 269*(269+1)^139-1 269*(269+1)^237-1 269*(269+1)^257-1 269*(269+1)^333-1 270*(270+1)^89-1 270*(270+1)^95-1 271*(271+1)^3-1 271*(271+1)^257-1 272*(272+1)^2-1 272*(272+1)^3-1 272*(272+1)^7-1 272*(272+1)^48-1 272*(272+1)^359-1 273*(273+1)^57-1 274*(274+1)^349-1 275*(275+1)^2-1 275*(275+1)^3-1 275*(275+1)^9-1 275*(275+1)^61-1 275*(275+1)^78-1 275*(275+1)^258-1 275*(275+1)^267-1 276*(276+1)^5-1 276*(276+1)^23-1 276*(276+1)^42-1 277*(277+1)^7-1 277*(277+1)^15-1 278*(278+1)^2-1 278*(278+1)^199-1 279*(279+1)^3-1 279*(279+1)^75-1 279*(279+1)^96-1 280*(280+1)^79-1 281*(281+1)^1-1 281*(281+1)^14-1 281*(281+1)^85-1 282*(282+1)^768-1 [800] 283*(283+1)^7-1 283*(283+1)^19-1 283*(283+1)^73-1 283*(283+1)^103-1 283*(283+1)^117-1 283*(283+1)^419-1 283*(283+1)^433-1 283*(283+1)^507-1 284*(284+1)^3-1 284*(284+1)^21-1 285*(285+1)^1-1 285*(285+1)^6-1 285*(285+1)^7-1 285*(285+1)^13-1 285*(285+1)^15-1 285*(285+1)^144-1 285*(285+1)^258-1 286*(286+1)^247-1 287*(287+1)^3-1 287*(287+1)^311-1 288*(288+1)^1-1 288*(288+1)^7-1 288*(288+1)^11-1 288*(288+1)^275-1 288*(288+1)^464-1 289*(289+1)^373-1 290*(290+1)^1-1 290*(290+1)^5-1 290*(290+1)^23-1 290*(290+1)^60-1 290*(290+1)^230-1 290*(290+1)^236-1 291*(291+1)^6-1 292 none [200000] 293*(293+1)^14-1 293*(293+1)^23-1 293*(293+1)^50-1 293*(293+1)^57-1 293*(293+1)^60-1 294*(294+1)^1-1 294*(294+1)^2-1 294*(294+1)^6-1 294*(294+1)^7-1 294*(294+1)^36-1 294*(294+1)^50-1 294*(294+1)^97-1 294*(294+1)^366-1 294*(294+1)^455-1 295*(295+1)^7-1 295*(295+1)^391-1 296*(296+1)^1-1 296*(296+1)^13-1 296*(296+1)^17-1 296*(296+1)^270-1 297*(297+1)^2-1 297*(297+1)^32-1 297*(297+1)^50-1 298*(298+1)^1-1 298*(298+1)^5-1 298*(298+1)^9-1 298*(298+1)^123-1 298*(298+1)^445-1 299*(299+1)^9-1 299*(299+1)^15-1 299*(299+1)^51-1 299*(299+1)^53-1 299*(299+1)^227-1 300*(300+1)^7-1 300*(300+1)^9-1 300*(300+1)^18-1 300*(300+1)^57-1 300*(300+1)^67-1 300*(300+1)^434-1 301*(301+1)^1-1 301*(301+1)^99-1 301*(301+1)^111-1 302*(302+1)^2-1 302*(302+1)^343-1 302*(302+1)^451-1 303*(303+1)^1-1 303*(303+1)^362-1 304*(304+1)^17-1 304*(304+1)^65-1 304*(304+1)^155-1 304*(304+1)^249-1 305*(305+1)^1-1 305*(305+1)^3-1 305*(305+1)^43-1 305*(305+1)^114-1 305*(305+1)^135-1 305*(305+1)^194-1 305*(305+1)^203-1 305*(305+1)^333-1 306*(306+1)^1-1 306*(306+1)^2-1 306*(306+1)^5-1 306*(306+1)^62-1 306*(306+1)^93-1 307*(307+1)^47-1 308*(308+1)^3-1 308*(308+1)^7-1 308*(308+1)^9-1 308*(308+1)^20-1 308*(308+1)^35-1 308*(308+1)^39-1 308*(308+1)^80-1 308*(308+1)^463-1 309*(309+1)^1-1 309*(309+1)^119-1 309*(309+1)^503-1 310*(310+1)^17-1 310*(310+1)^19-1 310*(310+1)^139-1 310*(310+1)^351-1 310*(310+1)^443-1 311*(311+1)^3-1 311*(311+1)^7-1 312*(312+1)^8-1 312*(312+1)^44-1 312*(312+1)^464-1 313*(313+1)^3-1 313*(313+1)^51-1 313*(313+1)^65-1 313*(313+1)^77-1 314*(314+1)^1-1 314*(314+1)^5-1 314*(314+1)^9-1 314*(314+1)^41-1 315*(315+1)^29-1 315*(315+1)^177-1 316*(316+1)^5-1 316*(316+1)^37-1 316*(316+1)^85-1 317*(317+1)^12-1 317*(317+1)^19-1 317*(317+1)^20-1 317*(317+1)^103-1 317*(317+1)^203-1 318*(318+1)^96-1 318*(318+1)^260-1 319*(319+1)^1-1 319*(319+1)^7-1 319*(319+1)^27-1 319*(319+1)^53-1 319*(319+1)^87-1 320*(320+1)^97-1 320*(320+1)^121-1 320*(320+1)^385-1 320*(320+1)^467-1 321*(321+1)^23-1 321*(321+1)^173-1 321*(321+1)^303-1 321*(321+1)^383-1 322*(322+1)^15-1 322*(322+1)^475-1 323*(323+1)^1-1 324*(324+1)^3-1 324*(324+1)^447-1 325*(325+1)^5-1 325*(325+1)^9-1 325*(325+1)^17-1 325*(325+1)^69-1 326*(326+1)^5-1 326*(326+1)^33-1 326*(326+1)^110-1 326*(326+1)^366-1 326*(326+1)^438-1 327*(327+1)^2-1 327*(327+1)^6-1 327*(327+1)^18-1 327*(327+1)^56-1 328*(328+1)^17-1 328*(328+1)^51-1 328*(328+1)^55-1 328*(328+1)^199-1 329*(329+1)^134-1 330*(330+1)^1-1 330*(330+1)^7-1 330*(330+1)^19-1 330*(330+1)^20-1 330*(330+1)^77-1 330*(330+1)^85-1 331*(331+1)^1-1 331*(331+1)^7-1 331*(331+1)^9-1 331*(331+1)^39-1 332*(332+1)^204-1 333*(333+1)^2-1 333*(333+1)^3-1 333*(333+1)^5-1 333*(333+1)^73-1 333*(333+1)^80-1 333*(333+1)^92-1 333*(333+1)^113-1 333*(333+1)^272-1 333*(333+1)^447-1 334*(334+1)^3-1 334*(334+1)^9-1 334*(334+1)^21-1 334*(334+1)^49-1 334*(334+1)^71-1 335*(335+1)^1-1 335*(335+1)^37-1 335*(335+1)^312-1 335*(335+1)^450-1 336*(336+1)^14-1 336*(336+1)^398-1 337*(337+1)^407-1 338*(338+1)^3-1 338*(338+1)^7-1 338*(338+1)^9-1 338*(338+1)^19-1 338*(338+1)^65-1 338*(338+1)^67-1 338*(338+1)^79-1 338*(338+1)^114-1 338*(338+1)^176-1 338*(338+1)^223-1 338*(338+1)^278-1 339*(339+1)^1-1 339*(339+1)^2-1 339*(339+1)^11-1 339*(339+1)^33-1 339*(339+1)^42-1 339*(339+1)^253-1 340*(340+1)^33-1 340*(340+1)^131-1 340*(340+1)^241-1 341*(341+1)^2-1 341*(341+1)^62-1 341*(341+1)^177-1 341*(341+1)^301-1 342*(342+1)^31-1 342*(342+1)^87-1 343*(343+1)^1-1 344*(344+1)^2-1 345*(345+1)^3-1 345*(345+1)^8-1 345*(345+1)^15-1 345*(345+1)^25-1 345*(345+1)^29-1 345*(345+1)^159-1 345*(345+1)^211-1 346*(346+1)^4461-1 [5000] 347*(347+1)^2-1 347*(347+1)^6-1 347*(347+1)^14-1 347*(347+1)^35-1 347*(347+1)^194-1 347*(347+1)^336-1 348*(348+1)^42-1 348*(348+1)^44-1 348*(348+1)^77-1 349*(349+1)^1-1 349*(349+1)^5-1 349*(349+1)^21-1 349*(349+1)^75-1 349*(349+1)^205-1 349*(349+1)^353-1 350*(350+1)^1-1 350*(350+1)^14-1 350*(350+1)^271-1 351*(351+1)^1-1 351*(351+1)^5-1 351*(351+1)^25-1 351*(351+1)^55-1 352*(352+1)^3-1 352*(352+1)^203-1 353*(353+1)^3-1 353*(353+1)^8-1 353*(353+1)^493-1 354*(354+1)^1-1 354*(354+1)^7-1 354*(354+1)^439-1 355*(355+1)^9-1 356*(356+1)^1319-1 [1400] 357*(357+1)^23-1 357*(357+1)^79-1 357*(357+1)^147-1 358*(358+1)^1-1 358*(358+1)^119-1 359*(359+1)^5-1 359*(359+1)^20-1 360*(360+1)^1-1 360*(360+1)^2-1 360*(360+1)^14-1 360*(360+1)^42-1 360*(360+1)^152-1 361*(361+1)^1-1 361*(361+1)^3-1 361*(361+1)^75-1 361*(361+1)^147-1 361*(361+1)^211-1 362*(362+1)^3-1 362*(362+1)^8-1 362*(362+1)^42-1 362*(362+1)^68-1 362*(362+1)^111-1 363*(363+1)^23-1 363*(363+1)^78-1 363*(363+1)^390-1 364*(364+1)^1-1 364*(364+1)^43-1 364*(364+1)^127-1 365*(365+1)^2-1 366*(366+1)^14-1 367*(367+1)^3-1 367*(367+1)^31-1 368*(368+1)^56-1 369*(369+1)^5-1 369*(369+1)^18-1 369*(369+1)^225-1 370*(370+1)^517-1 [600] 371*(371+1)^2-1 371*(371+1)^6-1 371*(371+1)^353-1 371*(371+1)^389-1 371*(371+1)^459-1 372*(372+1)^223-1 373*(373+1)^1-1 373*(373+1)^53-1 374*(374+1)^1-1 374*(374+1)^3-1 374*(374+1)^24-1 374*(374+1)^227-1 374*(374+1)^361-1 374*(374+1)^504-1 375*(375+1)^2-1 375*(375+1)^3-1 375*(375+1)^6-1 375*(375+1)^327-1 376*(376+1)^5-1 376*(376+1)^11-1 376*(376+1)^91-1 376*(376+1)^111-1 376*(376+1)^381-1 377*(377+1)^2-1 377*(377+1)^7-1 378*(378+1)^1-1 378*(378+1)^3-1 378*(378+1)^5-1 378*(378+1)^9-1 378*(378+1)^14-1 378*(378+1)^19-1 378*(378+1)^31-1 378*(378+1)^54-1 378*(378+1)^71-1 378*(378+1)^133-1 378*(378+1)^151-1 379*(379+1)^19-1 379*(379+1)^29-1 379*(379+1)^115-1 380*(380+1)^1-1 380*(380+1)^2-1 380*(380+1)^331-1 381*(381+1)^15-1 381*(381+1)^105-1 381*(381+1)^319-1 381*(381+1)^343-1 382 none [200000] 383*(383+1)^104-1 384*(384+1)^5-1 384*(384+1)^54-1 384*(384+1)^85-1 384*(384+1)^105-1 384*(384+1)^137-1 385*(385+1)^1-1 385*(385+1)^495-1 386*(386+1)^1-1 386*(386+1)^13-1 386*(386+1)^31-1 387*(387+1)^6-1 387*(387+1)^260-1 388*(388+1)^9-1 388*(388+1)^169-1 389*(389+1)^3-1 389*(389+1)^6-1 389*(389+1)^14-1 389*(389+1)^113-1 389*(389+1)^450-1 390*(390+1)^3-1 390*(390+1)^8-1 390*(390+1)^23-1 390*(390+1)^25-1 390*(390+1)^27-1 390*(390+1)^141-1 390*(390+1)^260-1 391*(391+1)^1-1 392*(392+1)^2-1 392*(392+1)^26-1 392*(392+1)^36-1 392*(392+1)^115-1 392*(392+1)^167-1 392*(392+1)^507-1 393*(393+1)^1-1 393*(393+1)^326-1 394*(394+1)^3-1 394*(394+1)^23-1 394*(394+1)^151-1 395*(395+1)^1-1 395*(395+1)^17-1 395*(395+1)^287-1 396*(396+1)^1-1 396*(396+1)^2-1 396*(396+1)^3-1 396*(396+1)^6-1 396*(396+1)^66-1 397*(397+1)^63-1 397*(397+1)^139-1 398*(398+1)^9-1 398*(398+1)^11-1 398*(398+1)^29-1 398*(398+1)^81-1 398*(398+1)^116-1 399*(399+1)^2-1 399*(399+1)^7-1 400*401^103669-1 [103679] 401*(401+1)^1-1 401*(401+1)^19-1 401*(401+1)^62-1 401*(401+1)^158-1 401*(401+1)^421-1 402*(402+1)^2-1 402*(402+1)^15-1 403*(403+1)^7-1 403*(403+1)^15-1 404*(404+1)^3-1 404*(404+1)^21-1 405*(405+1)^1-1 405*(405+1)^2-1 405*(405+1)^17-1 405*(405+1)^191-1 405*(405+1)^288-1 405*(405+1)^331-1 405*(405+1)^495-1 406*(406+1)^3-1 406*(406+1)^25-1 406*(406+1)^43-1 406*(406+1)^67-1 406*(406+1)^103-1 406*(406+1)^117-1 406*(406+1)^179-1 406*(406+1)^335-1 407*(407+1)^7-1 408*(408+1)^1-1 408*(408+1)^2-1 408*(408+1)^18-1 408*(408+1)^205-1 408*(408+1)^217-1 409*(409+1)^3-1 409*(409+1)^7-1 409*(409+1)^11-1 409*(409+1)^13-1 409*(409+1)^21-1 409*(409+1)^75-1 409*(409+1)^103-1 410*(410+1)^9-1 411*(411+1)^18-1 411*(411+1)^38-1 412*(412+1)^87-1 412*(412+1)^179-1 413*(413+1)^31-1 413*(413+1)^61-1 413*(413+1)^89-1 413*(413+1)^116-1 413*(413+1)^219-1 413*(413+1)^258-1 414*(414+1)^23-1 414*(414+1)^344-1 415*(415+1)^521-1 [600] 416*(416+1)^21002-1 [21250] 417*(417+1)^2-1 417*(417+1)^6-1 417*(417+1)^8-1 418*(418+1)^1-1 418*(418+1)^3-1 418*(418+1)^15-1 418*(418+1)^237-1 419*(419+1)^1-1 419*(419+1)^3-1 419*(419+1)^9-1 419*(419+1)^11-1 419*(419+1)^15-1 419*(419+1)^55-1 419*(419+1)^96-1 420*(420+1)^1-1 420*(420+1)^8-1 421*(421+1)^335-1 422*(422+1)^23-1 422*(422+1)^24-1 422*(422+1)^38-1 423*(423+1)^1-1 423*(423+1)^2-1 423*(423+1)^3-1 423*(423+1)^5-1 423*(423+1)^6-1 423*(423+1)^177-1 423*(423+1)^407-1 423*(423+1)^498-1 424*(424+1)^9-1 425*(425+1)^2-1 425*(425+1)^3-1 425*(425+1)^12-1 425*(425+1)^457-1 426*(426+1)^7-1 426*(426+1)^11-1 426*(426+1)^29-1 426*(426+1)^54-1 426*(426+1)^93-1 427*(427+1)^19-1 428*(428+1)^1-1 428*(428+1)^2-1 428*(428+1)^122-1 429*(429+1)^18-1 429*(429+1)^23-1 429*(429+1)^35-1 429*(429+1)^47-1 429*(429+1)^61-1 429*(429+1)^77-1 430*(430+1)^247-1 431*(431+1)^1-1 431*(431+1)^2-1 431*(431+1)^117-1 431*(431+1)^138-1 432*(432+1)^3-1 432*(432+1)^54-1 433*(433+1)^1-1 433*(433+1)^53-1 434*(434+1)^2-1 434*(434+1)^6-1 434*(434+1)^19-1 434*(434+1)^81-1 435*(435+1)^2-1 435*(435+1)^8-1 435*(435+1)^116-1 436*(436+1)^5-1 436*(436+1)^9-1 436*(436+1)^105-1 436*(436+1)^143-1 437*(437+1)^3-1 437*(437+1)^8-1 437*(437+1)^15-1 437*(437+1)^71-1 438*(438+1)^5-1 438*(438+1)^6-1 438*(438+1)^17-1 439*(439+1)^79-1 439*(439+1)^183-1 440*(440+1)^5-1 440*(440+1)^8-1 441*(441+1)^3-1 441*(441+1)^7-1 441*(441+1)^71-1 441*(441+1)^133-1 442*(442+1)^1691-1 [2000] 443*(443+1)^33-1 443*(443+1)^54-1 443*(443+1)^239-1 443*(443+1)^323-1 444*(444+1)^6-1 444*(444+1)^11-1 444*(444+1)^56-1 444*(444+1)^99-1 444*(444+1)^251-1 444*(444+1)^511-1 445*(445+1)^1-1 445*(445+1)^21-1 445*(445+1)^119-1 446*(446+1)^2-1 446*(446+1)^7-1 446*(446+1)^15-1 446*(446+1)^54-1 446*(446+1)^75-1 446*(446+1)^199-1 446*(446+1)^459-1 447*(447+1)^427-1 448*(448+1)^1-1 448*(448+1)^289-1 448*(448+1)^395-1 449*(449+1)^1-1 449*(449+1)^2-1 449*(449+1)^301-1 450*(450+1)^1-1 450*(450+1)^8-1 450*(450+1)^15-1 450*(450+1)^32-1 450*(450+1)^98-1 451*(451+1)^7-1 451*(451+1)^221-1 452*(452+1)^104-1 453*(453+1)^1-1 453*(453+1)^11-1 453*(453+1)^12-1 454*(454+1)^5-1 454*(454+1)^223-1 455*(455+1)^1-1 455*(455+1)^6-1 455*(455+1)^15-1 455*(455+1)^29-1 456*(456+1)^1-1 456*(456+1)^13-1 456*(456+1)^17-1 456*(456+1)^71-1 456*(456+1)^121-1 456*(456+1)^197-1 456*(456+1)^206-1 457*(457+1)^46899-1 [50000] 458*(458+1)^2-1 458*(458+1)^20-1 458*(458+1)^24-1 458*(458+1)^32-1 458*(458+1)^44-1 459*(459+1)^2-1 459*(459+1)^13-1 459*(459+1)^74-1 459*(459+1)^128-1 459*(459+1)^139-1 459*(459+1)^158-1 460*(460+1)^17-1 460*(460+1)^57-1 460*(460+1)^65-1 460*(460+1)^121-1 461*(461+1)^1-1 461*(461+1)^3-1 461*(461+1)^14-1 461*(461+1)^59-1 461*(461+1)^259-1 462*(462+1)^2-1 462*(462+1)^11-1 462*(462+1)^18-1 462*(462+1)^27-1 463*(463+1)^1-1 463*(463+1)^5-1 463*(463+1)^25-1 463*(463+1)^35-1 463*(463+1)^53-1 464*(464+1)^2-1 464*(464+1)^7-1 464*(464+1)^8-1 464*(464+1)^15-1 464*(464+1)^115-1 464*(464+1)^153-1 464*(464+1)^186-1 464*(464+1)^345-1 465*(465+1)^9-1 466*(466+1)^3-1 466*(466+1)^339-1 467*(467+1)^2-1 467*(467+1)^26-1 468*(468+1)^1-1 468*(468+1)^85-1 468*(468+1)^126-1 468*(468+1)^164-1 468*(468+1)^398-1 469*(469+1)^9-1 469*(469+1)^19-1 469*(469+1)^159-1 470*(470+1)^2-1 470*(470+1)^17-1 470*(470+1)^53-1 470*(470+1)^85-1 471*(471+1)^1-1 471*(471+1)^2-1 471*(471+1)^191-1 472*(472+1)^3-1 473*(473+1)^1-1 473*(473+1)^5-1 473*(473+1)^12-1 473*(473+1)^90-1 473*(473+1)^318-1 474*(474+1)^1-1 474*(474+1)^3-1 475*(475+1)^1-1 475*(475+1)^3-1 475*(475+1)^233-1 476*(476+1)^165-1 477 none [200000] 478*(478+1)^1-1 478*(478+1)^3-1 478*(478+1)^5-1 478*(478+1)^33-1 479*(479+1)^2-1 479*(479+1)^8-1 479*(479+1)^9-1 480*(480+1)^7-1 480*(480+1)^9-1 480*(480+1)^35-1 480*(480+1)^37-1 481*(481+1)^1-1 481*(481+1)^157-1 481*(481+1)^283-1 482*(482+1)^6-1 482*(482+1)^7-1 482*(482+1)^38-1 482*(482+1)^119-1 482*(482+1)^254-1 483*(483+1)^41-1 483*(483+1)^468-1 484*(484+1)^13-1 485*(485+1)^3-1 485*(485+1)^31-1 485*(485+1)^289-1 485*(485+1)^291-1 485*(485+1)^407-1 486*(486+1)^1-1 486*(486+1)^17-1 487 none [200000] 488*(488+1)^86-1 488*(488+1)^123-1 489*(489+1)^3-1 490*(490+1)^1-1 490*(490+1)^5-1 490*(490+1)^9-1 490*(490+1)^75-1 490*(490+1)^109-1 490*491^2171-1 (G. Reynolds 8/2006) 490*491^3575-1 (G. Reynolds 8/2006) [10000] 491*(491+1)^29-1 491*(491+1)^283-1 491*492^1829-1 (G. Reynolds 8/2006) 491*492^3283-1 (G. Reynolds 8/2006) 491*492^4223-1 (G. Reynolds 8/2006) [10000] 492*(492+1)^2-1 492*(492+1)^15-1 492*(492+1)^67-1 492*493^2199-1 (G. Reynolds 8/2006) 492*493^4055-1 (G. Reynolds 8/2006) 492*493^8103-1 (G. Reynolds 8/2006) [10000] 493*494^21579 [22000] 494*(494+1)^1-1 494*(494+1)^12-1 494*(494+1)^39-1 494*(494+1)^201-1 494*495^530-1 (G. Reynolds 8/2006) 494*495^4434-1 (G. Reynolds 8/2006) 494*495^6767-1 (G. Reynolds 8/2006) [10000] 495*(495+1)^1-1 495*(495+1)^6-1 495*(495+1)^186-1 495*(495+1)^281-1 495*496^517-1 (G. Reynolds 8/2006) [10000] 496*(496+1)^1-1 496*(496+1)^3-1 496*(496+1)^5-1 496*(496+1)^61-1 496*(496+1)^89-1 [10000] 497*(497+1)^2-1 497*(497+1)^8-1 497*(497+1)^26-1 497*498^906-1 (G. Reynolds 8/2006) [10000] 498*(498+1)^32-1 498*(498+1)^67-1 [10000] 499*(499+1)^1-1 499*(499+1)^11-1 499*(499+1)^173-1 [10000] 500*(500+1)^1-1 500*(500+1)^30-1 500*(500+1)^93-1 500*(500+1)^119-1 501*(501+1)^1-1 501*(501+1)^15-1 501*(501+1)^125-1 502*(502+1)^3-1 503*(503+1)^2-1 503*(503+1)^5-1 503*(503+1)^7-1 503*(503+1)^15-1 503*(503+1)^72-1 503*(503+1)^137-1 503*(503+1)^320-1 504*(504+1)^1-1 504*(504+1)^7-1 504*(504+1)^25-1 504*(504+1)^36-1 505*(505+1)^19-1 505*(505+1)^31-1 505*(505+1)^89-1 506*(506+1)^1-1 506*(506+1)^9-1 506*(506+1)^93-1 506*(506+1)^237-1 507*(507+1)^2-1 507*(507+1)^144-1 507*(507+1)^272-1 508*(508+1)^9-1 508*(508+1)^11-1 508*(508+1)^47-1 508*(508+1)^63-1 508*(508+1)^119-1 509*(509+1)^2-1 509*(509+1)^15-1 509*(509+1)^120-1 510*(510+1)^1-1 510*(510+1)^60-1 511*(511+1)^1-1 511*(511+1)^85-1 512*(512+1)^14-1 512*(512+1)^14-1 513*(513+1)^43-1 513*(513+1)^85-1 513*(513+1)^175-1 514*(514+1)^3-1 514*(514+1)^75-1 514*(514+1)^315-1 515*(515+1)^1-1 515*(515+1)^3-1 515*(515+1)^35-1 515*(515+1)^36-1 515*(515+1)^327-1 515*(515+1)^456-1 516*(516+1)^9-1 516*(516+1)^121-1 517*518^129371-1 [131000] 518*(518+1)^1-1 518*(518+1)^133-1 518*(518+1)^45-1 518*(518+1)^7-1 519*(519+1)^1-1 519*(519+1)^11-1 519*(519+1)^2-1 519*(519+1)^49-1 519*(519+1)^5-1 520*(520+1)^159-1 520*(520+1)^23-1 520*(520+1)^33-1 521*(521+1)^135-1 521*(521+1)^3-1 521*(521+1)^395-1 521*(521+1)^49-1 521*(521+1)^6-1 521*(521+1)^78-1 521*(521+1)^79-1 522*(522+1)^139-1 522*(522+1)^18-1 522*(522+1)^391-1 523*(523+1)^15-1 523*(523+1)^195-1 524*(524+1)^114-1 524*(524+1)^17-1 524*(524+1)^2-1 524*(524+1)^3-1 524*(524+1)^5-1 524*(524+1)^7-1 524*(524+1)^83-1 525*(525+1)^116-1 525*(525+1)^176-1 525*(525+1)^2-1 525*(525+1)^77-1 526*(526+1)^65821 [67000] 527*(527+1)^3-1 527*(527+1)^38-1 528*(528+1)^1-1 528*(528+1)^67-1 529*(529+1)^103-1 530*(530+1)^1-1 530*(530+1)^13-1 530*(530+1)^31-1 530*(530+1)^5-1 531*(531+1)^23-1 531*(531+1)^277-1 532 none [200000] 533*(533+1)^2450-1 [3000] 534*(534+1)^2-1 534*(534+1)^51-1 535*(535+1)^53-1 536*(536+1)^23-1 536*(536+1)^263-1 536*(536+1)^33-1 536*(536+1)^43-1 536*(536+1)^81-1 537*(537+1)^239-1 537*(537+1)^3-1 537*(537+1)^7-1 538*(538+1)^11-1 538*(538+1)^129-1 538*(538+1)^7-1 538*(538+1)^9-1 539*(539+1)^108-1 539*(539+1)^15-1 539*(539+1)^33-1 540*(540+1)^2-1 540*(540+1)^55-1 540*(540+1)^98-1 541*(541+1)^1-1 541*(541+1)^117-1 541*(541+1)^223-1 541*(541+1)^243-1 541*(541+1)^3-1 542*(542+1)^12-1 542*(542+1)^312-1 543*(543+1)^150-1 543*(543+1)^284-1 543*(543+1)^43-1 543*(543+1)^5-1 543*(543+1)^6-1 544*(544+1)^1-1 545*(545+1)^11-1 545*(545+1)^51-1 546*(546+1)^117-1 546*(546+1)^13-1 546*(546+1)^29-1 546*(546+1)^95-1 547*(547+1)^7-1 548*(548+1)^1-1 548*(548+1)^115-1 548*(548+1)^205-1 548*(548+1)^2-1 548*(548+1)^224-1 548*(548+1)^25-1 548*(548+1)^8-1 548*(548+1)^87-1 549*(549+1)^105-1 549*(549+1)^1-1 549*(549+1)^33-1 549*(549+1)^38-1 550*(550+1)^1-1 550*(550+1)^39-1 550*(550+1)^5-1 551*(551+1)^1-1 551*(551+1)^7-1 551*(551+1)^9-1 552*(552+1)^20-1 552*(552+1)^26-1 552*(552+1)^391-1 553 none [200000] 554*(554+1)^23-1 555*(555+1)^20-1 555*(555+1)^2-1 555*(555+1)^511-1 556*(556+1)^1445-1 556*(556+1)^2167-1 557*(557+1)^19-1 557*(557+1)^2-1 557*(557+1)^323-1 557*(557+1)^330-1 557*(557+1)^7-1 558*(558+1)^121-1 558*(558+1)^143-1 558*(558+1)^3-1 558*(558+1)^42-1 558*(558+1)^43-1 559*(559+1)^81-1 560*(560+1)^1-1 560*(560+1)^11-1 560*(560+1)^18-1 560*(560+1)^489-1 560*(560+1)^5-1 560*(560+1)^57-1 560*(560+1)^74-1 561*(561+1)^1-1 561*(561+1)^11-1 561*(561+1)^19-1 561*(561+1)^5-1 561*(561+1)^61-1 562*(562+1)^103-1 562*(562+1)^67-1 563*(563+1)^247-1 563*(563+1)^6-1 563*(563+1)^8-1 564*(564+1)^14-1 564*(564+1)^2-1 564*(564+1)^264-1 564*(564+1)^32-1 564*(564+1)^55-1 565*(565+1)^85-1 566*(566+1)^2-1 566*(566+1)^3-1 566*(566+1)^33-1 567*(567+1)^11-1 567*(567+1)^6-1 567*(567+1)^7-1 568*(568+1)^29-1 569*(569+1)^1-1 569*(569+1)^17-1 569*(569+1)^23-1 569*(569+1)^36-1 569*(569+1)^53-1 570*(570+1)^23-1 570*(570+1)^422-1 570*(570+1)^7-1 571*(571+1)^1-1 571*(571+1)^145-1 571*(571+1)^61-1 572*(572+1)^198-1 572*(572+1)^470-1 572*(572+1)^75-1 573*(573+1)^1-1 573*(573+1)^3-1 573*(573+1)^327-1 573*(573+1)^407-1 573*(573+1)^455-1 573*(573+1)^6-1 573*(573+1)^71-1 573*(573+1)^75-1 574*(574+1)^5-1 575*(575+1)^259-1 576*(576+1)^243-1 577*(577+1)^11-1 577*(577+1)^223-1 578*(578+1)^1-1 578*(578+1)^240-1 578*(578+1)^30-1 579*(579+1)^306-1 579*(579+1)^86-1 580*(580+1)^23-1 580*(580+1)^385-1 580*(580+1)^59-1 581*(581+1)^1-1 581*(581+1)^135-1 581*(581+1)^145-1 581*(581+1)^209-1 581*(581+1)^2-1 581*(581+1)^227-1 581*(581+1)^26-1 581*(581+1)^5-1 581*(581+1)^71-1 581*(581+1)^9-1 582*(582+1)^332-1 583*(583+1)^173-1 583*(583+1)^371-1 583*(583+1)^57-1 584*(584+1)^11-1 584*(584+1)^129-1 584*(584+1)^17-1 584*(584+1)^368-1 585*(585+1)^11-1 585*(585+1)^19-1 585*(585+1)^87-1 586*(586+1)^29-1 586*(586+1)^39-1 586*(586+1)^55-1 587*(587+1)^3-1 588*(588+1)^1-1 588*(588+1)^1125-1 [1500] 589*(589+1)^1-1 589*(589+1)^19-1 590*(590+1)^14-1 591*(591+1)^1-1 591*(591+1)^3-1 591*(591+1)^75-1 592*(592+1)^7-1 593*(593+1)^2-1 593*(593+1)^231-1 593*(593+1)^266-1 593*(593+1)^403-1 593*(593+1)^503-1 594*(594+1)^1-1 594*(594+1)^2-1 594*(594+1)^25-1 594*(594+1)^27-1 594*(594+1)^3-1 594*(594+1)^5-1 595*(595+1)^1-1 595*(595+1)^11-1 595*(595+1)^13-1 595*(595+1)^33-1 595*(595+1)^451-1 596*(596+1)^1-1 596*(596+1)^161-1 596*(596+1)^2-1 596*(596+1)^5-1 596*(596+1)^59-1 597*(597+1)^3-1 597*(597+1)^90-1 598*(598+1)^1-1 598*(598+1)^281-1 598*(598+1)^3-1 599*(599+1)^3-1 599*(599+1)^37-1 599*(599+1)^447-1 599*(599+1)^453-1 600*(600+1)^6-1 601*(601+1)^17643-1 [22000] 602*(602+1)^3-1 602*(602+1)^6-1 603*(603+1)^7-1 604*(604+1)^1-1 604*(604+1)^19-1 604*(604+1)^43-1 604*(604+1)^51-1 604*(604+1)^7-1 605*(605+1)^3-1 605*(605+1)^377-1 605*(605+1)^9-1 606*(606+1)^1-1 606*(606+1)^2-1 606*(606+1)^426-1 606*(606+1)^9-1 607*(607+1)^36227-1 [37000] 608*(608+1)^33-1 609*(609+1)^221-1 609*(609+1)^3-1 610*(610+1)^1-1 610*(610+1)^457-1 611*(611+1)^2-1 611*(611+1)^27-1 611*(611+1)^7-1 612*(612+1)^2-1 612*(612+1)^8-1 612*(612+1)^83-1 613*(613+1)^113-1 614*(614+1)^101-1 614*(614+1)^122-1 614*(614+1)^133-1 614*(614+1)^152-1 614*(614+1)^273-1 614*(614+1)^3-1 614*(614+1)^6-1 615*(615+1)^15-1 615*(615+1)^26-1 615*(615+1)^38-1 615*(615+1)^479-1 615*(615+1)^9-1 616*(616+1)^1-1 616*(616+1)^11-1 616*(616+1)^271-1 617*(617+1)^347-1 617*(617+1)^59-1 618*(618+1)^1-1 618*(618+1)^11-1 618*(618+1)^15-1 618*(618+1)^169-1 618*(618+1)^17-1 618*(618+1)^297-1 618*(618+1)^55-1 619*(619+1)^189-1 619*(619+1)^23-1 619*(619+1)^49-1 620*(620+1)^24-1 620*(620+1)^5-1 620*(620+1)^6-1 621*(621+1)^3899-1 [4000] 622*(622+1)^31-1 622*(622+1)^7-1 623*(623+1)^163-1 623*(623+1)^320-1 623*(623+1)^7-1 624*(624+1)^1-1 624*(624+1)^199-1 624*(624+1)^2-1 624*(624+1)^89-1 624*(624+1)^98-1 625*(625+1)^1005-1 [1500] 625*(625+1)^1-1 626*(626+1)^470-1 626*(626+1)^73-1 627*(627+1)^15-1 627*(627+1)^48-1 627*(627+1)^90-1 628*(628+1)^17-1 629*(629+1)^1-1 629*(629+1)^25-1 629*(629+1)^66-1 629*(629+1)^7-1 630*(630+1)^117-1 630*(630+1)^179-1 630*(630+1)^18-1 630*(630+1)^20-1 630*(630+1)^35-1 630*(630+1)^9-1 630*(630+1)^95-1 631*(631+1)^239-1 631*(631+1)^385-1 632*(632+1)^102-1 632*(632+1)^38-1 633*(633+1)^1-1 633*(633+1)^2-1 633*(633+1)^26-1 633*(633+1)^285-1 634*(634+1)^193-1 634*(634+1)^9-1 635*(635+1)^2-1 635*(635+1)^47-1 635*(635+1)^93-1 636*(636+1)^125-1 636*(636+1)^131-1 636*(636+1)^27-1 636*(636+1)^33-1 636*(636+1)^9-1 637*(637+1)^75427-1 [76000] 638*(638+1)^59-1 639*(639+1)^1-1 639*(639+1)^114-1 639*(639+1)^243-1 639*(639+1)^3-1 639*(639+1)^6-1 640*(640+1)^1-1 640*(640+1)^3-1 641*(641+1)^45-1 642*(642+1)^126-1 643*(643+1)^123-1 643*(643+1)^33-1 643*(643+1)^9-1 644*(644+1)^101-1 644*(644+1)^1-1 644*(644+1)^176-1 644*(644+1)^24-1 644*(644+1)^367-1 644*(644+1)^87-1 644*(644+1)^96-1 645*(645+1)^14-1 645*(645+1)^25-1 645*(645+1)^343-1 645*(645+1)^7-1 646*(646+1)^1-1 646*(646+1)^123-1 646*(646+1)^437-1 646*(646+1)^473-1 646*(646+1)^5-1 646*(646+1)^65-1 647*(647+1)^131-1 647*(647+1)^427-1 648*(648+1)^1-1 648*(648+1)^3-1 649*(649+1)^189-1 649*(649+1)^19-1 649*(649+1)^3-1 649*(649+1)^359-1 649*(649+1)^37-1 649*(649+1)^5-1 649*(649+1)^79-1 650*(650+1)^177-1 650*(650+1)^2-1 650*(650+1)^42-1 650*(650+1)^57-1 650*(650+1)^77-1 651*(651+1)^1-1 651*(651+1)^163-1 651*(651+1)^486-1 652*(652+1)^3127-1 [4000] 653*(653+1)^11-1 653*(653+1)^24-1 653*(653+1)^3-1 653*(653+1)^55-1 654*(654+1)^1-1 654*(654+1)^157-1 654*(654+1)^9-1 655*(655+1)^1-1 655*(655+1)^25-1 656*(656+1)^103-1 656*(656+1)^333-1 656*(656+1)^433-1 656*(656+1)^9-1 657*(657+1)^31-1 658*(658+1)^3-1 658*(658+1)^39-1 658*(658+1)^7-1 659*(659+1)^1-1 659*(659+1)^127-1 659*(659+1)^2-1 659*(659+1)^31-1 659*(659+1)^53-1 659*(659+1)^8-1 660*(660+1)^164-1 660*(660+1)^299-1 660*(660+1)^300-1 660*(660+1)^3-1 660*(660+1)^45-1 660*(660+1)^8-1 661*(661+1)^13-1 661*(661+1)^19-1 661*(661+1)^433-1 661*(661+1)^65-1 662*(662+1)^47556-1 [75000] 663*(663+1)^117-1 663*(663+1)^15-1 663*(663+1)^37-1 664 none [200000] 665*(665+1)^188-1 665*(665+1)^3-1 665*(665+1)^5-1 665*(665+1)^96-1 666*(666+1)^2-1 666*(666+1)^50-1 666*(666+1)^7-1 667*(667+1)^287-1 668*(668+1)^1-1 668*(668+1)^215-1 668*(668+1)^61-1 668*(668+1)^7-1 669*(669+1)^14-1 669*(669+1)^30-1 669*(669+1)^306-1 669*(669+1)^56-1 670*(670+1)^1-1 670*(670+1)-811-1 [1000] 671*(671+1)^13-1 671*(671+1)^506-1 671*(671+1)^73-1 671*(671+1)^9-1 672*(672+1)^174-1 672*(672+1)^24-1 672*(672+1)^296-1 673*(673+1)^1-1 673*(673+1)^175-1 674*(674+1)^9-1 675*(675+1)^15-1 675*(675+1)^23-1 675*(675+1)^8-1 676*(676+1)^1-1 676*(676+1)^219-1 676*(676+1)^233-1 676*(676+1)^25-1 677*(677+1)^14-1 677*(677+1)^38-1 677*(677+1)^68-1 678*(678+1)^134-1 678*(678+1)^14-1 678*(678+1)^3-1 678*(678+1)^39-1 678*(678+1)^49-1 679*(679+1)^43-1 680*(680+1)^11-1 680*(680+1)^139-1 680*(680+1)^395-1 680*(680+1)^73-1 680*(680+1)^77-1 681*(681+1)^11-1 681*(681+1)^2-1 681*(681+1)^223-1 682*(682+1)^35-1 683*(683+1)^1-1 683*(683+1)^19-1 683*(683+1)^296-1 683*(683+1)^36-1 683*(683+1)^379-1 683*(683+1)^392-1 684*(684+1)^14-1 684*(684+1)^18-1 684*(684+1)^3-1 684*(684+1)^83-1 685*(685+1)^47-1 686*(686+1)^1-1 686*(686+1)^6-1 687*(687+1)^2-1 688*(688+1)^5-1 689*(689+1)^2-1 689*(689+1)^32-1 690*(690+1)^5-1 691*(691+1)^1-1 692*(692+1)^11-1 692*(692+1)^23-1 692*(692+1)^492-1 693*(693+1)^1-1 693*(693+1)^169-1 693*(693+1)^2-1 693*(693+1)^24-1 693*(693+1)^362-1 693*(693+1)^391-1 693*(693+1)^56-1 694*(694+1)^11-1 694*(694+1)^17-1 694*(694+1)^505-1 694*(694+1)^5-1 695*(695+1)^1-1 695*(695+1)^2-1 695*(695+1)^3-1 696*(696+1)^19-1 697 none [200000] 698*(698+1)^108-1 698*(698+1)^5-1 698*(698+1)^7-1 699*(699+1)^1-1 699*(699+1)^27-1 699*(699+1)^35-1 699*(699+1)^5-1 700*(700+1)^2257-1 700*(700+1)^2313-1 [3000] 701*(701+1)^2-1 701*(701+1)^5-1 702*(702+1)^14-1 702*(702+1)^2-1 703*(703+1)^13-1 703*(703+1)^145-1 703*(703+1)^155-1 703*(703+1)^167-1 704*(704+1)^12-1 704*(704+1)^133-1 704*(704+1)^2-1 704*(704+1)^3-1 704*(704+1)^499-1 704*(704+1)^8-1 705*(705+1)^1-1 705*(705+1)^4735-1 [5000] 706*(706+1)^1-1 706*(706+1)^255-1 706*(706+1)^9-1 707*(707+1)^18-1 707*(707+1)^35-1 707*(707+1)^62-1 708*(708+1)^1-1 708*(708+1)^116-1 708*(708+1)^19-1 709*(709+1)^1-1 709*(709+1)^21-1 709*(709+1)^373-1 710*(710+1)^158-1 710*(710+1)^18-1 710*(710+1)^2-1 710*(710+1)^264-1 710*(710+1)^297-1 711*(711+1)^114-1 711*(711+1)^23-1 711*(711+1)^5-1 711*(711+1)^69-1 712*(712+1)^7-1 713*(713+1)^12-1 713*(713+1)^156-1 713*(713+1)^159-1 713*(713+1)^164-1 713*(713+1)^23-1 713*(713+1)^369-1 713*(713+1)^43-1 713*(713+1)^5-1 713*(713+1)^71-1 714*(714+1)^101-1 714*(714+1)^186-1 714*(714+1)^23-1 714*(714+1)^254-1 714*(714+1)^3-1 714*(714+1)^39-1 714*(714+1)^57-1 714*(714+1)^67-1 714*(714+1)^8-1 715*(715+1)^1-1 715*(715+1)^7-1 716*(716+1)^1-1 716*(716+1)^111-1 716*(716+1)^3-1 717*(717+1)^14-1 717*(717+1)^210-1 718*(718+1)^1199-1 [1500] 719*(719+1)^126-1 719*(719+1)^13-1 719*(719+1)^26-1 720*(720+1)^1-1 720*(720+1)^126-1 720*(720+1)^2-1 721*(721+1)^27-1 722*723^24535-1 [82000] 723*(723+1)^11-1 723*(723+1)^335-1 724*(724+1)^1-1 724*(724+1)^237-1 724*(724+1)^3-1 724*(724+1)^45-1 725*(725+1)^25-1 725*(725+1)^380-1 725*(725+1)^44-1 725*(725+1)^68-1 726*(726+1)^185-1 726*(726+1)^218-1 726*(726+1)^65-1 726*(726+1)^7-1 726*(726+1)^75-1 727*(727+1)^3-1 727*(727+1)^411-1 728*(728+1)^1-1 728*(728+1)^125-1 728*(728+1)^2-1 728*(728+1)^229-1 728*(728+1)^293-1 728*(728+1)^6-1 728*(728+1)^8-1 729*(729+1)^169-1 729*(729+1)^97-1 730*(730+1)^83-1 731*(731+1)^2-1 731*(731+1)^23-1 732*(732+1)^122-1 732*(732+1)^2-1 733*(733+1)^17-1 733*(733+1)^237-1 733*(733+1)^5-1 734*(734+1)^3-1 734*(734+1)^55-1 734*(734+1)^8-1 735*(735+1)^14-1 735*(735+1)^150-1 735*(735+1)^19-1 735*(735+1)^2-1 735*(735+1)^3-1 735*(735+1)^72-1 736*(736+1)^1409-1 737*(737+1)^2-1 737*(737+1)^3492 [4000] 738*(738+1)^21-1 738*(738+1)^53-1 738*(738+1)^6-1 739*(739+1)^1-1 739*(739+1)^135-1 739*(739+1)^137-1 739*(739+1)^5-1 740*(740+1)^8-1 741*(741+1)^35-1 741*(741+1)^86-1 742*(742+1)^15-1 742*(742+1)^195-1 742*(742+1)^3-1 743*(743+1)^1-1 743*(743+1)^14-1 743*(743+1)^2-1 743*(743+1)^217-1 743*(743+1)^350-1 744*(744+1)^206-1 744*(744+1)^2-1 744*(744+1)^438-1 744*(744+1)^5-1 744*(744+1)^62-1 744*(744+1)^8-1 745*(745+1)^13-1 746*(746+1)^1-1 746*(746+1)^5-1 747*(747+1)^51-1 748*(748+1)^3-1 749*(749+1)^141-1 749*(749+1)^147-1 749*(749+1)^19-1 749*(749+1)^35-1 749*(749+1)^383-1 749*(749+1)^79-1 749*(749+1)^9-1 750*(750+1)^1-1 750*(750+1)^223-1 750*(750+1)^23-1 750*(750+1)^25-1 751*(751+1)^257-1 751*(751+1)^3-1 752*(752+1)^15-1 753*(753+1)^1-1 753*(753+1)^29-1 753*(753+1)^3-1 754*(754+1)^1-1 754*(754+1)^15-1 754*(754+1)^245-1 754*(754+1)^27-1 755*(755+1)^15-1 755*(755+1)^155-1 755*(755+1)^158-1 755*(755+1)^78-1 756*(756+1)^337-1 757*(757+1)^50563-1 [50563] 758*(758+1)^2-1 758*(758+1)^25-1 758*(758+1)^337-1 758*(758+1)^354-1 758*(758+1)^38-1 758*(758+1)^423-1 758*(758+1)^77-1 758*(758+1)^92-1 759*(759+1)^213-1 759*(759+1)^294-1 759*(759+1)^31-1 759*(759+1)^54-1 759*(759+1)^6-1 760*(760+1)^45-1 761*(761+1)^1-1 761*(761+1)^199-1 761*(761+1)^2-1 761*(761+1)^39-1 762*(762+1)^195-1 762*(762+1)^2-1 762*(762+1)^24-1 762*(762+1)^320-1 762*(762+1)^482-1 763*(763+1)^1-1 764*(764+1)^13-1 764*(764+1)^32-1 764*(764+1)^367-1 764*(764+1)^427-1 764*(764+1)^80-1 765*(765+1)^1-1 765*(765+1)^174-1 765*(765+1)^2-1 765*(765+1)^32-1 765*(765+1)^349-1 766*(766+1)^213-1 766*(766+1)^269-1 766*(766+1)^37-1 766*(766+1)^9-1 767*(767+1)^164-1 767*(767+1)^20-1 767*(767+1)^23-1 768*(768+1)^14-1 768*(768+1)^205-1 768*(768+1)^415-1 768*(768+1)^47-1 768*(768+1)^8-1 768*(768+1)^98-1 769*(769+1)^1-1 769*(769+1)^11-1 769*(769+1)^39-1 769*(769+1)^9-1 770*(770+1)^103-1 770*(770+1)^151-1 770*(770+1)^38-1 770*(770+1)^45-1 770*(770+1)^7-1 771*(771+1)^14-1 772*(772+1)^163-1 772*(772+1)^187-1 772*(772+1)^23-1 773*(773+1)^14-1 773*(773+1)^253-1 773*(773+1)^332-1 774*(774+1)^265-1 774*(774+1)^288-1 774*(774+1)^309-1 774*(774+1)^348-1 774*(774+1)^450-1 774*(774+1)^56-1 774*(774+1)^65-1 774*(774+1)^9-1 775*(775+1)^13-1 775*(775+1)^7-1 776*(776+1)^1-1 776*(776+1)^4998-1 [5000] 777*(777+1)^12-1 778 none [200000] 779*(779+1)^1-1 779*(779+1)^150-1 779*(779+1)^2-1 780*(780+1)^1-1 780*(780+1)^3-1 780*(780+1)^35-1 780*(780+1)^407-1 780*(780+1)^66-1 780*(780+1)^84-1 781*(781+1)^1-1 781*(781+1)^3-1 782*(782+1)^122-1 782*(782+1)^295-1 782*(782+1)^31-1 782*(782+1)^6-1 782*(782+1)^8-1 783*(783+1)^17-1 783*(783+1)^3-1 784*(784+1)^8993 [9000] 785*(785+1)^113-1 786*(786+1)^1-1 786*(786+1)^2-1 786*(786+1)^3-1 786*(786+1)^55-1 787*(787+1)^15-1 788*(788+1)^1316-1 [1500] 788*(788+1)^2-1 789*(789+1)^121-1 789*(789+1)^13-1 789*(789+1)^189-1 789*(789+1)^19-1 789*(789+1)^2-1 789*(789+1)^302-1 789*(789+1)^3-1 789*(789+1)^409-1 789*(789+1)^50-1 789*(789+1)^5-1 790*(790+1)^45-1 790*(790+1)^5-1 791*(791+1)^2-1 791*(791+1)^6-1 792*(792+1)^14-1 793*(793+1)^5-1 794*(794+1)^1-1 794*(794+1)^5-1 794*(794+1)^78-1 795*(795+1)^13-1 795*(795+1)^2-1 795*(795+1)^279-1 795*(795+1)^33-1 796*(796+1)^5-1 797*(797+1)^11-1 797*(797+1)^2-1 797*(797+1)^246-1 797*(797+1)^287-1 797*(797+1)^32-1 797*(797+1)^360-1 798*(798+1)^1-1 798*(798+1)^45-1 799*(799+1)^817-1 [1000] 800*(800+1)^143-1 800*(800+1)^26-1 800*(800+1)^6-1 801*(801+1)^15-1 802*(802+1)^295-1 802*(802+1)^7-1 803*(803+1)^1-1 803*(803+1)^11-1 803*(803+1)^135-1 803*(803+1)^3-1 803*(803+1)^41-1 803*(803+1)^431-1 803*(803+1)^8-1 804*(804+1)^1-1 804*(804+1)^19-1 804*(804+1)^2-1 804*(804+1)^223-1 804*(804+1)^247-1 804*(804+1)^265-1 804*(804+1)^434-1 804*(804+1)^446-1 805*(805+1)^1983-1 [2000] 806*(806+1)^23-1 806*(806+1)^413-1 807*(807+1)^138-1 807*(807+1)^6-1 808*(808+1)^37-1 808*(808+1)^41-1 809*(809+1)^1-1 809*(809+1)^14-1 809*(809+1)^2-1 809*(809+1)^26-1 809*(809+1)^31-1 809*(809+1)^39-1 809*(809+1)^81-1 809*(809+1)^95-1 810*(810+1)^17-1 810*(810+1)^6-1 811*(811+1)^2327-1 [3000] 812*(812+1)^14-1 812*(812+1)^35-1 813*(813+1)^1154-1 [1500] 814*(814+1)^1-1 814*(814+1)^1473-1 [1500] 815*(815+1)^1-1 815*(815+1)^3-1 815*(815+1)^75-1 815*(815+1)^8-1 816*(816+1)^102-1 816*(816+1)^1-1 816*(816+1)^443-1 816*(816+1)^71-1 817*(817+1)^3-1 817*(817+1)^67-1 817*(817+1)^7-1 818*(818+1)^265-1 819*(819+1)^529-1 [600] 820*(820+1)^317-1 821*(821+1)^107-1 821*(821+1)^3-1 821*(821+1)^62-1 821*(821+1)^9-1 822*(822+1)^290-1 822*(822+1)^38-1 822*(822+1)^455-1 822*(822+1)^50-1 822*(822+1)^8-1 823*(823+1)^295-1 823*(823+1)^41-1 823*(823+1)^81-1 824*(824+1)^26-1 824*(824+1)^66-1 825*(825+1)^1-1 825*(825+1)^95-1 826*(826+1)^211-1 826*(826+1)^227-1 827*(827+1)^155-1 827*(827+1)^215-1 827*(827+1)^8-1 828*(828+1)^140-1 828*(828+1)^165-1 828*(828+1)^242-1 828*(828+1)^38-1 828*(828+1)^459-1 829*(829+1)^29-1 829*(829+1)^3-1 830*(830+1)^108-1 830*(830+1)^2-1 830*(830+1)^69-1 831*(831+1)^11-1 831*(831+1)^207-1 831*(831+1)^2-1 831*(831+1)^350-1 832*(832+1)^12219-1 [16400] 833*(833+1)^1-1 833*(833+1)^18-1 833*(833+1)^201-1 833*(833+1)^2-1 833*(833+1)^297-1 834*(834+1)^2-1 834*(834+1)^23-1 834*(834+1)^433-1 834*(834+1)^62-1 835*(835+1)^13-1 835*(835+1)^159-1 835*(835+1)^279-1 835*(835+1)^417-1 835*(835+1)^87-1 836*(836+1)^13-1 836*(836+1)^33-1 836*(836+1)^51-1 836*(836+1)^62-1 836*(836+1)^7-1 837*(837+1)^42-1 837*(837+1)^78-1 838*(838+1)^1-1 838*(838+1)^49-1 839*(839+1)^104-1 839*(839+1)^5-1 840*(840+1)^11-1 840*(840+1)^213-1 840*(840+1)^246-1 840*(840+1)^26-1 840*(840+1)^56-1 841*(841+1)^47-1 841*(841+1)^53-1 842*(842+1)^31-1 842*(842+1)^36-1 842*(842+1)^471-1 842*(842+1)^6-1 842*(842+1)^7-1 843*(843+1)^168-1 843*(843+1)^2-1 843*(843+1)^492-1 843*(843+1)^505-1 843*(843+1)^79-1 843*(843+1)^8-1 843*(843+1)^9-1 844*(844+1)^225-1 844*(844+1)^377-1 844*(844+1)^57-1 845*(845+1)^1-1 845*(845+1)^176-1 845*(845+1)^2-1 845*(845+1)^7-1 845*(845+1)^79-1 846*(846+1)^109-1 846*(846+1)^21-1 846*(846+1)^402-1 847*(847+1)^583-1 [600] 848*(848+1)^1-1 848*(848+1)^2-1 848*(848+1)^7-1 849*(849+1)^110-1 849*(849+1)^23-1 849*(849+1)^78-1 850*(850+1)^967-1 [1000] 851*(851+1)^158-1 851*(851+1)^163-1 851*(851+1)^21-1 852*(852+1)^8-1 853*(853+1)^201-1 853*(853+1)^49-1 854*(854+1)^2-1 854*(854+1)^89-1 855*(855+1)^11-1 855*(855+1)^20-1 855*(855+1)^235-1 855*(855+1)^8-1 856*(856+1)^1-1 856*(856+1)^25-1 856*(856+1)^27-1 856*(856+1)^65-1 857*(857+1)^24-1 857*(857+1)^71-1 857*(857+1)^80-1 858*(858+1)^13-1 858*(858+1)^2-1 859*(859+1)^15-1 859*(859+1)^51-1 860*(860+1)^19-1 860*(860+1)^311-1 861*(861+1)^153-1 861*(861+1)^18-1 861*(861+1)^2-1 862 none [200000] 863*(863+1)^1-1 863*(863+1)^210-1 863*(863+1)^5-1 863*(863+1)^6-1 864*(864+1)^167-1 864*(864+1)^2-1 864*(864+1)^265-1 864*(864+1)^38-1 864*(864+1)^450-1 864*(864+1)^500-1 864*(864+1)^67-1 865*866^1045-1 865*866^2189-1 865*866^14337-1 [20000] 866*(866+1)^11-1 866*(866+1)^26-1 866*(866+1)^265-1 866*(866+1)^27-1 866*(866+1)^50-1 867*(867+1)^30-1 867*(867+1)^55-1 867*(867+1)^8-1 868*(868+1)^3-1 868*(868+1)^31-1 868*(868+1)^5-1 868*(868+1)^51-1 869*(869+1)^11-1 869*(869+1)^239-1 869*(869+1)^314-1 869*(869+1)^62-1 870*(870+1)^128-1 870*(870+1)^2-1 870*(870+1)^333-1 870*(870+1)^35-1 870*(870+1)^407-1 871*(871+1)^27-1 871*(871+1)^51-1 872*(872+1)^19-1 872*(872+1)^3-1 872*(872+1)^7-1 872*(872+1)^79-1 872*(872+1)^8-1 873*(873+1)^1-1 873*(873+1)^209-1 873*(873+1)^45-1 873*(873+1)^485-1 874*(874+1)^121-1 874*(874+1)^15-1 874*(874+1)^3-1 874*(874+1)^421-1 874*(874+1)^7-1 875*(875+1)^12-1 875*(875+1)^150-1 875*(875+1)^17-1 875*(875+1)^174-1 876*(876+1)^146-1 876*(876+1)^2-1 877 none [200000] 878*(878+1)^198-1 878*(878+1)^7-1 879*(879+1)^32-1 880*(880+1)^3-1 881*(881+1)^1-1 881*(881+1)^3-1 881*(881+1)^59-1 882*(882+1)^306-1 883*(883+1)^149-1 883*(883+1)^205-1 883*(883+1)^299-1 883*(883+1)^37-1 883*(883+1)^49-1 884*(884+1)^1-1 884*(884+1)^3-1 884*(884+1)^401-1 884*(884+1)^5-1 884*(884+1)^8-1 885*(885+1)^1-1 885*(885+1)^143-1 885*(885+1)^467-1 885*(885+1)^5-1 885*(885+1)^73-1 886*(886+1)^2009-1 886*(886+1)^2315-1 [3000] 887*(887+1)^6-1 887*(887+1)^66-1 888*(888+1)^311-1 888*(888+1)^342-1 889*(889+1)^1-1 889*(889+1)^29-1 890*(890+1)^1-1 891*(891+1)^137-1 891*(891+1)^25-1 891*(891+1)^30-1 892*(892+1)^31-1 893*(893+1)^109-1 893*(893+1)^303-1 894*(894+1)^977-1 [1000] 895*(895+1)^55-1 896*(896+1)^3-1 896*(896+1)^366-1 896*(896+1)^45-1 896*(896+1)^50-1 896*(896+1)^5-1 896*(896+1)^57-1 897*(897+1)^14-1 897*(897+1)^2-1 898*(898+1)^3-1 899*(899+1)^108-1 899*(899+1)^470-1 900*(900+1)^31-1 901*(901+1)^1-1 901*(901+1)^19-1 902*(902+1)^2-1 902*(902+1)^2738-1 [3000] 903*(903+1)^13429-1 [20000] 904*(904+1)^19-1 905*(905+1)^13-1 905*(905+1)^23-1 906*(906+1)^1-1 906*(906+1)^3-1 907*(907+1)^11-1 908*(908+1)^552-1 [600] 909*(909+1)^13-1 909*(909+1)^223-1 909*(909+1)^6-1 910*(910+1)^11-1 910*(910+1)^21-1 910*(910+1)^23-1 910*(910+1)^3-1 910*(910+1)^317-1 910*(910+1)^5-1 911*(911+1)^701-1 [1000] 912*(912+1)^12-1 912*(912+1)^271-1 912*(912+1)^3-1 912*(912+1)^8-1 912*(912+1)^95-1 913*(913+1)^171-1 913*(913+1)^23-1 914*(914+1)^113-1 914*(914+1)^2-1 914*(914+1)^241-1 914*(914+1)^25-1 915*(915+1)^1-1 915*(915+1)^3888-1 [4000] 916*(916+1)^69-1 917*918^9756-1 [10000] 918*(918+1)^20-1 919*(919+1)^637-1 [1000] 920*(920+1)^13-1 920*(920+1)^363-1 920*(920+1)^5-1 920*(920+1)^63-1 921*(921+1)^1-1 921*(921+1)^15-1 921*(921+1)^3-1 921*(921+1)^405-1 921*(921+1)^45-1 922*(922+1)^131-1 923*(923+1)^1-1 923*(923+1)^120-1 923*(923+1)^15-1 923*(923+1)^2-1 923*(923+1)^313-1 923*(923+1)^9-1 924*(924+1)^17-1 924*(924+1)^2-1 924*(924+1)^23-1 924*(924+1)^255-1 924*(924+1)^63-1 925*(925+1)^1-1 925*(925+1)^157-1 925*(925+1)^85-1 926*(926+1)^21-1 927*(927+1)^12-1 927*(927+1)^92-1 928*(928+1)^13-1 929*(929+1)^27-1 929*(929+1)^3-1 929*(929+1)^43-1 929*(929+1)^9-1 930*(930+1)^1-1 930*(930+1)^114-1 930*(930+1)^2-1 930*(930+1)^21-1 930*(930+1)^32-1 930*(930+1)^397-1 930*(930+1)^50-1 931 none [200000] 932*(932+1)^152-1 932*(932+1)^2-1 933*(933+1)^260-1 933*(933+1)^296-1 933*(933+1)^56-1 934*(934+1)^245-1 934*(934+1)^51-1 935*(935+1)^15-1 935*(935+1)^29-1 936*(936+1)^131-1 936*(936+1)^7-1 937*938^50007-1 [51500] 938*(938+1)^5-1 939*(939+1)^1-1 939*(939+1)^35-1 939*(939+1)^73-1 939*(939+1)^8-1 940 none [200000] 941*(941+1)^1-1 941*(941+1)^2-1 941*(941+1)^25-1 941*(941+1)^30-1 942*(942+1)^36-1 943*(943+1)^73-1 943*(943+1)^9-1 944*(944+1)^1-1 944*(944+1)^3-1 944*(944+1)^450-1 944*(944+1)^57-1 945*(945+1)^2-1 945*(945+1)^30-1 945*(945+1)^3-1 945*(945+1)^7-1 945*(945+1)^9-1 946*(946+1)^1-1 946*(946+1)^31-1 947*(947+1)^119-1 947*(947+1)^2-1 947*(947+1)^271-1 947*(947+1)^3-1 947*(947+1)^487-1 948*(948+1)^171-1 948*(948+1)^27-1 948*(948+1)^43-1 948*(948+1)^5-1 948*(948+1)^54-1 948*(948+1)^7-1 948*(948+1)^8-1 949*(949+1)^16247-1 [20000] 950*(950+1)^1-1 950*(950+1)^25-1 950*(950+1)^51-1 950*(950+1)^6-1 951*(951+1)^26-1 951*(951+1)^7-1 951*(951+1)^81-1 952*(952+1)^67-1 952*(952+1)^7-1 953*(953+1)^25-1 953*(953+1)^277-1 954*(954+1)^14-1 954*(954+1)^25-1 954*(954+1)^29-1 955*(955+1)^1-1 955*(955+1)^457-1 955*(955+1)^97-1 956*(956+1)^103-1 956*(956+1)^1-1 956*(956+1)^17-1 956*(956+1)^31-1 956*(956+1)^9-1 957*(957+1)^199-1 957*(957+1)^6-1 957*(957+1)^74-1 958*(958+1)^63-1 958*(958+1)^7-1 958*(958+1)^9-1 959*(959+1)^126-1 959*(959+1)^18-1 959*(959+1)^7-1 960*(960+1)^110-1 960*(960+1)^2-1 961*(961+1)^109-1 961*(961+1)^15-1 961*(961+1)^3-1 962*(962+1)^18-1 962*(962+1)^7-1 963*(963+1)^1-1 963*(963+1)^282-1 963*(963+1)^42-1 963*(963+1)^78-1 964*(964+1)^23-1 964*(964+1)^57-1 965*(965+1)^1-1 965*(965+1)^128-1 965*(965+1)^18-1 965*(965+1)^199-1 965*(965+1)^2-1 965*(965+1)^6-1 965*(965+1)^81-1 966*(966+1)^1-1 966*(966+1)^15-1 966*(966+1)^31-1 966*(966+1)^99-1 967*(967+1)^79-1 968*(968+1)^1-1 968*(968+1)^23-1 968*(968+1)^6-1 969*(969+1)^105-1 969*(969+1)^203-1 969*(969+1)^2-1 970*(970+1)^897-1 [1000] 971*(971+1)^3-1 971*(971+1)^38-1 971*(971+1)^42-1 971*(971+1)^9-1 972*(972+1)^60-1 973*(973+1)^119-1 974*(974+1)^1-1 974*(974+1)^26-1 974*(974+1)^7-1 974*(974+1)^8-1 975*(975+1)^197-1 975*(975+1)^2-1 975*(975+1)^38-1 975*(975+1)^8-1 976*(976+1)^1-1 976*(976+1)^265-1 976*(976+1)^33-1 977*(977+1)^114-1 977*(977+1)^116-1 977*(977+1)^140-1 977*(977+1)^26-1 977*(977+1)^56-1 978*(978+1)^11-1 978*(978+1)^3-1 978*(978+1)^31-1 978*(978+1)^5-1 979*(979+1)^45-1 980*(980+1)^2-1 980*(980+1)^23-1 980*(980+1)^5-1 981*(981+1)^1-1 981*(981+1)^2485-1 [3000] 982*(982+1)^3-1 983*(983+1)^169-1 983*(983+1)^224-1 983*(983+1)^8-1 984*(984+1)^1-1 984*(984+1)^11-1 984*(984+1)^2-1 984*(984+1)^25-1 984*(984+1)^49-1 984*(984+1)^7-1 985*(985+1)^147-1 985*(985+1)^47-1 985*(985+1)^81-1 986*(986+1)^2-1 986*(986+1)^7-1 987*(987+1)^3-1 987*(987+1)^63-1 988*(988+1)^211-1 988*(988+1)^7-1 989*(989+1)^1-1 989*(989+1)^189-1 989*(989+1)^2-1 989*(989+1)^7-1 990*(990+1)^120-1 990*(990+1)^12-1 991*(991+1)^3-1 991*(991+1)^7-1 991*(991+1)^87-1 992*(992+1)^12-1 992*(992+1)^2-1 992*(992+1)^66-1 993*(993+1)^38-1 993*(993+1)^54-1 994*(994+1)^1-1 994*(994+1)^15-1 994*(994+1)^183-1 994*(994+1)^381-1 995*(995+1)^143-1 995*(995+1)^5-1 996*(996+1)^1-1 996*(996+1)^174-1 996*(996+1)^5-1 997*(997+1)^3-1 997*(997+1)^43-1 998*(998+1)^103-1 998*(998+1)^1-1 998*(998+1)^3-1 998*(998+1)^43-1 998*(998+1)^56-1 998*(998+1)^6-1 998*(998+1)^8-1 998*(998+1)^95-1 999*(999+1)^174-1 999*(999+1)^2-1 999*(999+1)^217-1 999*(999+1)^39-1 999*(999+1)^495-1 1000*(1000+1)^1-1 1000*(1000+1)^19-1 1000*(1000+1)^67-1 1001*(1001+1)^1-1 1001*(1001+1)^9-1 1002*(1002+1)^251-1 1003*(1003+1)^3-1 1003*(1003+1)^71-1 1003*(1003+1)^81-1 1004*(1004+1)^138-1 1004*(1004+1)^3-1 1005*(1005+1)^103-1 1005*(1005+1)^1-1 1005*(1005+1)^21-1 1005*(1005+1)^410-1 1005*(1005+1)^9-1 1005*(1005+1)^93-1 1006*(1006+1)^1-1 1006*(1006+1)^43-1 1006*(1006+1)^57-1 1007*(1007+1)^4091-1 1007*(1007+1)^4566-1 [5000] 1008*(1008+1)^105-1 1008*(1008+1)^17-1 1008*(1008+1)^2-1 1008*(1008+1)^44-1 1008*(1008+1)^95-1 1009 none [150000] 1010*(1010+1)^14-1 1010*(1010+1)^203-1 1010*(1010+1)^25-1 1010*(1010+1)^350-1 1011*(1011+1)^32693-1 [33700] 1012*(1012+1)^115-1 1012*(1012+1)^43-1 1012*(1012+1)^451-1 1012*(1012+1)^511-1 1013*(1013+1)^1-1 1013*(1013+1)^17-1 1013*(1013+1)^19-1 1013*(1013+1)^25-1 1013*(1013+1)^26-1 1014*(1014+1)^1-1 1014*(1014+1)^18-1 1014*(1014+1)^25-1 1014*(1014+1)^3-1 1015*(1015+1)^1307-1 [1500] 1016*(1016+1)^1-1 1016*(1016+1)^301-1 1017*(1017+1)^38-1 1017*(1017+1)^500-1 1017*(1017+1)^72-1 1018*(1018+1)^147-1 1018*(1018+1)^47-1 1019*(1019+1)^348-1 1019*(1019+1)^446-1 1019*(1019+1)^457-1 1019*(1019+1)^7-1 1019*(1019+1)^8-1 1020*(1020+1)^12-1 1020*(1020+1)^33-1 1021*(1021+1)^5-1 1022*(1022+1)^6-1 1022*(1022+1)^71-1 1022*(1022+1)^90-1 1023*(1023+1)^ 38-1 1023*(1023+1)^7-1 1023*(1023+1)^ 74-1 1023*(1023+1)^ 89-1 1024*(1024+1)^1-1 1025*(1025+1)^1-1 1025*(1025+1)^51-1 1025*(1025+1)^97-1 1026*(1026+1)^14-1 1026*(1026+1)^2-1 1026*(1026+1)^77-1 1027*(1027+1)^2491-1 [28600] 1028*(1028+1)^5-1 1028*(1028+1)^63-1 1029*1030^636-1 [700] 1030*1031^707-1 [800] 1031*(1031+1)^14-1 1031*(1031+1)^43-1 1032*(1032+1)^14-1 1033 none [150000] 1034*(1034+1)^1-1 1034*(1034+1)^19-1 1034*(1034+1)^2-1 1034*(1034+1)^3-1 1034*(1034+1)^48-1 1034*(1034+1)^6-1 1034*(1034+1)^90-1 1035*(1035+1)^2-1 1035*(1035+1)^59-1 1036*(1036+1)^7-1 1036*(1036+1)^9-1 1037*1038^607-1 [700] 1038*(1038+1)^5-1 1038*(1038+1)^9-1 1039*(1039+1)^1-1 1039*(1039+1)^51-1 1039*(1039+1)^9-1 1040*(1040+1)^24-1 1040*(1040+1)^25-1 1040*(1040+1)^30-1 1041*(1041+1)^3-1 1041*(1041+1)^5-1 1042*(1042+1)^15-1 1042*(1042+1)^27-1 1043*(1043+1)^2-1 1043*(1043+1)^23-1 1043*(1043+1)^25-1 1043*(1043+1)^5-1 1043*(1043+1)^59-1 1044*(1044+1)^1-1 1044*(1044+1)^37-1 1044*(1044+1)^41-1 1044*(1044+1)^5-1 1044*(1044+1)^8-1 1045*(1045+1)^1-1 1046*(1046+1)^1-1 1046*(1046+1)^7-1 1046*(1046+1)^9-1 1047*(1047+1)^2-1 1047*(1047+1)^32-1 1047*(1047+1)^36-1 1047*(1047+1)^6-1 1047*(1047+1)^90-1 1048*(1048+1)^3-1 1048*(1048+1)^67-1 1049*1050^149-1 [200] 1050*(1050+1)^1-1 1050*(1050+1)^5-1 1050*(1050+1)^9-1 1051*(1051+1)^1-1 1052*(1052+1)^2-1 1053*(1053+1)^1-1 1053*(1053+1)^12-1 1053*(1053+1)^29-1 1053*(1053+1)^3-1 1053*(1053+1)^32-1 1054*(1054+1)^3-1 1054*(1054+1)^35-1 1054*(1054+1)^5-1 1054*(1054+1)^55-1 1054*(1054+1)^9-1 1055*1056^126-1 [200] 1056*(1056+1)^5-1 1057*1058^187-1 [200] 1058*(1058+1)^14-1 1058*(1058+1)^2-1 1058*(1058+1)^29-1 1059*(1059+1)^50-1 1060*(1060+1)^1-1 1060*(1060+1)^11-1 1061*(1061+1)^1-1 1061*(1061+1)^31-1 1061*(1061+1)^99-1 1062*(1062+1)^26-1 1062*(1062+1)^6-1 1063*(1063+1)^9-1 1064*(1064+1)^1-1 1064*(1064+1)^87-1 1065*(1065+1)^7-1 1065*(1065+1)^8-1 1066*(1066+1)^51-1 1067*(1067+1)^98-1 1068*(1068+1)^6-1 1068*(1068+1)^86-1 1069*(1069+1)^1-1 1069*(1069+1)^25-1 1070*(1070+1)^13-1 1070*(1070+1)^9-1 1071*(1071+1)^1-1 1071*(1071+1)^81-1 1072*1073^155-1 1072*1073^199-1 [200] 1073*(1073+1)^59-1 1074*(1074+1)^150-1 [200] 1075*(1075+1)^1-1 1075*(1075+1)^21-1 1075*(1075+1)^51-1 1075*(1075+1)^9-1 1076*(1076+1)^11-1 1076*(1076+1)^3-1 1076*(1076+1)^63-1 1076*(1076+1)^9-1 1077*(1077+1)^24-1 1078*1079^129-1 [200] 1079*1080^2159-1 [2170] 1080*(1080+1)^3-1 1081*(1081+1)^35-1 1081*(1081+1)^39-1 1081*(1081+1)^99-1 1082*(1082+1)^3-1 1082*(1082+1)^6-1 1083*1084^681-1 [700] 1084*(1084+1)^21-1 1084*(1084+1)^9-1 1085*(1085+1)^12-1 1085*(1085+1)^36-1 1085*(1085+1)^39-1 1085*(1085+1)^49-1 1085*(1085+1)^8-1 1085*(1085+1)^92-1 1085*(1085+1)^97-1 1086*(1086+1)^17-1 1087*(1087+1)^29579-1 [41000] 1088*(1088+1)^15-1 1088*(1088+1)^3-1 1088*(1088+1)^5-1 1089*(1089+1)^1-1 1089*(1089+1)^13-1 1089*(1089+1)^21-1 1089*(1089+1)^23-1 1089*(1089+1)^3-1 1089*(1089+1)^31-1 1089*(1089+1)^45-1 1090*(1090+1)^1-1 1090*(1090+1)^13-1 1090*(1090+1)^15-1 1090*(1090+1)^35-1 1090*(1090+1)^7-1 1091*(1091+1)^21-1 1091*(1091+1)^59-1 1092*1093^3128-1 1092*1093^3710-1 [5000] 1093*(1093+1)^1-1 1093*(1093+1)^11-1 1094*(1094+1)^1-1 1094*(1094+1)^7-1 1094*(1094+1)^73-1 1095*(1095+1)^18-1 1095*(1095+1)^36-1 1096*1097^965-1 [1000] 1097*(1097+1)^20-1 1098*(1098+1)^1-1 1098*(1098+1)^12-1 1098*(1098+1)^2-1 1098*(1098+1)^25-1 1098*(1098+1)^3-1 1098*(1098+1)^33-1 1098*(1098+1)^69-1 1099*(1099+1)^39-1 1099*(1099+1)^7-1 1100*(1100+1)^13-1 1100*(1100+1)^14-1 1100*(1100+1)^25-1 1100*(1100+1)^38-1 1101*(1101+1)^1-1 1101*(1101+1)^2-1 1101*(1101+1)^39-1 1101*(1101+1)^45-1 1102*(1102+1)^39-1 1102*(1102+1)^71-1 1103*(1103+1)^43-1 1103*(1103+1)^9-1 1104*(1104+1)^1-1 1104*(1104+1)^5-1 1105*(1105+1)^1-1 1105*(1105+1)^3-1 1105*(1105+1)^5-1 1105*(1105+1)^7-1 1106*(1106+1)^42-1 1106*(1106+1)^9-1 1107*1108^15647-1 [26000] 1108*(1108+1)^3-1 1108*(1108+1)^45-1 1109*(1109+1)^14-1 1109*(1109+1)^15-1 1109*(1109+1)^3-1 1110*(1110+1)^1-1 1110*(1110+1)^7-1 1111*(1111+1)^1-1 1111*(1111+1)^43-1 1112*(1112+1)^14-1 1112*(1112+1)^35-1 1113*(1113+1)^13-1 1113*(1113+1)^14-1 1113*(1113+1)^55-1 1113*(1113+1)^60-1 1114*1115^3629-1 [4000] 1115*(1115+1)^8-1 1115*(1115+1)^93-1 1116*(1116+1)^17-1 1116*(1116+1)^2-1 1116*(1116+1)^33-1 1116*(1116+1)^9-1 1117*1118^199-1 [200] 1118*(1118+1)^15-1 1118*(1118+1)^43-1 1119*(1119+1)^1-1 1119*(1119+1)^2-1 1119*(1119+1)^31-1 1119*(1119+1)^81-1 1120*(1120+1)^1-1 1120*(1120+1)^3-1 1121*(1121+1)^13-1 1121*(1121+1)^2-1 1122*(1122+1)^2-1 1122*(1122+1)^3-1 1122*(1122+1)^6-1 1123*(1123+1)^57-1 1123*(1123+1)^7-1 1124*(1124+1)^1-1 1124*(1124+1)^27-1 1125*(1125+1)^23-1 1125*(1125+1)^38-1 1126*(1126+1)^1-1 1127*(1127+1)^2-1 1127*(1127+1)^79-1 1128*(1128+1)^20-1 1129*(1129+1)^5-1 1129*(1129+1)^9-1 1130*(1130+1)^1-1 1130*(1130+1)^2-1 1130*(1130+1)^5-1 1131*(1131+1)^1-1 1131*(1131+1)^15-1 1132*(1132+1)^3-1 1133*(1133+1)^17-1 1133*(1133+1)^2-1 1133*(1133+1)^23-1 1133*(1133+1)^3-1 1133*(1133+1)^5-1 1134*(1134+1)^12-1 1134*(1134+1)^23-1 1135*(1135+1)^29-1 1136*1137^245-1 1136*1137^263-1 1137*(1137+1)^30-1 1138*(1138+1)^1-1 1138*(1138+1)^11-1 1138*(1138+1)^15-1 1138*(1138+1)^47-1 1138*(1138+1)^79-1 1139*(1139+1)^2-1 1139*(1139+1)^5-1 1140*1145^164-1 [200] 1141*1142^9501-1 [15000] 1142*(1142+1)^7-1 1142*(1142+1)^8-1 1143*(1143+1)^1-1 1143*(1143+1)^87-1 1144 none [100000] 1145*(1145+1)^1-1 1145*(1145+1)^9-1 1146*(1146+1)^2-1 1146*(1146+1)^71-1 1147*1148^119-1 1147*1148^199-1 [200] 1148*(1148+1)^38-1 1149*(1149+1)^1-1 1149*(1149+1)^17-1 1150*(1150+1)^1-1 1150*(1150+1)^7-1 1151*(1151+1)^69-1 1151*(1151+1)^7-1 1151*(1151+1)^9-1 1152*(1152+1)^3-1 1153*(1153+1)^3-1 1154*(1154+1)^35-1 1154*(1154+1)^6-1 1154*(1154+1)^9-1 1155*(1155+1)^15-1 1155*(1155+1)^77-1 1156*(1156+1)^1295-1 [1500] 1157*(1157+1)^3-1 1157*(1157+1)^31-1 1158*(1158+1)^3-1 1159*(1159+1)^24303-1 [31000] 1160*(1160+1)^17-1 1160*(1160+1)^25-1 1160*(1160+1)^33-1 1161*(1161+1)^25-1 1161*(1161+1)^30-1 1162*1163^3967-1 [5000] 1163 none [100000] 1164*(1164+1)^1-1 1164*(1164+1)^8-1 1165*(1165+1)^35-1 1166*1167^185-1 [200] 1167*(1167+1)^12-1 1167*(1167+1)^19-1 1168*(1168+1)^15-1 1168*(1168+1)^43-1 1169*(1169+1)^20-1 1169*(1169+1)^25-1 1169*(1169+1)^39-1 1170*(1170+1)^1-1 1171*(1171+1)^1-1 1171*(1171+1)^13-1 1172*(1172+1)^6-1 1173*(1173+1)^13-1 1174*(1174+1)^1-1 1174*(1174+1)^51-1 1175*(1175+1)^44-1 1175*(1175+1)^8-1 1176*(1176+1)^3-1 1177*(1177+1)^11-1 1178*(1178+1)^7-1 1179*(1179+1)^26-1 1179*(1179+1)^7-1 1179*(1179+1)^9-1 1180*(1180+1)^43-1 1180*(1180+1)^5-1 1181*(1181+1)^5-1 1182*(1182+1)^11-1 1182*(1182+1)^2-1 1182*(1182+1)^8-1 1183*(1183+1)^5-1 1184*(1184+1)^2-1 1185*(1185+1)^2-1 1185*(1185+1)^60-1 1185*(1185+1)^6-1 1186*(1186+1)^47-1 1187*(1187+1)^12-1 1187*(1187+1)^6-1 1188*(1188+1)^24-1 1188*(1188+1)^78-1 1188*(1188+1)^9-1 1188*(1188+1)^96-1 1189*1190^111-1 [800] 1190*(1190+1)^30-1 1190*(1190+1)^41-1 1191*(1191+1)^37-1 1191*(1191+1)^49-1 1191*(1191+1)^5-1 1191*(1191+1)^55-1 1191*(1191+1)^98-1 1192*1193^291-1 [300] 1193*(1193+1)^1-1 1193*(1193+1)^21-1 1193*(1193+1)^36-1 1193*(1193+1)^8-1 1194*(1194+1)^6-1 1194*(1194+1)^62-1 1194*(1194+1)^96-1 1195*(1195+1)^25-1 1195*(1195+1)^3-1 1195*(1195+1)^67-1 1195*(1195+1)^93-1 1196*(1196+1)^15-1 1197*(1197+1)^3-1 1197*(1197+1)^6-1 1198 none [100000] 1199*1200^300-1 [300] 1200*(1200+1)^1-1 1200*(1200+1)^2-1 1200*(1200+1)^3-1 1200*(1200+1)^6-1 1201*(1201+1)^5-1 1202*(1202+1)^12-1 1202*(1202+1)^24-1 1202*(1202+1)^8-1 1203*(1203+1)^1-1 1203*(1203+1)^8-1 1203*(1203+1)^84-1 1204*(1204+1)^1-1 1204*(1204+1)^13-1 1204*(1204+1)^15-1 1205*(1205+1)^7-1 1206*(1206+1)^13-1 1206*(1206+1)^3-1 1207*1208^803-1 [900] 1208*(1208+1)^3-1 1208*(1208+1)^5-1 1208*(1208+1)^6-1 1209*(1209+1)^3-1 1209*(1209+1)^53-1 1209*(1209+1)^55-1 1209*(1209+1)^6-1 1210*(1210+1)^19-1 1211*(1211+1)^13-1 1212*(1212+1)^38-1 1213*1214^1689-1 [2000] 1214*(1214+1)^9-1 1215*(1215+1)^20-1 1215*(1215+1)^42-1 1216*(1216+1)^1-1 1217*1218^703-1 [800] 1218*(1218+1)^1-1 1218*(1218+1)^6-1 1218*(1218+1)^67-1 1219*(1219+1)^1-1 1220*(1220+1)^15-1 1220*(1220+1)^17-1 1220*(1220+1)^3-1 1221*(1221+1)^42-1 1221*(1221+1)^54-1 1221*(1221+1)^6-1 1222*1223^247-1 [300] 1223*(1223+1)^17-1 1223*(1223+1)^19-1 1223*(1223+1)^3-1 1223*(1223+1)^7-1 1224*(1224+1)^27-1 1224*(1224+1)^37-1 1225*(1225+1)^1-1 1225*(1225+1)^51-1 1225*(1225+1)^81-1 1226*(1226+1)^47-1 1226*(1226+1)^7-1 1227*(1227+1)^38-1 1227*(1227+1)^78-1 1228*(1228+1)^3-1 1229*(1229+1)^1-1 1229*(1229+1)^17-1 1229*(1229+1)^26-1 1229*(1229+1)^71-1 1230*1231^236-1 [300] 1231*(1231+1)^1-1 1231*(1231+1)^3-1 1231*(1231+1)^69-1 1232*(1232+1)^15-1 1232*(1232+1)^31-1 1233*1234^2329-1 [3000] 1234*(1234+1)^3-1 1234*(1234+1)^41-1 1234*(1234+1)^45-1 1234*(1234+1)^89-1 1235*1236^290-1 [500] 1236*(1236+1)^50-1 1237*(1237+1)^3-1 1237*(1237+1)^7-1 1238*(1238+1)^1-1 1238*(1238+1)^15-1 1238*(1238+1)^2-1 1238*(1238+1)^8-1 1239*(1239+1)^27-1 1240*(1240+1)^1-1 1241*(1241+1)^3-1 1241*(1241+1)^61-1 1241*(1241+1)^83-1 1242*(1242+1)^67-1 1243*(1243+1)^1-1 1243*(1243+1)^3-1 1243*(1243+1)^43-1 1243*(1243+1)^5-1 1243*(1243+1)^79-1 1244*(1244+1)^1-1 1244*(1244+1)^19-1 1244*(1244+1)^32-1 1244*(1244+1)^9-1 1245*(1245+1)^1-1 1245*(1245+1)^15-1 1245*(1245+1)^43-1 1245*(1245+1)^66-1 1246*(1246+1)^13-1 1246*(1246+1)^29-1 1246*(1246+1)^3-1 1246*(1246+1)^35-1 1247*(1247+1)^68-1 1247*(1247+1)^8-1 1248*(1248+1)^38-1 1248*(1248+1)^51-1 1249*1250^2709-1 [3000] 1250*(1250+1)^96-1 1251*(1251+1)^1-1 1251*(1251+1)^39-1 1251*(1251+1)^6-1 1252 none [100000] 1253*(1253+1)^6-1 1253*(1253+1)^72-1 1254*1255^278-1 [300] 1255*1256^119-1 [200] 1256*(1256+1)^75-1 1257*(1257+1)^7-1 1258*1259^141-1 [12000] 1259*(1259+1)^1-1 1259*(1259+1)^89-1 1260*(1260+1)^1-1 1260*(1260+1)^7-1 1261*(1261+1)^35-1 1262*(1262+1)^2-1 1263*(1263+1)^17-1 1263*(1263+1)^19-1 1263*(1263+1)^2-1 1263*(1263+1)^74-1 1264*(1264+1)^9-1 1265*(1265+1)^1-1 1265*(1265+1)^20-1 1265*(1265+1)^2-1 1265*(1265+1)^6-1 1266*(1266+1)^1-1 1266*(1266+1)^6-1 1267*1268^13735-1 [30000] 1268*(1268+1)^2-1 1268*(1268+1)^23-1 1268*(1268+1)^49-1 1269*(1269+1)^21-1 1269*(1269+1)^5-1 1270*(1270+1)^17-1 1270*(1270+1)^3-1 1270*(1270+1)^7-1 1271*(1271+1)^1-1 1271*(1271+1)^11-1 1271*(1271+1)^18-1 1271*(1271+1)^54-1 1271*(1271+1)^81-1 1271*(1271+1)^9-1 1272*(1272+1)^24-1 1273*(1273+1)^3-1 1273*(1273+1)^73-1 1273*(1273+1)^81-1 1273*(1273+1)^9-1 1274*(1274+1)^1-1 1274*(1274+1)^12-1 1274*(1274+1)^19-1 1274*(1274+1)^2-1 1274*(1274+1)^6-1 1275*1276^3212-1 [4000] 1276*(1276+1)^1-1 1276*(1276+1)^7-1 1277*(1277+1)^3-1 1277*(1277+1)^36-1 1278*(1278+1)^2-1 1278*(1278+1)^23-1 1278*(1278+1)^7-1 1279*(1279+1)^2023-1 [2070] 1280*(1280+1)^11-1 1280*(1280+1)^18-1 1280*(1280+1)^9-1 1281*1282^107-1 [200] 1282*1283^700-1 [700] 1283*(1283+1)^12-1 1283*(1283+1)^5-1 1284*(1284+1)^8-1 1285*(1285+1)^1-1 1285*(1285+1)^17-1 1286*1287^362-1 [400] 1287*1288^128-1 1287*1288^131-1 [200] 1288*(1288+1)^1-1 1288*(1288+1)^39-1 1289*1290^600-1 [700] 1290*(1290+1)^17-1 1290*(1290+1)^18-1 1290*(1290+1)^3-1 1290*(1290+1)^33-1 1290*(1290+1)^50-1 1290*(1290+1)^5-1 1291*(1291+1)^23-1 1292*(1292+1)^11-1 1292*(1292+1)^2-1 1292*(1292+1)^67-1 1293*(1293+1)^2-1 1293*(1293+1)^37-1 1293*(1293+1)^39-1 1294*(1294+1)^25-1 1294*(1294+1)^3-1 1295*(1295+1)^1-1 1295*(1295+1)^11-1 1296*(1296+1)^13-1 1297*(1297+1)^43-1 1298*(1298+1)^20-1 1298*(1298+1)^6-1 1298*(1298+1)^87-1 1299*(1299+1)^2-1 1299*(1299+1)^3-1 1299*(1299+1)^5-1 1299*(1299+1)^6-1 1300*(1300+1)^21-1 1300*(1300+1)^37-1 1301*(1301+1)^18-1 1302*(1302+1)^15-1 1302*(1302+1)^8-1 1303*(1303+1)^1-1 1303*(1303+1)^7-1 1304*(1304+1)^1-1 1304*(1304+1)^21-1 1305*(1305+1)^17-1 1305*(1305+1)^36-1 1305*(1305+1)^9-1 1306*(1306+1)^23-1 1306*(1306+1)^3-1 1306*(1306+1)^43-1 1307*(1307+1)^24-1 1308*(1308+1)^1-1 1309*(1309+1)^1-1 1309*(1309+1)^21-1 1310*(1310+1)^101-1 [200] 1311*(1311+1)^1-1 1311*(1311+1)^3-1 1312*(1312+1)^555-1 [600] 1313*(1313+1)^21-1 1313*(1313+1)^39-1 1314*(1314+1)^638-1 [700] 1315*(1315+1)^61-1 1315*(1315+1)^75-1 1316*(1316+1)^2-1 1316*(1316+1)^3-1 1316*(1316+1)^39-1 1316*(1316+1)^6-1 1316*(1316+1)^7-1 1316*(1316+1)^86-1 1317*(1317+1)^2-1 1318*(1318+1)^59-1 1319*(1319+1)^1-1 1319*(1319+1)^87-1 1320*(1320+1)^14-1 1320*(1320+1)^37-1 1320*(1320+1)^9-1 1321*(1321+1)^15-1 1321*(1321+1)^5-1 1322*(1322+1)^11-1 1322*(1322+1)^18-1 1322*(1322+1)^2-1 1323*(1323+1)^29-1 1324*(1324+1)^5-1 1325*(1325+1)^99-1 1326*(1326+1)^21-1 1326*(1326+1)^9-1 1327 none [100000] 1328*(1328+1)^12-1 1328*(1328+1)^14-1 1328*(1328+1)^23-1 1328*(1328+1)^6-1 1328*(1328+1)^61-1 1329*(1329+1)^1-1 1329*(1329+1)^11-1 1329*(1329+1)^39-1 1330*(1330+1)^169-1 [200] 1331*(1331+1)^50-1 1332*(1332+1)^36-1 1332*(1332+1)^55-1 1333*(1333+1)^1-1 1333*(1333+1)^13-1 1333*(1333+1)^21-1 1333*(1333+1)^41-1 1333*(1333+1)^5-1 1333*(1333+1)^79-1 1334*(1334+1)^29-1 1334*(1334+1)^8-1 1335*(1335+1)^71-1 1336*(1336+1)^3-1 1337*1338^3255-1[3280] 1338*(1338+1)^13-1 1339*1340^1403-1 [1500] 1340*(1340+1)^2-1 1341*(1341+1)^1-1 1341*(1341+1)^30-1 1341*(1341+1)^33-1 1341*(1341+1)^5-1 1342*(1342+1)^7-1 1343*(1343+1)^1-1 1343*(1343+1)^19-1 1343*(1343+1)^63-1 1344*(1344+1)^5-1 1344*(1344+1)^60-1 1344*(1344+1)^6-1 1345*(1345+1)^23-1 1346*(1346+1)^6-1 1347*(1347+1)^11-1 1347*(1347+1)^27-1 1347*(1347+1)^3-1 1347*(1347+1)^7-1 1347*(1347+1)^8-1 1348*(1348+1)^1-1 1349*(1349+1)^45-1 1350*(1350+1)^1-1 1350*(1350+1)^9-1 1351*(1351+1)^15-1 1352 none [100000] 1353*(1353+1)^3-1 1353*(1353+1)^5-1 1353*(1353+1)^6-1 1354*(1354+1)^1-1 1354*(1354+1)^55-1 1354*(1354+1)^7-1 1355*(1355+1)^1-1 1355*(1355+1)^14-1 1355*(1355+1)^2-1 1355*(1355+1)^25-1 1355*(1355+1)^68-1 1355*(1355+1)^73-1 1355*(1355+1)^8-1 1356*(1356+1)^373-1 [400] 1357*(1357+1)^11-1 1358*(1358+1)^1-1 1358*(1358+1)^13-1 1359*1360^3764-1 [4000] 1360*1361^11657-1 [12000] 1361*(1361+1)^14-1 1361*(1361+1)^2-1 1361*(1361+1)^29-1 1361*(1361+1)^39-1 1361*(1361+1)^57-1 1362*(1362+1)^6-1 1363*1364^6717-1 [10000] 1364*(1364+1)^1-1 1364*(1364+1)^44-1 1365*(1365+1)^1-1 1365*(1365+1)^91-1 1366*(1366+1)^1-1 1366*(1366+1)^5-1 1367*(1367+1)^39-1 1367*(1367+1)^50-1 1368*(1368+1)^14-1 1368*(1368+1)^6-1 1368*(1368+1)^81-1 1369*(1369+1)^1-1 1369*(1369+1)^5-1 1369*(1369+1)^7-1 1369*(1369+1)^81-1 1370*(1370+1)^49-1 1371*(1371+1)^14-1 1371*(1371+1)^50-1 1372*(1372+1)^11-1 1372*(1372+1)^3-1 1373*(1373+1)^23-1 1374*(1374+1)^11-1 1374*(1374+1)^15-1 1374*(1374+1)^26-1 1374*(1374+1)^42-1 1374*(1374+1)^43-1 1374*(1374+1)^56-1 1374*(1374+1)^72-1 1375*(1375+1)^7-1 1376*(1376+1)^38-1 1376*(1376+1)^57-1 1376*(1376+1)^79-1 1377*(1377+1)^6-1 1378*(1378+1)^17-1 1379*(1379+1)^56-1 1379*(1379+1)^86-1 1380*(1380+1)^1-1 1380*(1380+1)^50-1 1380*(1380+1)^5-1 1380*(1380+1)^68-1 1380*(1380+1)^85-1 1381*(1381+1)^2789-1 [3000] 1382*(1382+1)^6-1 1383*(1383+1)^12-1 1383*(1383+1)^6-1 1384*(1384+1)^1-1 1384*(1384+1)^75-1 1385*(1385+1)^12-1 1385*(1385+1)^18-1 1385*(1385+1)^5-1 1385*(1385+1)^8-1 1386*(1386+1)^14-1 1386*(1386+1)^2-1 1386*(1386+1)^65-1 1387*1388^49063-1 [52000] 1388*(1388+1)^15-1 1388*(1388+1)^3-1 1388*(1388+1)^42-1 1389*(1389+1)^535-1 [600] 1390*1391^14809-1 [15000] 1391*(1391+1)^11-1 1391*(1391+1)^15-1 1391*(1391+1)^63-1 1392*(1392+1)^35-1 1393*(1393+1)^3-1 1393*(1393+1)^59-1 1394*(1394+1)^2-1 1395*(1395+1)^1-1 1395*(1395+1)^3-1 1395*(1395+1)^38-1 1395*(1395+1)^5-1 1395*(1395+1)^84-1 1396*(1396+1)^1-1 1396*(1396+1)^23-1 1397*(1397+1)^18-1 1397*(1397+1)^3-1 1398*(1398+1)^1-1 1398*(1398+1)^2-1 1398*(1398+1)^26-1 1398*(1398+1)^29-1 1398*(1398+1)^3-1 1399*(1399+1)^727-1 [800] 1400*(1400+1)^42-1 1400*(1400+1)^8-1 1400*(1400+1)^9-1 1401*(1401+1)^43-1 1402*(1402+1)^87-1 1403*(1403+1)^1-1 1403*(1403+1)^11-1 1403*(1403+1)^2-1 1403*(1403+1)^37-1 1404*(1404+1)^7-1 1405*(1405+1)^3-1 1406*(1406+1)^15-1 1406*(1406+1)^2-1 1406*(1406+1)^61-1 1407*(1407+1)^6-1 1407*(1407+1)^66-1 1408*(1408+1)^1-1 1409*(1409+1)^1-1 1409*(1409+1)^2-1 1409*(1409+1)^36-1 1410*(1410+1)^2-1 1410*(1410+1)^8-1 1411*(1411+1)^145-1 [200] 1412*(1412+1)^3-1 1413*(1413+1)^3-1 1414*(1414+1)^255-1 [300] 1415*(1415+1)^23-1 1416*(1416+1)^2-1 1416*(1416+1)^9-1 1417*(1417+1)^175-1 [200] 1418*(1418+1)^2-1 1418*(1418+1)^3-1 1419*(1419+1)^1-1 1419*(1419+1)^13-1 1419*(1419+1)^15-1 1419*(1419+1)^21-1 1419*(1419+1)^26-1 1419*(1419+1)^42-1 1420*(1420+1)^7-1 1421*(1421+1)^1-1 1421*(1421+1)^21-1 1421*(1421+1)^42-1 1422*(1422+1)^7-1 1423*(1423+1)^1-1 1424*(1424+1)^1-1 1424*(1424+1)^3-1 1424*(1424+1)^6-1 1424*(1424+1)^8-1 1424*(1424+1)^86-1 1425*(1425+1)^17-1 1426*(1426+1)^677-1 [700] 1427*(1427+1)^3-1 1428*(1428+1)^3-1 1428*(1428+1)^68-1 1429 none [100000] 1430*(1430+1)^24-1 1430*(1430+1)^3-1 1430*(1430+1)^77-1 1430*(1430+1)^9-1 1431*(1431+1)^1-1 1431*(1431+1)^11-1 1431*(1431+1)^2-1 1431*(1431+1)^38-1 1431*(1431+1)^5-1 1431*(1431+1)^55-1 1432*(1432+1)^59-1 1433*(1433+1)^7-1 1434*(1434+1)^29-1 1435*(1435+1)^57-1 1436*1437^1070-1 [1500] 1437*(1437+1)^35-1 1437*(1437+1)^6-1 1437*(1437+1)^78-1 1438*(1438+1)^81-1 1439*(1439)^149-1 [200] 1440*(1440+1)^42-1 1440*(1440+1)^60-1 1441*(1441+1)^53-1 1441*(1441+1)^75-1 1442*(1442+1)^32-1 1442*(1442+1)^6-1 1443*1444^26345-1 [39000] 1444*(1444+1)^59-1 1444*(1444+1)^7-1 1444*(1444+1)^9-1 1445*(1445+1)^26-1 1445*(1445+1)^9-1 1445*(1445+1)^93-1 1446*(1446+1)^2-1 1446*(1446+1)^50-1 1446*(1446+1)^6-1 1447*(1447+1)^11-1 1448*(1448+1)^13-1 1448*(1448+1)^20-1 1448*(1448+1)^25-1 1448*(1448+1)^43-1 1448*(1448+1)^84-1 1449*(1449+1)^11-1 1449*(1449+1)^26-1 1449*(1449+1)^80-1 1449*(1449+1)^9-1 1450*(1450+1)^7-1 1451*(1451+1)^17-1 1452*(1452+1)^2-1 1453*(1453+1)^29-1 1453*(1453+1)^33-1 1453*(1453+1)^53-1 1453*(1453+1)^7-1 1453*(1453+1)^87-1 1454*(1454+1)^2-1 1454*(1454+1)^3-1 1454*(1454+1)^8-1 1455*(1455+1)^48-1 1456*(1456+1)^83-1 1457*(1457+1)^32-1 1458*(1458+1)^2-1 1459*(1459+1)^57-1 1460*(1460+1)^1-1 1460*(1460+1)^3-1 1461*(1461+1)^6-1 1462*(1462+1)^31-1 1462*(1462+1)^7-1 1463*(1463+1)^3-1 1464*(1464+1)^1-1 1464*(1464+1)^35-1 1465*(1465+1)^3-1 1466*(1466+1)^5-1 1467*(1467+1)^11-1 1467*(1467+1)^20-1 1467*(1467+1)^3-1 1468*(1468+1)^1-1 1469*(1469+1)^18-1 1469*(1469+1)^2-1 1469*(1469+1)^29-1 1469*(1469+1)^39-1 1470*(1470+1)^5-1 1470*(1470+1)^7-1 1471*(1471+1)^29-1 1471*(1471+1)^35-1 1472*(1472+1)^12-1 1472*(1472+1)^7-1 1472*(1472+1)^95-1 1473*(1473+1)^3-1 1473*(1473+1)^41-1 1474*(1474+1)^9-1 1475*(1475+1)^6-1 1476*(1476+1)^1-1 1477*(1477+1)^875-1 [900] 1478*(1478+1)^41-1 1478*(1478+1)^5-1 1479*(1479+1)^1-1 1479*(1479+1)^20-1 1479*(1479+1)^6-1 1479*(1479+1)^75-1 1480*(1480+1)^9-1 1481*(1481+1)^7-1 1482*(1482+1)^14-1 1482*(1482+1)^6-1 1482*(1482+1)^75-1 1482*(1482+1)^83-1 1483*(1483+1)^1-1 1483*(1483+1)^13-1 1483*(1483+1)^9-1 1484*(1484+1)^17-1 1484*(1484+1)^26-1 1484*(1484+1)^38-1 1484*(1484+1)^62-1 1485*(1485+1)^1-1 1486*(1486+1)^17-1 1486*(1486+1)^9-1 1487*(1487+1)^20-1 1487*(1487+1)^6-1 1488 none [100000] 1489*(1489+1)^1-1 1490*(1490+1)^1-1 1490*(1490+1)^11-1 1490*(1490+1)^12-1 1491*(1491+1)^1-1 1492 none [100000] 1493*(1493+1)^1-1 1493*(1493+1)^20-1 1493*(1493+1)^29-1 1493*(1493+1)^3-1 1493*(1493+1)^7-1 1493*(1493+1)^77-1 1494*(1494+1)^1-1 1494*(1494+1)^2-1 1494*(1494+1)^7-1 1494*(1494+1)^92-1 1495*(1495+1)^1-1 1495*(1495+1)^11-1 1495*(1495+1)^17-1 1496*(1496+1)^367-1 [400] 1497*(1497+1)^39-1 1497*(1497+1)^7-1 1498*(1498+1)^1-1 1498*(1498+1)^15-1 1498*(1498+1)^99-1 1499*(1499+1)^5-1 1500*(1500+1)^11-1 1500*(1500+1)^26-1 1501*(1501+1)^1-1 1501*(1501+1)^11-1 1501*(1501+1)^9-1 1502*(1502+1)^24-1 1502*(1502+1)^55-1 1503*(1503+1)^37-1 1503*(1503+1)^44-1 1503*(1503+1)^7-1 1504*(1504+1)^1-1 1505*(1505+1)^5-1 1505*(1505+1)^75-1 1505*(1505+1)^8-1 1506*(1506+1)^19-1 1506*(1506+1)^23-1 1506*(1506+1)^5-1 1507*1508^1503-1 [1590] 1508*(1508+1)^12-1 1508*(1508+1)^13-1 1509*(1509+1)^223-1 [300] 1510*(1510+1)^23-1 1510*(1510+1)^5-1 1511*(1511+1)^1-1 1511*(1511+1)^3-1 1511*(1511+1)^73-1 1511*(1511+1)^98-1 1512*(1512+1)^2-1 1512*(1512+1)^3-1 1513*(1513+1)^397-1 [400] 1514*(1514+1)^26-1 1515*(1515+1)^15-1 1515*(1515+1)^17-1 1516*(1516+1)^1-1 1516*(1516+1)^5-1 1516*(1516+1)^85-1 1517*(1517+1)^18-1 1517*(1517+1)^6-1 1518*(1518+1)^8-1 1519*(1519+1)^21-1 1520*(1520+1)^2-1 1520*(1520+1)^44-1 1521 none [100000] 1522*(1522+1)^175-1 [200] 1523*(1523+1)^2-1 1523*(1523+1)^72-1 1523*(1523+1)^87-1 1523*(1523+1)^98-1 1524*(1524+1)^25-1 1524*(1524+1)^32-1 1524*(1524+1)^60-1 1524*(1524+1)^8-1 1525*(1525+1)^3-1 1525*(1525+1)^5-1 1526*(1526+1)^1-1 1526*(1526+1)^18-1 1526*(1526+1)^2-1 1526*(1526+1)^29-1 1526*(1526+1)^9-1 1527*(1527+1)^11-1 1527*(1527+1)^2-1 1528*(1528+1)^1-1 1528*(1528+1)^33-1 1529*(1529+1)^1-1 1529*(1529+1)^18-1 1530*(1530+1)^12-1 1530*(1530+1)^3-1 1531*(1531+1)^25-1 1531*(1531+1)^45-1 1531*(1531+1)^93-1 1532*(1532+1)^134-1 [200] 1533*(1533+1)^21-1 1533*(1533+1)^33-1 1533*(1533+1)^91-1 1534*(1534+1)^7-1 1535*(1535+1)^134-1 [200] 1536*(1536+1)^210-1 [300] 1537*(1537+1)^3-1 1538*(1538+1)^2-1 1538*(1538+1)^5-1 1539*(1539+1)^2-1 1540*(1540+1)^1-1 1540*(1540+1)^3-1 1541*(1541+1)^26-1 1542*(1542+1)^18-1 1543*(1543+1)^287-1 [300] 1544*(1544+1)^15-1 1544*(1544+1)^19-1 1545*(1545+1)^1-1 1545*(1545+1)^7-1 1546*(1546+1)^11-1 1547*(1547+1)^2-1 1547*(1547+1)^3-1 1548*(1548+1)^1-1 1548*(1548+1)^5-1 1549*(1549+1)^1-1 1549*(1549+1)^5-1 1550*(1550+1)^23-1 1550*(1550+1)^31-1 1550*(1550+1)^7-1 1551*(1551+1)^23-1 1551*(1551+1)^6-1 1552*(1552+1)^35-1 1553*(1553+1)^32-1 1554*(1554+1)^463-1 [500] 1555*(1555+1)^1-1 1556*(1556+1)^1-1 1556*(1556+1)^2-1 1556*(1556+1)^31-1 1556*(1556+1)^38-1 1556*(1556+1)^5-1 1556*(1556+1)^7-1 1556*(1556+1)^86-1 1557*1558^4931-1 1557*1558^10944-1[11000] 1558*1559^20055-1[21000] 1559*(1559+1)^25-1 1559*(1559+1)^5-1 1560*(1560+1)^37-1 1560*(1560+1)^75-1 1560*(1560+1)^84-1 1561*(1561+1)^1-1 1561*(1561+1)^5-1 1561*(1561+1)^9-1 1562*(1562+1)^2-1 1562*(1562+1)^7-1 1563*(1563+1)^1-1 1563*(1563+1)^2-1 1563*(1563+1)^55-1 1563*(1563+1)^7-1 1563*(1563+1)^9-1 1564*(1564+1)^7-1 1565*(1565+1)^13-1 1565*(1565+1)^9-1 1566*(1566+1)^1-1 1567*1568^14759-1 [17000] 1568*(1568+1)^2-1 1569*1570^875-1 [900] 1570*(1570+1)^23-1 1571*(1571+1)^98-1 1572*(1572+1)^15-1 1573*(1573+1)^3-1 1573*(1573+1)^7-1 1574*(1574+1)^1-1 1574*(1574+1)^15-1 1574*(1574+1)^2-1 1574*(1574+1)^6-1 1575*(1575+1)^1-1 1575*(1575+1)^35-1 1575*(1575+1)^5-1 1575*(1575+1)^63-1 1576*(1576+1)^43-1 1576*(1576+1)^7-1 1577*(1577+1)^3-1 1578*(1578+1)^1-1 1578*(1578+1)^2-1 1578*(1578+1)^66-1 1579*(1579+1)^1-1 1580*(1580+1)^6-1 1580*(1580+1)^65-1 1580*(1580+1)^7-1 1581*(1581+1)^2-1 1581*(1581+1)^53-1 1581*(1581+1)^7-1 1582*(1582+1)^583-1 [600] 1583*(1583+1)^163-1 [200] 1584*(1584+1)^12-1 1584*(1584+1)^2-1 1584*(1584+1)^23-1 1585*(1585+1)^1-1 1585*(1585+1)^35-1 1585*(1585+1)^5-1 1585*(1585+1)^73-1 1585*(1585+1)^79-1 1586*(1586+1)^1-1 1586*(1586+1)^39-1 1587*(1587+1)^8-1 1588*(1588+1)^51-1 1589*(1589+1)^2-1 1589*(1589+1)^23-1 1590*(1590+1)^1-1 1590*(1590+1)^11-1 1591*(1591+1)^5-1 1592*(1592+1)^18-1 1593*(1593+1)^2-1 1593*(1593+1)^33-1 1594*(1594+1)^1-1 1595*(1595+1)^1-1 1595*(1595+1)^26-1 1595*(1595+1)^57-1 1596*(1596+1)^23-1 1596*(1596+1)^35-1 1596*(1596+1)^9-1 1597*(1597+1)^31-1 1598*(1598+1)^3-1 1598*(1598+1)^33-1 1599*(1599+1)^11-1 1599*(1599+1)^6-1 1600*(1600+1)^3-1 1600*(1600+1)^65-1 1601*(1601+1)^14-1 1601*(1601+1)^41-1 1601*(1601+1)^50-1 1601*(1601+1)^5-1 1601*(1601+1)^66-1 1602*(1602+1)^74-1 1603*1604^417-1 [500] 1604*(1604+1)^13-1 1604*(1604+1)^37-1 1605*(1605+1)^31-1 1605*(1605+1)^48-1 1605*(1605+1)^50-1 1606*(1606+1)^1-1 1607*(1607+1)^2-1 1607*(1607+1)^8-1 1608*(1608+1)^1-1 1608*(1608+1)^2-1 1608*(1608+1)^9-1 1609*(1609+1)^3-1 1609*(1609+1)^9-1 1610*(1610+1)^54-1 1610*(1610+1)^6-1 1611*(1611+1)^266-1 [300] 1612*(1612+1)^7-1 1613*(1613+1)^3-1 1613*(1613+1)^56-1 1614*(1614+1)^31-1 1615*(1615+1)^3-1 1616*(1616+1)^5-1 1617*(1617+1)^59-1 1618*(1618+1)^25-1 1619*(1619+1)^11-1 1619*(1619+1)^30-1 1620*(1620+1)^15-1 1620*(1620+1)^30-1 1620*(1620+1)^3-1 1621*(1621+1)^1-1 1622*1623^203-1 [300] 1623*(1623+1)^5-1 1624*(1624+1)^3-1 1625*(1625+1)^2-1 1625*(1625+1)^95-1 1626*(1626+1)^42-1 1626*(1626+1)^74-1 1626*(1626+1)^81-1 1627*(1627+1)^115-1 [200] 1628*(1628+1)^1-1 1628*(1628+1)^2-1 1628*(1628+1)^32-1 1628*(1628+1)^36-1 1629*(1629+1)^2-1 1629*(1629+1)^3-1 1629*(1629+1)^33-1 1629*(1629+1)^45-1 1629*(1629+1)^8-1 1630*(1630+1)^185-1 [200] 1631*1632^12169-1 [12200] 1632*(1632+1)^31-1 1633*(1633+1)^11-1 1633*(1633+1)^29-1 1633*(1633+1)^5-1 1634*(1634+1)^1-1 1634*(1634+1)^67-1 1635*(1635+1)^5-1 1636*(1636+1)^1-1 1637*(1637+1)^14-1 1637*(1637+1)^19-1 1637*(1637+1)^2-1 1638*(1638+1)^14-1 1638*(1638+1)^65-1 1639*(1639+1)^5-1 1640*(1640+1)^1-1 1641*(1641+1)^2-1 1641*(1641+1)^5-1 1641*(1641+1)^86-1 1642*(1642+1)^23-1 1642*(1642+1)^7-1 1643*(1643+1)^1-1 1644*(1644+1)^2-1 1644*(1644+1)^51-1 1645*(1645+1)^11-1 1645*(1645+1)^7-1 1646*(1646+1)^19-1 1647*(1647+1)^2-1 1647*(1647+1)^54-1 1648*(1648+1)^99-1 1649*(1649+1)^1-1 1649*(1649+1)^25-1 1649*(1649+1)^48-1 1649*(1649+1)^59-1 1649*(1649+1)^6-1 1649*(1649+1)^9-1 1650*(1650+1)^9-1 1651*(1651+1)^1-1 1651*(1651+1)^11-1 1651*(1651+1)^23-1 1652*1653^21102-1 [55000] 1653*1654^1087-1 [1100] 1654*1655^143-1 1654*1655^371-1 1655*(1655+1)^8-1 1656*(1656+1)^1-1 1656*(1656+1)^5-1 1656*(1656+1)^81-1 1657 none [100000] 1658*(1658+1)^6-1 1659*(1659+1)^1-1 1659*(1659+1)^14-1 1659*(1659+1)^15-1 1659*(1659+1)^41-1 1660*(1660+1)^1-1 1660*(1660+1)^7-1 1661*(1661+1)^5-1 1662*(1662+1)^3-1 1662*(1662+1)^96-1 1663*(1663+1)^1-1 1664*(1664+1)^8-1 1664*(1664+1)^9-1 1665*(1665+1)^23-1 1665*(1665+1)^59-1 1666*(1666+1)^17-1 1667*(1667+1)^20-1 1667*(1667+1)^38-1 1667*(1667+1)^98-1 1668*(1668+1)^53-1 1669*(1669+1)^1-1 1670*(1670+1)^1-1 1670*(1670+1)^2-1 1671*(1671+1)^1-1 1671*(1671+1)^2-1 1672*(1672+1)^31-1 1673*(1673+1)^1-1 1673*(1673+1)^3-1 1673*(1673+1)^5-1 1674*(1674+1)^44-1 1675*1676^29309-1[34000] 1676*(1676+1)^21-1 1677*(1677+1)^2-1 1677*(1677+1)^6-1 1678*(1678+1)^1-1 1679*(1679+1)^14-1 1679*(1679+1)^5-1 1679*(1679+1)^6-1 1680*(1680+1)^1-1 1680*(1680+1)^12-1 1680*(1680+1)^13-1 1680*(1680+1)^14-1 1680*(1680+1)^2-1 1680*(1680+1)^26-1 1681*(1681+1)^5-1 1682 none [100000] 1683*(1683+1)^1-1 1683*(1683+1)^13-1 1683*(1683+1)^3-1 1683*(1683+1)^90-1 1684*(1684+1)^37-1 1685*(1685+1)^23-1 1685*(1685+1)^3-1 1685*(1685+1)^39-1 1686*(1686+1)^27-1 1686*(1686+1)^87-1 1687*(1687+1)^11-1 1688*(1688+1)^11-1 1688*(1688+1)^2-1 1689*(1689+1)^21-1 1689*(1689+1)^8-1 1690*(1690+1)^25-1 1690*(1690+1)^85-1 1691*(1691+1)^21-1 1691*(1691+1)^26-1 1691*(1691+1)^33-1 1691*(1691+1)^6-1 1691*(1691+1)^62-1 1692*(1692+1)^24-1 1693*(1693+1)^1-1 1693*(1693+1)^5-1 1693*(1693+1)^9-1 1694*(1694+1)^12-1 1694*(1694+1)^27-1 1694*(1694+1)^42-1 1695*1696^15488-1 [15700] 1696*(1696+1)^43-1 1698*(1698+1)^1-1 1698*(1698+1)^73-1 1699*(1699+1)^1-1 1699*(1699+1)^5-1 1700*(1700+1)^20-1 1700*(1700+1)^72-1 1701*(1701+1)^6-1 1702*(1702+1)^131-1 [200] 1703*(1703+1)^1-1 1703*(1703+1)^14-1 1703*(1703+1)^17-1 1703*(1703+1)^2-1 1703*(1703+1)^3-1 1703*(1703+1)^47-1 1704*(1704+1)^1-1 1704*(1704+1)^45-1 1704*(1704+1)^49-1 1704*(1704+1)^57-1 1704*(1704+1)^65-1 1705*(1705+1)^45-1 1706*(1706+1)^1-1 1707*(1707+1)^11-1 1707*(1707+1)^3-1 1708*(1708+1)^5-1 1709*(1709+1)^73-1 1710*(1710+1)^1-1 1710*(1710+1)^51-1 1710*(1710+1)^9-1 1711*(1711+1)^1-1 1712*(1712+1)^30-1 1712*(1712+1)^3-1 1712*(1712+1)^54-1 1712*(1712+1)^75-1 1712*(1712+1)^96-1 1713*(1713+1)^3-1 1713*(1713+1)^53-1 1713*(1713+1)^6-1 1714*(1714+1)^21-1 1714*(1714+1)^3-1 1715*(1715+1)^17-1 1715*(1715+1)^3-1 1715*(1715+1)^6-1 1715*(1715+1)^9-1 1716*(1716+1)^2-1 1716*(1716+1)^47-1 1717*(1717+1)^207-1 [300] 1718*(1718+1)^539-1 [600] 1719*(1719+1)^20-1 1719*(1719+1)^3-1 1719*(1719+1)^54-1 1720*(1720+1)^13-1 1721*(1721+1)^2-1 1721*(1721+1)^21-1 1722*(1722+1)^14-1 1722*(1722+1)^39-1 1723*(1723+1)^5-1 1724*(1724+1)^11-1 1724*(1724+1)^39-1 1725*(1725+1)^14-1 1725*(1725+1)^23-1 1726*(1726+1)^1-1 1726*(1726+1)^13-1 1726*(1726+1)^3-1 1726*(1726+1)^7-1 1727*(1727+1)^50-1 1727*(1727+1)^7-1 1728*(1728+1)^23-1 1728*(1728+1)^8-1 1729*(1729+1)^27-1 1730*(1730+1)^13-1 1730*(1730+1)^2-1 1731*(1731+1)^221-1 [300] 1732 none [100000] 1733*(1733+1)^8-1 1734*(1734+1)^14-1 1734*(1734+1)^2-1 1734*(1734+1)^5-1 1735*(1735+1)^1-1 1736*(1736+1)^45-1 1736*(1736+1)^71-1 1736*(1736+1)^87-1 1737 none [100000] 1738*(1738+1)^21-1 1738*(1738+1)^3-1 1738*(1738+1)^43-1 1738*(1738+1)^95-1 1739*(1739+1)^347-1 [400] 1740*(1740+1)^1-1 1740*(1740+1)^12-1 1740*(1740+1)^20-1 1741*(1741+1)^359-1 [400] 1742*(1742+1)^495-1 [500] 1743*(1743+1)^2-1 1743*(1743+1)^3-1 1743*(1743+1)^80-1 1744 none [100000] 1745*1746^1489-1 [1500] 1746*(1746+1)^1-1 1746*(1746+1)^11-1 1746*(1746+1)^3-1 1747*1748^24095-1 [48000] 1748*(1748+1)^2-1 1748*(1748+1)^21-1 1748*(1748+1)^83-1 1749*(1749+1)^1-1 1749*(1749+1)^21-1 1749*(1749+1)^49-1 1749*(1749+1)^51-1 1749*(1749+1)^69-1 1750*(1750+1)^13-1 1750*(1750+1)^61-1 1751*(1751+1)^19-1 1751*(1751+1)^2-1 1752*(1752+1)^3-1 1753*(1753+1)^593-1 [600] 1754*(1754+1)^21-1 1755*(1755+1)^1-1 1755*(1755+1)^5-1 1756*(1756+1)^3-1 1756*(1756+1)^75-1 1757*(1757+1)^2-1 1758*(1758+1)^1-1 1759*(1759+1)^1-1 1759*(1759+1)^17-1 1760*(1760+1)^1-1 1760*(1760+1)^18-1 1760*(1760+1)^57-1 1761*(1761+1)^1-1 1761*(1761+1)^9-1 1762*(1762+1)^3-1 1763*(1763+1)^12-1 1763*(1763+1)^2-1 1763*(1763+1)^53-1 1764*(1764+1)^1-1 1765*(1765+1)^31-1 1766*(1766+1)^2-1 1766*(1766+1)^7-1 1766*(1766+1)^98-1 1767*(1767+1)^3-1 1767*(1767+1)^36-1 1767*(1767+1)^7-1 1767*(1767+1)^90-1 1767*(1767+1)^96-1 1768*1769^1813-1 [1870] 1769*(1769+1)^17-1 1769*(1769+1)^2-1 1770*(1770+1)^47-1 1771*1772^13163-1 [33000] 1772*(1772+1)^23-1 1773*(1773+1)^14-1 1773*(1773+1)^8-1 1774*(1774+1)^409-1 [500] 1775*(1775+1)^1-1 1775*(1775+1)^38-1 1775*(1775+1)^73-1 1776*(1776+1)^13-1 1777*1778^3707-1 [4000] 1778*(1778+1)^15-1 1778*(1778+1)^3-1 1778*(1778+1)^39-1 1778*(1778+1)^8-1 1779*(1779+1)^25-1 1780*(1780+1)^1-1 1780*(1780+1)^31-1 1781*(1781+1)^203-1 [300] 1782*(1782+1)^26-1 1782*(1782+1)^27-1 1783*(1783+1)^11-1 1783*(1783+1)^3-1 1783*(1783+1)^53-1 1784*(1784+1)^3-1 1784*(1784+1)^44-1 1785*(1785+1)^24-1 1785*(1785+1)^3-1 1785*(1785+1)^54-1 1785*(1785+1)^9-1 1786*(1786+1)^25-1 1787*(1787+1)^452-1 [500] 1788*(1788+1)^1-1 1788*(1788+1)^9-1 1789*(1789+1)^253-1 [300] 1790*(1790+1)^14-1 1791*(1791+1)^66-1 1791*(1791+1)^7-1 1791*(1791+1)^9-1 1792*1793^45859-1 [52000] 1793*(1793+1)^5-1 1794*(1794+1)^44-1 1794*(1794+1)^6-1 1795*(1795+1)^21-1 1795*(1795+1)^47-1 1795*(1795+1)^9-1 1796*(1796+1)^135-1 [200] 1797*(1797+1)^3-1 1797*(1797+1)^54-1 1797*(1797+1)^6-1 1798*(1798+1)^1-1 1798*(1798+1)^19-1 1798*(1798+1)^23-1 1799*(1799+1)^1-1 1799*(1799+1)^12-1 1799*(1799+1)^2-1 1801*(1801+1)^1-1 1801*(1801+1)^11-1 1802*1803^3672-1 [4000] 1803*(1803+1)^41-1 1803*(1803+1)^6-1 1803*(1803+1)^9-1 1804*(1804+1)^35-1 1804*(1804+1)^43-1 1804*(1804+1)^93-1 1805*(1805+1)^1-1 1805*(1805+1)^3-1 1805*(1805+1)^44-1 1805*(1805+1)^48-1 1805*(1805+1)^66-1 1805*(1805+1)^75-1 1806*(1806+1)^1-1 1806*(1806+1)^57-1 1807 none [100000] 1808*(1808+1)^1-1 1809*(1809+1)^90-1 1810*(1810+1)^17-1 1811*(1811+1)^59-1 1812*1813^46159-1 [46800] 1813*(1813+1)^1-1 1814*(1814+1)^79-1 1815*(1815+1)^1-1 1816*(1816+1)^7-1 1817*(1817+1)^11-1 1817*(1817+1)^3-1 1817*(1817+1)^6-1 1818*(1818+1)^2-1 1818*(1818+1)^9-1 1819*1820^7051-1 [12000] 1820*(1820+1)^1-1 1820*(1820+1)^26-1 1820*(1820+1)^36-1 1821*(1821+1)^17-1 1822*(1822+1)^263-1 [300] 1823*(1823+1)^17-1 1823*(1823+1)^21-1 1823*(1823+1)^9-1 1824*(1824+1)^1-1 1824*(1824+1)^59-1 1824*(1824+1)^6-1 1825*1826^6443-1 [6600] 1826*(1826+1)^1-1 1826*(1826+1)^7-1 1826*(1826+1)^95-1 1827*(1827+1)^114-1 [200] 1828*(1828+1)^35-1 1828*(1828+1)^7-1 1829*(1829+1)^80-1 1830*(1830+1)^1-1 1830*(1830+1)^56-1 1831*(1831+1)^1-1 1831*(1831+1)^15-1 1832*(1832+1)^2-1 1832*(1832+1)^32-1 1833*(1833+1)^20-1 1833*(1833+1)^42-1 1833*(1833+1)^45-1 1833*(1833+1)^7-1 1834*(1834+1)^1-1 1834*(1834+1)^7-1 1835*(1835+1)^1-1 1836*(1836+1)^1-1 1836*(1836+1)^6-1 1837*(1837+1)^11-1 1838*(1838+1)^12-1 1838*(1838+1)^7-1 1839*(1839+1)^30-1 1840*(1840+1)^15-1 1841*(1841+1)^903-1 [1000] 1842*(1842+1)^8-1 1843*(1843+1)^1-1 1844*(1844+1)^14-1 1845*(1845+1)^73-1 1846*(1846+1)^5-1 1847*(1847+1)^44-1 1847*(1847+1)^59-1 1847*(1847+1)^7-1 1848*(1848+1)^1-1 1848*(1848+1)^2-1 1848*(1848+1)^35-1 1848*(1848+1)^53-1 1848*(1848+1)^9-1 1849*(1849+1)^1-1 1849*(1849+1)^11-1 1849*(1849+1)^13-1 1850*(1850+1)^11-1 1850*(1850+1)^30-1 1850*(1850+1)^33-1 1850*(1850+1)^89-1 1851*(1851+1)^23-1 1852*(1852+1)^43-1 1852*(1852+1)^55-1 1853*(1853+1)^1-1 1853*(1853+1)^2-1 1853*(1853+1)^9-1 1854*(1854+1)^2-1 1854*(1854+1)^21-1 1854*(1854+1)^27-1 1855*(1855+1)^25-1 1855*(1855+1)^35-1 1856*1857^3601-1 [4000] 1857*(1857+1)^696-1 [700] 1858*(1858+1)^1-1 1858*(1858+1)^17-1 1858*(1858+1)^63-1 1859*(1859+1)^11-1 1859*(1859+1)^24-1 1859*(1859+1)^26-1 1859*(1859+1)^6-1 1860*(1860+1)^1-1 1860*(1860+1)^23-1 1860*(1860+1)^38-1 1861*1862^2889-1 [3000] 1862*(1862+1)^19-1 1862*(1862+1)^27-1 1863*(1863+1)^31-1 1864*(1864+1)^5-1 1865*(1865+1)^7-1 1866*(1866+1)^5-1 1866*(1866+1)^6-1 1867*(1867+1)^531-1 [600] 1868*(1868+1)^1-1 1868*(1868+1)^3-1 1868*(1868+1)^33-1 1869*(1869+1)^3-1 1869*(1869+1)^5-1 1869*(1869+1)^7-1 1870*1871^919-1 [1000] 1871*(1871+1)^1-1 1871*(1871+1)^2-1 1871*(1871+1)^29-1 1871*(1871+1)^5-1 1871*(1871+1)^91-1 1872*1873^60619-1 [61000] 1873*(1873+1)^23-1 1873*(1873+1)^3-1 1873*(1873+1)^55-1 1873*(1873+1)^9-1 1874*(1874+1)^30-1 1874*(1874+1)^8-1 1875*(1875+1)^26-1 1875*(1875+1)^3-1 1875*(1875+1)^42-1 1875*(1875+1)^50-1 1876*1877^2599-1 [3000] 1877*(1877+1)^128-1 [200] 1878*(1878+1)^2-1 1879*(1879+1)^11-1 1880*(1880+1)^102-1 [200] 1881*(1881+1)^1-1 1882*(1882+1)^27-1 1883*(1883+1)^1-1 1883*(1883+1)^23-1 1883*(1883+1)^68-1 1884*(1884+1)^13-1 1884*(1884+1)^2-1 1884*(1884+1)^7-1 1884*(1884+1)^85-1 1885*(1885+1)^21-1 1885*(1885+1)^3-1 1885*(1885+1)^5-1 1885*(1885+1)^9-1 1886*(1886+1)^1-1 1886*(1886+1)^27-1 1886*(1886+1)^9-1 1887*(1887+1)^8-1 1888*(1888+1)^35-1 1889*(1889+1)^3-1 1889*(1889+1)^42-1 1889*(1889+1)^9-1 1890*(1890+1)^47-1 1890*(1890+1)^91-1 1891*(1891+1)^1-1 1891*(1891+1)^13-1 1892*1893^18264-1 1892*1893^21084-1 [26000] 1893*(1893+1)^29-1 1893*(1893+1)^63-1 1894*(1894+1)^3-1 1895*(1895+1)^32-1 1896*(1896+1)^3-1 1897*1898^4447-1 [5000] 1898*(1898+1)^1-1 1898*(1898+1)^14-1 1898*(1898+1)^2-1 1898*(1898+1)^68-1 1899*(1899+1)^2-1 1900*1901^4177-1 [5700] 1901*(1901+1)^1-1 1901*(1901+1)^17-1 1901*(1901+1)^27-1 1901*(1901+1)^29-1 1901*(1901+1)^41-1 1902*(1902+1)^3-1 1902*(1902+1)^6-1 1903*(1903+1)^35-1 1904*(1904+1)^511-1 [600] 1905*(1905+1)^1-1 1905*(1905+1)^2-1 1906*(1906+1)^95-1 1907*(1907+1)^50-1 1908*(1908+1)^383-1 [400] 1909*(1909+1)^7-1 1910*(1910+1)^18-1 1910*(1910+1)^2-1 1910*(1910+1)^29-1 1910*(1910+1)^39-1 1910*(1910+1)^56-1 1911*(1911+1)^1-1 1911*(1911+1)^25-1 1911*(1911+1)^5-1 1912 none [100000] 1913*(1913+1)^134-1 [200] 1914*(1914+1)^41-1 1914*(1914+1)^5-1 1915*(1915+1)^595-1 [600] 1916*(1916+1)^1-1 1916*(1916+1)^66-1 1917*(1917+1)^3-1 1917*(1917+1)^7-1 1918*(1918+1)^9-1 1918*(1918+1)^93-1 1919*(1919+1)^2-1 1920*(1920+1)^7-1 1920*(1920+1)^8-1 1921*1922^36597-1 [38000] 1922*(1922+1)^11-1 1922*(1922+1)^55-1 1922*(1922+1)^87-1 1923*(1923+1)^17-1 1923*(1923+1)^3-1 1924*(1924+1)^3-1 1925*(1925+1)^19-1 1925*(1925+1)^5-1 1925*(1925+1)^7-1 1925*(1925+1)^8-1 1926*(1926+1)^1-1 1926*(1926+1)^98-1 1927 none [100000] 1928*(1928+1)^15-1 1929*(1929+1)^833-1 [900] 1930*(1930+1)^1665-1 [2000] 1931*(1931+1)^745-1 [800] 1932*(1932+1)^15-1 1932*(1932+1)^3-1 1932*(1932+1)^35-1 1932*(1932+1)^47-1 1932*(1932+1)^56-1 1933*(1933+1)^35-1 1933*(1933+1)^7-1 1934*(1934+1)^6-1 1934*(1934+1)^7-1 1934*(1934+1)^8-1 1935*(1935+1)^11-1 1935*(1935+1)^21-1 1936*(1936+1)^1-1 1936*(1936+1)^9-1 1937*(1937+1)^2-1 1937*(1937+1)^27-1 1937*(1937+1)^75-1 1938*(1938+1)^1-1 1938*(1938+1)^30-1 1938*(1938+1)^51-1 1938*(1938+1)^57-1 1939*1940^55679-1 [62000] 1940*(1940+1)^5-1 1941*(1941+1)^17-1 1941*(1941+1)^29-1 1941*(1941+1)^9-1 1942*(1942+1)^59-1 1943*(1943+1)^3-1 1944*(1944+1)^1-1 1944*(1944+1)^15-1 1944*(1944+1)^5-1 1944*(1944+1)^6-1 1944*(1944+1)^61-1 1944*(1944+1)^9-1 1945*(1945+1)^47-1 1946*(1946+1)^1-1 1946*(1946+1)^23-1 1946*(1946+1)^7-1 1947 none [100000] 1948*(1948+1)^161-1 [200] 1949*(1949+1)^1-1 1949*(1949+1)^12-1 1949*(1949+1)^47-1 1949*(1949+1)^6-1 1950*(1950+1)^2-1 1950*(1950+1)^3-1 1950*(1950+1)^38-1 1951*(1951+1)^209-1 [300] 1952*(1952+1)^60-1 1952*(1952+1)^75-1 1953*(1953+1)^2-1 1953*(1953+1)^51-1 1953*(1953+1)^6-1 1954*(1954+1)^559-1 [600] 1955*(1955+1)^5-1 1955*(1955+1)^61-1 1955*(1955+1)^62-1 1955*(1955+1)^7-1 1955*(1955+1)^8-1 1956*(1956+1)^25-1 1956*(1956+1)^35-1 1956*(1956+1)^7-1 1956*(1956+1)^73-1 1957*(1957+1)^115-1 1957*(1957+1)^199-1 [200] 1958*(1958+1)^15-1 1958*(1958+1)^26-1 1958*(1958+1)^68-1 1959*(1959+1)^1-1 1959*(1959+1)^5-1 1959*(1959+1)^53-1 1960*(1960+1)^31-1 1960*(1960+1)^9-1 1960*(1960+1)^91-1 1961*(1961+1)^2-1 1962*(1962+1)^299-1 [300] 1963*(1963+1)^1-1 1963*(1963+1)^15-1 1963*(1963+1)^33-1 1963*(1963+1)^37-1 1964*(1964+1)^1-1 1964*(1964+1)^2-1 1965*(1965+1)^17-1 1966*1967^16993-1 [18800] 1967*(1967+1)^60-1 1968*(1968+1)^17-1 1968*(1968+1)^7-1 1968*(1968+1)^77-1 1969*1970^13387-1 [27000] 1970*(1970+1)^12-1 1970*(1970+1)^49-1 1971*(1971+1)^13-1 1971*(1971+1)^25-1 1971*(1971+1)^98-1 1973*(1973+1)^13-1 1973*(1973+1)^3-1 1974*(1974+1)^35-1 1974*(1974+1)^38-1 1975*(1975+1)^235-1 [300] 1976*(1976+1)^235-1 [300] 1977*(1977+1)^14-1 1978*(1978+1)^1-1 1978*(1978+1)^71-1 1979*(1979+1)^21-1 1979*(1979+1)^3-1 1979*(1979+1)^57-1 1979*(1979+1)^61-1 1980*(1980+1)^14-1 1980*(1980+1)^25-1 1980*(1980+1)^61-1 1981*(1981+1)^1-1 1981*(1981+1)^43-1 1982*(1982+1)^2-1 1983*(1983+1)^3-1 1983*(1983+1)^63-1 1983*(1983+1)^9-1 1984*(1984+1)^35-1 1985*(1985+1)^1-1 1985*(1985+1)^13-1 1985*(1985+1)^3-1 1986*(1986+1)^27-1 1986*(1986+1)^5-1 1987 none [100000] 1988*(1988+1)^1-1 1988*(1988+1)^30-1 1989*(1989+1)^1-1 1989*(1989+1)^11-1 1989*(1989+1)^53-1 1989*(1989+1)^92-1 1990*(1990+1)^11-1 1990*(1990+1)^3-1 1991*(1991+1)^26-1 1991*(1991+1)^7-1 1992*(1992+1)^2-1 1992*(1992+1)^3-1 1992*(1992+1)^44-1 1992*(1992+1)^6-1 1992*(1992+1)^8-1 1993*(1993+1)^1-1 1993*(1993+1)^19-1 1994*(1994+1)^33-1 1994*(1994+1)^55-1 1994*(1994+1)^8-1 1995*(1995+1)^9-1 1996*(1996+1)^415-1 [500] 1997*(1997+1)^2-1 1998*(1998+1)^2-1 1998*(1998+1)^59-1 1998*(1998+1)^77-1 1999*(1999+1)^149-1 [200] 2000*(2000+1)^1-1 2000*(2000+1)^2-1 2000*(2000+1)^87-1 2001*(2001+1)^1-1 2001*(2001+1)^17-1 2001*(2001+1)^2-1 2001*(2001+1)^3-1 2001*(2001+1)^87-1 2002*(2002+1)^119-1 [200] 2003*(2003+1)^1-1 2003*(2003+1)^38-1 2004*(2004+1)^13-1 2004*(2004+1)^27-1 2004*(2004+1)^92-1 2005*(2005+1)^1239-1 [1500] 2006*(2006+1)^11-1 2007*(2007+1)^12-1 2007*(2007+1)^26-1 2007*(2007+1)^98-1 2008*(2008+1)^1-1 2009*2010^5232-1[5270] 2010*(2010+1)^13-1 2011*(2011+1)^1-1 2011*(2011+1)^43-1 2012*(2012+1)^775-1 [800] 2013*(2013+1)^11-1 2013*(2013+1)^81-1 2013*(2013+1)^97-1 2014*(2014+1)^1-1 2014*(2014+1)^33-1 2014*(2014+1)^5-1 2014*(2014+1)^7-1 2015*(2015+1)^2-1 2015*(2015+1)^60-1 2016*(2016+1)^1267-1 [1500] 2017 none [200000] 2018*(2018+1)^12-1 2018*(2018+1)^17-1 2018*(2018+1)^75-1 2018*(2018+1)^8-1 2019*(2019+1)^32-1 2020*(2020+1)^13-1 2020*(2020+1)^7-1 2021*(2021+1)^21-1 2021*(2021+1)^78-1 2022*(2022+1)^2-1 2023*(2023+1)^3-1 2024*(2024+1)^5-1 2025*(2025+1)^1-1 2025*(2025+1)^27-1 2026*(2026+1)^1-1 2026*(2026+1)^29-1 2026*(2026+1)^3-1 2027*(2027+1)^44-1 2028*(2028+1)^45-1 2029*(2029+1)^79-1 2029*(2029+1)^97-1 2030*(2030+1)^24-1 2030*(2030+1)^65-1 2031*(2031+1)^158-1 [200] 2032*(2032+1)^23-1 2033*(2033+1)^2-1 2033*(2033+1)^86-1 2033*(2033+1)^9-1 2034*(2034+1)^1-1 2034*(2034+1)^92-1 2035*2036^12831-1 [13000] 2036*(2036+1)^1-1 2036*(2036+1)^13-1 2036*(2036+1)^15-1 2036*(2036+1)^3-1 2036*(2036+1)^6-1 2037*(2037+1)^2-1 2037*(2037+1)^3-1 2037*(2037+1)^54-1 2038*(2038+1)^745-1 [800] 2039*(2039+1)^63-1 2039*(2039+1)^8-1 2040*(2040+1)^15-1 2040*(2040+1)^6-1 2040*(2040+1)^95-1 2041*(2041+1)^1-1 2041*(2041+1)^29-1 2041*(2041+1)^91-1 2042*(2042+1)^223-1 [300] 2043*(2043+1)^3-1 2044*(2044+1)^1-1 2044*(2044+1)^15-1 2045*(2045+1)^23-1 2046*(2046+1)^1-1 2046*(2046+1)^29-1 2047*(2047+1)^7-1 2047*(2047+1)^ 139-1 2047*(2047+1)^ 143-1 2048*2049^2-1 2048*2049^15-1 2048*2049^25-1 2048*2049^191-1 News: 4/8/19 updated 2017 to 200000, searched by lalera, on mersenneforum in 2017. 4/4/19 Karsten Bonath reports 4*5^n-1 is checked to 1000000. 12/7/2018 Karsten Bonath finds 4*5^282989-1 (197802 decimal digits), checks base 4 through 321000. 10/2/14 Harvey completes 232 to 250000, no primes. 8/20/14 Harvey completes 931 to 200000, no primes. 8/15/14 Harvey completes 940 to 200000, no primes. 6/11/14 Harvey completes 778 to 200000, no primes. 5/22/14 Harvey completes 664 to 200000, no primes. 4/22/14 Harvey completes 877 to 200000, no primes. 4/8/14 Harvey completes 1033 to 150000, no primes. 3/6/14 Harvey completes 697 to 200000, no primes. 2/19/14 Harvey completes 1009 to 150000, no primes. 12/3/13 Harvey completes 532 to 200000, no primes, reserves 1009 to 150000. 12/2/13 Harvey completes 487 to 200000, reserves 931 and 940 to 200000. 11/12/13 Harvey completes 267 to 200000, no primes. 11/7/13 Harvey completes 292 to 200000, no primes. 9/24/13 Harvey reserves 862 and 877 to 200000. 9/23/13 Harvey finds 517*518^129371-1. 9/19/13 Harvey completes 382 to 200000, reserves 697 and 778 to 200000. 9/12/13 Harvey completes 1987 to 100000, no primes; reserves 532, 553, and 664 to 200000. 9/5/13 Harvey completes 2017 to 100000, no primes; reserves 517 to 200000. 9/4/13 Harvey finds 400*401^103669-1, reserves 477 and 487 to 200000. 8/30/13 Harvey completes 232 to 200000, no primes, reserves 400 to 200000. 8/29/13 Harvey completes 1947 to 100000, no primes; reserves 267, 282, and 382 to 200000. 8/21/13 Harvey completes 1927 to 100000, no primes. 8/16/13 Harvey completes 1912 and 1682 to 100000, no primes. 8/11/13 Harvey finds 1872*1873^60619-1 & 1939*1940^55679-1. 8/7/13 Harvey completes 1732 and 1737 to 100000, no primes. 8/5/13 Harvey finds 1921*1922^36597-1, completes 1744 to 100000, no primes. 7/30/13 Harvey reserves 232 to 200000; reserves 1921 and 1927 to 100000. 7/29/13 Harvey checks 1807 to 100000, no primes; reserves 1912, 1939, 1947, 1987, 2017 to 100000. 7/26/13 Harvey finds 2035*2036^12831-1. 7/25/13 Harvey finds 1969*1970^13387-1. 7/24/13 Harvey finds 1892*1893^18264-1, 1892*1893^21084-1, and 1966*1967^16993-1. 7/18/13 Harvey finds 1812*1813^46159-1, 1819*1820^7051-1, 1897*1898^4447-1, 1900*1901^4177-1, reserves 1872 and 1892 to 100000. 7/17/13 Harvey finds 1825*1826^6443-1. 7/8/13 Harvey finds 1747*1748^24095-1 and 1792*1793^45859-1, reserves 1737, 1744, 1807 and 1812 to 100000. 7/5/13 Harvey finds 1771*1772^13163-1. 6/18/13 Harvey completes 1521 to 100000, no primes; finds 1695*1696^15488-1, reserves 1732 to 100000. 6/13/13 Harvey finds 1675*1676^29309-1, completes 1657 to 100000, reserves 1682 to 100000. 6/5/13 Harvey finds 1652*1653^21102-1, reserves 1657 to 100000. 5/30/13 Harvey finds 1631*1632^12169-1, reserves 1652 to 100000. 5/30/13 Harvey finds 1567*1568^14759-1, reserves 1631 to 100000. 5/29/13 Harvey finds 1558*1559^20055-1, reserves 1567 to 100000. 5/28/13 Harvey completes 1492 to 10000, no primes; reserves 1558 to 100000. 5/23/13 Harvey completes 1488 to 100000, no primes, reserves 1521 to 100000. 3-25-13 Harvey completes 1429 to 100000, no primes; finds 1443*1444^26345-1. 2-21-13 Harvey finds 1387*1388^49063-1, reserves 1429 to 100000. 2-17-13 Harvey completes 1352 to 100000, no primes, reserves 1387 to 100000. 1-17-13 Harvey completes 1327 to 100000, no primes; reserves 1352 to 100000. 12-21-12 Harvey finds 1267*1268^13735-1; reserves 1327 to 100000. 12-20-12 Harvey completes 1252 to 100000, no primes; reserves 1267 to 100000. 12-3-12 Jaworski reports 127 is checked to 580000, no primes. Harvey completes 1198 to 100000, reserves 1252 to 100000. 10-31-12 Harvey completes 1163 to 100000, no primes; reserves 1198 to 100000. 10-2-12 Jaworski reserves 127, n>3m. 10-1-12 Jaworski finds 112*113^286643-1, 112 checked to 290000. 9-20-12 Harvey finds 1162*1163^3967-1; reserves base 1163 to 100000. 9-20-12 Harvey finds 1159*1160^24303-1; reserves base 1162 to 100000. 9-18-12 Harvey completes 1144 to 100000, no primes; reserves base 1159 to 100000. 8-30-12 Jaworski reports 112 is checked to 240000 and continuing. 7-11-12 Harvey finds 1141*1142^9501-1. 7-11-12 Harvey finds 1114*1115^3629-1. 7-10-12 Harvey finds 1107*1108^15647-1. 7-9-12 Harvey finds 1087*(1087+1)^29579-1. 7-6-12 Harvey completes base 1033 to 100000, no primes. 2-12-12 Jaworski finds 2*3^1063844-1. 1-31-12 Boris Jaworski reserves base 112 to 500000. 1-30-12 Harvey completes base 940 to 100000, no primes. 12-6-11 Harvey checks 931 to 100000, no primes. 11-29-11 Harvey checks 1009 to 100000, no primes. 11-14-11 Harvey checks 778 to 100000, no primes. 11-4-11 Harvey checks 877 to 100000, no primes. 11-2-11 Harvey finds 1011*1012^32693-1. 10-31-11 Harvey checks 862 to 100000, no primes. 10-25-11 Harvey finds 937*938^50007-1. 10-24-11 697*698^n-1 is primefree to n=100000. 9-20-11 Harvey finds 832*833^12219-1. 9-17-11 Harvey finds 757*758^50563-1. 9-15-11 Harvey finds 949*(949+1)^16247-1. 9-13-11 Harvey finds 662*663^47556-1 9-12-11 Harvey finds 917*918^9756-1. 9-6-11 Harvey finds 637*(637+1)^75427-1 8-29-11 Harvey finds 607*(607+1)^36227-1. 8-28-11 Harvey finds 601*(601+1)^17643-1. 8-22-11 Harvey finds 526*527^65821-1. 8-15-11 Harvey completes 292 to 100000, no primes. 8-10-11 Harvey extends search to bases 513 thru 1023. 8-9-11 Harvey finds 493*494^21579-1; completes 267 to 100000, no primes. 8-6-11 Harvey finds 457*458^46899-1. 8-4-11 Harvey completes 232 to 100000, no primes; finds 416*417^21002-1. 8-3-11 Harvey completes 382 to 100000, no primes 8-1-11 Harvey completes 112 to 150000, no primes. 7-12-11 Harvey finds 37*(37+1)^136211-1 is prime. 6-21-11 Harvey checks 37 to 100000, no primes, continuing to 200000. 1-7-10 Lody finds 10*(10+1)^263893-1 4-12-9 Broadhurst reports 2*(2+1)^n-1 checked to 570000, no primes found. 3-9-9 Broadhurst reports 2*(2+1)^n-1 checked 189000 to 400000, no primes found. 8-22-8 Harvey finds 82*(82+1)^21495-1 is prime. 7-17-8 Harvey finds 187*(187+1)^ 13507-1 is prime. 12/20/7 G. Reynolds reports base 4, (4*5^n-1) checked to 200000, no new primes. 7/13/7 Geoff Reynolds reports base 4, (4*5^n-1), checked to n=110000, plans to check to 200000. 8/31/6 Geoff Reynolds reports base 490 to 499 checked from 512 to 10000, & primes found. 10/30/6 Hugo Platzer reports bases 10, 11 and 12 checked to 5000, and primes found.