user=mdettweiler [2012-11-15 00:05:33] 855*2^1234420-1 is not prime. Res64: 255B319AFC54ED49 Time : 0.0 sec. user=mdettweiler [2012-11-15 00:05:36] 899*2^1234420-1 is not prime. Res64: 6ACE3A14F222DEA9 Time : 0.0 sec. user=mdettweiler [2012-11-15 00:15:50] 905*2^1234420-1 is not prime. Res64: 093284C52BEDAB43 Time : 0.0 sec. user=mdettweiler [2012-11-15 00:15:51] 923*2^1234420-1 is not prime. Res64: D4D80FDE6C2A5465 Time : 0.0 sec. user=mdettweiler [2012-11-15 00:27:33] 999*2^1234420-1 is not prime. Res64: 24945E92C824DE6D Time : 0.0 sec. user=mdettweiler [2012-11-15 00:27:34] 697*2^1234421-1 is not prime. Res64: 7675C48AF6490F2C Time : 0.0 sec. user=mdettweiler [2012-11-15 00:37:22] 727*2^1234421-1 is not prime. Res64: 4D1A88C0CA2F62B6 Time : 0.0 sec. user=mdettweiler [2012-11-15 00:37:23] 741*2^1234421-1 is not prime. Res64: 1223975432D04F70 Time : 0.0 sec. user=mdettweiler [2012-11-15 00:49:00] 795*2^1234421-1 is not prime. Res64: 56C5482AEE12CD1C Time : 0.0 sec. user=mdettweiler [2012-11-15 00:49:00] 885*2^1234421-1 is not prime. Res64: 086793A22A887EF6 Time : 0.0 sec. user=mdettweiler [2012-11-15 00:58:49] 927*2^1234421-1 is not prime. Res64: 1F1168D23855C133 Time : 0.0 sec. user=mdettweiler [2012-11-15 00:58:49] 957*2^1234421-1 is not prime. Res64: 386F488C295E087D Time : 0.0 sec. user=mdettweiler [2012-11-15 01:10:24] 651*2^1234422-1 is not prime. Res64: CEA724D68FBF99E5 Time : 0.0 sec. user=mdettweiler [2012-11-15 01:10:25] 657*2^1234422-1 is not prime. Res64: 370C1523C97BEBFE Time : 0.0 sec. user=mdettweiler [2012-11-15 01:22:37] 885*2^1234422-1 is not prime. Res64: A81EA7F599AF2728 Time : 0.0 sec. user=mdettweiler [2012-11-15 01:31:57] 923*2^1234422-1 is not prime. Res64: 6EAD96C6F52B367C Time : 0.0 sec. user=mdettweiler [2012-11-15 01:31:57] 1001*2^1234422-1 is not prime. Res64: B77A8AC37AB87410 Time : 0.0 sec. user=mdettweiler [2012-11-15 01:52:14] 917*2^1234422-1 is not prime. Res64: D13D5432999E0E55 Time : 0.0 sec. user=mdettweiler [2012-11-15 01:53:23] 663*2^1234423-1 is not prime. Res64: 544ECCADE1966A77 Time : 0.0 sec. user=mdettweiler [2012-11-15 01:53:23] 685*2^1234423-1 is not prime. Res64: 461C786478F42E11 Time : 0.0 sec. user=mdettweiler [2012-11-15 02:13:40] 703*2^1234423-1 is not prime. Res64: 8BA1DDF7C3181B45 Time : 0.0 sec. user=mdettweiler [2012-11-15 02:13:41] 709*2^1234423-1 is not prime. Res64: C524465839805371 Time : 0.0 sec. user=mdettweiler [2012-11-15 02:14:49] 861*2^1234423-1 is not prime. Res64: 02C7A9C58CAEDBBC Time : 0.0 sec. user=mdettweiler [2012-11-15 02:14:49] 873*2^1234423-1 is not prime. Res64: F66424AF5F94606C Time : 0.0 sec. user=mdettweiler [2012-11-15 02:35:10] 615*2^1234424-1 is not prime. Res64: BAFF0A63C7291E50 Time : 0.0 sec. user=mdettweiler [2012-11-15 02:35:12] 663*2^1234424-1 is not prime. Res64: 4AD3E77209D81411 Time : 0.0 sec. user=mdettweiler [2012-11-15 02:36:14] 813*2^1234424-1 is not prime. Res64: 69F0A8ABEF7F9371 Time : 0.0 sec. user=mdettweiler [2012-11-15 02:36:16] 923*2^1234424-1 is not prime. Res64: 84C0DFEB06DB7E0E Time : 0.0 sec. user=juhehe [2012-11-15 02:46:46] 627*2^1234409-1 is not prime. Res64: 707371AB2945F5C8 Time : 0.0 sec. user=mdettweiler [2012-11-15 02:57:01] 983*2^1234424-1 is not prime. Res64: 6CD1B983A4C70FD1 Time : 0.0 sec. user=mdettweiler [2012-11-15 02:57:02] 669*2^1234425-1 is not prime. Res64: 3F3B3B08749A9A86 Time : 0.0 sec. user=mdettweiler [2012-11-15 02:57:44] 691*2^1234425-1 is not prime. Res64: BE30FF7E8ACF334A Time : 0.0 sec. user=mdettweiler [2012-11-15 02:57:45] 949*2^1234425-1 is not prime. Res64: 3E101AC147B05533 Time : 0.0 sec. user=mdettweiler [2012-11-15 03:18:36] 801*2^1234426-1 is not prime. Res64: 599677FC99A91B08 Time : 0.0 sec. user=mdettweiler [2012-11-15 03:18:38] 855*2^1234426-1 is not prime. Res64: 57C737BF0D3B1F4D Time : 0.0 sec. user=mdettweiler [2012-11-15 03:19:13] 957*2^1234426-1 is not prime. Res64: 593C5775177BE1EF Time : 0.0 sec. user=mdettweiler [2012-11-15 03:19:15] 1001*2^1234426-1 is not prime. Res64: A7DAFB86AB78E720 Time : 0.0 sec. user=juhehe [2012-11-15 03:22:24] 773*2^1234426-1 is not prime. Res64: 141C2F7B782C8557 Time : 0.0 sec. user=juhehe [2012-11-15 03:23:58] 783*2^1234426-1 is not prime. Res64: E54AC4FF9786935C Time : 0.0 sec. user=mdettweiler [2012-11-15 03:40:14] 621*2^1234427-1 is not prime. Res64: 1F610020990ED14D Time : 0.0 sec. user=mdettweiler [2012-11-15 03:40:17] 699*2^1234427-1 is not prime. Res64: 00ABA9BDD5BBCC23 Time : 0.0 sec. user=mdettweiler [2012-11-15 03:40:50] 759*2^1234427-1 is not prime. Res64: A3D1AF12F6D35DAD Time : 0.0 sec. user=mdettweiler [2012-11-15 03:40:52] 799*2^1234427-1 is not prime. Res64: 08DCFDC15F19C85C Time : 0.0 sec. user=mdettweiler [2012-11-15 04:02:13] 825*2^1234427-1 is not prime. Res64: 8C1E2EA77D3E6CCE Time : 0.0 sec. user=mdettweiler [2012-11-15 04:02:14] 909*2^1234427-1 is not prime. Res64: 07C819B02B2EB868 Time : 0.0 sec. user=mdettweiler [2012-11-15 04:02:28] 949*2^1234427-1 is not prime. Res64: A75D9BEE4060AA0D Time : 0.0 sec. user=mdettweiler [2012-11-15 04:02:29] 635*2^1234428-1 is not prime. Res64: 1AD8990776FBFCD7 Time : 0.0 sec. user=juhehe [2012-11-15 04:07:30] 823*2^1234427-1 is not prime. Res64: C84630FC072279B0 Time : 0.0 sec. user=mdettweiler [2012-11-15 04:23:47] 707*2^1234428-1 is not prime. Res64: 9963A0BBD0D2EC54 Time : 0.0 sec. user=mdettweiler [2012-11-15 04:23:47] 789*2^1234428-1 is not prime. Res64: 001B2F3D2C781B79 Time : 0.0 sec. user=mdettweiler [2012-11-15 04:23:54] 887*2^1234428-1 is not prime. Res64: AF4D1448605343C4 Time : 0.0 sec. user=mdettweiler [2012-11-15 04:23:54] 927*2^1234428-1 is not prime. Res64: 16A28344F3C2FC7B Time : 0.0 sec. user=mdettweiler [2012-11-15 04:45:15] 757*2^1234429-1 is not prime. Res64: 43AA822F8D92A9D0 Time : 0.0 sec. user=mdettweiler [2012-11-15 04:45:15] 771*2^1234429-1 is not prime. Res64: 35D0F71EADCC9A49 Time : 0.0 sec. user=mdettweiler [2012-11-15 04:45:20] 801*2^1234429-1 is not prime. Res64: 410628780385733E Time : 0.0 sec. user=mdettweiler [2012-11-15 04:45:23] 987*2^1234429-1 is not prime. Res64: 36B70E54F4C811F3 Time : 0.0 sec. user=juhehe [2012-11-15 04:51:46] 639*2^1234429-1 is not prime. Res64: 111A67334A1AD9D3 Time : 0.0 sec. user=mdettweiler [2012-11-15 05:06:53] 785*2^1234430-1 is not prime. Res64: 6981E65DDD3FAB21 Time : 0.0 sec. user=mdettweiler [2012-11-15 05:06:53] 885*2^1234430-1 is not prime. Res64: AE66C051FAC16ABE Time : 0.0 sec. user=mdettweiler [2012-11-15 05:06:57] 831*2^1234430-1 is not prime. Res64: CFA5EB35A401BFE9 Time : 0.0 sec. user=mdettweiler [2012-11-15 05:06:58] 935*2^1234430-1 is not prime. Res64: 8D9BD79785380810 Time : 0.0 sec. user=mdettweiler [2012-11-15 05:28:42] 769*2^1234431-1 is not prime. Res64: 5882C3C531779C7E Time : 0.0 sec. user=mdettweiler [2012-11-15 05:28:43] 909*2^1234431-1 is not prime. Res64: 0977BF8FF87E01B0 Time : 0.0 sec. user=mdettweiler [2012-11-15 05:28:43] 913*2^1234431-1 is not prime. Res64: C721B7BB5BC2BF84 Time : 0.0 sec. user=mdettweiler [2012-11-15 05:28:43] 951*2^1234431-1 is not prime. Res64: 29CA8366125C9D5E Time : 0.0 sec. user=juhehe [2012-11-15 05:34:33] 957*2^1234430-1 is not prime. Res64: A5E8DCAAFA85AB34 Time : 0.0 sec. user=mdettweiler [2012-11-15 05:50:09] 975*2^1234431-1 is not prime. Res64: C7097EB8C8878F44 Time : 0.0 sec. user=mdettweiler [2012-11-15 05:50:10] 629*2^1234432-1 is not prime. Res64: 08C3B0327256518F Time : 0.0 sec. user=mdettweiler [2012-11-15 05:50:10] 645*2^1234432-1 is not prime. Res64: DB9BCAB4FCC2B3F3 Time : 0.0 sec. user=mdettweiler [2012-11-15 05:50:11] 677*2^1234432-1 is not prime. Res64: 0EBD025E81A1F27D Time : 0.0 sec. user=mdettweiler [2012-11-15 06:11:35] 705*2^1234432-1 is not prime. Res64: 9AA585ACAEBB02AC Time : 0.0 sec. user=mdettweiler [2012-11-15 06:11:37] 755*2^1234432-1 is not prime. Res64: B0BFE7E966164FDA Time : 0.0 sec. user=mdettweiler [2012-11-15 06:11:39] 917*2^1234432-1 is not prime. Res64: 795EB0F41CE1917E Time : 0.0 sec. user=mdettweiler [2012-11-15 06:11:42] 947*2^1234432-1 is not prime. Res64: B1A5B095E7C329C5 Time : 0.0 sec. user=juhehe [2012-11-15 06:18:57] 695*2^1234432-1 is not prime. Res64: 2F0B28108D3BC8BA Time : 0.0 sec. user=mdettweiler [2012-11-15 06:33:10] 983*2^1234432-1 is not prime. Res64: 74DA4DE85E023846 Time : 0.0 sec. user=mdettweiler [2012-11-15 06:33:10] 607*2^1234433-1 is not prime. Res64: C599337AD46405B8 Time : 0.0 sec. user=mdettweiler [2012-11-15 06:33:10] 995*2^1234432-1 is not prime. Res64: 0DDAEA03C6826DAD Time : 0.0 sec. user=mdettweiler [2012-11-15 06:33:11] 871*2^1234433-1 is not prime. Res64: 98368BDD64B96C6F Time : 0.0 sec. user=mdettweiler [2012-11-15 06:54:35] 955*2^1234433-1 is not prime. Res64: DDB78C5D91A64DA5 Time : 0.0 sec. user=mdettweiler [2012-11-15 06:54:35] 985*2^1234433-1 is not prime. Res64: 3C2B3E65734BFF77 Time : 0.0 sec. user=mdettweiler [2012-11-15 06:54:37] 651*2^1234434-1 is not prime. Res64: 45235034D8F8505E Time : 0.0 sec. user=mdettweiler [2012-11-15 06:54:38] 681*2^1234434-1 is not prime. Res64: 8D0CDAD2B240EC51 Time : 0.0 sec. user=juhehe [2012-11-15 07:02:43] 925*2^1234433-1 is not prime. Res64: 56B0CD60ACAF4494 Time : 0.0 sec. user=mdettweiler [2012-11-15 07:16:01] 683*2^1234434-1 is not prime. Res64: 837C93B49ECAAB11 Time : 0.0 sec. user=mdettweiler [2012-11-15 07:16:01] 797*2^1234434-1 is not prime. Res64: 904499978401B3B0 Time : 0.0 sec. user=mdettweiler [2012-11-15 07:16:03] 837*2^1234434-1 is not prime. Res64: 4A5C776492745B2E Time : 0.0 sec. user=mdettweiler [2012-11-15 07:16:04] 885*2^1234434-1 is not prime. Res64: BD46A2529AAE06B0 Time : 0.0 sec. user=mdettweiler [2012-11-15 07:37:47] 947*2^1234434-1 is not prime. Res64: 20016087937FD84A Time : 0.0 sec. user=mdettweiler [2012-11-15 07:37:52] 873*2^1234435-1 is not prime. Res64: 26509F11049E34BB Time : 0.0 sec. user=mdettweiler [2012-11-15 07:37:53] 859*2^1234435-1 is not prime. Res64: 26E74DAC4F5B33AC Time : 0.0 sec. user=mdettweiler [2012-11-15 07:37:54] 885*2^1234435-1 is not prime. Res64: ADDA90E557358B93 Time : 0.0 sec. user=juhehe [2012-11-15 07:46:35] 891*2^1234434-1 is not prime. Res64: 13CD275CD01B861B Time : 0.0 sec. user=mdettweiler [2012-11-15 07:59:28] 895*2^1234435-1 is not prime. Res64: CD8C4A4FDB561629 Time : 0.0 sec. user=mdettweiler [2012-11-15 07:59:28] 635*2^1234436-1 is not prime. Res64: 65012FB20575ED2C Time : 0.0 sec. user=mdettweiler [2012-11-15 07:59:33] 659*2^1234436-1 is not prime. Res64: 357C2E0EBF8B20A6 Time : 0.0 sec. user=mdettweiler [2012-11-15 07:59:33] 707*2^1234436-1 is not prime. Res64: 4A12DBD2EA7285E8 Time : 0.0 sec. user=mdettweiler [2012-11-15 08:20:52] 803*2^1234436-1 is not prime. Res64: 595B1A3CED162AAE Time : 0.0 sec. user=mdettweiler [2012-11-15 08:20:54] 839*2^1234436-1 is not prime. Res64: 53C36396403C2E23 Time : 0.0 sec. user=mdettweiler [2012-11-15 08:20:59] 879*2^1234436-1 is not prime. Res64: 0DDD00C3C3E55C64 Time : 0.0 sec. user=mdettweiler [2012-11-15 08:21:00] 765*2^1234437-1 is not prime. Res64: B7FCC7962C80221D Time : 0.0 sec. user=juhehe [2012-11-15 08:30:11] 749*2^1234436-1 is not prime. Res64: 308CAD32CE2585FD Time : 0.0 sec. user=mdettweiler [2012-11-15 08:42:31] 621*2^1234438-1 is not prime. Res64: 47AB0ECF5D8C50F1 Time : 0.0 sec. user=mdettweiler [2012-11-15 08:42:32] 657*2^1234438-1 is not prime. Res64: 5BD60593D8ABC5FB Time : 0.0 sec. user=mdettweiler [2012-11-15 08:42:32] 795*2^1234437-1 is not prime. Res64: F4EADA524BD5062C Time : 0.0 sec. user=mdettweiler [2012-11-15 08:42:32] 663*2^1234438-1 is not prime. Res64: 64FE728334F3BFDA Time : 0.0 sec. user=mdettweiler [2012-11-15 09:03:57] 827*2^1234438-1 is not prime. Res64: 077CA90DFA5C2641 Time : 0.0 sec. user=mdettweiler [2012-11-15 09:03:59] 845*2^1234438-1 is not prime. Res64: 393D717AEA8FE618 Time : 0.0 sec. user=mdettweiler [2012-11-15 09:04:00] 705*2^1234438-1 is not prime. Res64: 4AF3FB03BD9F7804 Time : 0.0 sec. user=mdettweiler [2012-11-15 09:04:02] 791*2^1234438-1 is not prime. Res64: 52869A1625765F2D Time : 0.0 sec. user=juhehe [2012-11-15 09:13:46] 665*2^1234438-1 is not prime. Res64: 682DBB04604CDE7D Time : 0.0 sec. user=mdettweiler [2012-11-15 09:25:40] 887*2^1234438-1 is not prime. Res64: 2E09DD8ACCB0D56B Time : 0.0 sec. user=mdettweiler [2012-11-15 09:25:41] 941*2^1234438-1 is not prime. Res64: CF3E7ADDF73D7A29 Time : 0.0 sec. user=mdettweiler [2012-11-15 09:25:45] 975*2^1234438-1 is not prime. Res64: 1CA27928599516B2 Time : 0.0 sec. user=mdettweiler [2012-11-15 09:25:45] 771*2^1234439-1 is not prime. Res64: 2665D67107609A71 Time : 0.0 sec. user=mdettweiler [2012-11-15 09:47:06] 921*2^1234439-1 is not prime. Res64: DB64EAD6ABD6F7CC Time : 0.0 sec. user=mdettweiler [2012-11-15 09:47:06] 999*2^1234439-1 is not prime. Res64: E662BE8A5B9DA823 Time : 0.0 sec. user=mdettweiler [2012-11-15 09:47:10] 675*2^1234440-1 is not prime. Res64: 408DE0A357802DEB Time : 0.0 sec. user=mdettweiler [2012-11-15 09:47:10] 753*2^1234440-1 is not prime. Res64: 7D489285342C537D Time : 0.0 sec. user=juhehe [2012-11-15 09:55:10] 843*2^1234439-1 is not prime. Res64: F7ED8C88EFC07163 Time : 0.0 sec. user=mdettweiler [2012-11-15 10:08:31] 797*2^1234440-1 is not prime. Res64: D18188101BCF0D0B Time : 0.0 sec. user=mdettweiler [2012-11-15 10:08:32] 933*2^1234440-1 is not prime. Res64: 13E69320471A8DBB Time : 0.0 sec. user=mdettweiler [2012-11-15 10:08:34] 609*2^1234441-1 is not prime. Res64: 018C2B16D478712F Time : 0.0 sec. user=mdettweiler [2012-11-15 10:08:36] 681*2^1234441-1 is not prime. Res64: 15CB9D97ED77DDD2 Time : 0.0 sec. user=juhehe [2012-11-15 10:19:11] 777*2^1234440-1 is not prime. Res64: 90FB4B35F08F3E0D Time : 0.0 sec. user=mdettweiler [2012-11-15 10:30:02] 705*2^1234441-1 is not prime. Res64: EF7E34EE126F1617 Time : 0.0 sec. user=mdettweiler [2012-11-15 10:30:03] 717*2^1234441-1 is not prime. Res64: 2362BEBCFB44B6A1 Time : 0.0 sec. user=mdettweiler [2012-11-15 10:30:07] 849*2^1234441-1 is not prime. Res64: 3600A32908B4DF8F Time : 0.0 sec. user=mdettweiler [2012-11-15 10:30:07] 925*2^1234441-1 is not prime. Res64: 6F4E81E011048437 Time : 0.0 sec. user=juhehe [2012-11-15 10:32:17] 687*2^1234441-1 is not prime. Res64: 66DE9E3B1311E3E1 Time : 0.0 sec. user=mdettweiler [2012-11-15 10:51:31] 935*2^1234442-1 is not prime. Res64: 2560AC56C5D879E7 Time : 0.0 sec. user=mdettweiler [2012-11-15 10:51:31] 951*2^1234442-1 is not prime. Res64: AB4E570A8044AC5D Time : 0.0 sec. user=mdettweiler [2012-11-15 10:51:33] 981*2^1234442-1 is not prime. Res64: DDBD820EA3B3706A Time : 0.0 sec. user=mdettweiler [2012-11-15 10:51:34] 613*2^1234443-1 is not prime. Res64: 2F27A77F606BE0F8 Time : 0.0 sec. user=juhehe [2012-11-15 10:56:04] 633*2^1234442-1 is not prime. Res64: 015AD14B21E0A8BC Time : 0.0 sec. user=juhehe [2012-11-15 11:09:07] 723*2^1234443-1 is not prime. Res64: 3586E4C99805EC31 Time : 0.0 sec. user=mdettweiler [2012-11-15 11:12:55] 741*2^1234443-1 is not prime. Res64: 8DC9FCA6AAEFF046 Time : 0.0 sec. user=mdettweiler [2012-11-15 11:12:57] 745*2^1234443-1 is not prime. Res64: FB59A6D3AA68F865 Time : 0.0 sec. user=mdettweiler [2012-11-15 11:13:00] 793*2^1234443-1 is not prime. Res64: 11AE63B1497EE363 Time : 0.0 sec. user=mdettweiler [2012-11-15 11:13:03] 801*2^1234443-1 is not prime. Res64: B4CECE033AA75507 Time : 0.0 sec. user=juhehe [2012-11-15 11:32:57] 835*2^1234443-1 is not prime. Res64: C5F65A41E2BF5C32 Time : 0.0 sec. user=mdettweiler [2012-11-15 11:34:31] 969*2^1234443-1 is not prime. Res64: EF4F3335A2BBC716 Time : 0.0 sec. user=mdettweiler [2012-11-15 11:34:32] 609*2^1234444-1 is not prime. Res64: AE2CDC47F031B1FA Time : 0.0 sec. user=mdettweiler [2012-11-15 11:34:36] 695*2^1234444-1 is not prime. Res64: A24A0F727090237D Time : 0.0 sec. user=mdettweiler [2012-11-15 11:34:37] 803*2^1234444-1 is not prime. Res64: D70D05233C7C4AB2 Time : 0.0 sec. user=juhehe [2012-11-15 11:46:04] 921*2^1234443-1 is not prime. Res64: 123C784347080D1C Time : 0.0 sec. user=mdettweiler [2012-11-15 11:55:43] 721*2^1234445-1 is not prime. Res64: A75CB09EE5A004AE Time : 0.0 sec. user=mdettweiler [2012-11-15 11:55:43] 757*2^1234445-1 is not prime. Res64: 1AF47E1EC2724E87 Time : 0.0 sec. user=mdettweiler [2012-11-15 11:55:52] 847*2^1234445-1 is not prime. Res64: 11E110C62930D77C Time : 0.0 sec. user=mdettweiler [2012-11-15 11:55:52] 865*2^1234445-1 is not prime. Res64: 70EDF502338D6AE2 Time : 0.0 sec. user=juhehe [2012-11-15 12:09:40] 873*2^1234444-1 is not prime. Res64: 58FC9B721DC8B0D0 Time : 0.0 sec. user=mdettweiler [2012-11-15 12:19:29] 711*2^1234446-1 is not prime. Res64: FCDBBA870E64EA32 Time : 0.0 sec. user=mdettweiler [2012-11-15 12:19:29] 625*2^1234447-1 is not prime. Res64: 500803ED0E0F0153 Time : 0.0 sec. user=juhehe [2012-11-15 12:23:21] 981*2^1234445-1 is not prime. Res64: EF5ADFD198F13994 Time : 0.0 sec. user=mdettweiler [2012-11-15 12:46:23] 651*2^1234447-1 is not prime. Res64: A343E85C40C28F09 Time : 0.0 sec. user=juhehe [2012-11-15 12:46:35] 663*2^1234447-1 is not prime. Res64: D42EB436B62F8694 Time : 0.0 sec. user=mdettweiler [2012-11-15 12:54:29] 947*2^1234446-1 is not prime. Res64: 364C7B2128CCE615 Time : 0.0 sec. user=juhehe [2012-11-15 13:00:16] 673*2^1234447-1 is not prime. Res64: A23726AA1D8EF328 Time : 0.0 sec. user=mdettweiler [2012-11-15 13:07:29] 675*2^1234447-1 is not prime. Res64: A1C307BF0AD0501D Time : 0.0 sec. user=mdettweiler [2012-11-15 13:07:31] 831*2^1234447-1 is not prime. Res64: B0654D659BB9C951 Time : 0.0 sec. user=mdettweiler [2012-11-15 13:15:38] 861*2^1234447-1 is not prime. Res64: CFACD3F4986D1E9A Time : 0.0 sec. user=mdettweiler [2012-11-15 13:15:38] 933*2^1234447-1 is not prime. Res64: C89C93D8E28061A2 Time : 0.0 sec. user=mdettweiler [2012-11-15 13:28:49] 603*2^1234448-1 is not prime. Res64: 2FAB791A0A5DB558 Time : 0.0 sec. user=mdettweiler [2012-11-15 13:28:49] 819*2^1234448-1 is not prime. Res64: 18AE0E73FE8D0824 Time : 0.0 sec. user=mdettweiler [2012-11-15 13:37:09] 959*2^1234448-1 is not prime. Res64: 03D710671099C202 Time : 0.0 sec. user=mdettweiler [2012-11-15 13:37:09] 963*2^1234448-1 is not prime. Res64: 0BA0E6EC2CD7C4F5 Time : 0.0 sec. user=juhehe [2012-11-15 13:37:12] 999*2^1234447-1 is not prime. Res64: ABECC6E57E4DB1DC Time : 0.0 sec. user=mdettweiler [2012-11-15 13:50:12] 811*2^1234449-1 is not prime. Res64: 0BC3B08ED35139D4 Time : 0.0 sec. user=mdettweiler [2012-11-15 13:50:13] 921*2^1234449-1 is not prime. Res64: 5A041598B4B48A44 Time : 0.0 sec. user=juhehe [2012-11-15 13:58:20] 735*2^1234449-1 is not prime. Res64: 070F1ED79689A70D Time : 0.0 sec. user=mdettweiler [2012-11-15 13:58:31] 945*2^1234449-1 is not prime. Res64: C100A43B7995186F Time : 0.0 sec. user=mdettweiler [2012-11-15 13:58:31] 997*2^1234449-1 is not prime. Res64: D2878499F09D3212 Time : 0.0 sec. user=mdettweiler [2012-11-15 14:11:30] 671*2^1234450-1 is not prime. Res64: 05EC135CA5EE0B2C Time : 0.0 sec. user=mdettweiler [2012-11-15 14:11:31] 747*2^1234450-1 is not prime. Res64: 193342F3E57A417C Time : 0.0 sec. user=juhehe [2012-11-15 14:14:08] 657*2^1234450-1 is not prime. Res64: 4DBC33AE176CD895 Time : 0.0 sec. user=mdettweiler [2012-11-15 14:19:59] 867*2^1234450-1 is not prime. Res64: A0759F45F0400E32 Time : 0.0 sec. user=mdettweiler [2012-11-15 14:32:52] 933*2^1234450-1 is not prime. Res64: A806FBA3ABBEB1F3 Time : 0.0 sec. user=mdettweiler [2012-11-15 14:32:53] 975*2^1234450-1 is not prime. Res64: 90E9C47F115FF0D5 Time : 0.0 sec. user=mdettweiler [2012-11-15 14:51:30] 915*2^1234450-1 is not prime. Res64: 98C3424094AA22A5 Time : 0.0 sec. user=mdettweiler [2012-11-15 14:54:08] 921*2^1234451-1 is not prime. Res64: 90C1D55AC905AFD1 Time : 0.0 sec. user=mdettweiler [2012-11-15 14:54:08] 981*2^1234451-1 is not prime. Res64: 16ED8BF50793E43E Time : 0.0 sec. user=juhehe [2012-11-15 15:02:17] 685*2^1234451-1 is not prime. Res64: B4933CF4E2BE4E12 Time : 0.0 sec. user=mdettweiler [2012-11-15 15:12:42] 665*2^1234452-1 is not prime. Res64: 554AC6F9C2AD5CC2 Time : 0.0 sec. user=mdettweiler [2012-11-15 15:12:44] 695*2^1234452-1 is not prime. Res64: 02E740F991655DCC Time : 0.0 sec. user=mdettweiler [2012-11-15 15:15:20] 717*2^1234452-1 is not prime. Res64: 3E32FCCE86020FD0 Time : 0.0 sec. user=mdettweiler [2012-11-15 15:15:21] 725*2^1234452-1 is not prime. Res64: 3244D213AA349D0F Time : 0.0 sec. user=mdettweiler [2012-11-15 15:34:04] 875*2^1234452-1 is not prime. Res64: B2A68A20B2B332D8 Time : 0.0 sec. user=mdettweiler [2012-11-15 15:34:04] 879*2^1234452-1 is not prime. Res64: B81DFB1BAB646E4E Time : 0.0 sec. user=mdettweiler [2012-11-15 15:36:35] 929*2^1234452-1 is not prime. Res64: FF5DDB7F9618931A Time : 0.0 sec. user=mdettweiler [2012-11-15 15:36:36] 965*2^1234452-1 is not prime. Res64: 2042AE313F351C3E Time : 0.0 sec. user=juhehe [2012-11-15 15:48:17] 873*2^1234452-1 is not prime. Res64: 50E90BE560685B35 Time : 0.0 sec. user=mdettweiler [2012-11-15 15:54:56] 999*2^1234452-1 is not prime. Res64: 5E226DA17E4CDC1A Time : 0.0 sec. user=mdettweiler [2012-11-15 15:54:56] 675*2^1234453-1 is not prime. Res64: 8A2BD6A13EDF68FB Time : 0.0 sec. user=mdettweiler [2012-11-15 15:57:25] 721*2^1234453-1 is not prime. Res64: EEFFE292219B4D57 Time : 0.0 sec. user=mdettweiler [2012-11-15 15:57:26] 645*2^1234454-1 is not prime. Res64: E7C84249CBAC5523 Time : 0.0 sec. user=juhehe [2012-11-15 16:02:00] 983*2^1234452-1 is not prime. Res64: 0DD85AB4549B840C Time : 0.0 sec. user=mdettweiler [2012-11-15 16:15:47] 683*2^1234454-1 is not prime. Res64: 7F9CC38D07A233CC Time : 0.0 sec. user=mdettweiler [2012-11-15 16:15:50] 755*2^1234454-1 is not prime. Res64: 7966DA436D577B64 Time : 0.0 sec. user=mdettweiler [2012-11-15 16:18:14] 773*2^1234454-1 is not prime. Res64: 34CECD9A40CFCF19 Time : 0.0 sec. user=mdettweiler [2012-11-15 16:18:15] 915*2^1234454-1 is not prime. Res64: D44423E0FFAD9E39 Time : 0.0 sec. user=juhehe [2012-11-15 16:24:19] 677*2^1234454-1 is not prime. Res64: 4E4244EE555F9332 Time : 0.0 sec. user=mdettweiler [2012-11-15 16:36:58] 781*2^1234455-1 is not prime. Res64: 3878E9D0A74FAB8D Time : 0.0 sec. user=mdettweiler [2012-11-15 16:36:58] 789*2^1234455-1 is not prime. Res64: 51C744989A37DC4F Time : 0.0 sec. user=mdettweiler [2012-11-15 16:39:16] 819*2^1234455-1 is not prime. Res64: 6FB2B05A3DC1C974 Time : 0.0 sec. user=mdettweiler [2012-11-15 16:39:16] 921*2^1234455-1 is not prime. Res64: B056C5A7E73F96F2 Time : 0.0 sec. user=mdettweiler [2012-11-15 16:57:47] 717*2^1234456-1 is not prime. Res64: 3CD0E09E8ADBA2EC Time : 0.0 sec. user=mdettweiler [2012-11-15 16:57:47] 875*2^1234456-1 is not prime. Res64: 27D412A7C3753F3C Time : 0.0 sec. user=mdettweiler [2012-11-15 17:00:09] 909*2^1234456-1 is not prime. Res64: 126E4BE086E9980C Time : 0.0 sec. user=mdettweiler [2012-11-15 17:00:10] 717*2^1234457-1 is not prime. Res64: BC8B84AA4A466321 Time : 0.0 sec. user=juhehe [2012-11-15 17:00:23] 933*2^1234455-1 is not prime. Res64: 016EBEA7003A6178 Time : 0.0 sec. user=mdettweiler [2012-11-15 17:18:48] 867*2^1234457-1 is not prime. Res64: E6D6CC01A9300E5F Time : 0.0 sec. user=mdettweiler [2012-11-15 17:18:53] 885*2^1234457-1 is not prime. Res64: 0A256A7126EDE8BF Time : 0.0 sec. user=mdettweiler [2012-11-15 17:21:12] 909*2^1234457-1 is not prime. Res64: 3AF351942A7478A1 Time : 0.0 sec. user=mdettweiler [2012-11-15 17:21:15] 949*2^1234457-1 is not prime. Res64: 9AB12B169B1ACB1D Time : 0.0 sec. user=juhehe [2012-11-15 17:38:41] 955*2^1234457-1 is not prime. Res64: 6C566F0C5F64C9A2 Time : 0.0 sec. user=mdettweiler [2012-11-15 17:40:42] 627*2^1234458-1 is not prime. Res64: 29962288BCDE964F Time : 0.0 sec. user=mdettweiler [2012-11-15 17:40:43] 711*2^1234458-1 is not prime. Res64: 857F8F2E8444D4D5 Time : 0.0 sec. user=mdettweiler [2012-11-15 17:42:21] 713*2^1234458-1 is not prime. Res64: 46E9AEBB358087D4 Time : 0.0 sec. user=mdettweiler [2012-11-15 17:42:22] 825*2^1234458-1 is not prime. Res64: A66C2627790910FF Time : 0.0 sec. user=mdettweiler [2012-11-15 18:01:40] 893*2^1234458-1 is not prime. Res64: 5842A28F06E7F74D Time : 0.0 sec. user=mdettweiler [2012-11-15 18:01:42] 941*2^1234458-1 is not prime. Res64: 236624E2C20AC851 Time : 0.0 sec. user=mdettweiler [2012-11-15 18:03:17] 971*2^1234458-1 is not prime. Res64: 6E57F31D04DAABA8 Time : 0.0 sec. user=mdettweiler [2012-11-15 18:03:18] 709*2^1234459-1 is not prime. Res64: 0E37A597501AB9EE Time : 0.0 sec. user=mdettweiler [2012-11-15 18:23:03] 771*2^1234459-1 is not prime. Res64: D697021A3C22E94F Time : 0.0 sec. user=mdettweiler [2012-11-15 18:23:04] 793*2^1234459-1 is not prime. Res64: 93D4775D0ADF3C5C Time : 0.0 sec. user=mdettweiler [2012-11-15 18:24:15] 855*2^1234459-1 is not prime. Res64: 06451128AD9D913D Time : 0.0 sec. user=mdettweiler [2012-11-15 18:24:16] 891*2^1234459-1 is not prime. Res64: D7EF4201407A1386 Time : 0.0 sec. user=mdettweiler [2012-11-15 18:44:01] 929*2^1234460-1 is not prime. Res64: 103F9C343C257D14 Time : 0.0 sec. user=mdettweiler [2012-11-15 18:44:01] 685*2^1234461-1 is not prime. Res64: 415C4D0F6EA97D30 Time : 0.0 sec. user=mdettweiler [2012-11-15 18:45:19] 709*2^1234461-1 is not prime. Res64: DDAEDEF395560983 Time : 0.0 sec. user=mdettweiler [2012-11-15 18:45:19] 711*2^1234461-1 is not prime. Res64: A602AEA79ADADBA0 Time : 0.0 sec. user=mdettweiler [2012-11-15 19:04:57] 751*2^1234461-1 is not prime. Res64: 68D85D8D0B91CE71 Time : 0.0 sec. user=mdettweiler [2012-11-15 19:05:01] 789*2^1234461-1 is not prime. Res64: A7560169499FC435 Time : 0.0 sec. user=mdettweiler [2012-11-15 19:06:16] 795*2^1234461-1 is not prime. Res64: A7EAA9F501BB0282 Time : 0.0 sec. user=mdettweiler [2012-11-15 19:06:17] 805*2^1234461-1 is not prime. Res64: A1815F7A46A87354 Time : 0.0 sec. user=mdettweiler [2012-11-15 19:26:15] 885*2^1234461-1 is not prime. Res64: 947CB0482D6B27CC Time : 0.0 sec. user=mdettweiler [2012-11-15 19:26:18] 603*2^1234462-1 is not prime. Res64: 6EE8F7B15BED3C6A Time : 0.0 sec. user=mdettweiler [2012-11-15 19:27:17] 665*2^1234462-1 is not prime. Res64: CE29912C97AF4BAB Time : 0.0 sec. user=mdettweiler [2012-11-15 19:27:18] 723*2^1234462-1 is not prime. Res64: 6CD0B45185D34034 Time : 0.0 sec. user=mdettweiler [2012-11-15 19:47:30] 813*2^1234462-1 is not prime. Res64: 7775813E3B668CB2 Time : 0.0 sec. user=mdettweiler [2012-11-15 19:47:31] 917*2^1234462-1 is not prime. Res64: 2C8BAC621F81A720 Time : 0.0 sec. user=mdettweiler [2012-11-15 19:48:26] 703*2^1234463-1 is not prime. Res64: 26C8382F5BCABA46 Time : 0.0 sec. user=mdettweiler [2012-11-15 19:48:27] 741*2^1234463-1 is not prime. Res64: 0F974063155E9E6E Time : 0.0 sec. user=mdettweiler [2012-11-15 20:08:36] 759*2^1234463-1 is not prime. Res64: 8FC3CC545F38979D Time : 0.0 sec. user=mdettweiler [2012-11-15 20:08:37] 811*2^1234463-1 is not prime. Res64: 28E588A85999A13E Time : 0.0 sec. user=mdettweiler [2012-11-15 20:09:30] 963*2^1234463-1 is not prime. Res64: C06C398EEF4991CF Time : 0.0 sec. user=mdettweiler [2012-11-15 20:09:32] 969*2^1234463-1 is not prime. Res64: 81A8E6378F0CA0F2 Time : 0.0 sec. user=mdettweiler [2012-11-15 20:29:43] 993*2^1234463-1 is not prime. Res64: 7C408AD51A406EE3 Time : 0.0 sec. user=mdettweiler [2012-11-15 20:29:44] 615*2^1234464-1 is not prime. Res64: DF918C3B63E24418 Time : 0.0 sec. user=mdettweiler [2012-11-15 20:30:32] 747*2^1234464-1 is not prime. Res64: 5D819AA4618A25E4 Time : 0.0 sec. user=mdettweiler [2012-11-15 20:30:33] 909*2^1234464-1 is not prime. Res64: 9CE388070C554700 Time : 0.0 sec. user=mdettweiler [2012-11-15 20:50:41] 915*2^1234464-1 is not prime. Res64: DE4A02A05AF5A3C8 Time : 0.0 sec. user=mdettweiler [2012-11-15 20:50:42] 969*2^1234464-1 is not prime. Res64: D5520377E67FECAE Time : 0.0 sec. user=mdettweiler [2012-11-15 20:51:30] 685*2^1234465-1 is not prime. Res64: F12FBC5B9B2B537B Time : 0.0 sec. user=mdettweiler [2012-11-15 20:51:31] 751*2^1234465-1 is not prime. Res64: ABA4A2B7D8B9AD36 Time : 0.0 sec. user=mdettweiler [2012-11-15 21:12:05] 759*2^1234465-1 is not prime. Res64: CA35B9D8A79945ED Time : 0.0 sec. user=mdettweiler [2012-11-15 21:12:07] 831*2^1234465-1 is not prime. Res64: F9AB0DD058E9840F Time : 0.0 sec. user=mdettweiler [2012-11-15 21:12:56] 937*2^1234465-1 is not prime. Res64: 902BBD47894DA4DB Time : 0.0 sec. user=mdettweiler [2012-11-15 21:12:56] 979*2^1234465-1 is not prime. Res64: 7CB1BBCE9661E7C5 Time : 0.0 sec. user=mdettweiler [2012-11-15 21:33:23] 615*2^1234466-1 is not prime. Res64: C3060361C4CDB7C6 Time : 0.0 sec. user=mdettweiler [2012-11-15 21:33:23] 641*2^1234466-1 is not prime. Res64: 3EB9F3E7D9AE3B1E Time : 0.0 sec. user=mdettweiler [2012-11-15 21:34:06] 837*2^1234466-1 is not prime. Res64: 77F58D325D418C86 Time : 0.0 sec. user=mdettweiler [2012-11-15 21:34:06] 873*2^1234466-1 is not prime. Res64: 1F8BE73AD8E87DBA Time : 0.0 sec. user=mdettweiler [2012-11-15 21:54:36] 685*2^1234467-1 is not prime. Res64: CB3B5BE989EC5387 Time : 0.0 sec. user=mdettweiler [2012-11-15 21:54:36] 691*2^1234467-1 is not prime. Res64: 1AA85FEC7234E2B8 Time : 0.0 sec. user=mdettweiler [2012-11-15 21:55:15] 709*2^1234467-1 is not prime. Res64: 18886B44E81E0701 Time : 0.0 sec. user=mdettweiler [2012-11-15 21:55:15] 775*2^1234467-1 is not prime. Res64: 60F389A065BBA608 Time : 0.0 sec. user=mdettweiler [2012-11-15 22:15:46] 963*2^1234467-1 is not prime. Res64: 34607113DBE31C23 Time : 0.0 sec. user=mdettweiler [2012-11-15 22:15:47] 699*2^1234468-1 is not prime. Res64: 2278323D4E8485F4 Time : 0.0 sec. user=mdettweiler [2012-11-15 22:16:23] 833*2^1234468-1 is not prime. Res64: A188E35F9E8AE37B Time : 0.0 sec. user=mdettweiler [2012-11-15 22:16:23] 923*2^1234468-1 is not prime. Res64: A8BBC60259EF0F81 Time : 0.0 sec. user=mdettweiler [2012-11-15 22:37:08] 987*2^1234468-1 is not prime. Res64: 89F88AE0B984A0C3 Time : 0.0 sec. user=mdettweiler [2012-11-15 22:37:09] 999*2^1234468-1 is not prime. Res64: 51BE8A84976CF8F7 Time : 0.0 sec. user=mdettweiler [2012-11-15 22:37:37] 759*2^1234469-1 is not prime. Res64: CACD08B604993BEB Time : 0.0 sec. user=mdettweiler [2012-11-15 22:37:37] 837*2^1234469-1 is not prime. Res64: 8E23AF80D285CF99 Time : 0.0 sec. user=mdettweiler [2012-11-15 22:58:17] 847*2^1234469-1 is not prime. Res64: F957ABB9931A2CB9 Time : 0.0 sec. user=mdettweiler [2012-11-15 22:58:18] 861*2^1234469-1 is not prime. Res64: 646FB2F242F0DA0D Time : 0.0 sec. user=mdettweiler [2012-11-15 22:58:45] 647*2^1234470-1 is not prime. Res64: A7B5E6939BCA18D0 Time : 0.0 sec. user=mdettweiler [2012-11-15 22:58:45] 797*2^1234470-1 is not prime. Res64: A178D117607AF7AF Time : 0.0 sec. user=mdettweiler [2012-11-15 23:19:26] 873*2^1234470-1 is not prime. Res64: 1B31FE1732D879FE Time : 0.0 sec. user=mdettweiler [2012-11-15 23:19:27] 945*2^1234470-1 is not prime. Res64: E355F0D27DFE5875 Time : 0.0 sec. user=mdettweiler [2012-11-15 23:19:53] 1001*2^1234470-1 is not prime. Res64: 6A75EEC51F747744 Time : 0.0 sec. user=mdettweiler [2012-11-15 23:19:53] 625*2^1234471-1 is not prime. Res64: BB0BA3852CD8BA05 Time : 0.0 sec. user=mdettweiler [2012-11-15 23:40:50] 705*2^1234471-1 is not prime. Res64: 40C97962CE53FA46 Time : 0.0 sec. user=mdettweiler [2012-11-15 23:40:50] 741*2^1234471-1 is not prime. Res64: 68B98CDB1382C1CF Time : 0.0 sec. user=mdettweiler [2012-11-15 23:41:02] 843*2^1234471-1 is not prime. Res64: 500B0CF4891B4DF9 Time : 0.0 sec. user=mdettweiler [2012-11-15 23:41:02] 871*2^1234471-1 is not prime. Res64: A4C05A9C18D2F7C8 Time : 0.0 sec.