user=mdettweiler [2016-05-17 00:02:29] 735*2^1429409-1 is not prime. Res64: 0815C00FC8C6856E Time : 0.0 sec. user=mdettweiler [2016-05-17 00:02:30] 787*2^1429409-1 is not prime. Res64: 9DD82EC7F7615004 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:02:31] 795*2^1429409-1 is not prime. Res64: CF88E48799F8CDF4 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:02:32] 829*2^1429409-1 is not prime. Res64: D54B84028D7E20D9 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:02:33] 861*2^1429409-1 is not prime. Res64: E9B44BC8909F75A1 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:21:33] 885*2^1429409-1 is not prime. Res64: EC8BD4A8FE411130 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:21:34] 889*2^1429409-1 is not prime. Res64: CFE8736EDC7EE970 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:21:35] 765*2^1429410-1 is not prime. Res64: C576EAE69CFF5A2F Time : 0.0 sec. user=mdettweiler [2016-05-17 00:21:35] 977*2^1429410-1 is not prime. Res64: D392DEDED48827E0 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:21:36] 773*2^1429410-1 is not prime. Res64: 20A1A3D05A2782E8 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:21:36] 631*2^1429411-1 is not prime. Res64: 9F7F8766C9778473 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:21:36] 797*2^1429410-1 is not prime. Res64: 02EBF995BBD35CA3 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:21:37] 705*2^1429411-1 is not prime. Res64: C507C64BC2A2ED7A Time : 0.0 sec. user=mdettweiler [2016-05-17 00:21:38] 715*2^1429411-1 is not prime. Res64: 92E66CE9F4054663 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:21:39] 861*2^1429411-1 is not prime. Res64: 526F2D452393C197 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:22:18] 909*2^1429411-1 is not prime. Res64: 712596A708DA9257 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:22:19] 939*2^1429411-1 is not prime. Res64: 9BDA760A63442037 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:22:19] 943*2^1429411-1 is not prime. Res64: BFFF084979D51AB4 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:22:20] 951*2^1429411-1 is not prime. Res64: 8E609950936FDB58 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:22:21] 777*2^1429412-1 is not prime. Res64: 7393D885F68CC331 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:47:13] 977*2^1429412-1 is not prime. Res64: 74642CB898381D3D Time : 0.0 sec. user=mdettweiler [2016-05-17 00:47:14] 995*2^1429412-1 is not prime. Res64: E42EC5CF9A4C5667 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:47:14] 765*2^1429413-1 is not prime. Res64: 73D8D190298B7A24 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:47:14] 837*2^1429413-1 is not prime. Res64: 1B2F997ED2E7C920 Time : 0.0 sec. user=mdettweiler [2016-05-17 00:47:15] 877*2^1429413-1 is not prime. Res64: 10A1BA7636FE1BD6 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:06:45] 889*2^1429413-1 is not prime. Res64: D20D088D71537E95 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:06:45] 999*2^1429413-1 is not prime. Res64: 0EDDD1050207162C Time : 0.0 sec. user=mdettweiler [2016-05-17 01:06:45] 643*2^1429415-1 is not prime. Res64: 53756DD238C4856B Time : 0.0 sec. user=mdettweiler [2016-05-17 01:06:46] 617*2^1429414-1 is not prime. Res64: 6BB36A47B8DCAD79 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:06:46] 651*2^1429415-1 is not prime. Res64: 25A44CF89D80494D Time : 0.0 sec. user=mdettweiler [2016-05-17 01:06:47] 655*2^1429415-1 is not prime. Res64: 8AD9B971E7BBFBD1 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:06:47] 861*2^1429415-1 is not prime. Res64: E51A13842A051AC1 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:06:48] 747*2^1429414-1 is not prime. Res64: 2774DC482FEE7F01 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:06:48] 973*2^1429415-1 is not prime. Res64: 4B1A807559D49C6D Time : 0.0 sec. user=mdettweiler [2016-05-17 01:06:48] 765*2^1429414-1 is not prime. Res64: 03BF5F338B7D39D9 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:07:23] 981*2^1429415-1 is not prime. Res64: 0E221161D629C787 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:07:23] 689*2^1429416-1 is not prime. Res64: 89E6D43D6D06B9A8 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:07:24] 725*2^1429416-1 is not prime. Res64: 017611222A2ADAD4 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:07:24] 843*2^1429416-1 is not prime. Res64: FDC7183330D5313C Time : 0.0 sec. user=mdettweiler [2016-05-17 01:07:25] 983*2^1429416-1 is not prime. Res64: 631C17BEF6E2C257 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:32:05] 687*2^1429417-1 is not prime. Res64: E4CFCD71CB9E164B Time : 0.0 sec. user=mdettweiler [2016-05-17 01:32:08] 717*2^1429417-1 is not prime. Res64: 6F7FFC9BBE8C667E Time : 0.0 sec. user=mdettweiler [2016-05-17 01:32:10] 741*2^1429417-1 is not prime. Res64: A39441D0E61D840B Time : 0.0 sec. user=mdettweiler [2016-05-17 01:32:13] 807*2^1429417-1 is not prime. Res64: B3C1CB48379972C6 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:32:15] 861*2^1429417-1 is not prime. Res64: DBA9A03EBB38103C Time : 0.0 sec. user=mdettweiler [2016-05-17 01:51:44] 867*2^1429417-1 is not prime. Res64: 4C9554169CF715D9 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:51:44] 895*2^1429417-1 is not prime. Res64: FCF74AC91EBE2C46 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:51:45] 617*2^1429418-1 is not prime. Res64: E0511B7911A89456 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:51:45] 773*2^1429418-1 is not prime. Res64: DD789C41E6ECCEB2 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:51:46] 813*2^1429418-1 is not prime. Res64: 22AD662DEE693E23 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:51:50] 885*2^1429418-1 is not prime. Res64: 77AB15B91B10E2A7 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:51:50] 963*2^1429418-1 is not prime. Res64: 11DB76FF427257D9 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:51:51] 987*2^1429418-1 is not prime. Res64: B7DE7C6D022FA525 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:51:51] 859*2^1429419-1 is not prime. Res64: C4AAF4D380BD1EF4 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:51:51] 973*2^1429419-1 is not prime. Res64: 245A5B2632BF0EB7 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:52:10] 999*2^1429419-1 is not prime. Res64: 23A45441815C9B04 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:52:11] 707*2^1429420-1 is not prime. Res64: 9E7FE6963F0083C5 Time : 0.0 sec. user=mdettweiler [2016-05-17 01:52:11] 723*2^1429420-1 is not prime. Res64: 46915DF42AA0533B Time : 0.0 sec. user=mdettweiler [2016-05-17 01:52:11] 845*2^1429420-1 is not prime. Res64: 1A7A597CA439A2BE Time : 0.0 sec. user=mdettweiler [2016-05-17 01:52:12] 897*2^1429420-1 is not prime. Res64: 2804C523CBC09B62 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:18:20] 915*2^1429420-1 is not prime. Res64: 2F37AD7A4BAFE3C7 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:18:21] 953*2^1429420-1 is not prime. Res64: 507CF1DC133A7E6D Time : 0.0 sec. user=mdettweiler [2016-05-17 02:18:22] 631*2^1429421-1 is not prime. Res64: 8E84ECF41568D688 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:18:22] 741*2^1429421-1 is not prime. Res64: 4F19BA0FACB8A3F4 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:18:23] 901*2^1429421-1 is not prime. Res64: 81F5D6F3EFF9E196 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:37:51] 867*2^1429422-1 is not prime. Res64: 88525D756A4D7F3D Time : 0.0 sec. user=mdettweiler [2016-05-17 02:37:51] 723*2^1429423-1 is not prime. Res64: D76DB0EF643662D0 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:37:52] 751*2^1429423-1 is not prime. Res64: 704D79719DD13305 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:37:52] 765*2^1429423-1 is not prime. Res64: 0EFDCA92D6015807 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:37:53] 811*2^1429423-1 is not prime. Res64: 6433C85C41ED2258 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:38:16] 973*2^1429423-1 is not prime. Res64: 18A1E9A32824DEC4 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:38:17] 719*2^1429424-1 is not prime. Res64: 72317D05825614BC Time : 0.0 sec. user=mdettweiler [2016-05-17 02:38:17] 743*2^1429424-1 is not prime. Res64: C6B4AC76047C55DD Time : 0.0 sec. user=mdettweiler [2016-05-17 02:38:18] 935*2^1429424-1 is not prime. Res64: DA677551FA362854 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:38:18] 945*2^1429424-1 is not prime. Res64: 669075DFFFB56F0A Time : 0.0 sec. user=mdettweiler [2016-05-17 02:38:23] 819*2^1429423-1 is not prime. Res64: 1A34DD4ADF9D9E6D Time : 0.0 sec. user=mdettweiler [2016-05-17 02:38:23] 829*2^1429423-1 is not prime. Res64: CFB5F26E899757B3 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:38:24] 919*2^1429423-1 is not prime. Res64: AA0FC41E4AED8803 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:38:24] 945*2^1429423-1 is not prime. Res64: 57609DBE8C848EC4 Time : 0.0 sec. user=mdettweiler [2016-05-17 02:38:25] 961*2^1429423-1 is not prime. Res64: A6AA06077695B50C Time : 0.0 sec. user=mdettweiler [2016-05-17 03:03:16] 627*2^1429425-1 is not prime. Res64: BEFF660EB786D59D Time : 0.0 sec. user=mdettweiler [2016-05-17 03:03:18] 685*2^1429425-1 is not prime. Res64: 89DD84DAAB379EF6 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:03:19] 781*2^1429425-1 is not prime. Res64: 06C854532BD1E7C6 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:03:21] 937*2^1429425-1 is not prime. Res64: E8ABB585FCD216B4 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:03:23] 985*2^1429425-1 is not prime. Res64: 3F07D65957F2FD40 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:23:34] 999*2^1429425-1 is not prime. Res64: 0F8946C8F1A45E07 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:23:34] 747*2^1429426-1 is not prime. Res64: 6D32B3FF7F08B773 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:23:35] 813*2^1429426-1 is not prime. Res64: FA6184CD3EC22EBD Time : 0.0 sec. user=mdettweiler [2016-05-17 03:23:35] 857*2^1429426-1 is not prime. Res64: 83C95F2573C28C53 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:23:36] 1001*2^1429426-1 is not prime. Res64: 1784B515FA408BEC Time : 0.0 sec. user=mdettweiler [2016-05-17 03:23:47] 741*2^1429427-1 is not prime. Res64: 155DC800B74E37B5 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:23:48] 829*2^1429427-1 is not prime. Res64: 9C85155A04F26B20 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:23:48] 605*2^1429428-1 is not prime. Res64: E7DB519651A1E084 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:23:49] 707*2^1429428-1 is not prime. Res64: 27BBA770F29CD3B4 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:23:49] 723*2^1429428-1 is not prime. Res64: EC54F0750F99D650 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:24:11] 753*2^1429428-1 is not prime. Res64: B2068923E1A797BF Time : 0.0 sec. user=mdettweiler [2016-05-17 03:24:11] 915*2^1429428-1 is not prime. Res64: C72EAD29FB8ECC53 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:24:11] 999*2^1429428-1 is not prime. Res64: D857E3579A2D0C57 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:24:12] 601*2^1429429-1 is not prime. Res64: 1FEF0C96B882496F Time : 0.0 sec. user=mdettweiler [2016-05-17 03:24:12] 609*2^1429429-1 is not prime. Res64: 075A38FB27CBC416 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:49:04] 721*2^1429429-1 is not prime. Res64: 2C39D87523BF0F6B Time : 0.0 sec. user=mdettweiler [2016-05-17 03:49:05] 831*2^1429429-1 is not prime. Res64: 4A9F558CD5CE9A63 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:49:06] 615*2^1429430-1 is not prime. Res64: 1A2E644B79DBDA91 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:49:07] 677*2^1429430-1 is not prime. Res64: 8C1F451DFBB1EA03 Time : 0.0 sec. user=mdettweiler [2016-05-17 03:49:08] 755*2^1429430-1 is not prime. Res64: BC9999006ECD52E1 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:08:33] 791*2^1429430-1 is not prime. Res64: 40D437BDB7D70229 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:08:34] 825*2^1429430-1 is not prime. Res64: 3D21178716FACE93 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:08:34] 875*2^1429430-1 is not prime. Res64: A335E975159FF220 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:08:35] 893*2^1429430-1 is not prime. Res64: 41987EB2BC51DE48 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:08:35] 935*2^1429430-1 is not prime. Res64: C026FAC902A22E16 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:08:44] 987*2^1429430-1 is not prime. Res64: 9707090D3EA2DEB8 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:08:44] 819*2^1429431-1 is not prime. Res64: 2EA074611402EE3A Time : 0.0 sec. user=mdettweiler [2016-05-17 04:08:45] 949*2^1429431-1 is not prime. Res64: 22FEDCC18882430A Time : 0.0 sec. user=mdettweiler [2016-05-17 04:08:45] 609*2^1429432-1 is not prime. Res64: F16BEF549E064BC9 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:08:45] 693*2^1429432-1 is not prime. Res64: 8F8D460792E79AE9 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:08:59] 719*2^1429432-1 is not prime. Res64: A43683548F385CDB Time : 0.0 sec. user=mdettweiler [2016-05-17 04:08:59] 755*2^1429432-1 is not prime. Res64: DBC0B8CCD24026A7 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:09:00] 855*2^1429432-1 is not prime. Res64: 7ACE31D5F5066B63 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:09:00] 869*2^1429432-1 is not prime. Res64: 9AA2FED111D00847 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:09:00] 915*2^1429432-1 is not prime. Res64: 063D0076D69D830E Time : 0.0 sec. user=mdettweiler [2016-05-17 04:34:11] 939*2^1429432-1 is not prime. Res64: 567F07118AE7A49A Time : 0.0 sec. user=mdettweiler [2016-05-17 04:34:12] 975*2^1429432-1 is not prime. Res64: 4AAC5F873D3182B6 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:34:12] 691*2^1429433-1 is not prime. Res64: 46BF9E21350E26AB Time : 0.0 sec. user=mdettweiler [2016-05-17 04:34:13] 745*2^1429433-1 is not prime. Res64: 564CEC509A31A970 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:34:13] 771*2^1429433-1 is not prime. Res64: 13E39ADFE5BB4393 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:53:33] 811*2^1429433-1 is not prime. Res64: 00419C4951FF7A12 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:53:34] 831*2^1429433-1 is not prime. Res64: 59CAD82F61D84C70 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:53:34] 855*2^1429433-1 is not prime. Res64: 333843A25B174E08 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:53:35] 861*2^1429433-1 is not prime. Res64: 707938C4CC40FE85 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:53:35] 925*2^1429433-1 is not prime. Res64: 2D4040789890EE1A Time : 0.0 sec. user=mdettweiler [2016-05-17 04:53:44] 681*2^1429434-1 is not prime. Res64: 230ED0F8690993DD Time : 0.0 sec. user=mdettweiler [2016-05-17 04:53:44] 765*2^1429434-1 is not prime. Res64: 2DDDDA7B84D7F764 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:53:44] 767*2^1429434-1 is not prime. Res64: 81808A55B21063D7 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:53:45] 881*2^1429434-1 is not prime. Res64: 0F5D116971F90FC8 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:53:45] 903*2^1429434-1 is not prime. Res64: C1ED8E4F3BE627FC Time : 0.0 sec. user=mdettweiler [2016-05-17 04:53:59] 917*2^1429434-1 is not prime. Res64: 32F558426E330AEB Time : 0.0 sec. user=mdettweiler [2016-05-17 04:54:00] 649*2^1429435-1 is not prime. Res64: 40C6B3B9D86C2CB8 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:54:00] 685*2^1429435-1 is not prime. Res64: 477D9798C85A9CBE Time : 0.0 sec. user=mdettweiler [2016-05-17 04:54:00] 693*2^1429435-1 is not prime. Res64: 5EC47B7213874CD5 Time : 0.0 sec. user=mdettweiler [2016-05-17 04:54:01] 819*2^1429435-1 is not prime. Res64: 3C927D7EBDDCBF7A Time : 0.0 sec. user=mdettweiler [2016-05-17 05:19:17] 883*2^1429435-1 is not prime. Res64: 2938DA2B202A0BBF Time : 0.0 sec. user=mdettweiler [2016-05-17 05:19:17] 925*2^1429435-1 is not prime. Res64: 86B77DDC9BA89666 Time : 0.0 sec. user=mdettweiler [2016-05-17 05:19:18] 735*2^1429436-1 is not prime. Res64: A42FA3C85477D8AD Time : 0.0 sec. user=mdettweiler [2016-05-17 05:19:18] 621*2^1429437-1 is not prime. Res64: A7C3FBB434A04FF7 Time : 0.0 sec. user=mdettweiler [2016-05-17 05:19:18] 741*2^1429437-1 is not prime. Res64: 33D690807A4F9848 Time : 0.0 sec. user=mdettweiler [2016-05-17 05:38:37] 871*2^1429437-1 is not prime. Res64: C23F7C35CB75A65A Time : 0.0 sec. user=mdettweiler [2016-05-17 05:38:38] 889*2^1429437-1 is not prime. Res64: EEA750768B866EF0 Time : 0.0 sec. user=mdettweiler [2016-05-17 05:38:38] 937*2^1429437-1 is not prime. Res64: 52FFBB6E10A7BECB Time : 0.0 sec. user=mdettweiler [2016-05-17 05:38:38] 621*2^1429438-1 is not prime. Res64: 48474A0A45584FFC Time : 0.0 sec. user=mdettweiler [2016-05-17 05:38:39] 791*2^1429438-1 is not prime. Res64: 70887EF2903A3F9D Time : 0.0 sec. user=mdettweiler [2016-05-17 05:38:40] 711*2^1429439-1 is not prime. Res64: 3B0DC320328BA67F Time : 0.0 sec. user=mdettweiler [2016-05-17 05:38:41] 753*2^1429439-1 is not prime. Res64: C05F513C4364A3E7 Time : 0.0 sec. user=mdettweiler [2016-05-17 05:38:41] 811*2^1429439-1 is not prime. Res64: E7C1A303EFAD0B1E Time : 0.0 sec. user=mdettweiler [2016-05-17 05:38:42] 841*2^1429439-1 is not prime. Res64: C5BBDB9BC0B8939D Time : 0.0 sec. user=mdettweiler [2016-05-17 05:38:42] 855*2^1429439-1 is not prime. Res64: BD4CE61C66E5C4CB Time : 0.0 sec. user=mdettweiler [2016-05-17 05:39:07] 865*2^1429439-1 is not prime. Res64: 253FCEC7AF8A4921 Time : 0.0 sec. user=mdettweiler [2016-05-17 05:39:07] 931*2^1429439-1 is not prime. Res64: C0401BC4B140071A Time : 0.0 sec. user=mdettweiler [2016-05-17 05:39:08] 609*2^1429440-1 is not prime. Res64: 31595CA72F468F64 Time : 0.0 sec. user=mdettweiler [2016-05-17 05:39:08] 653*2^1429440-1 is not prime. Res64: CDCC6D631BE556B9 Time : 0.0 sec. user=mdettweiler [2016-05-17 05:39:08] 747*2^1429440-1 is not prime. Res64: 917C0214C0C89ACB Time : 0.0 sec. user=mdettweiler [2016-05-17 06:04:16] 765*2^1429440-1 is not prime. Res64: 81E9F975F5C9CFEB Time : 0.0 sec. user=mdettweiler [2016-05-17 06:04:17] 839*2^1429440-1 is not prime. Res64: E29656FA3C77A147 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:04:18] 927*2^1429440-1 is not prime. Res64: CC18AFE97DA78D6D Time : 0.0 sec. user=mdettweiler [2016-05-17 06:04:19] 959*2^1429440-1 is not prime. Res64: 94D79DD62FDEB829 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:04:20] 639*2^1429441-1 is not prime. Res64: 04DE26F6E337EF23 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:23:32] 675*2^1429441-1 is not prime. Res64: 41B6AFAF58131F82 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:23:32] 681*2^1429441-1 is not prime. Res64: C4DD2DE3F6B0BB96 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:23:33] 981*2^1429441-1 is not prime. Res64: 7767C6CA5CA31A35 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:23:33] 987*2^1429441-1 is not prime. Res64: DDDEDF6F6E3C84D7 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:23:33] 665*2^1429442-1 is not prime. Res64: 3314E6D2B2F8010E Time : 0.0 sec. user=mdettweiler [2016-05-17 06:23:37] 713*2^1429442-1 is not prime. Res64: 181707E3F50E36B7 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:23:37] 735*2^1429442-1 is not prime. Res64: AA167FF4CA56604C Time : 0.0 sec. user=mdettweiler [2016-05-17 06:23:38] 741*2^1429442-1 is not prime. Res64: 11C0D60BDAA0D3A6 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:23:38] 977*2^1429442-1 is not prime. Res64: C2E5E3CA805996C6 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:23:39] 643*2^1429443-1 is not prime. Res64: 14E6347B2C48669C Time : 0.0 sec. user=mdettweiler [2016-05-17 06:24:06] 649*2^1429443-1 is not prime. Res64: 0BA6F968C5722CD3 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:24:06] 675*2^1429443-1 is not prime. Res64: B7C9EC808BF202FE Time : 0.0 sec. user=mdettweiler [2016-05-17 06:24:06] 691*2^1429443-1 is not prime. Res64: C989C8A7716BF1B6 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:24:07] 705*2^1429443-1 is not prime. Res64: 5B2B49B5C12FA84B Time : 0.0 sec. user=mdettweiler [2016-05-17 06:24:07] 943*2^1429443-1 is not prime. Res64: 6444FB79077A9C05 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:49:19] 635*2^1429444-1 is not prime. Res64: C6FEC28DB64141E0 Time : 0.0 sec. user=mdettweiler [2016-05-17 06:49:20] 827*2^1429444-1 is not prime. Res64: 8561F8D7B4F05E2C Time : 0.0 sec. user=mdettweiler [2016-05-17 06:49:20] 711*2^1429445-1 is not prime. Res64: 64F13E3FD95F59AA Time : 0.0 sec. user=mdettweiler [2016-05-17 06:49:20] 741*2^1429445-1 is not prime. Res64: DE4182BBE7EE5BEF Time : 0.0 sec. user=mdettweiler [2016-05-17 06:49:21] 865*2^1429445-1 is not prime. Res64: 9CC44122B7226B30 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:25] 945*2^1429448-1 is not prime. Res64: F06B9FD28158D196 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:26] 681*2^1429449-1 is not prime. Res64: 4E2A1AE1ED016D9C Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:26] 747*2^1429449-1 is not prime. Res64: 14B6474EE97CFA33 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:26] 847*2^1429449-1 is not prime. Res64: 71E26174AA7FF0EF Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:27] 955*2^1429449-1 is not prime. Res64: 347A6B9D19777AF0 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:28] 871*2^1429445-1 is not prime. Res64: 5FED0EAF6CC22BC8 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:28] 873*2^1429446-1 is not prime. Res64: A95E1EE80A9C1ACC Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:29] 819*2^1429447-1 is not prime. Res64: 5406D2C957E6B1F2 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:29] 873*2^1429447-1 is not prime. Res64: 3C592486EE4009DE Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:30] 663*2^1429448-1 is not prime. Res64: 8C5344864B54D4B5 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:52] 611*2^1429450-1 is not prime. Res64: 166A6FF61C58804F Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:52] 657*2^1429450-1 is not prime. Res64: 236F29BA2E811FE9 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:53] 723*2^1429450-1 is not prime. Res64: FEE2194A1E663AF9 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:53] 981*2^1429450-1 is not prime. Res64: 2B61BC1682F84885 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:08:53] 987*2^1429450-1 is not prime. Res64: 7CF5F83E80B541ED Time : 0.0 sec. user=mdettweiler [2016-05-17 07:34:14] 995*2^1429450-1 is not prime. Res64: C56E833FBB74AB0D Time : 0.0 sec. user=mdettweiler [2016-05-17 07:34:14] 615*2^1429451-1 is not prime. Res64: 27BE15C91FFEDC46 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:34:14] 693*2^1429451-1 is not prime. Res64: 5506BC5B88E7AAC7 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:34:15] 843*2^1429451-1 is not prime. Res64: 149A2B6FA82C03E4 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:34:15] 871*2^1429451-1 is not prime. Res64: A0F4F3D68C9D42DE Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:14] 899*2^1429452-1 is not prime. Res64: 8B33AC65BE06351B Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:15] 923*2^1429452-1 is not prime. Res64: C46072EA9CF890CE Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:15] 945*2^1429452-1 is not prime. Res64: 347EDD6597DE7727 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:15] 947*2^1429452-1 is not prime. Res64: DC857F17A01B7296 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:16] 757*2^1429453-1 is not prime. Res64: EDF208A0CB4B3641 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:18] 883*2^1429451-1 is not prime. Res64: 388C8E8CCA341A31 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:18] 903*2^1429451-1 is not prime. Res64: 6FE378EE873094BC Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:19] 979*2^1429451-1 is not prime. Res64: 66DA8557A98C9E1D Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:19] 629*2^1429452-1 is not prime. Res64: 98E501FDCB04F210 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:20] 693*2^1429452-1 is not prime. Res64: 6E016ABC47636592 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:44] 925*2^1429453-1 is not prime. Res64: 7010FCB173B76E4C Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:45] 961*2^1429453-1 is not prime. Res64: B92E697CD185B3BD Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:45] 675*2^1429454-1 is not prime. Res64: D96BB820997ED4DD Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:46] 831*2^1429454-1 is not prime. Res64: CB96503D2C47A115 Time : 0.0 sec. user=mdettweiler [2016-05-17 07:53:46] 833*2^1429454-1 is not prime. Res64: FA65CB757AB690CE Time : 0.0 sec. user=mdettweiler [2016-05-17 08:19:04] 861*2^1429454-1 is not prime. Res64: 473B3459452428AA Time : 0.0 sec. user=mdettweiler [2016-05-17 08:19:04] 1001*2^1429454-1 is not prime. Res64: FE275E28607DCA32 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:19:04] 675*2^1429455-1 is not prime. Res64: 6AFF512CE101C2B1 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:19:05] 735*2^1429455-1 is not prime. Res64: 66C83F19AB4C4A50 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:19:05] 765*2^1429455-1 is not prime. Res64: 346A2BDE5DD961F4 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:08] 949*2^1429455-1 is not prime. Res64: BC9EF4A7BF87B71D Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:08] 951*2^1429455-1 is not prime. Res64: C9E30DF91EE6D45B Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:09] 663*2^1429456-1 is not prime. Res64: 34B1330499641F1E Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:09] 719*2^1429456-1 is not prime. Res64: 84F0B92187EF63C5 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:09] 873*2^1429456-1 is not prime. Res64: B7CD623E171E1FD8 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:11] 775*2^1429455-1 is not prime. Res64: 256ED987E6F35AE5 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:12] 781*2^1429455-1 is not prime. Res64: 9D592FED51878775 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:12] 853*2^1429455-1 is not prime. Res64: DE0C14CE46560343 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:12] 859*2^1429455-1 is not prime. Res64: 79713E1F3FDBF252 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:13] 861*2^1429455-1 is not prime. Res64: 71194B819F71E865 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:44] 989*2^1429456-1 is not prime. Res64: 3CD1FC7BBD47E9DA Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:44] 993*2^1429456-1 is not prime. Res64: 2F39203E7FF31B82 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:45] 631*2^1429457-1 is not prime. Res64: DFA7FC4CA415B5FD Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:45] 697*2^1429457-1 is not prime. Res64: BD399EB6D55059E4 Time : 0.0 sec. user=mdettweiler [2016-05-17 08:38:46] 747*2^1429457-1 is not prime. Res64: 27F81B4A303A431D Time : 0.0 sec. user=mdettweiler [2016-05-17 09:04:00] 909*2^1429457-1 is not prime. Res64: 72BE965FE2E7E9B8 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:04:01] 937*2^1429457-1 is not prime. Res64: FE75781641F48267 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:04:02] 967*2^1429457-1 is not prime. Res64: 55FC3BC2CB3CC2CE Time : 0.0 sec. user=mdettweiler [2016-05-17 09:04:04] 647*2^1429458-1 is not prime. Res64: 20A071CF2A35644F Time : 0.0 sec. user=mdettweiler [2016-05-17 09:04:05] 651*2^1429458-1 is not prime. Res64: 4615D9AA62DA1CC0 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:00] 663*2^1429458-1 is not prime. Res64: F6E056FA6C9C77CF Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:00] 833*2^1429458-1 is not prime. Res64: 0F91E8B06E7F52A5 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:02] 671*2^1429458-1 is not prime. Res64: 3AB40227F2221006 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:03] 927*2^1429458-1 is not prime. Res64: DA64F8DA3CE9BD9B Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:03] 705*2^1429458-1 is not prime. Res64: AB95C5FC5B90FD33 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:04] 971*2^1429458-1 is not prime. Res64: E69E6E8499F93A5A Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:05] 711*2^1429458-1 is not prime. Res64: 1B1FC94621FD37F1 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:05] 633*2^1429459-1 is not prime. Res64: E97CD4D26BAAD3AE Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:06] 755*2^1429458-1 is not prime. Res64: 8C1982A83B74BB89 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:06] 645*2^1429459-1 is not prime. Res64: 40C6693D4EEB9B9B Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:42] 691*2^1429459-1 is not prime. Res64: 490EA206661C3D8A Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:43] 709*2^1429459-1 is not prime. Res64: 15BE5F79B7E290D5 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:44] 723*2^1429459-1 is not prime. Res64: EB5287AEC11A4D9A Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:45] 735*2^1429459-1 is not prime. Res64: F44492E6FFB838A7 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:23:45] 861*2^1429459-1 is not prime. Res64: A183FAAD6695650C Time : 0.0 sec. user=mdettweiler [2016-05-17 09:49:15] 825*2^1429460-1 is not prime. Res64: 1AD7191E3269EB48 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:49:15] 923*2^1429460-1 is not prime. Res64: 6857F0185B3C7423 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:49:16] 935*2^1429460-1 is not prime. Res64: 3D29E0452425EE12 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:49:16] 963*2^1429460-1 is not prime. Res64: E7DE1E8A239457F4 Time : 0.0 sec. user=mdettweiler [2016-05-17 09:49:16] 675*2^1429461-1 is not prime. Res64: D47A297E09D4CC38 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:03] 741*2^1429461-1 is not prime. Res64: 06679354BAFB555F Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:08] 817*2^1429461-1 is not prime. Res64: DACF6B2904BA6877 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:09] 861*2^1429461-1 is not prime. Res64: 13922DC2478F9017 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:11] 961*2^1429461-1 is not prime. Res64: A4405F01EC09804B Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:12] 969*2^1429461-1 is not prime. Res64: 5BF3F03C26CC2FC3 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:15] 657*2^1429462-1 is not prime. Res64: BE1A63992EF5D234 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:17] 855*2^1429462-1 is not prime. Res64: 8E522E72B3369C3A Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:23] 915*2^1429462-1 is not prime. Res64: 855A2C230864CBEB Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:25] 669*2^1429463-1 is not prime. Res64: E0184C8A4E593061 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:27] 939*2^1429463-1 is not prime. Res64: 87C59F1C0BEAD003 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:54] 985*2^1429463-1 is not prime. Res64: 07E7A7C838897118 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:56] 635*2^1429464-1 is not prime. Res64: C98CBD642C17F825 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:57] 849*2^1429464-1 is not prime. Res64: E7BE41879426501C Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:58] 863*2^1429464-1 is not prime. Res64: 8A3A5A2840CE8818 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:09:59] 607*2^1429465-1 is not prime. Res64: A56C75CF440915E5 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:35:44] 619*2^1429465-1 is not prime. Res64: 254E62E12FE59FE2 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:35:44] 691*2^1429465-1 is not prime. Res64: 5F09F865A0A36C8A Time : 0.0 sec. user=mdettweiler [2016-05-17 10:35:45] 617*2^1429466-1 is not prime. Res64: E56F784CA12CCDB4 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:35:45] 677*2^1429466-1 is not prime. Res64: C64C5B0B915877CB Time : 0.0 sec. user=mdettweiler [2016-05-17 10:35:45] 701*2^1429466-1 is not prime. Res64: B5EBDDBE83BCA9FF Time : 0.0 sec. user=mdettweiler [2016-05-17 10:54:58] 795*2^1429467-1 is not prime. Res64: 5D9F822E6F510D13 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:54:58] 819*2^1429467-1 is not prime. Res64: 2ABEA079BF725FEA Time : 0.0 sec. user=mdettweiler [2016-05-17 10:54:59] 859*2^1429467-1 is not prime. Res64: 15B9D6F1B0976C5B Time : 0.0 sec. user=mdettweiler [2016-05-17 10:54:59] 871*2^1429467-1 is not prime. Res64: 00F458F162B51E67 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:55:00] 913*2^1429467-1 is not prime. Res64: A56C89686226F8CA Time : 0.0 sec. user=mdettweiler [2016-05-17 10:55:02] 785*2^1429466-1 is not prime. Res64: F76FB6442CB1391A Time : 0.0 sec. user=mdettweiler [2016-05-17 10:55:02] 861*2^1429466-1 is not prime. Res64: AB78CEA8BF32D6DA Time : 0.0 sec. user=mdettweiler [2016-05-17 10:55:03] 867*2^1429466-1 is not prime. Res64: A059AE2827A47B7E Time : 0.0 sec. user=mdettweiler [2016-05-17 10:55:03] 873*2^1429466-1 is not prime. Res64: 7C5D55C73BF67769 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:55:03] 753*2^1429467-1 is not prime. Res64: AE116B1B7D39EEDE Time : 0.0 sec. user=mdettweiler [2016-05-17 10:55:23] 945*2^1429467-1 is not prime. Res64: 2C8987BF1FD47577 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:55:23] 647*2^1429468-1 is not prime. Res64: 47927361F3FDD777 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:55:23] 705*2^1429468-1 is not prime. Res64: 3B2BB8B820AAC8AE Time : 0.0 sec. user=mdettweiler [2016-05-17 10:55:24] 723*2^1429468-1 is not prime. Res64: A93D5BB57456B517 Time : 0.0 sec. user=mdettweiler [2016-05-17 10:55:24] 833*2^1429468-1 is not prime. Res64: E93A0E782C3412E8 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:21:03] 655*2^1429469-1 is not prime. Res64: 9B656C99E9C91F0B Time : 0.0 sec. user=mdettweiler [2016-05-17 11:21:04] 787*2^1429469-1 is not prime. Res64: 88F38C3F46A47D32 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:21:04] 855*2^1429469-1 is not prime. Res64: 47204BD480B55900 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:21:04] 867*2^1429469-1 is not prime. Res64: 509CDD79D2F713E0 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:21:05] 985*2^1429469-1 is not prime. Res64: 706D13BF442CBA08 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:03] 791*2^1429470-1 is not prime. Res64: 51F7C4233ACAD710 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:04] 873*2^1429470-1 is not prime. Res64: D60E5803F03992F1 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:04] 645*2^1429471-1 is not prime. Res64: D3E8BE6716B4A72C Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:05] 651*2^1429471-1 is not prime. Res64: 22BF6267503E9092 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:05] 663*2^1429471-1 is not prime. Res64: E3640AA0BE8D05C2 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:12] 705*2^1429471-1 is not prime. Res64: 0F68CE80E635DA55 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:12] 735*2^1429471-1 is not prime. Res64: F7B2168B05AB6D57 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:12] 769*2^1429471-1 is not prime. Res64: D29450B737C33A69 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:13] 783*2^1429471-1 is not prime. Res64: 22F99F8E875E3017 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:13] 819*2^1429471-1 is not prime. Res64: D77B6A59C3991DD4 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:23] 901*2^1429471-1 is not prime. Res64: 5FF550799480C4E1 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:23] 909*2^1429471-1 is not prime. Res64: EB737E357E8740B0 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:23] 933*2^1429471-1 is not prime. Res64: 9B46D3EE1312150D Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:24] 961*2^1429471-1 is not prime. Res64: 6D58B4576E54E012 Time : 0.0 sec. user=mdettweiler [2016-05-17 11:40:24] 973*2^1429471-1 is not prime. Res64: 5BB16CD24C7BBD03 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:08:46] 975*2^1429471-1 is not prime. Res64: 0E0E957EE70274A2 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:08:48] 605*2^1429472-1 is not prime. Res64: 998242EDC186B8DD Time : 0.0 sec. user=mdettweiler [2016-05-17 12:08:50] 615*2^1429472-1 is not prime. Res64: E368C6B42ADF6D4E Time : 0.0 sec. user=mdettweiler [2016-05-17 12:08:52] 665*2^1429472-1 is not prime. Res64: 0C8B3B65AC6306F0 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:08:53] 669*2^1429472-1 is not prime. Res64: 412B453A52F12562 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:30] 727*2^1429473-1 is not prime. Res64: 97DA2386072B6505 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:31] 745*2^1429473-1 is not prime. Res64: F54CE7601062AA3A Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:31] 937*2^1429473-1 is not prime. Res64: C91CE2A38BC5D3ED Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:31] 979*2^1429473-1 is not prime. Res64: 99CD141F3CA8751A Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:32] 657*2^1429474-1 is not prime. Res64: B6141E06626E02FB Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:48] 773*2^1429474-1 is not prime. Res64: D4DE6945EE38CC28 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:48] 813*2^1429474-1 is not prime. Res64: F4A69E8D888D4566 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:48] 825*2^1429474-1 is not prime. Res64: 766B976133243AFD Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:49] 945*2^1429474-1 is not prime. Res64: 90A2AF539BBBFC7E Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:49] 987*2^1429474-1 is not prime. Res64: F62CD9DA825066C8 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:51] 993*2^1429474-1 is not prime. Res64: C6EE69E5ABA14FA9 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:52] 643*2^1429475-1 is not prime. Res64: 5F30F62077145E45 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:52] 663*2^1429475-1 is not prime. Res64: 7DD9ECE65064C1C1 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:52] 735*2^1429475-1 is not prime. Res64: 634158F9690E56AC Time : 0.0 sec. user=mdettweiler [2016-05-17 12:28:53] 771*2^1429475-1 is not prime. Res64: 43660743A8919ECE Time : 0.0 sec. user=mdettweiler [2016-05-17 12:55:37] 823*2^1429475-1 is not prime. Res64: 2CB633542097AAFD Time : 0.0 sec. user=mdettweiler [2016-05-17 12:55:37] 871*2^1429475-1 is not prime. Res64: 5A3B2496AFD07D1E Time : 0.0 sec. user=mdettweiler [2016-05-17 12:55:37] 913*2^1429475-1 is not prime. Res64: A467E4C43E137373 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:55:38] 629*2^1429476-1 is not prime. Res64: B52C315EC1727B93 Time : 0.0 sec. user=mdettweiler [2016-05-17 12:55:38] 675*2^1429476-1 is not prime. Res64: 3CA01DA6C0F13467 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:38] 719*2^1429476-1 is not prime. Res64: B12CCA974D93B0EE Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:38] 825*2^1429476-1 is not prime. Res64: E79E039031A64432 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:39] 875*2^1429476-1 is not prime. Res64: 9EEE6B20E44EA8AF Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:39] 801*2^1429477-1 is not prime. Res64: DFEE018C7FD83BF1 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:39] 879*2^1429476-1 is not prime. Res64: 924AD1CFA6BC159C Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:39] 831*2^1429477-1 is not prime. Res64: 3F97938A0ECA6C53 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:40] 607*2^1429477-1 is not prime. Res64: DF8903BA38E1B5CB Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:40] 985*2^1429477-1 is not prime. Res64: C9C8ED5FDFA5843F Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:40] 605*2^1429478-1 is not prime. Res64: 734FBEFD81612596 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:41] 665*2^1429478-1 is not prime. Res64: AA6E9B791DABA810 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:57] 717*2^1429477-1 is not prime. Res64: 45F541B545DC6099 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:57] 741*2^1429477-1 is not prime. Res64: EC66EBE17C7FA17E Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:57] 747*2^1429477-1 is not prime. Res64: B87FA30EECC486E3 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:58] 771*2^1429477-1 is not prime. Res64: F6F2E6647387C14D Time : 0.0 sec. user=mdettweiler [2016-05-17 13:14:58] 799*2^1429477-1 is not prime. Res64: F16E9D2802C7D09D Time : 0.0 sec. user=mdettweiler [2016-05-17 13:40:47] 711*2^1429478-1 is not prime. Res64: F94A7AF42A729C26 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:40:48] 825*2^1429478-1 is not prime. Res64: C5DF2A7A1A0A4FAA Time : 0.0 sec. user=mdettweiler [2016-05-17 13:40:48] 827*2^1429478-1 is not prime. Res64: DE3D6E1BDD7427D3 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:40:49] 875*2^1429478-1 is not prime. Res64: A0A051FFC255B3AC Time : 0.0 sec. user=mdettweiler [2016-05-17 13:40:49] 945*2^1429478-1 is not prime. Res64: EEEA488B65B3E383 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:24] 661*2^1429479-1 is not prime. Res64: EB2A060536798D30 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:25] 735*2^1429479-1 is not prime. Res64: 244967555AFD06A9 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:25] 789*2^1429479-1 is not prime. Res64: C23DDF55A26B86DB Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:26] 955*2^1429479-1 is not prime. Res64: 908BDC087E6C5D96 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:26] 973*2^1429479-1 is not prime. Res64: E5B21315A826F31E Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:33] 603*2^1429480-1 is not prime. Res64: 366A5A48CD756C34 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:33] 615*2^1429480-1 is not prime. Res64: 9936529D966FE739 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:34] 707*2^1429480-1 is not prime. Res64: D06CEEEA48F6CBC0 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:34] 803*2^1429480-1 is not prime. Res64: 8239D635DD5926B9 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:34] 855*2^1429480-1 is not prime. Res64: 52730DAE380E7EB5 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:37] 863*2^1429480-1 is not prime. Res64: 91C7090BBA520CB0 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:37] 917*2^1429480-1 is not prime. Res64: 01EFA05F799DCB80 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:37] 927*2^1429480-1 is not prime. Res64: ACFBC46FE65FE3D2 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:38] 989*2^1429480-1 is not prime. Res64: 18B71BD20D236710 Time : 0.0 sec. user=mdettweiler [2016-05-17 13:59:38] 601*2^1429481-1 is not prime. Res64: F17F5DEB578FF2AD Time : 0.0 sec. user=mdettweiler [2016-05-17 14:25:39] 607*2^1429481-1 is not prime. Res64: 0BA4D00AABF15D60 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:25:40] 615*2^1429481-1 is not prime. Res64: 6DAD816267690FB3 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:25:40] 637*2^1429481-1 is not prime. Res64: 90DDC320F02FDD94 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:25:41] 645*2^1429481-1 is not prime. Res64: 4A6452BB37158B23 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:25:41] 795*2^1429481-1 is not prime. Res64: B0E70244B07CB026 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:16] 829*2^1429481-1 is not prime. Res64: 8326CE5F2282FEF9 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:17] 871*2^1429481-1 is not prime. Res64: 2D9C7BAE8CD2822C Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:17] 611*2^1429482-1 is not prime. Res64: A8F452643CC77803 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:18] 777*2^1429482-1 is not prime. Res64: 428ED26E19D6D9A0 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:18] 873*2^1429482-1 is not prime. Res64: 95811A4089619917 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:22] 891*2^1429482-1 is not prime. Res64: C98F1579D20459F9 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:22] 951*2^1429482-1 is not prime. Res64: 4E80EB786B464DEA Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:22] 885*2^1429483-1 is not prime. Res64: 4B35C00FABB08943 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:23] 663*2^1429483-1 is not prime. Res64: 9C722FE08C6773A3 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:23] 993*2^1429483-1 is not prime. Res64: 7D8BDC77C76BC8B4 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:23] 723*2^1429483-1 is not prime. Res64: 2063E6DFCC47F090 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:23] 657*2^1429484-1 is not prime. Res64: 3958393E5F2E2233 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:23] 765*2^1429483-1 is not prime. Res64: 68C0303562BE3238 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:23] 677*2^1429484-1 is not prime. Res64: CA39B581D93B2194 Time : 0.0 sec. user=mdettweiler [2016-05-17 14:44:24] 707*2^1429484-1 is not prime. Res64: 2E225E2B6F3DE757 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:10:20] 995*2^1429484-1 is not prime. Res64: 2B3D6CDE52445BA0 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:10:20] 781*2^1429485-1 is not prime. Res64: 03BEAB7964781DC0 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:10:21] 861*2^1429485-1 is not prime. Res64: 8BE8595A24E6ECD9 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:10:21] 951*2^1429485-1 is not prime. Res64: DE8155E94C2B7A2D Time : 0.0 sec. user=mdettweiler [2016-05-17 15:10:22] 975*2^1429485-1 is not prime. Res64: 2EA731AFE9AD2165 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:10] 601*2^1429487-1 is not prime. Res64: 8111BC974C2D7933 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:10] 997*2^1429485-1 is not prime. Res64: 810070698F627756 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:10] 609*2^1429487-1 is not prime. Res64: 0BCDD8CC5B4A428D Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:10] 815*2^1429486-1 is not prime. Res64: DFD17AC160FAF4EE Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:11] 619*2^1429487-1 is not prime. Res64: D7FD538F30FDF0CE Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:11] 911*2^1429486-1 is not prime. Res64: 780B744B6EDAD205 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:11] 621*2^1429487-1 is not prime. Res64: A9925F91935E452E Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:11] 917*2^1429486-1 is not prime. Res64: 73FE4FCF4D33571E Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:11] 669*2^1429487-1 is not prime. Res64: 864061F3DB210459 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:12] 987*2^1429486-1 is not prime. Res64: B5FE1F4FFAA80D2E Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:13] 729*2^1429487-1 is not prime. Res64: 93C7EEA88C84FF4E Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:13] 741*2^1429487-1 is not prime. Res64: 2C89435E799A6311 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:14] 945*2^1429487-1 is not prime. Res64: 631E9B0C26E62915 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:14] 725*2^1429488-1 is not prime. Res64: FF5D974852BBC1EA Time : 0.0 sec. user=mdettweiler [2016-05-17 15:29:15] 737*2^1429488-1 is not prime. Res64: 61ADB86014CA0071 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:55:06] 759*2^1429488-1 is not prime. Res64: FF38ACE45359096D Time : 0.0 sec. user=mdettweiler [2016-05-17 15:55:07] 765*2^1429488-1 is not prime. Res64: 08B5B0C85BCF0E1F Time : 0.0 sec. user=mdettweiler [2016-05-17 15:55:07] 893*2^1429488-1 is not prime. Res64: 026D227D1341E03A Time : 0.0 sec. user=mdettweiler [2016-05-17 15:55:07] 945*2^1429488-1 is not prime. Res64: 962AAA2BE0DD93C4 Time : 0.0 sec. user=mdettweiler [2016-05-17 15:55:08] 615*2^1429489-1 is not prime. Res64: 86F4B1916F0927FB Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:03] 721*2^1429489-1 is not prime. Res64: 6153F85823C940F7 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:04] 765*2^1429489-1 is not prime. Res64: 33A991AB8F268356 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:04] 807*2^1429489-1 is not prime. Res64: 096ABD2AF0F0EFC9 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:04] 817*2^1429489-1 is not prime. Res64: FD9901E374A1FC35 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:05] 877*2^1429489-1 is not prime. Res64: 27BD381E835180A8 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:05] 857*2^1429490-1 is not prime. Res64: F7F05477E97FA90C Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:06] 893*2^1429490-1 is not prime. Res64: ACDB3611DC5E67FD Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:06] 935*2^1429490-1 is not prime. Res64: 6697168F3B14D333 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:06] 951*2^1429490-1 is not prime. Res64: 8B71302E16775ADF Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:07] 621*2^1429491-1 is not prime. Res64: 19E8D1DD5C2F34F9 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:12] 895*2^1429489-1 is not prime. Res64: 43E4B8B1B37EA853 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:12] 623*2^1429490-1 is not prime. Res64: 6760BE04EB80A705 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:12] 687*2^1429490-1 is not prime. Res64: 65A100E8BB348FAF Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:13] 741*2^1429490-1 is not prime. Res64: 56942F011E79F3EB Time : 0.0 sec. user=mdettweiler [2016-05-17 16:14:13] 801*2^1429490-1 is not prime. Res64: B366537792CA6381 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:40:11] 783*2^1429491-1 is not prime. Res64: 8466ED350E89DD3A Time : 0.0 sec. user=mdettweiler [2016-05-17 16:40:11] 871*2^1429491-1 is not prime. Res64: EF8F59B629D54B3F Time : 0.0 sec. user=mdettweiler [2016-05-17 16:40:12] 901*2^1429491-1 is not prime. Res64: A33BB8078C8A1293 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:40:12] 921*2^1429491-1 is not prime. Res64: E961F71545C9B3DF Time : 0.0 sec. user=mdettweiler [2016-05-17 16:40:13] 969*2^1429491-1 is not prime. Res64: 4E2DBC04F0563606 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:06] 657*2^1429493-1 is not prime. Res64: 0DDAD458E6566DDA Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:07] 745*2^1429493-1 is not prime. Res64: 4CBE18A4E66959C8 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:07] 747*2^1429493-1 is not prime. Res64: A9ACD6CDEB7DDCC5 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:07] 897*2^1429493-1 is not prime. Res64: DA7A8F92F3F8B4DE Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:08] 979*2^1429493-1 is not prime. Res64: D06539EE252B63E8 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:13] 647*2^1429492-1 is not prime. Res64: 9D9825883BD5F460 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:14] 653*2^1429492-1 is not prime. Res64: C4A3A4092E84DA77 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:14] 803*2^1429492-1 is not prime. Res64: C70A74F2607B56F4 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:14] 999*2^1429492-1 is not prime. Res64: 3462B18E5EFE4320 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:15] 607*2^1429493-1 is not prime. Res64: 8BC7FBD10A46840D Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:21] 795*2^1429494-1 is not prime. Res64: 65C4740A669AF2E2 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:22] 821*2^1429494-1 is not prime. Res64: E6897D5A2FDF9D9E Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:22] 893*2^1429494-1 is not prime. Res64: F34AB0A72CE63821 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:22] 947*2^1429494-1 is not prime. Res64: 86FB6D73DE19C6B1 Time : 0.0 sec. user=mdettweiler [2016-05-17 16:59:23] 993*2^1429494-1 is not prime. Res64: D288B13E0734518D Time : 0.0 sec. user=mdettweiler [2016-05-17 17:25:05] 789*2^1429495-1 is not prime. Res64: 1EF6D34296633044 Time : 0.0 sec. user=mdettweiler [2016-05-17 17:25:05] 829*2^1429495-1 is not prime. Res64: 72B48115C3BE7E09 Time : 0.0 sec. user=mdettweiler [2016-05-17 17:25:06] 841*2^1429495-1 is not prime. Res64: B6D32C5D2687DC5A Time : 0.0 sec. user=mdettweiler [2016-05-17 17:25:07] 883*2^1429495-1 is not prime. Res64: AF8321EBE0EE9F9E Time : 0.0 sec. user=mdettweiler [2016-05-17 17:25:08] 913*2^1429495-1 is not prime. Res64: 07DB4E61C3DA0B63 Time : 0.0 sec. user=mdettweiler [2016-05-17 17:43:56] 603*2^1429496-1 is not prime. Res64: FFEC1268E75374FA Time : 0.0 sec. user=mdettweiler [2016-05-17 17:43:57] 675*2^1429496-1 is not prime. Res64: A22105AD38F32825 Time : 0.0 sec. user=mdettweiler [2016-05-17 17:43:57] 689*2^1429496-1 is not prime. Res64: A467819CEB89A99F Time : 0.0 sec. user=mdettweiler [2016-05-17 17:43:58] 773*2^1429496-1 is not prime. Res64: 3B7BB476DF67040A Time : 0.0 sec. user=mdettweiler [2016-05-17 17:43:58] 615*2^1429497-1 is not prime. Res64: 28A8198CB7011257 Time : 0.0 sec. user=mdettweiler [2016-05-17 17:44:08] 649*2^1429497-1 is not prime. Res64: 9464A38B00C41968 Time : 0.0 sec. user=mdettweiler [2016-05-17 17:44:08] 667*2^1429497-1 is not prime. Res64: DCCF396B7B7FF1AD Time : 0.0 sec. user=mdettweiler [2016-05-17 17:44:08] 795*2^1429497-1 is not prime. Res64: 24C6895A7F9A7C8F Time : 0.0 sec. user=mdettweiler [2016-05-17 17:44:08] 681*2^1429497-1 is not prime. Res64: 3F54A978F027BEC0 Time : 0.0 sec. user=mdettweiler [2016-05-17 17:44:09] 871*2^1429497-1 is not prime. Res64: A8F9EA39E4C78C0B Time : 0.0 sec. user=mdettweiler [2016-05-17 17:44:09] 747*2^1429497-1 is not prime. Res64: 64B06FF54753AB9C Time : 0.0 sec. user=mdettweiler [2016-05-17 17:44:09] 647*2^1429498-1 is not prime. Res64: 3522A4832B1A80D6 Time : 0.0 sec. user=mdettweiler [2016-05-17 17:44:09] 765*2^1429497-1 is not prime. Res64: EFA6101653589556 Time : 0.0 sec. user=mdettweiler [2016-05-17 17:44:09] 663*2^1429498-1 is not prime. Res64: 3AEB6121D667A5AD Time : 0.0 sec. user=mdettweiler [2016-05-17 17:44:10] 707*2^1429498-1 is not prime. Res64: 7B6C07D5EA5EBF26 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:09:57] 821*2^1429498-1 is not prime. Res64: 89F79B434FFBB27A Time : 0.0 sec. user=mdettweiler [2016-05-17 18:09:58] 631*2^1429499-1 is not prime. Res64: FC77932FF02E6B2E Time : 0.0 sec. user=mdettweiler [2016-05-17 18:10:00] 675*2^1429499-1 is not prime. Res64: 6C18762CA17C1C14 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:10:03] 741*2^1429499-1 is not prime. Res64: 261A9CBD7CF16DDC Time : 0.0 sec. user=mdettweiler [2016-05-17 18:10:04] 801*2^1429499-1 is not prime. Res64: E7EE52E2A723D2E4 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:43] 859*2^1429499-1 is not prime. Res64: BCF91FF0B8B41D5C Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:44] 883*2^1429499-1 is not prime. Res64: 82C032A151133208 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:44] 909*2^1429499-1 is not prime. Res64: 97FF59DA06B6E302 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:45] 939*2^1429499-1 is not prime. Res64: 3296734AE64E7BF2 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:45] 647*2^1429500-1 is not prime. Res64: 141240CC5387BF28 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:49] 857*2^1429500-1 is not prime. Res64: 49DCD2D36E90BAE7 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:50] 905*2^1429500-1 is not prime. Res64: 5E0DD97A79C859F8 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:50] 909*2^1429500-1 is not prime. Res64: E630BACD3A37EBAF Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:50] 999*2^1429500-1 is not prime. Res64: 713D19D9FE26E6FE Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:51] 675*2^1429501-1 is not prime. Res64: 40B5C97E8535B74E Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:56] 689*2^1429500-1 is not prime. Res64: 54F869AF47920C28 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:56] 693*2^1429500-1 is not prime. Res64: 6CF49386023F672F Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:57] 695*2^1429500-1 is not prime. Res64: CE9F308E3D58CC5A Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:57] 723*2^1429500-1 is not prime. Res64: EC1C3E10F25B3F71 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:28:57] 795*2^1429500-1 is not prime. Res64: E0E7BC01253F840A Time : 0.0 sec. user=mdettweiler [2016-05-17 18:55:24] 769*2^1429501-1 is not prime. Res64: 00B5FD8BB12A8EE7 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:55:24] 855*2^1429501-1 is not prime. Res64: 2078F58D417F4FA5 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:55:25] 877*2^1429501-1 is not prime. Res64: 288A9E3C2B59EAA1 Time : 0.0 sec. user=mdettweiler [2016-05-17 18:55:25] 961*2^1429501-1 is not prime. Res64: 798A509015CF2F4D Time : 0.0 sec. user=mdettweiler [2016-05-17 18:55:25] 987*2^1429501-1 is not prime. Res64: 3D3A53F6D36DF56C Time : 0.0 sec. user=mdettweiler [2016-05-17 19:13:41] 691*2^1429503-1 is not prime. Res64: 1857C8C045FE7857 Time : 0.0 sec. user=mdettweiler [2016-05-17 19:13:42] 721*2^1429503-1 is not prime. Res64: B43608EC6A2C2EB5 Time : 0.0 sec. user=mdettweiler [2016-05-17 19:13:42] 751*2^1429503-1 is not prime. Res64: 31697C827AFCB6FB Time : 0.0 sec. user=mdettweiler [2016-05-17 19:13:43] 765*2^1429503-1 is not prime. Res64: 9703358B0B05DB12 Time : 0.0 sec. user=mdettweiler [2016-05-17 19:13:43] 639*2^1429504-1 is not prime. Res64: 7B51247DF0F16ED7 Time : 0.0 sec. user=mdettweiler [2016-05-17 19:13:47] 675*2^1429504-1 is not prime. Res64: E1204C614F3C22F7 Time : 0.0 sec. user=mdettweiler [2016-05-17 19:13:48] 695*2^1429504-1 is not prime. Res64: 5BF70D60E256647D Time : 0.0 sec. user=mdettweiler [2016-05-17 19:13:48] 705*2^1429504-1 is not prime. Res64: 685215F8169BC4B9 Time : 0.0 sec. user=mdettweiler [2016-05-17 19:13:48] 825*2^1429504-1 is not prime. Res64: F4099E725A381E68 Time : 0.0 sec. user=mdettweiler [2016-05-17 19:13:49] 849*2^1429504-1 is not prime. Res64: C013ABDC1D37632D Time : 0.0 sec. user=mdettweiler [2016-05-17 19:14:01] 887*2^1429504-1 is not prime. Res64: 718A4CDEC74EA21E Time : 0.0 sec. user=mdettweiler [2016-05-17 19:14:02] 975*2^1429504-1 is not prime. Res64: 96A8736AD1471458 Time : 0.0 sec. user=mdettweiler [2016-05-17 19:14:02] 699*2^1429505-1 is not prime. Res64: 2F4AA927C00CBD36 Time : 0.0 sec. user=mdettweiler [2016-05-17 19:14:03] 721*2^1429505-1 is not prime. Res64: 5B19A136B48B075B Time : 0.0 sec. user=mdettweiler [2016-05-17 19:14:03] 759*2^1429505-1 is not prime. Res64: F32C8048E12F4C34 Time : 0.0 sec. user=mdettweiler [2016-05-17 19:40:39] 771*2^1429505-1 is not prime. Res64: 26D66F9CDF80781E Time : 0.0 sec. user=mdettweiler [2016-05-17 19:40:40] 777*2^1429505-1 is not prime. Res64: 53C75D73C5A4B11C Time : 0.0 sec. user=mdettweiler [2016-05-17 19:40:40] 955*2^1429505-1 is not prime. Res64: 71F902904D8E221D Time : 0.0 sec. user=mdettweiler [2016-05-17 19:40:40] 981*2^1429505-1 is not prime. Res64: D7666AD5F0064562 Time : 0.0 sec. user=mdettweiler [2016-05-17 19:40:41] 767*2^1429506-1 is not prime. Res64: C8FB3451AC8C586B Time : 0.0 sec. user=mdettweiler [2016-05-17 20:04:53] 825*2^1429506-1 is not prime. Res64: C394C35C5A3C8D0C Time : 0.0 sec. user=mdettweiler [2016-05-17 20:04:54] 851*2^1429506-1 is not prime. Res64: D013C1C136F4004E Time : 0.0 sec. user=mdettweiler [2016-05-17 20:04:57] 923*2^1429506-1 is not prime. Res64: D2F2ACC5F98EC511 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:04:59] 947*2^1429506-1 is not prime. Res64: DFA5460C7B18E1F6 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:05:00] 971*2^1429506-1 is not prime. Res64: 0CF35B6BDA634842 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:05:28] 925*2^1429507-1 is not prime. Res64: E9166277748FC475 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:05:35] 631*2^1429507-1 is not prime. Res64: FFB1BC4B7BD48F14 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:35:24] 945*2^1429508-1 is not prime. Res64: E1CD7D57028FA6E4 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:35:25] 957*2^1429508-1 is not prime. Res64: D5A5D7BAB93C6CC3 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:35:25] 625*2^1429509-1 is not prime. Res64: 6E10051B86D835F2 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:35:26] 627*2^1429509-1 is not prime. Res64: 2235E44FF8C191E7 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:35:26] 661*2^1429509-1 is not prime. Res64: 6430498E2EB19BA8 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:56:22] 709*2^1429509-1 is not prime. Res64: 1CDD4CFF3A9ECFC1 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:56:23] 835*2^1429509-1 is not prime. Res64: 51BBB6D6C94AACEC Time : 0.0 sec. user=mdettweiler [2016-05-17 20:56:23] 921*2^1429509-1 is not prime. Res64: 45D000C5D899C3E8 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:56:24] 955*2^1429509-1 is not prime. Res64: 4BCFA67628263768 Time : 0.0 sec. user=mdettweiler [2016-05-17 20:56:24] 969*2^1429509-1 is not prime. Res64: 935B3FA475AED821 Time : 0.0 sec. user=mdettweiler [2016-05-17 21:24:40] 991*2^1429509-1 is not prime. Res64: 857EB1468BC6437B Time : 0.0 sec. user=mdettweiler [2016-05-17 21:24:42] 623*2^1429510-1 is not prime. Res64: 2B3B0CEDF8A132CD Time : 0.0 sec. user=mdettweiler [2016-05-17 21:24:44] 635*2^1429510-1 is not prime. Res64: C2DB98B12785D664 Time : 0.0 sec. user=mdettweiler [2016-05-17 21:24:46] 647*2^1429510-1 is not prime. Res64: 5EF3A96586B40D87 Time : 0.0 sec. user=mdettweiler [2016-05-17 21:24:49] 741*2^1429510-1 is not prime. Res64: 137676361B5B16D6 Time : 0.0 sec. user=mdettweiler [2016-05-17 21:45:31] 791*2^1429510-1 is not prime. Res64: AD967FA71A88E867 Time : 0.0 sec. user=mdettweiler [2016-05-17 21:45:32] 933*2^1429510-1 is not prime. Res64: 57163682944C35D1 Time : 0.0 sec. user=mdettweiler [2016-05-17 21:45:32] 603*2^1429511-1 is not prime. Res64: 13C618F626FDF6E0 Time : 0.0 sec. user=mdettweiler [2016-05-17 21:45:32] 609*2^1429511-1 is not prime. Res64: 73B443FA46F3E721 Time : 0.0 sec. user=mdettweiler [2016-05-17 21:45:33] 619*2^1429511-1 is not prime. Res64: 2BC74DE4152DD2CE Time : 0.0 sec. user=mdettweiler [2016-05-17 22:13:29] 645*2^1429511-1 is not prime. Res64: 3F4811960F517437 Time : 0.0 sec. user=mdettweiler [2016-05-17 22:13:30] 663*2^1429511-1 is not prime. Res64: F8051AF86949C417 Time : 0.0 sec. user=mdettweiler [2016-05-17 22:13:30] 735*2^1429511-1 is not prime. Res64: 378336E2305BE009 Time : 0.0 sec. user=mdettweiler [2016-05-17 22:13:31] 895*2^1429511-1 is not prime. Res64: 4F02A47F67A2AD64 Time : 0.0 sec. user=mdettweiler [2016-05-17 22:13:31] 623*2^1429512-1 is not prime. Res64: 7964CFACA0311AA0 Time : 0.0 sec. user=mdettweiler [2016-05-17 22:34:24] 615*2^1429513-1 is not prime. Res64: 6EDBE9C0838F5C6C Time : 0.0 sec. user=mdettweiler [2016-05-17 22:34:25] 639*2^1429513-1 is not prime. Res64: C629E8FFD399103B Time : 0.0 sec. user=mdettweiler [2016-05-17 22:34:25] 687*2^1429513-1 is not prime. Res64: 123532AF730AE04E Time : 0.0 sec. user=mdettweiler [2016-05-17 22:34:26] 747*2^1429513-1 is not prime. Res64: F3C0C8245BD5D0DB Time : 0.0 sec. user=mdettweiler [2016-05-17 22:34:27] 855*2^1429513-1 is not prime. Res64: 1B560DD0EE6BAC72 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:02:37] 915*2^1429513-1 is not prime. Res64: 8FCF3E4921AEA6EC Time : 0.0 sec. user=mdettweiler [2016-05-17 23:02:39] 967*2^1429513-1 is not prime. Res64: 1DC9045E10734517 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:02:40] 605*2^1429514-1 is not prime. Res64: 16B13E1F7862E8C2 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:02:41] 651*2^1429514-1 is not prime. Res64: 12A7D091CED0D715 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:02:42] 755*2^1429514-1 is not prime. Res64: 1603485ADB698FD6 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:11:59] 985*2^1429507-1 is not prime. Res64: 31B2FCC309D02C59 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:12:00] 633*2^1429508-1 is not prime. Res64: 1B327E573584F8A2 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:12:01] 725*2^1429508-1 is not prime. Res64: 52CFCB2D8A2BD2EE Time : 0.0 sec. user=mdettweiler [2016-05-17 23:12:02] 767*2^1429508-1 is not prime. Res64: BECEBC8C147B047D Time : 0.0 sec. user=mdettweiler [2016-05-17 23:23:19] 837*2^1429514-1 is not prime. Res64: 13A9AB058CC64B10 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:23:20] 875*2^1429514-1 is not prime. Res64: FB77EF7B976DE5FE Time : 0.0 sec. user=mdettweiler [2016-05-17 23:23:20] 945*2^1429514-1 is not prime. Res64: EA5797A8CBF5DF37 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:23:20] 619*2^1429515-1 is not prime. Res64: 65A6DEBC32D95DC7 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:23:21] 663*2^1429515-1 is not prime. Res64: C578F10C7A657B2D Time : 0.0 sec. user=mdettweiler [2016-05-17 23:43:48] 741*2^1429507-1 is not prime. Res64: 2501ED88D8568AB8 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:43:48] 793*2^1429507-1 is not prime. Res64: 54A0ED15CD00E41D Time : 0.0 sec. user=mdettweiler [2016-05-17 23:43:49] 843*2^1429507-1 is not prime. Res64: B3DA913F080D03AA Time : 0.0 sec. user=mdettweiler [2016-05-17 23:43:49] 871*2^1429507-1 is not prime. Res64: 29A7C4448479E830 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:49:08] 963*2^1429515-1 is not prime. Res64: 22C5B69DD6AC52DF Time : 0.0 sec. user=mdettweiler [2016-05-17 23:49:08] 985*2^1429515-1 is not prime. Res64: 1C9A73D160594FF0 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:49:09] 603*2^1429516-1 is not prime. Res64: E0AB8D94268C5FD5 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:49:09] 777*2^1429516-1 is not prime. Res64: E1B710634650C0BB Time : 0.0 sec. user=mdettweiler [2016-05-17 23:49:10] 785*2^1429516-1 is not prime. Res64: 617B3FBEBE503986 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:57:29] 813*2^1429516-1 is not prime. Res64: CC393FE51D709ED8 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:57:30] 903*2^1429516-1 is not prime. Res64: 2D261954530FBAED Time : 0.0 sec. user=mdettweiler [2016-05-17 23:57:30] 933*2^1429516-1 is not prime. Res64: C30D9C898036EE63 Time : 0.0 sec. user=mdettweiler [2016-05-17 23:57:31] 953*2^1429516-1 is not prime. Res64: A82B1C3D7583802C Time : 0.0 sec. user=mdettweiler [2016-05-17 23:57:31] 969*2^1429516-1 is not prime. Res64: 2159672EBCD2101E Time : 0.0 sec.