user=mdettweiler [2016-05-27 00:14:48] 875*2^1430486-1 is not prime. Res64: 9B2AC867FFC20B18 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:14:48] 1001*2^1430486-1 is not prime. Res64: A4A96CF8B940804A Time : 0.0 sec. user=mdettweiler [2016-05-27 00:14:48] 639*2^1430487-1 is not prime. Res64: 008C49DEED78A913 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:14:49] 669*2^1430487-1 is not prime. Res64: 0ED62EA34915B298 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:14:49] 675*2^1430487-1 is not prime. Res64: 997505BDFC2A06FD Time : 0.0 sec. user=mdettweiler [2016-05-27 00:32:41] 709*2^1430487-1 is not prime. Res64: C26F782A92E70D5F Time : 0.0 sec. user=mdettweiler [2016-05-27 00:32:42] 781*2^1430487-1 is not prime. Res64: CF9595924998A7E6 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:32:42] 795*2^1430487-1 is not prime. Res64: 67F37608E3927AC4 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:32:42] 805*2^1430487-1 is not prime. Res64: 5A6ECE7678D83C07 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:32:43] 825*2^1430487-1 is not prime. Res64: 0D17CFE1DC382D7C Time : 0.0 sec. user=mdettweiler [2016-05-27 00:33:07] 861*2^1430487-1 is not prime. Res64: 4C4C2899446BD62E Time : 0.0 sec. user=mdettweiler [2016-05-27 00:33:08] 933*2^1430487-1 is not prime. Res64: 958167A0B61CDB94 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:33:08] 975*2^1430487-1 is not prime. Res64: 4DEF0F3CC506A81A Time : 0.0 sec. user=mdettweiler [2016-05-27 00:33:08] 629*2^1430488-1 is not prime. Res64: AC41562A8861C5EB Time : 0.0 sec. user=mdettweiler [2016-05-27 00:33:09] 695*2^1430488-1 is not prime. Res64: 3EB7A3484237FD84 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:33:25] 723*2^1430488-1 is not prime. Res64: 3B0926EE355837F4 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:33:25] 765*2^1430488-1 is not prime. Res64: 8A326E94E4977337 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:33:25] 813*2^1430488-1 is not prime. Res64: 8B7C44615FBC4A61 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:33:26] 947*2^1430488-1 is not prime. Res64: 4256751466A015F3 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:33:26] 957*2^1430488-1 is not prime. Res64: 54666450349C31C8 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:59:50] 691*2^1430489-1 is not prime. Res64: E12F730C307D50A8 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:59:50] 787*2^1430489-1 is not prime. Res64: C1C366608173987E Time : 0.0 sec. user=mdettweiler [2016-05-27 00:59:50] 939*2^1430489-1 is not prime. Res64: 1B67F9F67365F245 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:59:51] 985*2^1430489-1 is not prime. Res64: 3809F4CBFE431E23 Time : 0.0 sec. user=mdettweiler [2016-05-27 00:59:51] 711*2^1430490-1 is not prime. Res64: 762D505B8B8CBB4A Time : 0.0 sec. user=mdettweiler [2016-05-27 01:17:59] 713*2^1430490-1 is not prime. Res64: 19B50098D30A2238 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:17:59] 723*2^1430490-1 is not prime. Res64: A0FF75DBB2DEBCE9 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:00] 741*2^1430490-1 is not prime. Res64: BB1DB5906F68127D Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:00] 825*2^1430490-1 is not prime. Res64: 7F37270350DAF4F5 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:00] 875*2^1430490-1 is not prime. Res64: CE9896C7455A42A8 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:15] 887*2^1430490-1 is not prime. Res64: CF9D1A73998E98DE Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:16] 601*2^1430491-1 is not prime. Res64: 34AFBF80F57AD6E3 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:16] 673*2^1430491-1 is not prime. Res64: CFBF510DA040A284 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:17] 801*2^1430491-1 is not prime. Res64: 70AD52127B729324 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:17] 813*2^1430491-1 is not prime. Res64: 225995BD79E90341 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:33] 841*2^1430491-1 is not prime. Res64: 5362A1A88FB238EF Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:33] 873*2^1430491-1 is not prime. Res64: 12A75C9BEA7082B9 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:34] 931*2^1430491-1 is not prime. Res64: 30467111ADABD9C2 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:34] 951*2^1430491-1 is not prime. Res64: 22F42455E72C340A Time : 0.0 sec. user=mdettweiler [2016-05-27 01:18:35] 717*2^1430492-1 is not prime. Res64: 37AEB26354A8E647 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:45:07] 915*2^1430492-1 is not prime. Res64: AF9318607764138B Time : 0.0 sec. user=mdettweiler [2016-05-27 01:45:07] 609*2^1430493-1 is not prime. Res64: D14B2FC1D8025948 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:45:09] 669*2^1430493-1 is not prime. Res64: 3978B8A64F760358 Time : 0.0 sec. user=mdettweiler [2016-05-27 01:45:10] 741*2^1430493-1 is not prime. Res64: EF7AF61B95A7D90C Time : 0.0 sec. user=mdettweiler [2016-05-27 01:45:11] 745*2^1430493-1 is not prime. Res64: 45D55D28B1976A72 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:08] 829*2^1430493-1 is not prime. Res64: 395681C29AC0D82C Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:09] 837*2^1430493-1 is not prime. Res64: F44097565AAFB323 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:10] 919*2^1430493-1 is not prime. Res64: FA9578E8F7E8C55D Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:11] 617*2^1430494-1 is not prime. Res64: C0452C648344C657 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:12] 621*2^1430494-1 is not prime. Res64: 8755D090B60CF0DC Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:13] 705*2^1430494-1 is not prime. Res64: 70802E26723F8BBC Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:15] 825*2^1430494-1 is not prime. Res64: 578B29B9EBE8929A Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:16] 881*2^1430494-1 is not prime. Res64: 5C2310C9D87ED683 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:17] 983*2^1430494-1 is not prime. Res64: 44437B627A955364 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:18] 987*2^1430494-1 is not prime. Res64: DEBCBECAEEC62B38 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:52] 993*2^1430494-1 is not prime. Res64: 7D9E7E6175A5C3D5 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:53] 753*2^1430495-1 is not prime. Res64: 6ECCC41301CAD19E Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:54] 775*2^1430495-1 is not prime. Res64: 4A922C241AAE126B Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:55] 855*2^1430495-1 is not prime. Res64: 1430D079350486C5 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:03:55] 653*2^1430496-1 is not prime. Res64: 7392736ED429273F Time : 0.0 sec. user=mdettweiler [2016-05-27 02:30:21] 669*2^1430496-1 is not prime. Res64: 9ED1D694FDF438C1 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:30:22] 707*2^1430496-1 is not prime. Res64: 365985AC8CF927C2 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:30:23] 845*2^1430496-1 is not prime. Res64: 84316CD6C1D38CD1 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:30:24] 777*2^1430497-1 is not prime. Res64: 350225D03B40FF3B Time : 0.0 sec. user=mdettweiler [2016-05-27 02:30:24] 799*2^1430497-1 is not prime. Res64: 165C15DFC1C9E412 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:49:49] 829*2^1430497-1 is not prime. Res64: 2F8F5E81764199EA Time : 0.0 sec. user=mdettweiler [2016-05-27 02:49:50] 871*2^1430497-1 is not prime. Res64: F9C34AD3B6B2F76E Time : 0.0 sec. user=mdettweiler [2016-05-27 02:49:50] 901*2^1430497-1 is not prime. Res64: 5C3DAA7AE00B8937 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:49:50] 919*2^1430497-1 is not prime. Res64: 5ACE0FDE8977A0F9 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:49:51] 939*2^1430497-1 is not prime. Res64: E96579FBEC35F621 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:50:00] 633*2^1430498-1 is not prime. Res64: 9F3C084119B73E02 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:50:01] 635*2^1430498-1 is not prime. Res64: 041816944F7FED8D Time : 0.0 sec. user=mdettweiler [2016-05-27 02:50:01] 641*2^1430498-1 is not prime. Res64: 374F18D16A9ED4BA Time : 0.0 sec. user=mdettweiler [2016-05-27 02:50:01] 827*2^1430498-1 is not prime. Res64: 5D0DCF0CB67F5A97 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:50:02] 609*2^1430499-1 is not prime. Res64: D48EC42DAD2AFD6A Time : 0.0 sec. user=mdettweiler [2016-05-27 02:51:20] 633*2^1430499-1 is not prime. Res64: 2131853636A39FBD Time : 0.0 sec. user=mdettweiler [2016-05-27 02:51:21] 649*2^1430499-1 is not prime. Res64: 44FCF67E2CE85662 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:51:21] 741*2^1430499-1 is not prime. Res64: 09B941EC6CCC9F97 Time : 0.0 sec. user=mdettweiler [2016-05-27 02:51:21] 775*2^1430499-1 is not prime. Res64: BA202DD65D5BA7CC Time : 0.0 sec. user=mdettweiler [2016-05-27 02:51:22] 835*2^1430499-1 is not prime. Res64: C83F5171790397EE Time : 0.0 sec. user=mdettweiler [2016-05-27 03:17:01] 629*2^1430500-1 is not prime. Res64: A241B8A2408F26CB Time : 0.0 sec. user=mdettweiler [2016-05-27 03:17:01] 635*2^1430500-1 is not prime. Res64: A7AD2437BA5B1434 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:17:02] 813*2^1430500-1 is not prime. Res64: 202AB2F85C868FA7 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:17:02] 873*2^1430500-1 is not prime. Res64: 945FD71B31AB8437 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:17:02] 711*2^1430501-1 is not prime. Res64: 63471F6898FE934F Time : 0.0 sec. user=mdettweiler [2016-05-27 03:34:49] 949*2^1430501-1 is not prime. Res64: ECDF59FB264F2EA9 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:34:51] 627*2^1430502-1 is not prime. Res64: 4EB70510A6AA137A Time : 0.0 sec. user=mdettweiler [2016-05-27 03:34:52] 921*2^1430502-1 is not prime. Res64: 9EE643958CE1A905 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:34:53] 635*2^1430502-1 is not prime. Res64: 2B487E272F792B45 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:34:54] 975*2^1430502-1 is not prime. Res64: 7DCE4912C758FEBC Time : 0.0 sec. user=mdettweiler [2016-05-27 03:34:54] 693*2^1430502-1 is not prime. Res64: 56481B0E31593324 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:34:55] 615*2^1430503-1 is not prime. Res64: DC15908571E239D4 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:34:55] 725*2^1430502-1 is not prime. Res64: 4FA1E5580CAC842C Time : 0.0 sec. user=mdettweiler [2016-05-27 03:34:56] 709*2^1430503-1 is not prime. Res64: 3E090D5D8F0678D7 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:34:57] 729*2^1430503-1 is not prime. Res64: 3FB19638482EF6A1 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:36:08] 793*2^1430503-1 is not prime. Res64: 219A3C152D164FB2 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:36:09] 883*2^1430503-1 is not prime. Res64: 10156DEB589880C2 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:36:10] 961*2^1430503-1 is not prime. Res64: B549B94FFFB81184 Time : 0.0 sec. user=mdettweiler [2016-05-27 03:36:10] 993*2^1430503-1 is not prime. Res64: C092CF36A61B8CED Time : 0.0 sec. user=mdettweiler [2016-05-27 03:36:11] 615*2^1430504-1 is not prime. Res64: C874AFC505BB5C2B Time : 0.0 sec. user=mdettweiler [2016-05-27 04:01:48] 665*2^1430504-1 is not prime. Res64: C6C2FD2C7EC93628 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:01:50] 767*2^1430504-1 is not prime. Res64: 2EE2E4E07D73D623 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:01:52] 785*2^1430504-1 is not prime. Res64: 2535F9CD6AE8A266 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:01:53] 819*2^1430504-1 is not prime. Res64: 384E4045B8AC03F1 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:01:55] 959*2^1430504-1 is not prime. Res64: 3A98B041F4909263 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:19:48] 735*2^1430505-1 is not prime. Res64: F6D7D1392C025306 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:19:48] 751*2^1430505-1 is not prime. Res64: 1642FD441A467627 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:19:48] 717*2^1430506-1 is not prime. Res64: 1A3C739B2A645965 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:19:49] 747*2^1430506-1 is not prime. Res64: 2809232D19F21C5D Time : 0.0 sec. user=mdettweiler [2016-05-27 04:19:49] 777*2^1430506-1 is not prime. Res64: 0C0EEB68E284C847 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:19:57] 639*2^1430505-1 is not prime. Res64: FF0E7190275B253F Time : 0.0 sec. user=mdettweiler [2016-05-27 04:19:58] 667*2^1430505-1 is not prime. Res64: 6737C13338A3B42C Time : 0.0 sec. user=mdettweiler [2016-05-27 04:19:58] 675*2^1430505-1 is not prime. Res64: 1DB97C5831EC1777 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:19:58] 679*2^1430505-1 is not prime. Res64: CD99FB0D997DEB8C Time : 0.0 sec. user=mdettweiler [2016-05-27 04:19:59] 699*2^1430505-1 is not prime. Res64: F03773B1FDB146CA Time : 0.0 sec. user=mdettweiler [2016-05-27 04:20:51] 957*2^1430506-1 is not prime. Res64: EDA52B5CAF389769 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:20:52] 983*2^1430506-1 is not prime. Res64: 8D33FF117ED3DF4D Time : 0.0 sec. user=mdettweiler [2016-05-27 04:20:52] 609*2^1430507-1 is not prime. Res64: 6DC2E2EB960D7FE9 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:20:52] 631*2^1430507-1 is not prime. Res64: DB1038F52E16C6E7 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:20:53] 643*2^1430507-1 is not prime. Res64: 1B682308CFB4359A Time : 0.0 sec. user=mdettweiler [2016-05-27 04:46:57] 673*2^1430507-1 is not prime. Res64: D7EACEE46439D38F Time : 0.0 sec. user=mdettweiler [2016-05-27 04:46:58] 675*2^1430507-1 is not prime. Res64: 5E78D4B20FE7034F Time : 0.0 sec. user=mdettweiler [2016-05-27 04:46:58] 715*2^1430507-1 is not prime. Res64: 1B768B8EFAB18DF6 Time : 0.0 sec. user=mdettweiler [2016-05-27 04:46:58] 775*2^1430507-1 is not prime. Res64: 034D1DE9A37297FF Time : 0.0 sec. user=mdettweiler [2016-05-27 04:46:59] 889*2^1430507-1 is not prime. Res64: C9EABFB86FF5927B Time : 0.0 sec. user=mdettweiler [2016-05-27 05:04:29] 979*2^1430507-1 is not prime. Res64: CB2E334DD509CEFC Time : 0.0 sec. user=mdettweiler [2016-05-27 05:04:31] 635*2^1430508-1 is not prime. Res64: 785040556C426D88 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:04:32] 669*2^1430508-1 is not prime. Res64: AFD690837CCDD924 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:04:34] 695*2^1430508-1 is not prime. Res64: CA5E8EB8622C8C70 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:04:35] 773*2^1430508-1 is not prime. Res64: 00E415D60F780DD4 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:04:45] 777*2^1430508-1 is not prime. Res64: 73878F99AB4747B8 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:04:47] 845*2^1430508-1 is not prime. Res64: DA1CF97278F9B9DC Time : 0.0 sec. user=mdettweiler [2016-05-27 05:04:49] 817*2^1430509-1 is not prime. Res64: 90249D0943E52D44 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:04:52] 861*2^1430509-1 is not prime. Res64: 6A2FF5695013A052 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:04:57] 945*2^1430509-1 is not prime. Res64: A3A066BB12A161EA Time : 0.0 sec. user=mdettweiler [2016-05-27 05:05:44] 961*2^1430509-1 is not prime. Res64: 7B437BDFE36B291D Time : 0.0 sec. user=mdettweiler [2016-05-27 05:05:45] 773*2^1430510-1 is not prime. Res64: 5BB556F46DB33B53 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:05:46] 857*2^1430510-1 is not prime. Res64: 3EEBE34E09E0C8AD Time : 0.0 sec. user=mdettweiler [2016-05-27 05:05:47] 875*2^1430510-1 is not prime. Res64: 46BF5437BC21BDA8 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:05:48] 921*2^1430510-1 is not prime. Res64: 41D1998E07353B5F Time : 0.0 sec. user=mdettweiler [2016-05-27 05:32:24] 923*2^1430510-1 is not prime. Res64: 2110F35996D032BA Time : 0.0 sec. user=mdettweiler [2016-05-27 05:32:24] 935*2^1430510-1 is not prime. Res64: 2D57CE40E6016275 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:32:25] 977*2^1430510-1 is not prime. Res64: 0C7D8FF15FB5D4AF Time : 0.0 sec. user=mdettweiler [2016-05-27 05:32:25] 705*2^1430511-1 is not prime. Res64: 699738FF1B3DF7DE Time : 0.0 sec. user=mdettweiler [2016-05-27 05:32:25] 781*2^1430511-1 is not prime. Res64: D04C27E624A104F5 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:50:34] 859*2^1430511-1 is not prime. Res64: 22697A38F6BBDC4B Time : 0.0 sec. user=mdettweiler [2016-05-27 05:50:34] 861*2^1430511-1 is not prime. Res64: 99B3005F0F2293CF Time : 0.0 sec. user=mdettweiler [2016-05-27 05:50:35] 969*2^1430511-1 is not prime. Res64: DEEB2A54343DD686 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:50:35] 999*2^1430511-1 is not prime. Res64: 7EB8587A35AF4EF6 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:50:35] 615*2^1430512-1 is not prime. Res64: D42D0E131160076B Time : 0.0 sec. user=mdettweiler [2016-05-27 05:50:43] 629*2^1430512-1 is not prime. Res64: 426C6EAAB8602EF7 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:50:43] 693*2^1430512-1 is not prime. Res64: 701A87B78E2744DE Time : 0.0 sec. user=mdettweiler [2016-05-27 05:50:43] 899*2^1430512-1 is not prime. Res64: B443616B59793585 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:50:44] 939*2^1430512-1 is not prime. Res64: F0AE166754046F83 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:50:44] 715*2^1430513-1 is not prime. Res64: C84319E0C9465608 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:51:26] 735*2^1430513-1 is not prime. Res64: 1DA4BAA5C9B02CCF Time : 0.0 sec. user=mdettweiler [2016-05-27 05:51:27] 747*2^1430513-1 is not prime. Res64: CE001331B1E6B026 Time : 0.0 sec. user=mdettweiler [2016-05-27 05:51:27] 901*2^1430513-1 is not prime. Res64: 1B8C1BD0E67630AC Time : 0.0 sec. user=mdettweiler [2016-05-27 05:51:27] 981*2^1430513-1 is not prime. Res64: 12229843BD95D22A Time : 0.0 sec. user=mdettweiler [2016-05-27 05:51:28] 773*2^1430514-1 is not prime. Res64: 7B6A415BF8CADC9A Time : 0.0 sec. user=mdettweiler [2016-05-27 06:17:36] 783*2^1430514-1 is not prime. Res64: 981B003C63F05D66 Time : 0.0 sec. user=mdettweiler [2016-05-27 06:17:37] 917*2^1430514-1 is not prime. Res64: D5DED9EBB9BC035A Time : 0.0 sec. user=mdettweiler [2016-05-27 06:17:37] 983*2^1430514-1 is not prime. Res64: 28DC70F87482EF3F Time : 0.0 sec. user=mdettweiler [2016-05-27 06:17:38] 619*2^1430515-1 is not prime. Res64: C9490FD9603D5D78 Time : 0.0 sec. user=mdettweiler [2016-05-27 06:17:38] 645*2^1430515-1 is not prime. Res64: 0D974FE243DD1F1B Time : 0.0 sec. user=mdettweiler [2016-05-27 06:35:34] 801*2^1430515-1 is not prime. Res64: 44A8F0C6EE398FF3 Time : 0.0 sec. user=mdettweiler [2016-05-27 06:35:34] 919*2^1430515-1 is not prime. Res64: 698BAE738F12149F Time : 0.0 sec. user=mdettweiler [2016-05-27 06:35:34] 973*2^1430515-1 is not prime. Res64: C8B5414044E13B8E Time : 0.0 sec. user=mdettweiler [2016-05-27 06:35:35] 999*2^1430515-1 is not prime. Res64: E6038EAF09DA7449 Time : 0.0 sec. user=mdettweiler [2016-05-27 06:35:35] 633*2^1430516-1 is not prime. Res64: A7F77FE4FEBCF20E Time : 0.0 sec. user=mdettweiler [2016-05-27 06:35:52] 659*2^1430516-1 is not prime. Res64: 340D0620A75C56C1 Time : 0.0 sec. user=mdettweiler [2016-05-27 06:35:53] 693*2^1430516-1 is not prime. Res64: 03A3A3E0B93122E0 Time : 0.0 sec. user=mdettweiler [2016-05-27 06:35:53] 953*2^1430516-1 is not prime. Res64: 3F8DBE2B35EF8C4B Time : 0.0 sec. user=mdettweiler [2016-05-27 06:35:53] 627*2^1430517-1 is not prime. Res64: 50E6BDD6D21CF102 Time : 0.0 sec. user=mdettweiler [2016-05-27 06:35:54] 741*2^1430517-1 is not prime. Res64: 989BAA8D60D0BB43 Time : 0.0 sec. user=mdettweiler [2016-05-27 06:36:28] 817*2^1430517-1 is not prime. Res64: DF7FBA9690C95D77 Time : 0.0 sec. user=mdettweiler [2016-05-27 06:36:29] 885*2^1430517-1 is not prime. Res64: 950FFAA01367BBAC Time : 0.0 sec. user=mdettweiler [2016-05-27 06:36:29] 677*2^1430518-1 is not prime. Res64: C227D345905946DE Time : 0.0 sec. user=mdettweiler [2016-05-27 06:36:29] 713*2^1430518-1 is not prime. Res64: 65F2DDBDFFD90C4B Time : 0.0 sec. user=mdettweiler [2016-05-27 06:36:30] 737*2^1430518-1 is not prime. Res64: 18204CB1C7D2FA14 Time : 0.0 sec. user=mdettweiler [2016-05-27 07:02:58] 773*2^1430518-1 is not prime. Res64: A17217CDEF93262F Time : 0.0 sec. user=mdettweiler [2016-05-27 07:02:59] 827*2^1430518-1 is not prime. Res64: 99473B2036FC6B43 Time : 0.0 sec. user=mdettweiler [2016-05-27 07:03:00] 843*2^1430518-1 is not prime. Res64: 08843F22FBC0F9AA Time : 0.0 sec. user=mdettweiler [2016-05-27 07:03:00] 957*2^1430518-1 is not prime. Res64: 9284353758A41D3A Time : 0.0 sec. user=mdettweiler [2016-05-27 07:03:01] 643*2^1430519-1 is not prime. Res64: D5904E1E19DC30AE Time : 0.0 sec. user=mdettweiler [2016-05-27 07:20:48] 663*2^1430519-1 is not prime. Res64: 7A715E36937ECFE2 Time : 0.0 sec. user=mdettweiler [2016-05-27 07:20:48] 675*2^1430519-1 is not prime. Res64: 249A6DB0CDEB024A Time : 0.0 sec. user=mdettweiler [2016-05-27 07:20:49] 693*2^1430519-1 is not prime. Res64: B303619E06FFC445 Time : 0.0 sec. user=mdettweiler [2016-05-27 07:20:49] 735*2^1430519-1 is not prime. Res64: 2DA7459E78474BF9 Time : 0.0 sec. user=mdettweiler [2016-05-27 07:20:49] 825*2^1430519-1 is not prime. Res64: F372B7C083BD896E Time : 0.0 sec. user=mdettweiler [2016-05-27 07:20:54] 707*2^1430520-1 is not prime. Res64: 7FC32540E6F48607 Time : 0.0 sec. user=mdettweiler [2016-05-27 07:20:55] 713*2^1430520-1 is not prime. Res64: C48618EBD0F230FF Time : 0.0 sec. user=mdettweiler [2016-05-27 07:20:55] 773*2^1430520-1 is not prime. Res64: 95FEF9BC81B6118B Time : 0.0 sec. user=mdettweiler [2016-05-27 07:20:55] 789*2^1430520-1 is not prime. Res64: 722C12D1BCA74E62 Time : 0.0 sec. user=mdettweiler [2016-05-27 07:20:56] 959*2^1430520-1 is not prime. Res64: F5E0704688E5062D Time : 0.0 sec. user=mdettweiler [2016-05-27 07:21:49] 607*2^1430521-1 is not prime. Res64: 4B6C37B43674444A Time : 0.0 sec. user=mdettweiler [2016-05-27 07:21:49] 615*2^1430521-1 is not prime. Res64: 9CB3A525A3AEA68F Time : 0.0 sec. user=mdettweiler [2016-05-27 07:21:50] 619*2^1430521-1 is not prime. Res64: F2D52C252733EDD3 Time : 0.0 sec. user=mdettweiler [2016-05-27 07:21:50] 645*2^1430521-1 is not prime. Res64: 7656B9A5F4E913D0 Time : 0.0 sec. user=mdettweiler [2016-05-27 07:21:50] 937*2^1430521-1 is not prime. Res64: 79FA929909FA9336 Time : 0.0 sec. user=mdettweiler [2016-05-27 07:48:09] 957*2^1430521-1 is not prime. Res64: 13AC54EB00BB3734 Time : 0.0 sec. user=mdettweiler [2016-05-27 07:48:10] 813*2^1430522-1 is not prime. Res64: EDD4BE62846D608A Time : 0.0 sec. user=mdettweiler [2016-05-27 07:48:10] 825*2^1430522-1 is not prime. Res64: 6D027CEFD56C5186 Time : 0.0 sec. user=mdettweiler [2016-05-27 07:48:10] 857*2^1430522-1 is not prime. Res64: 70D187AE0A292BCC Time : 0.0 sec. user=mdettweiler [2016-05-27 07:48:11] 669*2^1430523-1 is not prime. Res64: 372D72C0E19E0244 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:05:46] 929*2^1430524-1 is not prime. Res64: 079440523488883C Time : 0.0 sec. user=mdettweiler [2016-05-27 08:05:47] 825*2^1430523-1 is not prime. Res64: 1CCBE1D839C03FC4 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:05:49] 913*2^1430523-1 is not prime. Res64: 1FE44C07976ABD7D Time : 0.0 sec. user=mdettweiler [2016-05-27 08:05:49] 939*2^1430524-1 is not prime. Res64: 7F5A22366FB209A7 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:05:49] 743*2^1430524-1 is not prime. Res64: 8AA0AF63706516AF Time : 0.0 sec. user=mdettweiler [2016-05-27 08:05:50] 947*2^1430524-1 is not prime. Res64: FDBC793F07069148 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:05:51] 855*2^1430524-1 is not prime. Res64: ADD4713D763AD0E9 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:05:51] 983*2^1430524-1 is not prime. Res64: 7CF573255F0B6D39 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:05:52] 869*2^1430524-1 is not prime. Res64: 13B591AC7A74D1C1 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:05:52] 645*2^1430525-1 is not prime. Res64: CB4710E77986D294 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:06:48] 715*2^1430525-1 is not prime. Res64: 4A0992D65949980A Time : 0.0 sec. user=mdettweiler [2016-05-27 08:06:50] 787*2^1430525-1 is not prime. Res64: 4C15855365C33499 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:06:51] 825*2^1430525-1 is not prime. Res64: CCE94459537CE776 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:06:52] 897*2^1430525-1 is not prime. Res64: 09BFDC5DE1D11067 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:06:53] 969*2^1430525-1 is not prime. Res64: B32A59C968CAF872 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:33:05] 657*2^1430526-1 is not prime. Res64: 4008813F2AE89BAD Time : 0.0 sec. user=mdettweiler [2016-05-27 08:33:06] 711*2^1430526-1 is not prime. Res64: 5A0066E5BBD525C2 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:33:06] 747*2^1430526-1 is not prime. Res64: C4C588C0AB932C9E Time : 0.0 sec. user=mdettweiler [2016-05-27 08:33:07] 765*2^1430526-1 is not prime. Res64: C86074E572E87918 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:33:07] 861*2^1430526-1 is not prime. Res64: EF8D614BAF7C268C Time : 0.0 sec. user=mdettweiler [2016-05-27 08:50:50] 887*2^1430526-1 is not prime. Res64: 66251A8F57372C57 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:50:51] 893*2^1430526-1 is not prime. Res64: 1DE82362B7425BF3 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:50:51] 633*2^1430527-1 is not prime. Res64: CF133A5A9DD5A4A1 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:50:51] 649*2^1430527-1 is not prime. Res64: C5DDC4072EB625A2 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:50:52] 681*2^1430527-1 is not prime. Res64: B5417EECCDD1F032 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:50:59] 805*2^1430527-1 is not prime. Res64: 641D3DD7A238F95D Time : 0.0 sec. user=mdettweiler [2016-05-27 08:51:00] 975*2^1430527-1 is not prime. Res64: 7FC7B0584972D5DD Time : 0.0 sec. user=mdettweiler [2016-05-27 08:51:00] 617*2^1430528-1 is not prime. Res64: 70C9E62DC1385CD2 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:51:01] 635*2^1430528-1 is not prime. Res64: 3DFFA895F8C09C94 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:51:01] 669*2^1430528-1 is not prime. Res64: 725B4FF82E97F1FA Time : 0.0 sec. user=mdettweiler [2016-05-27 08:51:43] 725*2^1430528-1 is not prime. Res64: 7A6E1E4E0C0ECF1D Time : 0.0 sec. user=mdettweiler [2016-05-27 08:51:43] 747*2^1430528-1 is not prime. Res64: 99B1F5AEAA31FC94 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:51:44] 767*2^1430528-1 is not prime. Res64: E23ACB0AB4F5C9E6 Time : 0.0 sec. user=mdettweiler [2016-05-27 08:51:44] 915*2^1430528-1 is not prime. Res64: 66A6BA2E8C19F26D Time : 0.0 sec. user=mdettweiler [2016-05-27 08:51:44] 945*2^1430528-1 is not prime. Res64: EEC68457CF59F781 Time : 0.0 sec. user=mdettweiler [2016-05-27 09:18:55] 957*2^1430528-1 is not prime. Res64: A65B3FC675C00810 Time : 0.0 sec. user=mdettweiler [2016-05-27 09:18:55] 627*2^1430529-1 is not prime. Res64: E76550A702A6E80F Time : 0.0 sec. user=mdettweiler [2016-05-27 09:18:56] 741*2^1430529-1 is not prime. Res64: 0CF89220866341B9 Time : 0.0 sec. user=mdettweiler [2016-05-27 09:18:56] 745*2^1430529-1 is not prime. Res64: 983C90121C7DCD35 Time : 0.0 sec. user=mdettweiler [2016-05-27 09:18:56] 807*2^1430529-1 is not prime. Res64: 2F4761FFAFFB24A2 Time : 0.0 sec. user=mdettweiler [2016-05-27 09:38:39] 835*2^1430529-1 is not prime. Res64: D1127644BF0F9D93 Time : 0.0 sec. user=mdettweiler [2016-05-27 09:38:39] 889*2^1430529-1 is not prime. Res64: 1E7E89FB45C8723E Time : 0.0 sec. user=mdettweiler [2016-05-27 09:38:39] 987*2^1430529-1 is not prime. Res64: C2C1E0D091C8931A Time : 0.0 sec. user=mdettweiler [2016-05-27 09:38:40] 603*2^1430530-1 is not prime. Res64: D603E2A2BB6E6EF4 Time : 0.0 sec. user=mdettweiler [2016-05-27 09:38:40] 687*2^1430530-1 is not prime. Res64: 31983E4FB8BC656A Time : 0.0 sec. user=mdettweiler [2016-05-27 09:38:42] 701*2^1430530-1 is not prime. Res64: 2865B0475AC8CA70 Time : 0.0 sec. user=mdettweiler [2016-05-27 09:38:42] 717*2^1430530-1 is not prime. Res64: 84F0A94D9354714D Time : 0.0 sec. user=mdettweiler [2016-05-27 09:38:42] 615*2^1430531-1 is not prime. Res64: 1B4D0D11A04EF53B Time : 0.0 sec. user=mdettweiler [2016-05-27 09:38:43] 855*2^1430531-1 is not prime. Res64: 7B68AB70102BA7A2 Time : 0.0 sec. user=mdettweiler [2016-05-27 09:38:43] 903*2^1430531-1 is not prime. Res64: 64AE1FB22D0C2D45 Time : 0.0 sec. user=mdettweiler [2016-05-27 09:39:30] 913*2^1430531-1 is not prime. Res64: 51FB03F000A7D05C Time : 0.0 sec. user=mdettweiler [2016-05-27 09:39:30] 623*2^1430532-1 is not prime. Res64: 4A795877A2B46C5C Time : 0.0 sec. user=mdettweiler [2016-05-27 09:39:30] 863*2^1430532-1 is not prime. Res64: 80110D784829F81B Time : 0.0 sec. user=mdettweiler [2016-05-27 09:39:31] 879*2^1430532-1 is not prime. Res64: D2621AB83EA93E58 Time : 0.0 sec. user=mdettweiler [2016-05-27 09:39:31] 945*2^1430532-1 is not prime. Res64: DEA0BF7A89AFD5C1 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:05:41] 625*2^1430533-1 is not prime. Res64: 08B3473FF583CE0C Time : 0.0 sec. user=mdettweiler [2016-05-27 10:05:42] 817*2^1430533-1 is not prime. Res64: E57725570FA0C3D2 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:05:44] 849*2^1430533-1 is not prime. Res64: 53C4F748A249E3F7 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:05:45] 623*2^1430534-1 is not prime. Res64: 23B7F41F2680239A Time : 0.0 sec. user=mdettweiler [2016-05-27 10:05:46] 857*2^1430534-1 is not prime. Res64: 3D0806DBA5A34866 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:23:34] 805*2^1430535-1 is not prime. Res64: 99C3DEBE29CAC152 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:23:35] 895*2^1430535-1 is not prime. Res64: 654E1BDE0637E354 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:23:35] 951*2^1430534-1 is not prime. Res64: FFCF39856CAEEF5D Time : 0.0 sec. user=mdettweiler [2016-05-27 10:23:35] 919*2^1430535-1 is not prime. Res64: DF55D4486CF97B8A Time : 0.0 sec. user=mdettweiler [2016-05-27 10:23:36] 965*2^1430534-1 is not prime. Res64: BC1EEEA76B16D445 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:23:36] 921*2^1430535-1 is not prime. Res64: 6B135A8C0A458830 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:23:36] 981*2^1430534-1 is not prime. Res64: 0E710DDE84FFD8C6 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:23:36] 991*2^1430535-1 is not prime. Res64: 70CDA170C12E7607 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:23:36] 741*2^1430535-1 is not prime. Res64: 2B2C4E5D232E8CAA Time : 0.0 sec. user=mdettweiler [2016-05-27 10:23:37] 789*2^1430535-1 is not prime. Res64: C2F3B3D89656D8DE Time : 0.0 sec. user=mdettweiler [2016-05-27 10:24:26] 677*2^1430536-1 is not prime. Res64: C0929922B8F61366 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:24:26] 693*2^1430536-1 is not prime. Res64: C3883405736D6DD9 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:24:26] 705*2^1430536-1 is not prime. Res64: 63D5826045362A57 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:24:27] 743*2^1430536-1 is not prime. Res64: 3AAAC8AE67C8B96D Time : 0.0 sec. user=mdettweiler [2016-05-27 10:24:27] 807*2^1430536-1 is not prime. Res64: D10F47144B373DC8 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:50:41] 855*2^1430536-1 is not prime. Res64: 33F37D5577FE3BC6 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:50:41] 923*2^1430536-1 is not prime. Res64: CD4042A2D9163E91 Time : 0.0 sec. user=mdettweiler [2016-05-27 10:50:42] 939*2^1430536-1 is not prime. Res64: 568C840799A5171F Time : 0.0 sec. user=mdettweiler [2016-05-27 10:50:42] 771*2^1430537-1 is not prime. Res64: 293B80716FD1608D Time : 0.0 sec. user=mdettweiler [2016-05-27 10:50:42] 777*2^1430537-1 is not prime. Res64: 801BF139ACE0B484 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:08:21] 915*2^1430538-1 is not prime. Res64: 664249A4AC72A8BE Time : 0.0 sec. user=mdettweiler [2016-05-27 11:08:22] 927*2^1430538-1 is not prime. Res64: 3A7DA1FF9A454AE2 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:08:22] 619*2^1430539-1 is not prime. Res64: 48865982A1CC970D Time : 0.0 sec. user=mdettweiler [2016-05-27 11:08:23] 633*2^1430539-1 is not prime. Res64: D975274FE98513A3 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:08:23] 795*2^1430537-1 is not prime. Res64: F7E68A1513DC827D Time : 0.0 sec. user=mdettweiler [2016-05-27 11:08:23] 681*2^1430539-1 is not prime. Res64: A50C551DBC5ED9D1 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:08:23] 981*2^1430537-1 is not prime. Res64: 8B473452AAC6BEA9 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:08:24] 985*2^1430537-1 is not prime. Res64: 9259DC02804657EC Time : 0.0 sec. user=mdettweiler [2016-05-27 11:08:24] 635*2^1430538-1 is not prime. Res64: F2EFD67834BA0784 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:08:25] 773*2^1430538-1 is not prime. Res64: CB80AB643F5237AA Time : 0.0 sec. user=mdettweiler [2016-05-27 11:09:29] 931*2^1430539-1 is not prime. Res64: 06B45A1F23FDDD1B Time : 0.0 sec. user=mdettweiler [2016-05-27 11:09:29] 939*2^1430539-1 is not prime. Res64: 3B8C5C3864D84CE8 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:09:30] 951*2^1430539-1 is not prime. Res64: 75652DF1C23D9FCA Time : 0.0 sec. user=mdettweiler [2016-05-27 11:09:30] 615*2^1430540-1 is not prime. Res64: EC87069B0A9ED08E Time : 0.0 sec. user=mdettweiler [2016-05-27 11:09:30] 629*2^1430540-1 is not prime. Res64: F8C3A9209B7E5D87 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:35:38] 635*2^1430540-1 is not prime. Res64: 7F08B802DC72932F Time : 0.0 sec. user=mdettweiler [2016-05-27 11:35:38] 675*2^1430540-1 is not prime. Res64: 7904FBFCC761A74D Time : 0.0 sec. user=mdettweiler [2016-05-27 11:35:39] 677*2^1430540-1 is not prime. Res64: 27ABF62A0152578C Time : 0.0 sec. user=mdettweiler [2016-05-27 11:35:39] 687*2^1430540-1 is not prime. Res64: A7667C4D483C0ED9 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:35:39] 819*2^1430540-1 is not prime. Res64: 856DE71D1826AD5F Time : 0.0 sec. user=mdettweiler [2016-05-27 11:53:06] 717*2^1430541-1 is not prime. Res64: 832C15B99DACDDF4 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:53:07] 849*2^1430541-1 is not prime. Res64: 4A4FAFF96D2B8310 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:53:07] 921*2^1430541-1 is not prime. Res64: 5E098CFEFAFADDA2 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:53:07] 999*2^1430541-1 is not prime. Res64: CBF8AE88E4CBA992 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:53:08] 705*2^1430542-1 is not prime. Res64: D0D6FEF9480A9829 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:53:10] 875*2^1430540-1 is not prime. Res64: E748E494E0F1D2A3 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:53:10] 915*2^1430540-1 is not prime. Res64: C9FB895628A7691A Time : 0.0 sec. user=mdettweiler [2016-05-27 11:53:11] 953*2^1430540-1 is not prime. Res64: D6E21D6F1CB4B833 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:53:11] 609*2^1430541-1 is not prime. Res64: 7FFD09FF75FCCBB5 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:53:12] 649*2^1430541-1 is not prime. Res64: EA6EE3A8FE32BB80 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:54:06] 717*2^1430542-1 is not prime. Res64: 996F65C9E5EDD504 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:54:07] 825*2^1430542-1 is not prime. Res64: 102EB05C3FB7068E Time : 0.0 sec. user=mdettweiler [2016-05-27 11:54:07] 995*2^1430542-1 is not prime. Res64: E97E4A71114834A4 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:54:07] 1001*2^1430542-1 is not prime. Res64: 400E9EFB588A6DB5 Time : 0.0 sec. user=mdettweiler [2016-05-27 11:54:08] 739*2^1430543-1 is not prime. Res64: BE9789D449619305 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:20:37] 741*2^1430543-1 is not prime. Res64: 23672B8024DC48C0 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:20:38] 753*2^1430543-1 is not prime. Res64: 53A05A00EF4DD489 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:20:38] 805*2^1430543-1 is not prime. Res64: 6710CE5D0B90BEA2 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:20:39] 629*2^1430544-1 is not prime. Res64: E394AED2F639E701 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:20:39] 693*2^1430544-1 is not prime. Res64: DF56441BE2D6AB5E Time : 0.0 sec. user=mdettweiler [2016-05-27 12:38:01] 705*2^1430544-1 is not prime. Res64: 2ACB171D3F122E2F Time : 0.0 sec. user=mdettweiler [2016-05-27 12:38:01] 737*2^1430544-1 is not prime. Res64: 8290AA056AFBCF24 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:38:02] 753*2^1430544-1 is not prime. Res64: A11B7DAC8E58F867 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:38:02] 803*2^1430544-1 is not prime. Res64: 448B3D6DF83BA253 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:38:03] 863*2^1430544-1 is not prime. Res64: BC58A032DAD31B79 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:38:04] 649*2^1430545-1 is not prime. Res64: B496DB40031C9D2C Time : 0.0 sec. user=mdettweiler [2016-05-27 12:38:05] 691*2^1430545-1 is not prime. Res64: 86D02CEC04953844 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:38:05] 705*2^1430545-1 is not prime. Res64: 8B5D69D552214933 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:38:05] 751*2^1430545-1 is not prime. Res64: CF8E634B8B6E2D59 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:38:06] 831*2^1430545-1 is not prime. Res64: 177F4277125D1737 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:39:05] 847*2^1430545-1 is not prime. Res64: 3278E4F2D3691F9B Time : 0.0 sec. user=mdettweiler [2016-05-27 12:39:05] 895*2^1430545-1 is not prime. Res64: 7B092BF4EA58C91F Time : 0.0 sec. user=mdettweiler [2016-05-27 12:39:06] 915*2^1430545-1 is not prime. Res64: 13405D9444BF8229 Time : 0.0 sec. user=mdettweiler [2016-05-27 12:39:06] 937*2^1430545-1 is not prime. Res64: 7E5BB51B2C41A8CE Time : 0.0 sec. user=mdettweiler [2016-05-27 12:39:06] 985*2^1430545-1 is not prime. Res64: A15C7150CDB73692 Time : 0.0 sec. user=mdettweiler [2016-05-27 13:05:25] 755*2^1430546-1 is not prime. Res64: 0C50C75EF92CA07F Time : 0.0 sec. user=mdettweiler [2016-05-27 13:05:26] 815*2^1430546-1 is not prime. Res64: 94E80CFE6F9D122F Time : 0.0 sec. user=mdettweiler [2016-05-27 13:05:27] 873*2^1430546-1 is not prime. Res64: 5425D5A595B45B96 Time : 0.0 sec. user=mdettweiler [2016-05-27 13:05:28] 911*2^1430546-1 is not prime. Res64: DE0BDFA58A908A35 Time : 0.0 sec. user=mdettweiler [2016-05-27 13:05:29] 615*2^1430547-1 is not prime. Res64: 00E27AECE97C0F5E Time : 0.0 sec. user=mdettweiler [2016-05-27 13:05:51] 829*2^1430549-1 is not prime. Res64: CE576FE8E4D555DC Time : 0.0 sec. user=mdettweiler [2016-05-27 13:24:04] 657*2^1430549-1 is not prime. Res64: 363ABB5893B6484F Time : 0.0 sec. user=mdettweiler [2016-05-27 13:24:04] 697*2^1430549-1 is not prime. Res64: 750BF6ECCB8D8A3B Time : 0.0 sec. user=mdettweiler [2016-05-27 13:24:05] 745*2^1430549-1 is not prime. Res64: E63B1377FD940C26 Time : 0.0 sec. user=mdettweiler [2016-05-27 13:24:05] 811*2^1430549-1 is not prime. Res64: F14E402C48E13C7A Time : 0.0 sec. user=mdettweiler [2016-05-27 13:24:05] 825*2^1430549-1 is not prime. Res64: 38385CA8A1CF24F1 Time : 0.0 sec. user=mdettweiler [2016-05-27 13:34:09] 975*2^1430547-1 is not prime. Res64: B3765BF9A6954DD2 Time : 0.0 sec. user=mdettweiler [2016-05-27 13:34:09] 663*2^1430548-1 is not prime. Res64: 0F3E31FCF31CE60F Time : 0.0 sec. user=mdettweiler [2016-05-27 13:34:10] 665*2^1430548-1 is not prime. Res64: B7E716C2371A398D Time : 0.0 sec. user=mdettweiler [2016-05-27 13:34:10] 743*2^1430548-1 is not prime. Res64: 9BCF86099F99A6D7 Time : 0.0 sec. user=mdettweiler [2016-05-27 13:34:11] 749*2^1430548-1 is not prime. Res64: AB56D2D04B15296F Time : 0.0 sec. user=mdettweiler [2016-05-27 14:10:38] 941*2^1430550-1 is not prime. Res64: 9AF924B72F331D2B Time : 0.0 sec. user=mdettweiler [2016-05-27 14:10:38] 609*2^1430551-1 is not prime. Res64: B669A758D87CE21B Time : 0.0 sec. user=mdettweiler [2016-05-27 14:10:38] 723*2^1430551-1 is not prime. Res64: 57AE7FD35D91DA40 Time : 0.0 sec. user=mdettweiler [2016-05-27 14:10:39] 741*2^1430551-1 is not prime. Res64: 96A2189BAB79DA34 Time : 0.0 sec. user=mdettweiler [2016-05-27 14:10:39] 849*2^1430551-1 is not prime. Res64: 1D60C734843B5C5A Time : 0.0 sec. user=mdettweiler [2016-05-27 14:21:26] 861*2^1430551-1 is not prime. Res64: D9E14867708B0155 Time : 0.0 sec. user=mdettweiler [2016-05-27 14:21:27] 891*2^1430551-1 is not prime. Res64: 4B6A891229D7ECE1 Time : 0.0 sec. user=mdettweiler [2016-05-27 14:21:27] 969*2^1430551-1 is not prime. Res64: F2F26C57F52215EB Time : 0.0 sec. user=mdettweiler [2016-05-27 14:21:28] 609*2^1430552-1 is not prime. Res64: FBCB7A88B04B46C3 Time : 0.0 sec. user=mdettweiler [2016-05-27 14:21:28] 633*2^1430552-1 is not prime. Res64: 2E33B251FC2264BB Time : 0.0 sec. user=mdettweiler [2016-05-27 14:58:58] 665*2^1430552-1 is not prime. Res64: EAE0D52EB077B24F Time : 0.0 sec. user=mdettweiler [2016-05-27 14:58:59] 693*2^1430552-1 is not prime. Res64: 8B7AC23C8B16729B Time : 0.0 sec. user=mdettweiler [2016-05-27 14:58:59] 725*2^1430552-1 is not prime. Res64: 643022D4ABCE44B3 Time : 0.0 sec. user=mdettweiler [2016-05-27 14:59:00] 777*2^1430552-1 is not prime. Res64: 46C44D7FBAF6C88E Time : 0.0 sec. user=mdettweiler [2016-05-27 14:59:00] 837*2^1430552-1 is not prime. Res64: 51DF6F6F41225F5B Time : 0.0 sec. user=mdettweiler [2016-05-27 15:10:19] 855*2^1430552-1 is not prime. Res64: 49E9F277735C19CF Time : 0.0 sec. user=mdettweiler [2016-05-27 15:10:20] 929*2^1430552-1 is not prime. Res64: 24B4274D59D05FAA Time : 0.0 sec. user=mdettweiler [2016-05-27 15:10:20] 657*2^1430553-1 is not prime. Res64: 0EC234BF5A690D40 Time : 0.0 sec. user=mdettweiler [2016-05-27 15:10:21] 759*2^1430553-1 is not prime. Res64: 420AC6184BE44574 Time : 0.0 sec. user=mdettweiler [2016-05-27 15:10:21] 805*2^1430553-1 is not prime. Res64: 86D4B287035C68C6 Time : 0.0 sec. user=mdettweiler [2016-05-27 15:47:30] 861*2^1430553-1 is not prime. Res64: 3D4BA793E6BE5F71 Time : 0.0 sec. user=mdettweiler [2016-05-27 15:47:30] 945*2^1430553-1 is not prime. Res64: 6C52B71F567C14B4 Time : 0.0 sec. user=mdettweiler [2016-05-27 15:47:31] 677*2^1430554-1 is not prime. Res64: 8FF669E32EC74026 Time : 0.0 sec. user=mdettweiler [2016-05-27 15:47:31] 741*2^1430554-1 is not prime. Res64: ACF3AB4DAB2FE90D Time : 0.0 sec. user=mdettweiler [2016-05-27 15:47:31] 821*2^1430554-1 is not prime. Res64: D9BBF47CAB1AE986 Time : 0.0 sec. user=mdettweiler [2016-05-27 15:59:10] 917*2^1430554-1 is not prime. Res64: 805C864B4A73C97F Time : 0.0 sec. user=mdettweiler [2016-05-27 15:59:10] 971*2^1430554-1 is not prime. Res64: B98DFD6A61F276FC Time : 0.0 sec. user=mdettweiler [2016-05-27 15:59:11] 603*2^1430555-1 is not prime. Res64: 5DAADC0272694417 Time : 0.0 sec. user=mdettweiler [2016-05-27 15:59:11] 739*2^1430555-1 is not prime. Res64: EFC007809124A2FF Time : 0.0 sec. user=mdettweiler [2016-05-27 15:59:12] 783*2^1430555-1 is not prime. Res64: 7F37379C121FF188 Time : 0.0 sec. user=mdettweiler [2016-05-27 16:36:08] 843*2^1430555-1 is not prime. Res64: 5E09C88095C68897 Time : 0.0 sec. user=mdettweiler [2016-05-27 16:36:08] 909*2^1430555-1 is not prime. Res64: CC33337249F697BA Time : 0.0 sec. user=mdettweiler [2016-05-27 16:36:08] 921*2^1430555-1 is not prime. Res64: 182B8D3DB615FFDD Time : 0.0 sec. user=mdettweiler [2016-05-27 16:36:09] 999*2^1430555-1 is not prime. Res64: 3EBD55EBB27B928A Time : 0.0 sec. user=mdettweiler [2016-05-27 16:36:09] 689*2^1430556-1 is not prime. Res64: C99D0190FCC7537F Time : 0.0 sec. user=mdettweiler [2016-05-27 16:48:04] 947*2^1430556-1 is not prime. Res64: E458E51520927F7E Time : 0.0 sec. user=mdettweiler [2016-05-27 16:48:05] 675*2^1430557-1 is not prime. Res64: 21E42678A2F92C67 Time : 0.0 sec. user=mdettweiler [2016-05-27 16:48:05] 691*2^1430557-1 is not prime. Res64: D12F8C5189C2D353 Time : 0.0 sec. user=mdettweiler [2016-05-27 16:48:06] 741*2^1430557-1 is not prime. Res64: 60BB6F45F8D093AD Time : 0.0 sec. user=mdettweiler [2016-05-27 16:48:06] 771*2^1430557-1 is not prime. Res64: 9D7809EDDC2136F1 Time : 0.0 sec. user=mdettweiler [2016-05-27 17:26:44] 819*2^1430557-1 is not prime. Res64: 67C93BF390F3FE31 Time : 0.0 sec. user=mdettweiler [2016-05-27 17:26:44] 861*2^1430557-1 is not prime. Res64: 3405375364FEDFA9 Time : 0.0 sec. user=mdettweiler [2016-05-27 17:26:44] 845*2^1430558-1 is not prime. Res64: 7104D2172EA7F53A Time : 0.0 sec. user=mdettweiler [2016-05-27 17:26:45] 669*2^1430559-1 is not prime. Res64: C17FAFD2EE9AF6D8 Time : 0.0 sec. user=mdettweiler [2016-05-27 17:26:45] 769*2^1430559-1 is not prime. Res64: D2B6742F887BA03E Time : 0.0 sec. user=mdettweiler [2016-05-27 17:40:49] 789*2^1430559-1 is not prime. Res64: DDD76FBB20F60F43 Time : 0.0 sec. user=mdettweiler [2016-05-27 17:40:49] 921*2^1430559-1 is not prime. Res64: F48E7330D7D7858F Time : 0.0 sec. user=mdettweiler [2016-05-27 17:40:50] 955*2^1430559-1 is not prime. Res64: A051DC7AEFD644EB Time : 0.0 sec. user=mdettweiler [2016-05-27 17:40:50] 999*2^1430559-1 is not prime. Res64: FFFD3C20FE8EF771 Time : 0.0 sec. user=mdettweiler [2016-05-27 17:40:50] 603*2^1430560-1 is not prime. Res64: A2E9453C0C9E612F Time : 0.0 sec. user=mdettweiler [2016-05-27 18:16:33] 665*2^1430560-1 is not prime. Res64: AF886115EED84F2D Time : 0.0 sec. user=mdettweiler [2016-05-27 18:16:34] 677*2^1430560-1 is not prime. Res64: 5433B4423C37CAD0 Time : 0.0 sec. user=mdettweiler [2016-05-27 18:16:34] 717*2^1430560-1 is not prime. Res64: E11EEDFB0F913C84 Time : 0.0 sec. user=mdettweiler [2016-05-27 18:16:36] 785*2^1430560-1 is not prime. Res64: 47176925920FDF78 Time : 0.0 sec. user=mdettweiler [2016-05-27 18:16:36] 819*2^1430560-1 is not prime. Res64: 330EFD785C3B8A09 Time : 0.0 sec. user=mdettweiler [2016-05-27 18:18:54] 619*2^1430547-1 is not prime. Res64: CE59DD795D5BB31A Time : 0.0 sec. user=mdettweiler [2016-05-27 18:18:54] 625*2^1430547-1 is not prime. Res64: 58FD5480526D8752 Time : 0.0 sec. user=mdettweiler [2016-05-27 18:18:55] 781*2^1430547-1 is not prime. Res64: 69EE8690814F0DFE Time : 0.0 sec. user=mdettweiler [2016-05-27 18:18:55] 795*2^1430547-1 is not prime. Res64: 27BF19987B53C240 Time : 0.0 sec. user=mdettweiler [2016-05-27 18:18:55] 801*2^1430547-1 is not prime. Res64: 77F3CFAC3A00808E Time : 0.0 sec. user=mdettweiler [2016-05-27 18:28:31] 843*2^1430560-1 is not prime. Res64: 265E72E7729EA6D6 Time : 0.0 sec. user=mdettweiler [2016-05-27 18:28:31] 875*2^1430560-1 is not prime. Res64: ABEBB3B5139B0C42 Time : 0.0 sec. user=mdettweiler [2016-05-27 18:28:31] 933*2^1430560-1 is not prime. Res64: 8EB112C6D7ABBCBF Time : 0.0 sec. user=mdettweiler [2016-05-27 18:28:32] 657*2^1430561-1 is not prime. Res64: 30F071CD31CBC369 Time : 0.0 sec. user=mdettweiler [2016-05-27 18:28:32] 741*2^1430561-1 is not prime. Res64: 3D04EF31E9942FE8 Time : 0.0 sec. user=mdettweiler [2016-05-27 18:44:38] 611*2^1430550-1 is not prime. Res64: 81039331CD87E882 Time : 0.0 sec. user=mdettweiler [2016-05-27 18:44:38] 707*2^1430550-1 is not prime. Res64: EFDEE33128678C3E Time : 0.0 sec. user=mdettweiler [2016-05-27 18:44:39] 765*2^1430550-1 is not prime. Res64: 381136B3D6D570DB Time : 0.0 sec. user=mdettweiler [2016-05-27 18:44:39] 777*2^1430550-1 is not prime. Res64: E03D8E9B1003FD10 Time : 0.0 sec. user=mdettweiler [2016-05-27 18:44:39] 791*2^1430550-1 is not prime. Res64: 676413AFFE03C671 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:02:18] 777*2^1430561-1 is not prime. Res64: 7A2E3344EDB362AF Time : 0.0 sec. user=mdettweiler [2016-05-27 19:02:19] 811*2^1430561-1 is not prime. Res64: E769A7E1E8744047 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:02:20] 855*2^1430561-1 is not prime. Res64: F691ACB9942776BE Time : 0.0 sec. user=mdettweiler [2016-05-27 19:02:21] 909*2^1430561-1 is not prime. Res64: F93271B9D9BC08A3 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:02:21] 717*2^1430562-1 is not prime. Res64: 0F3C6853EEE0E062 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:04:37] 765*2^1430562-1 is not prime. Res64: 475300E26FF090B9 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:04:38] 807*2^1430562-1 is not prime. Res64: 16ABE5485C4F8A5E Time : 0.0 sec. user=mdettweiler [2016-05-27 19:04:39] 815*2^1430562-1 is not prime. Res64: ECAEE6FE16EF9DF5 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:04:40] 825*2^1430562-1 is not prime. Res64: EA84FF7B6B5861B1 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:04:41] 893*2^1430562-1 is not prime. Res64: B37DC0CEF11B8EBB Time : 0.0 sec. user=mdettweiler [2016-05-27 19:13:56] 923*2^1430562-1 is not prime. Res64: D15582FEDFBF9990 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:13:57] 619*2^1430563-1 is not prime. Res64: 1DBF4F11AE64FAE1 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:13:57] 631*2^1430563-1 is not prime. Res64: 03F7411F2D84493A Time : 0.0 sec. user=mdettweiler [2016-05-27 19:13:58] 705*2^1430563-1 is not prime. Res64: C59AFF9EB011B3F2 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:13:58] 741*2^1430563-1 is not prime. Res64: 368D60CD8749CE4F Time : 0.0 sec. user=mdettweiler [2016-05-27 19:29:41] 793*2^1430563-1 is not prime. Res64: 0A43A9703AE884AC Time : 0.0 sec. user=mdettweiler [2016-05-27 19:29:41] 861*2^1430563-1 is not prime. Res64: F2F4458FA2E5DFDB Time : 0.0 sec. user=mdettweiler [2016-05-27 19:29:41] 871*2^1430563-1 is not prime. Res64: E00A5B52C1C182AE Time : 0.0 sec. user=mdettweiler [2016-05-27 19:29:42] 945*2^1430563-1 is not prime. Res64: 1F003B8C3E503DA2 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:29:42] 623*2^1430564-1 is not prime. Res64: 78BA1C9816A14FC7 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:47:14] 759*2^1430564-1 is not prime. Res64: 0575DA8599287FDB Time : 0.0 sec. user=mdettweiler [2016-05-27 19:47:15] 767*2^1430564-1 is not prime. Res64: F6A98647C369E064 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:47:15] 773*2^1430564-1 is not prime. Res64: 015CD845C4F2A279 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:47:16] 869*2^1430564-1 is not prime. Res64: EA107CA77D2E0F08 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:47:16] 885*2^1430564-1 is not prime. Res64: 8BB6C961D72FDB39 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:49:31] 893*2^1430564-1 is not prime. Res64: CC82BDD5650F1CB4 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:49:32] 929*2^1430564-1 is not prime. Res64: E8E2410582126830 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:49:32] 953*2^1430564-1 is not prime. Res64: AFE73A0929D04AC0 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:49:32] 675*2^1430565-1 is not prime. Res64: 6EFB15534DF24CC5 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:49:33] 777*2^1430565-1 is not prime. Res64: E83CBBAD868CA508 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:58:57] 867*2^1430565-1 is not prime. Res64: E8193617D02AE10F Time : 0.0 sec. user=mdettweiler [2016-05-27 19:58:58] 961*2^1430565-1 is not prime. Res64: DC4DFFBFDE55FB35 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:58:58] 623*2^1430566-1 is not prime. Res64: FDDEBC26BB2258A8 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:58:58] 635*2^1430566-1 is not prime. Res64: E7057ABC55BB3558 Time : 0.0 sec. user=mdettweiler [2016-05-27 19:58:59] 833*2^1430566-1 is not prime. Res64: 27AEBEF3ADCAE9C4 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:14:52] 867*2^1430566-1 is not prime. Res64: 5306C0B44FEC2224 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:14:52] 971*2^1430566-1 is not prime. Res64: EB682473719B88FC Time : 0.0 sec. user=mdettweiler [2016-05-27 20:14:53] 643*2^1430567-1 is not prime. Res64: F3840836DEE349E7 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:14:53] 685*2^1430567-1 is not prime. Res64: F0BC9989925A6439 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:14:54] 735*2^1430567-1 is not prime. Res64: 6936A23B13E788C8 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:32:27] 879*2^1430567-1 is not prime. Res64: 11F142A90C005048 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:32:28] 909*2^1430567-1 is not prime. Res64: AEF36D8E0BADE447 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:32:28] 979*2^1430567-1 is not prime. Res64: 4240B238C3B4D298 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:32:29] 669*2^1430568-1 is not prime. Res64: B5DE4A664ED15E66 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:32:29] 737*2^1430568-1 is not prime. Res64: FA487E6FC4ECAF21 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:34:41] 759*2^1430568-1 is not prime. Res64: 7528F0B36C7A2354 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:34:42] 767*2^1430568-1 is not prime. Res64: 9065CCE8B9D49370 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:34:42] 773*2^1430568-1 is not prime. Res64: 11B696800EAC2936 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:34:43] 839*2^1430568-1 is not prime. Res64: 64ED394D38C58B1E Time : 0.0 sec. user=mdettweiler [2016-05-27 20:34:43] 843*2^1430568-1 is not prime. Res64: 56D537BAC89ED4ED Time : 0.0 sec. user=mdettweiler [2016-05-27 20:44:10] 887*2^1430568-1 is not prime. Res64: 6D832E248466DF36 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:44:11] 915*2^1430568-1 is not prime. Res64: 2639B858A2A446B2 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:44:11] 945*2^1430568-1 is not prime. Res64: 0821D0E90CB4F25F Time : 0.0 sec. user=mdettweiler [2016-05-27 20:44:12] 661*2^1430569-1 is not prime. Res64: F534809311D14C71 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:44:12] 667*2^1430569-1 is not prime. Res64: E61389F271E64BFB Time : 0.0 sec. user=mdettweiler [2016-05-27 20:59:53] 855*2^1430569-1 is not prime. Res64: 38C178BBBC75140A Time : 0.0 sec. user=mdettweiler [2016-05-27 20:59:54] 861*2^1430569-1 is not prime. Res64: 75E4C6DDF9473EBA Time : 0.0 sec. user=mdettweiler [2016-05-27 20:59:54] 677*2^1430570-1 is not prime. Res64: 765A1CC6027A6DA4 Time : 0.0 sec. user=mdettweiler [2016-05-27 20:59:54] 735*2^1430570-1 is not prime. Res64: 4287F64B6E462CFB Time : 0.0 sec. user=mdettweiler [2016-05-27 20:59:55] 741*2^1430570-1 is not prime. Res64: 74AAA100BA37B5A8 Time : 0.0 sec. user=mdettweiler [2016-05-27 21:17:31] 743*2^1430570-1 is not prime. Res64: 85057E0050AA2CEA Time : 0.0 sec. user=mdettweiler [2016-05-27 21:17:31] 747*2^1430570-1 is not prime. Res64: A20E0F4168B9D7A3 Time : 0.0 sec. user=mdettweiler [2016-05-27 21:17:32] 753*2^1430570-1 is not prime. Res64: E77F1988798D194D Time : 0.0 sec. user=mdettweiler [2016-05-27 21:17:32] 875*2^1430570-1 is not prime. Res64: B20EA0E207476543 Time : 0.0 sec. user=mdettweiler [2016-05-27 21:17:33] 977*2^1430570-1 is not prime. Res64: 065C2107BE7E9586 Time : 0.0 sec. user=mdettweiler [2016-05-27 21:19:41] 613*2^1430571-1 is not prime. Res64: ECD5A608D4444F73 Time : 0.0 sec. user=mdettweiler [2016-05-27 21:19:41] 709*2^1430571-1 is not prime. Res64: 2F8DB3D4612B2C46 Time : 0.0 sec. user=mdettweiler [2016-05-27 21:19:42] 951*2^1430571-1 is not prime. Res64: 00739BA2B224860A Time : 0.0 sec. user=mdettweiler [2016-05-27 21:19:42] 617*2^1430572-1 is not prime. Res64: 287860454DF61E33 Time : 0.0 sec. user=mdettweiler [2016-05-27 21:19:43] 639*2^1430572-1 is not prime. Res64: EC01F73F374460BB Time : 0.0 sec. user=mdettweiler [2016-05-27 21:29:04] 873*2^1430572-1 is not prime. Res64: 15F0B1A2D2E3439C Time : 0.0 sec. user=mdettweiler [2016-05-27 21:29:05] 909*2^1430572-1 is not prime. Res64: 0E3396FC8C806CF5 Time : 0.0 sec. user=mdettweiler [2016-05-27 21:29:05] 933*2^1430572-1 is not prime. Res64: E0B344B7CD3EFE6B Time : 0.0 sec. user=mdettweiler [2016-05-27 21:29:06] 657*2^1430573-1 is not prime. Res64: 510001EB80799245 Time : 0.0 sec. user=mdettweiler [2016-05-27 21:29:06] 669*2^1430573-1 is not prime. Res64: 611692EA64B80EDF Time : 0.0 sec. user=mdettweiler [2016-05-27 21:44:57] 685*2^1430573-1 is not prime. Res64: 2ED8A7E03700D283 Time : 0.0 sec. user=mdettweiler [2016-05-27 21:44:57] 697*2^1430573-1 is not prime. Res64: 8354B36D81B79F58 Time : 0.0 sec. user=mdettweiler [2016-05-27 21:44:58] 775*2^1430573-1 is not prime. Res64: D7C925F9D2AE572C Time : 0.0 sec. user=mdettweiler [2016-05-27 21:44:58] 951*2^1430573-1 is not prime. Res64: DCCB0B2129D2D990 Time : 0.0 sec. user=mdettweiler [2016-05-27 21:44:58] 663*2^1430574-1 is not prime. Res64: 8F19E4AE2513897D Time : 0.0 sec. user=mdettweiler [2016-05-27 22:03:05] 873*2^1430574-1 is not prime. Res64: ACB8995AFEFAAB1B Time : 0.0 sec. user=mdettweiler [2016-05-27 22:03:07] 881*2^1430574-1 is not prime. Res64: 76E7F7EAAC4F5B3D Time : 0.0 sec. user=mdettweiler [2016-05-27 22:03:08] 917*2^1430574-1 is not prime. Res64: F479567C72882E91 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:03:09] 921*2^1430574-1 is not prime. Res64: AE9794ED22B56CC7 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:03:10] 947*2^1430574-1 is not prime. Res64: BD474F130FE30822 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:04:52] 651*2^1430575-1 is not prime. Res64: 10C771DEED591DC3 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:04:56] 685*2^1430575-1 is not prime. Res64: 471CAA0918EEE5B0 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:04:57] 723*2^1430575-1 is not prime. Res64: 1BF628ACEC316880 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:04:59] 861*2^1430575-1 is not prime. Res64: C6914DB46B4EC928 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:05:01] 871*2^1430575-1 is not prime. Res64: C227BCC75C9F67BC Time : 0.0 sec. user=mdettweiler [2016-05-27 22:14:42] 675*2^1430576-1 is not prime. Res64: BD8F30408A70D3B0 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:14:42] 993*2^1430576-1 is not prime. Res64: 4897A4C903455ED6 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:14:43] 681*2^1430577-1 is not prime. Res64: 2F7D686A8CD5EB57 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:14:44] 739*2^1430577-1 is not prime. Res64: D43BD375BAF64AA5 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:14:44] 867*2^1430577-1 is not prime. Res64: 2A18C6D961F14472 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:29:45] 919*2^1430577-1 is not prime. Res64: CA02D019CF017AB0 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:29:46] 937*2^1430577-1 is not prime. Res64: 2FF96B37FE6B0FEF Time : 0.0 sec. user=mdettweiler [2016-05-27 22:29:46] 605*2^1430578-1 is not prime. Res64: 352FFCC75CB55FED Time : 0.0 sec. user=mdettweiler [2016-05-27 22:29:46] 923*2^1430578-1 is not prime. Res64: C417C694C26D0C2F Time : 0.0 sec. user=mdettweiler [2016-05-27 22:29:47] 933*2^1430578-1 is not prime. Res64: 1B40E0C8C0B39410 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:48:27] 945*2^1430578-1 is not prime. Res64: E358696F8E82CF45 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:48:28] 993*2^1430578-1 is not prime. Res64: 7676C8E9A697884B Time : 0.0 sec. user=mdettweiler [2016-05-27 22:48:28] 633*2^1430579-1 is not prime. Res64: 213F1110F6F19F48 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:48:28] 669*2^1430579-1 is not prime. Res64: 1956735B9119163F Time : 0.0 sec. user=mdettweiler [2016-05-27 22:48:29] 693*2^1430579-1 is not prime. Res64: A09F57E429450364 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:50:10] 753*2^1430579-1 is not prime. Res64: 29D7599077DC8398 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:50:10] 825*2^1430579-1 is not prime. Res64: 2BE5BEA7BFBC562A Time : 0.0 sec. user=mdettweiler [2016-05-27 22:50:10] 895*2^1430579-1 is not prime. Res64: 0A8AC268213B5BFE Time : 0.0 sec. user=mdettweiler [2016-05-27 22:50:11] 909*2^1430579-1 is not prime. Res64: 3337A737FA3417CD Time : 0.0 sec. user=mdettweiler [2016-05-27 22:50:11] 993*2^1430579-1 is not prime. Res64: 56EF999316E126D6 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:59:37] 719*2^1430580-1 is not prime. Res64: 0AEBF4B03DB22AAC Time : 0.0 sec. user=mdettweiler [2016-05-27 22:59:38] 887*2^1430580-1 is not prime. Res64: 0F9D8AEBA8888A74 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:59:38] 771*2^1430581-1 is not prime. Res64: 89D99DCD9434ADA4 Time : 0.0 sec. user=mdettweiler [2016-05-27 22:59:38] 945*2^1430581-1 is not prime. Res64: 8EAFDA35AFE3584E Time : 0.0 sec. user=mdettweiler [2016-05-27 22:59:39] 987*2^1430581-1 is not prime. Res64: D24E471EAD68B318 Time : 0.0 sec. user=mdettweiler [2016-05-27 23:14:43] 997*2^1430581-1 is not prime. Res64: 740F5A7B141F70BA Time : 0.0 sec. user=mdettweiler [2016-05-27 23:14:44] 651*2^1430582-1 is not prime. Res64: C71F3CF5457BDF6B Time : 0.0 sec. user=mdettweiler [2016-05-27 23:14:44] 665*2^1430582-1 is not prime. Res64: 6E8FCB7DE4B6269D Time : 0.0 sec. user=mdettweiler [2016-05-27 23:14:45] 755*2^1430582-1 is not prime. Res64: 8645A214E2251F6B Time : 0.0 sec. user=mdettweiler [2016-05-27 23:14:45] 771*2^1430582-1 is not prime. Res64: 6ACDD0B09E0C81CF Time : 0.0 sec. user=mdettweiler [2016-05-27 23:33:34] 797*2^1430582-1 is not prime. Res64: ADC231E37F3F1C1D Time : 0.0 sec. user=mdettweiler [2016-05-27 23:33:34] 813*2^1430582-1 is not prime. Res64: 233CE29D91C7B91F Time : 0.0 sec. user=mdettweiler [2016-05-27 23:33:34] 921*2^1430582-1 is not prime. Res64: B229EB79A732D9C1 Time : 0.0 sec. user=mdettweiler [2016-05-27 23:33:35] 951*2^1430582-1 is not prime. Res64: B0C73134FF90AEA0 Time : 0.0 sec. user=mdettweiler [2016-05-27 23:33:35] 953*2^1430582-1 is not prime. Res64: B45410BA01F35357 Time : 0.0 sec. user=mdettweiler [2016-05-27 23:35:07] 995*2^1430582-1 is not prime. Res64: 01955CD1BC3C9FD7 Time : 0.0 sec. user=mdettweiler [2016-05-27 23:35:07] 805*2^1430583-1 is not prime. Res64: D1AF01419276E104 Time : 0.0 sec. user=mdettweiler [2016-05-27 23:35:08] 853*2^1430583-1 is not prime. Res64: E8F86E0D5C7996D4 Time : 0.0 sec. user=mdettweiler [2016-05-27 23:35:08] 951*2^1430583-1 is not prime. Res64: E32E44605D345142 Time : 0.0 sec. user=mdettweiler [2016-05-27 23:35:08] 985*2^1430583-1 is not prime. Res64: 9A8545E80B8ADEED Time : 0.0 sec. user=mdettweiler [2016-05-27 23:44:45] 677*2^1430584-1 is not prime. Res64: 35A49E046B69DD46 Time : 0.0 sec. user=mdettweiler [2016-05-27 23:44:45] 705*2^1430584-1 is not prime. Res64: 7726EE30299175DD Time : 0.0 sec. user=mdettweiler [2016-05-27 23:44:46] 743*2^1430584-1 is not prime. Res64: 3FDD6BD45D03BE3E Time : 0.0 sec. user=mdettweiler [2016-05-27 23:44:46] 765*2^1430584-1 is not prime. Res64: 32B7E9FDD96294FE Time : 0.0 sec. user=mdettweiler [2016-05-27 23:44:46] 819*2^1430584-1 is not prime. Res64: 07B89FB302095342 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:00:02] 825*2^1430584-1 is not prime. Res64: 62696ADD08B213A9 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:00:02] 857*2^1430584-1 is not prime. Res64: D401683F93150E0B Time : 0.0 sec. user=mdettweiler [2016-05-28 00:00:02] 993*2^1430584-1 is not prime. Res64: E4FA9D9833907B78 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:00:03] 657*2^1430585-1 is not prime. Res64: 8B67426A0ED70264 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:00:03] 715*2^1430585-1 is not prime. Res64: 75DE5B5FA521B39E Time : 0.0 sec.