user=mdettweiler [2012-01-15 00:01:29] 751*2^1001283-1 is not prime. Res64: 39CBD1F224BA85B6 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:01:29] 609*2^1001284-1 is not prime. Res64: ABC5A2A35EF83ED5 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:02:34] 639*2^1001284-1 is not prime. Res64: CED9B445C6A7A23E Time : 0.0 sec. user=mdettweiler [2012-01-15 00:02:42] 819*2^1001284-1 is not prime. Res64: D32377B86C576D23 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:07:37] 801*2^1001282-1 is not prime. Res64: 1184BE44BF1114DB Time : 0.0 sec. user=mdettweiler [2012-01-15 00:07:40] 843*2^1001282-1 is not prime. Res64: 50D69AF2BBC36A75 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:14:55] 649*2^1001285-1 is not prime. Res64: 54611BC1D39034C2 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:14:56] 655*2^1001285-1 is not prime. Res64: AD66F88060984976 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:15:19] 657*2^1001286-1 is not prime. Res64: 52A42005DC56787A Time : 0.0 sec. user=mdettweiler [2012-01-15 00:15:22] 693*2^1001286-1 is not prime. Res64: BF5DA76D999D9EE4 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:15:30] 717*2^1001285-1 is not prime. Res64: 7FE29E99148F6773 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:15:31] 741*2^1001285-1 is not prime. Res64: 25B84E1483E9D2FC Time : 0.0 sec. user=mdettweiler [2012-01-15 00:21:15] 907*2^1001285-1 is not prime. Res64: 26C12FF044E5D82C Time : 0.0 sec. user=mdettweiler [2012-01-15 00:21:15] 925*2^1001285-1 is not prime. Res64: E5B2E4302BAE2910 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:23:02] 801*2^1001286-1 is not prime. Res64: C52326048525101A Time : 0.0 sec. user=mdettweiler [2012-01-15 00:23:02] 861*2^1001286-1 is not prime. Res64: 2489E89A4184CA5E Time : 0.0 sec. user=mdettweiler [2012-01-15 00:23:26] 719*2^1001280-1 is not prime. Res64: 79BEB22B47BA60F8 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:23:27] 735*2^1001280-1 is not prime. Res64: 49D4C64779CA4528 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:24:55] 955*2^1001285-1 is not prime. Res64: 47ACD4D67C16DF26 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:24:55] 641*2^1001286-1 is not prime. Res64: C53643D576B7C001 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:34:42] 705*2^1001286-1 is not prime. Res64: 31E5C3664802FBDC Time : 0.0 sec. user=mdettweiler [2012-01-15 00:34:42] 765*2^1001286-1 is not prime. Res64: FFCF7F56C80A3166 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:37:32] 873*2^1001286-1 is not prime. Res64: 9B04EEDC50EA61EF Time : 0.0 sec. user=mdettweiler [2012-01-15 00:37:32] 971*2^1001286-1 is not prime. Res64: 0CABC50A4EC68AC4 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:39:35] 805*2^1001275-1 is not prime. Res64: CDD27D2B398EA642 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:39:35] 749*2^1001276-1 is not prime. Res64: C42E89A0A6B24195 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:40:31] 903*2^1001276-1 is not prime. Res64: 0F07F77A71E5765F Time : 0.0 sec. user=mdettweiler [2012-01-15 00:40:32] 927*2^1001276-1 is not prime. Res64: 2D90E5DD9EA7329B Time : 0.0 sec. user=mdettweiler [2012-01-15 00:40:59] 705*2^1001287-1 is not prime. Res64: 7D2C962CAB6497B4 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:40:59] 741*2^1001287-1 is not prime. Res64: 3B60740662CCF9A1 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:44:37] 663*2^1001288-1 is not prime. Res64: B20119A07A260F85 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:44:38] 725*2^1001288-1 is not prime. Res64: 5F8FA1E1D2D47D92 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:54:25] 789*2^1001288-1 is not prime. Res64: 293BDE495F2C279B Time : 0.0 sec. user=mdettweiler [2012-01-15 00:54:26] 797*2^1001288-1 is not prime. Res64: 199683595B967A49 Time : 0.0 sec. user=mdettweiler [2012-01-15 00:57:16] 839*2^1001288-1 is not prime. Res64: E1711763FABBF2ED Time : 0.0 sec. user=mdettweiler [2012-01-15 00:57:17] 935*2^1001288-1 is not prime. Res64: BB343A2256B211B2 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:00:43] 795*2^1001289-1 is not prime. Res64: 067E7137CF757072 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:00:44] 811*2^1001289-1 is not prime. Res64: 50F518DCA69519EC Time : 0.0 sec. user=mdettweiler [2012-01-15 01:06:35] 885*2^1001289-1 is not prime. Res64: D1D3107C75610C88 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:06:36] 975*2^1001289-1 is not prime. Res64: BCD47E38A1356158 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:10:57] 827*2^1001284-1 is not prime. Res64: FE245C97C782CDDD Time : 0.0 sec. user=mdettweiler [2012-01-15 01:10:58] 601*2^1001285-1 is not prime. Res64: 58B0C498742EF669 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:14:09] 603*2^1001290-1 is not prime. Res64: EAE60886367BDF78 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:14:11] 605*2^1001290-1 is not prime. Res64: 1BB69B7178F5E141 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:16:56] 665*2^1001290-1 is not prime. Res64: D930A41C00ABD39E Time : 0.0 sec. user=mdettweiler [2012-01-15 01:16:56] 707*2^1001290-1 is not prime. Res64: 64F050C76E2EC387 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:20:27] 743*2^1001290-1 is not prime. Res64: D57AAEA2CD043EDD Time : 0.0 sec. user=mdettweiler [2012-01-15 01:20:27] 917*2^1001290-1 is not prime. Res64: F118C1D09AEA561A Time : 0.0 sec. user=mdettweiler [2012-01-15 01:26:11] 765*2^1001289-1 is not prime. Res64: D8C49D3ED5ACE431 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:28:35] 957*2^1001290-1 is not prime. Res64: 811A1F82A26A7144 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:28:38] 663*2^1001291-1 is not prime. Res64: 9F0948EE7A227557 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:33:52] 813*2^1001291-1 is not prime. Res64: C707462E2A68F149 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:33:52] 939*2^1001291-1 is not prime. Res64: 62C5CDCC5AE9B500 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:36:34] 669*2^1001292-1 is not prime. Res64: 2D8732B463496EC3 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:36:34] 777*2^1001292-1 is not prime. Res64: 0A48DE6A60A32785 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:42:26] 867*2^1001292-1 is not prime. Res64: 588B0DBEA3D14796 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:42:27] 977*2^1001292-1 is not prime. Res64: D01BC4D903CB9AC0 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:45:31] 617*2^1001288-1 is not prime. Res64: FA60F0232C345588 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:45:31] 633*2^1001288-1 is not prime. Res64: A9C5221FA5882BB7 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:48:19] 621*2^1001293-1 is not prime. Res64: F8AA74D6A72C8FE1 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:48:19] 625*2^1001293-1 is not prime. Res64: E5291EDB6D359617 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:53:34] 675*2^1001293-1 is not prime. Res64: 3387BDEB3EEE6AE3 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:53:35] 721*2^1001293-1 is not prime. Res64: F970450EEEC693BE Time : 0.0 sec. user=mdettweiler [2012-01-15 01:56:17] 757*2^1001293-1 is not prime. Res64: 9254CFB7D0FF2FE6 Time : 0.0 sec. user=mdettweiler [2012-01-15 01:56:17] 805*2^1001293-1 is not prime. Res64: 4943EDE41E577FB9 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:06:45] 957*2^1001293-1 is not prime. Res64: AA833777F74428F5 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:06:46] 979*2^1001293-1 is not prime. Res64: 28669999D1C2F2EA Time : 0.0 sec. user=mdettweiler [2012-01-15 02:08:08] 755*2^1001294-1 is not prime. Res64: F8E65B64DA5CD77D Time : 0.0 sec. user=mdettweiler [2012-01-15 02:08:09] 785*2^1001294-1 is not prime. Res64: E78107A910D95616 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:15:31] 1001*2^1001294-1 is not prime. Res64: 5703F0EA6568ACEF Time : 0.0 sec. user=mdettweiler [2012-01-15 02:15:32] 663*2^1001295-1 is not prime. Res64: BB17FDC0C5A46166 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:16:01] 685*2^1001295-1 is not prime. Res64: 5343CF3E1554B736 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:16:03] 693*2^1001295-1 is not prime. Res64: 288AD595D8C34C98 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:26:43] 765*2^1001295-1 is not prime. Res64: 730D1001A0785C9D Time : 0.0 sec. user=mdettweiler [2012-01-15 02:26:44] 775*2^1001295-1 is not prime. Res64: CF56C4B14B898CEE Time : 0.0 sec. user=mdettweiler [2012-01-15 02:28:02] 783*2^1001295-1 is not prime. Res64: 935AF5C539865193 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:28:03] 849*2^1001295-1 is not prime. Res64: 8749757E55151B9A Time : 0.0 sec. user=mdettweiler [2012-01-15 02:35:34] 615*2^1001296-1 is not prime. Res64: 18067A2BFAE52957 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:35:35] 629*2^1001296-1 is not prime. Res64: 1BC5C93E8194B045 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:35:49] 719*2^1001296-1 is not prime. Res64: F0C605EB07A26FAA Time : 0.0 sec. user=mdettweiler [2012-01-15 02:35:50] 855*2^1001296-1 is not prime. Res64: 4011AB82D1C5C7A4 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:47:49] 601*2^1001297-1 is not prime. Res64: A4CD553D453E0F86 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:47:49] 649*2^1001297-1 is not prime. Res64: DCBE67D90D20345F Time : 0.0 sec. user=mdettweiler [2012-01-15 02:48:42] 923*2^1001296-1 is not prime. Res64: 1B5C53105CA5CF5F Time : 0.0 sec. user=mdettweiler [2012-01-15 02:48:43] 989*2^1001296-1 is not prime. Res64: DBE2575AB6EA1BA2 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:55:22] 675*2^1001297-1 is not prime. Res64: E09CD8AF054E9AA3 Time : 0.0 sec. user=mdettweiler [2012-01-15 02:55:23] 799*2^1001297-1 is not prime. Res64: B152F6DA567478AF Time : 0.0 sec. user=mdettweiler [2012-01-15 02:57:49] 861*2^1001297-1 is not prime. Res64: 8E2558847055DB4B Time : 0.0 sec. user=mdettweiler [2012-01-15 02:57:50] 981*2^1001297-1 is not prime. Res64: 590587C301FE6D65 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:07:32] 641*2^1001298-1 is not prime. Res64: B055D9ED523083A7 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:07:35] 665*2^1001298-1 is not prime. Res64: AEAEEAC349C632C8 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:08:29] 713*2^1001298-1 is not prime. Res64: AA4F232E73C9D5C6 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:08:30] 731*2^1001298-1 is not prime. Res64: 57049A88C3EEEB8B Time : 0.0 sec. user=mdettweiler [2012-01-15 03:15:04] 747*2^1001298-1 is not prime. Res64: BF891EE6270214DC Time : 0.0 sec. user=mdettweiler [2012-01-15 03:15:07] 755*2^1001298-1 is not prime. Res64: EBF8969CEB49B482 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:17:31] 887*2^1001298-1 is not prime. Res64: 8FF99196A5FA17DB Time : 0.0 sec. user=mdettweiler [2012-01-15 03:17:32] 751*2^1001299-1 is not prime. Res64: E8911FCB5C5AB187 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:27:22] 843*2^1001299-1 is not prime. Res64: F5070705073549A1 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:27:22] 861*2^1001299-1 is not prime. Res64: 17584C79F9ACAFC7 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:30:27] 873*2^1001299-1 is not prime. Res64: 0F67A666649B0188 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:30:28] 943*2^1001299-1 is not prime. Res64: 2BFB378A6FE2C6D3 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:35:00] 689*2^1001300-1 is not prime. Res64: DA15A9BD8748F210 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:35:00] 777*2^1001300-1 is not prime. Res64: AEA717538149411D Time : 0.0 sec. user=mdettweiler [2012-01-15 03:37:15] 827*2^1001300-1 is not prime. Res64: 1A21A57CA65C18AD Time : 0.0 sec. user=mdettweiler [2012-01-15 03:37:16] 843*2^1001300-1 is not prime. Res64: 34FAEEFB769E7071 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:47:05] 899*2^1001300-1 is not prime. Res64: 62F07C7549ED7507 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:47:05] 927*2^1001300-1 is not prime. Res64: AD054983CF83A480 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:52:24] 977*2^1001300-1 is not prime. Res64: 0F1185991BE93D52 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:52:25] 681*2^1001301-1 is not prime. Res64: 39F9291CBB9C5EA9 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:54:42] 727*2^1001301-1 is not prime. Res64: B9A2A6F74081C392 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:54:43] 805*2^1001301-1 is not prime. Res64: 43C7C238BA5FF9B8 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:56:56] 819*2^1001301-1 is not prime. Res64: 253F3B64E76D2BB4 Time : 0.0 sec. user=mdettweiler [2012-01-15 03:56:57] 837*2^1001301-1 is not prime. Res64: F3D36D4513D17E04 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:06:47] 907*2^1001301-1 is not prime. Res64: E5F2EA5ED669295E Time : 0.0 sec. user=mdettweiler [2012-01-15 04:06:48] 617*2^1001302-1 is not prime. Res64: 94CE40B0F7129C70 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:12:05] 723*2^1001302-1 is not prime. Res64: 1F8984616B2D2073 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:12:05] 891*2^1001302-1 is not prime. Res64: D52A8AC1B4D625BB Time : 0.0 sec. user=mdettweiler [2012-01-15 04:14:27] 619*2^1001303-1 is not prime. Res64: BA1DC88918A62DD6 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:14:28] 621*2^1001303-1 is not prime. Res64: 1818FBB3188EC80A Time : 0.0 sec. user=mdettweiler [2012-01-15 04:16:38] 825*2^1001303-1 is not prime. Res64: A989DA5BC875B5FC Time : 0.0 sec. user=mdettweiler [2012-01-15 04:16:38] 829*2^1001303-1 is not prime. Res64: A2945B8693B226A5 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:28:49] 859*2^1001303-1 is not prime. Res64: A3950EDB7870A7FB Time : 0.0 sec. user=mdettweiler [2012-01-15 04:28:50] 969*2^1001303-1 is not prime. Res64: 12CADB4D375D6212 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:34:06] 985*2^1001303-1 is not prime. Res64: FD67E1986EB1CC65 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:34:07] 663*2^1001304-1 is not prime. Res64: 4643BB70370C05B4 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:34:14] 725*2^1001304-1 is not prime. Res64: 1562BCECDCC23244 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:34:15] 795*2^1001304-1 is not prime. Res64: 4BFACE9D3011E428 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:36:22] 863*2^1001304-1 is not prime. Res64: C98D58DACE2FFC35 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:36:23] 893*2^1001304-1 is not prime. Res64: 13ACDA86388E156C Time : 0.0 sec. user=mdettweiler [2012-01-15 04:48:30] 909*2^1001304-1 is not prime. Res64: 059E43E5AF06E328 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:48:31] 619*2^1001305-1 is not prime. Res64: 5DB8EAB5C063FFAA Time : 0.0 sec. user=mdettweiler [2012-01-15 04:53:52] 679*2^1001305-1 is not prime. Res64: 2EF39864C7D14879 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:53:52] 775*2^1001305-1 is not prime. Res64: 0464A87496BBBDF1 Time : 0.0 sec. user=mdettweiler [2012-01-15 04:53:54] 841*2^1001305-1 is not prime. Res64: 99A6DD25B5ADA7AB Time : 0.0 sec. user=mdettweiler [2012-01-15 04:53:54] 885*2^1001305-1 is not prime. Res64: A38EFD8BF603BDAD Time : 0.0 sec. user=mdettweiler [2012-01-15 04:56:05] 617*2^1001306-1 is not prime. Res64: 90D6D43E15E2EBBC Time : 0.0 sec. user=mdettweiler [2012-01-15 04:56:05] 857*2^1001306-1 is not prime. Res64: E500A1FAF4C34CD8 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:08:10] 861*2^1001306-1 is not prime. Res64: 2BEE0216E3B44BDF Time : 0.0 sec. user=mdettweiler [2012-01-15 05:08:11] 921*2^1001306-1 is not prime. Res64: 3A1BADFB245735D3 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:13:31] 633*2^1001307-1 is not prime. Res64: 6CEBC84AF23E1D5F Time : 0.0 sec. user=mdettweiler [2012-01-15 05:13:32] 739*2^1001307-1 is not prime. Res64: 11998E7251689813 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:13:37] 741*2^1001307-1 is not prime. Res64: A3AD84305E6586F6 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:13:37] 751*2^1001307-1 is not prime. Res64: 6C80038A5D053DE2 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:15:43] 775*2^1001307-1 is not prime. Res64: 35CDDC1636649E47 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:15:44] 781*2^1001307-1 is not prime. Res64: BAC95ECF45FD019E Time : 0.0 sec. user=mdettweiler [2012-01-15 05:27:50] 849*2^1001307-1 is not prime. Res64: DA863EBB14516BA8 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:27:51] 903*2^1001307-1 is not prime. Res64: 14D195A33C237FB2 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:33:19] 927*2^1001308-1 is not prime. Res64: 48CA28A31CDC9F45 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:33:19] 685*2^1001309-1 is not prime. Res64: 71F320B24E846EE1 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:35:27] 727*2^1001309-1 is not prime. Res64: FDFD0F800972515F Time : 0.0 sec. user=mdettweiler [2012-01-15 05:35:28] 787*2^1001309-1 is not prime. Res64: CEC735E47C8CFC2D Time : 0.0 sec. user=mdettweiler [2012-01-15 05:35:29] 909*2^1001307-1 is not prime. Res64: 2FA4FC166FDB39C8 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:35:30] 979*2^1001307-1 is not prime. Res64: 8C17B0D934986C26 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:49:53] 811*2^1001309-1 is not prime. Res64: FF93F35CCBD7A944 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:49:53] 949*2^1001309-1 is not prime. Res64: 58625C92310847CF Time : 0.0 sec. user=mdettweiler [2012-01-15 05:55:14] 797*2^1001310-1 is not prime. Res64: 0C8B2889BFC0B8A9 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:55:14] 887*2^1001310-1 is not prime. Res64: 98B900B2358798B2 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:55:21] 997*2^1001309-1 is not prime. Res64: 28669855E3ABABE3 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:55:22] 611*2^1001310-1 is not prime. Res64: 42C04E75EBCE3608 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:57:32] 941*2^1001310-1 is not prime. Res64: D83B0631DAC17085 Time : 0.0 sec. user=mdettweiler [2012-01-15 05:57:33] 673*2^1001311-1 is not prime. Res64: 9225D1E689DFE89A Time : 0.0 sec. user=mdettweiler [2012-01-15 06:09:40] 735*2^1001311-1 is not prime. Res64: B9984A17C9FF2374 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:09:42] 751*2^1001311-1 is not prime. Res64: DDCD1E7F26C589DE Time : 0.0 sec. user=mdettweiler [2012-01-15 06:14:55] 819*2^1001311-1 is not prime. Res64: D77ACE0325A3E6FE Time : 0.0 sec. user=mdettweiler [2012-01-15 06:14:56] 885*2^1001311-1 is not prime. Res64: 53137A646A79D586 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:15:04] 617*2^1001312-1 is not prime. Res64: B2A07EE8EDAB8228 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:15:05] 689*2^1001312-1 is not prime. Res64: 850EE4A9C539AE7C Time : 0.0 sec. user=mdettweiler [2012-01-15 06:17:20] 699*2^1001312-1 is not prime. Res64: D0865277FBAAFF10 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:17:21] 755*2^1001312-1 is not prime. Res64: 2F24F39CD8405175 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:29:28] 785*2^1001312-1 is not prime. Res64: E803BE74B3D71528 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:29:28] 813*2^1001312-1 is not prime. Res64: 106E3D2A5D68E061 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:34:39] 819*2^1001312-1 is not prime. Res64: E2B3F3B0C5A34578 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:34:39] 867*2^1001312-1 is not prime. Res64: 53CDD97BAC54A425 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:34:51] 875*2^1001312-1 is not prime. Res64: 3A793C4135F395A5 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:34:51] 917*2^1001312-1 is not prime. Res64: 8AC00DA1DB8413EF Time : 0.0 sec. user=mdettweiler [2012-01-15 06:39:18] 983*2^1001312-1 is not prime. Res64: 5BA8CFE68C89AD83 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:39:19] 627*2^1001313-1 is not prime. Res64: 127337274D376CFD Time : 0.0 sec. user=mdettweiler [2012-01-15 06:49:09] 637*2^1001313-1 is not prime. Res64: 623F2D05E1463454 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:49:09] 741*2^1001313-1 is not prime. Res64: 3A77298B02AD92D5 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:54:19] 829*2^1001313-1 is not prime. Res64: F8F4847AD9F01ECC Time : 0.0 sec. user=mdettweiler [2012-01-15 06:54:20] 885*2^1001313-1 is not prime. Res64: F9B0C0F44D3061C8 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:54:37] 611*2^1001314-1 is not prime. Res64: A97B3D7A1D7ACD78 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:54:37] 671*2^1001314-1 is not prime. Res64: 8B598686ADF9DAC6 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:59:02] 737*2^1001314-1 is not prime. Res64: 4B7BE811B29AC709 Time : 0.0 sec. user=mdettweiler [2012-01-15 06:59:02] 741*2^1001314-1 is not prime. Res64: 464732EFB2AB43D7 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:08:55] 747*2^1001314-1 is not prime. Res64: 9DEF4A708F669B86 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:08:56] 825*2^1001314-1 is not prime. Res64: 83D2CF97341EEB6D Time : 0.0 sec. user=mdettweiler [2012-01-15 07:14:10] 885*2^1001314-1 is not prime. Res64: 6A711AC420051A45 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:14:11] 735*2^1001315-1 is not prime. Res64: 50FADEFF87B2EE36 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:14:23] 783*2^1001315-1 is not prime. Res64: B3DD1BF0A6E71216 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:14:24] 823*2^1001315-1 is not prime. Res64: 4A9D90A2AC086411 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:20:59] 973*2^1001315-1 is not prime. Res64: 4C6E75B45CAE3D9A Time : 0.0 sec. user=mdettweiler [2012-01-15 07:21:00] 705*2^1001316-1 is not prime. Res64: 1C2F1E6735C68EB9 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:28:40] 735*2^1001316-1 is not prime. Res64: ADD7EBCAC7E22D7C Time : 0.0 sec. user=mdettweiler [2012-01-15 07:28:40] 773*2^1001316-1 is not prime. Res64: 1EB83E04F9CEE8EB Time : 0.0 sec. user=mdettweiler [2012-01-15 07:33:59] 837*2^1001316-1 is not prime. Res64: A6A88DF6208C58F3 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:33:59] 615*2^1001317-1 is not prime. Res64: 3AB9FF41DBFF40E6 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:34:03] 619*2^1001317-1 is not prime. Res64: D82A8BD91265824B Time : 0.0 sec. user=mdettweiler [2012-01-15 07:34:04] 675*2^1001317-1 is not prime. Res64: 47332BB88AB2FBEC Time : 0.0 sec. user=mdettweiler [2012-01-15 07:40:45] 691*2^1001317-1 is not prime. Res64: 3BC943A678D17475 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:40:45] 741*2^1001317-1 is not prime. Res64: BD1C804523502051 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:48:25] 769*2^1001317-1 is not prime. Res64: DC45A08AD1DC939B Time : 0.0 sec. user=mdettweiler [2012-01-15 07:48:26] 775*2^1001317-1 is not prime. Res64: 2CAA0D342CDF63A5 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:53:45] 897*2^1001317-1 is not prime. Res64: F8E635FB8BA2D860 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:53:45] 927*2^1001317-1 is not prime. Res64: 461489D3A6E90D62 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:55:59] 945*2^1001317-1 is not prime. Res64: E65D6AD78ACA1AA1 Time : 0.0 sec. user=mdettweiler [2012-01-15 07:56:00] 603*2^1001318-1 is not prime. Res64: 391855F9320DA423 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:00:32] 617*2^1001318-1 is not prime. Res64: 2193B8062EA67685 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:00:34] 641*2^1001318-1 is not prime. Res64: D0DB2EE6F9DBF1F5 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:08:05] 645*2^1001318-1 is not prime. Res64: 2D2157A1CCAEE495 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:08:06] 683*2^1001318-1 is not prime. Res64: 3FDEE6BE21345835 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:13:29] 743*2^1001318-1 is not prime. Res64: 3CC485B34E95924C Time : 0.0 sec. user=mdettweiler [2012-01-15 08:13:30] 915*2^1001318-1 is not prime. Res64: 51EF21191C5AB957 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:17:55] 953*2^1001318-1 is not prime. Res64: 98A6FBD405610BD4 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:17:55] 705*2^1001319-1 is not prime. Res64: 8E298C2A0B1AFA01 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:20:17] 895*2^1001319-1 is not prime. Res64: CCF50770626311C6 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:20:17] 919*2^1001319-1 is not prime. Res64: CE2F8E48C892A501 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:32:17] 951*2^1001319-1 is not prime. Res64: B756C54E4834B08A Time : 0.0 sec. user=mdettweiler [2012-01-15 08:32:17] 999*2^1001319-1 is not prime. Res64: 9F30CCCAD738CB6D Time : 0.0 sec. user=mdettweiler [2012-01-15 08:33:12] 603*2^1001320-1 is not prime. Res64: 6B52AC3C7BBF9D53 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:33:13] 609*2^1001320-1 is not prime. Res64: 68710F399818BB4B Time : 0.0 sec. user=mdettweiler [2012-01-15 08:37:36] 677*2^1001320-1 is not prime. Res64: 3DEC2F2CAF4D4D73 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:37:37] 693*2^1001320-1 is not prime. Res64: A558668650682C15 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:39:57] 813*2^1001320-1 is not prime. Res64: B5A458DE35BE673B Time : 0.0 sec. user=mdettweiler [2012-01-15 08:39:58] 825*2^1001320-1 is not prime. Res64: BD912B025D9CE7E8 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:52:53] 669*2^1001321-1 is not prime. Res64: 829958CAC23C69F8 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:52:53] 711*2^1001321-1 is not prime. Res64: 15FE78DC3E61F915 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:54:15] 873*2^1001320-1 is not prime. Res64: 60F9A3CAD81DA1A2 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:54:15] 959*2^1001320-1 is not prime. Res64: 745870C1100E1267 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:57:17] 717*2^1001321-1 is not prime. Res64: CA74E30651A49AB5 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:57:18] 769*2^1001321-1 is not prime. Res64: 21F89276C757208A Time : 0.0 sec. user=mdettweiler [2012-01-15 08:59:43] 909*2^1001321-1 is not prime. Res64: 884A59B6A12FFD38 Time : 0.0 sec. user=mdettweiler [2012-01-15 08:59:43] 925*2^1001321-1 is not prime. Res64: 5BE185EF41BC948D Time : 0.0 sec. user=mdettweiler [2012-01-15 09:12:45] 711*2^1001322-1 is not prime. Res64: 005678A59F2B171E Time : 0.0 sec. user=mdettweiler [2012-01-15 09:12:46] 725*2^1001322-1 is not prime. Res64: CCEFB1C02708D9E1 Time : 0.0 sec. user=mdettweiler [2012-01-15 09:14:01] 755*2^1001322-1 is not prime. Res64: 867B279B4DF395FE Time : 0.0 sec. user=mdettweiler [2012-01-15 09:14:02] 777*2^1001322-1 is not prime. Res64: D2E8BE08B4D87E56 Time : 0.0 sec. user=mdettweiler [2012-01-15 09:19:19] 803*2^1001322-1 is not prime. Res64: E4D58462789383E1 Time : 0.0 sec. user=mdettweiler [2012-01-15 09:19:19] 945*2^1001322-1 is not prime. Res64: 8447D52CED3090E7 Time : 0.0 sec. user=mdettweiler [2012-01-15 09:21:39] 975*2^1001322-1 is not prime. Res64: FC205C723CC3C81D Time : 0.0 sec. user=mdettweiler [2012-01-15 09:21:40] 769*2^1001323-1 is not prime. Res64: 47312D235638A59C Time : 0.0 sec. user=mdettweiler [2012-01-15 09:32:45] 801*2^1001323-1 is not prime. Res64: DF0FA461CE94F039 Time : 0.0 sec. user=mdettweiler [2012-01-15 09:32:46] 849*2^1001323-1 is not prime. Res64: 44FCC7FD536526CF Time : 0.0 sec. user=mdettweiler [2012-01-15 09:33:48] 919*2^1001323-1 is not prime. Res64: 380F75D0C67D8AF3 Time : 0.0 sec. user=mdettweiler [2012-01-15 09:33:49] 789*2^1001324-1 is not prime. Res64: 74170803F8DAB22F Time : 0.0 sec. user=mdettweiler [2012-01-15 09:39:03] 657*2^1001325-1 is not prime. Res64: 99F99F4A1557B373 Time : 0.0 sec. user=mdettweiler [2012-01-15 09:39:03] 781*2^1001325-1 is not prime. Res64: 583E6113B5AD3D36 Time : 0.0 sec. user=mdettweiler [2012-01-15 09:43:32] 891*2^1001325-1 is not prime. Res64: 4FEF7BD76220B77F Time : 0.0 sec. user=mdettweiler [2012-01-15 09:43:33] 955*2^1001325-1 is not prime. Res64: 29C3FC182C3D27FF Time : 0.0 sec. user=mdettweiler [2012-01-15 09:54:42] 961*2^1001325-1 is not prime. Res64: 8B1D3BFABEE777EB Time : 0.0 sec. user=mdettweiler [2012-01-15 09:54:42] 623*2^1001326-1 is not prime. Res64: 3420F89159F78CEC Time : 0.0 sec. user=mdettweiler [2012-01-15 09:55:46] 645*2^1001326-1 is not prime. Res64: 15C5CD2AC8330482 Time : 0.0 sec. user=mdettweiler [2012-01-15 09:55:46] 941*2^1001326-1 is not prime. Res64: FE7C91F1DA08EA23 Time : 0.0 sec. user=mdettweiler [2012-01-15 09:58:47] 661*2^1001327-1 is not prime. Res64: 5C5B1B10B15066D8 Time : 0.0 sec. user=mdettweiler [2012-01-15 09:58:48] 767*2^1001328-1 is not prime. Res64: 1CAD0C80428846BD Time : 0.0 sec. user=mdettweiler [2012-01-15 10:03:08] 789*2^1001328-1 is not prime. Res64: 02D678303C425459 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:03:09] 875*2^1001328-1 is not prime. Res64: 36019C709A057850 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:15:25] 615*2^1001329-1 is not prime. Res64: AE2A434F815CF417 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:15:27] 691*2^1001329-1 is not prime. Res64: 8D79C84D77E92DA0 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:16:32] 927*2^1001328-1 is not prime. Res64: B557B5AE18A08CEF Time : 0.0 sec. user=mdettweiler [2012-01-15 10:16:32] 975*2^1001328-1 is not prime. Res64: A72CE2D5064B85E9 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:18:23] 741*2^1001329-1 is not prime. Res64: 8D541AC0E979C458 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:18:24] 931*2^1001329-1 is not prime. Res64: 2F00241726DEAB9C Time : 0.0 sec. user=mdettweiler [2012-01-15 10:22:48] 605*2^1001330-1 is not prime. Res64: 4A221140FF55BB6B Time : 0.0 sec. user=mdettweiler [2012-01-15 10:22:48] 633*2^1001330-1 is not prime. Res64: 24FA84F8191A1034 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:35:07] 665*2^1001330-1 is not prime. Res64: 41348A99040879CD Time : 0.0 sec. user=mdettweiler [2012-01-15 10:35:08] 773*2^1001330-1 is not prime. Res64: 0D340056DCD2C04D Time : 0.0 sec. user=mdettweiler [2012-01-15 10:36:09] 845*2^1001330-1 is not prime. Res64: 5541C309172CDEBC Time : 0.0 sec. user=mdettweiler [2012-01-15 10:36:10] 649*2^1001331-1 is not prime. Res64: C8BA5A9A7CA7545B Time : 0.0 sec. user=mdettweiler [2012-01-15 10:38:03] 691*2^1001331-1 is not prime. Res64: 3ADCBEFE3CCBEED7 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:38:04] 745*2^1001331-1 is not prime. Res64: 919131BB5ECCED94 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:42:28] 775*2^1001331-1 is not prime. Res64: 2EDCE2F0C0F56C9A Time : 0.0 sec. user=mdettweiler [2012-01-15 10:42:28] 825*2^1001331-1 is not prime. Res64: 153B466DC32B0EA7 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:55:52] 653*2^1001332-1 is not prime. Res64: 4904A7C8F46FFFFE Time : 0.0 sec. user=mdettweiler [2012-01-15 10:55:52] 735*2^1001332-1 is not prime. Res64: D78393C280DC0642 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:57:03] 973*2^1001331-1 is not prime. Res64: 9805D9A6C8CA03F9 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:57:04] 639*2^1001332-1 is not prime. Res64: 115013893CD21758 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:57:43] 869*2^1001332-1 is not prime. Res64: CDA804EE59539929 Time : 0.0 sec. user=mdettweiler [2012-01-15 10:57:44] 875*2^1001332-1 is not prime. Res64: 6BBB96CA8CF1C32A Time : 0.0 sec. user=mdettweiler [2012-01-15 11:04:19] 939*2^1001332-1 is not prime. Res64: A96472C9EC49EBAC Time : 0.0 sec. user=mdettweiler [2012-01-15 11:04:20] 989*2^1001332-1 is not prime. Res64: 8C4AC220B96F8719 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:15:35] 795*2^1001333-1 is not prime. Res64: 252085154E415B2B Time : 0.0 sec. user=mdettweiler [2012-01-15 11:15:38] 859*2^1001333-1 is not prime. Res64: 9A9D330F4A969A8E Time : 0.0 sec. user=mdettweiler [2012-01-15 11:16:50] 927*2^1001333-1 is not prime. Res64: 946C075211D0A73C Time : 0.0 sec. user=mdettweiler [2012-01-15 11:16:51] 937*2^1001333-1 is not prime. Res64: 6E09681CA272C039 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:17:27] 731*2^1001334-1 is not prime. Res64: 547BDC3F902187B0 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:17:28] 783*2^1001334-1 is not prime. Res64: 8A8836524C987E72 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:24:07] 851*2^1001334-1 is not prime. Res64: D6BF7AEE8DA8E2F9 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:24:08] 891*2^1001334-1 is not prime. Res64: 1C043C2310FFB59E Time : 0.0 sec. user=mdettweiler [2012-01-15 11:36:36] 831*2^1001335-1 is not prime. Res64: D724885A1E8D3251 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:36:37] 853*2^1001335-1 is not prime. Res64: FCAC6FAE28C68211 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:37:05] 909*2^1001335-1 is not prime. Res64: D1F5629C6E207F36 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:37:05] 843*2^1001336-1 is not prime. Res64: 6D4F182B0E1B5B0E Time : 0.0 sec. user=mdettweiler [2012-01-15 11:37:34] 983*2^1001334-1 is not prime. Res64: C74BFA65A22126F6 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:37:34] 649*2^1001335-1 is not prime. Res64: 86ECF2C4C5FD6FD5 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:43:43] 845*2^1001336-1 is not prime. Res64: 90CCB514BFD0C42A Time : 0.0 sec. user=mdettweiler [2012-01-15 11:43:44] 879*2^1001336-1 is not prime. Res64: 96221E6D510F2C79 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:56:16] 661*2^1001337-1 is not prime. Res64: CC513EA1E0C77B8A Time : 0.0 sec. user=mdettweiler [2012-01-15 11:56:17] 717*2^1001337-1 is not prime. Res64: D5515B9E6121B6DC Time : 0.0 sec. user=mdettweiler [2012-01-15 11:56:40] 747*2^1001337-1 is not prime. Res64: FD7E6C4462D9445F Time : 0.0 sec. user=mdettweiler [2012-01-15 11:56:40] 807*2^1001337-1 is not prime. Res64: 2D65490A135A8DC8 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:57:15] 847*2^1001337-1 is not prime. Res64: E521148B290C8392 Time : 0.0 sec. user=mdettweiler [2012-01-15 11:57:15] 871*2^1001337-1 is not prime. Res64: AA7D8C289CE46503 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:03:23] 937*2^1001337-1 is not prime. Res64: AE9E0BBD5A28C094 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:03:23] 647*2^1001338-1 is not prime. Res64: 8BBB7242CBF2788D Time : 0.0 sec. user=mdettweiler [2012-01-15 12:15:58] 663*2^1001338-1 is not prime. Res64: 3F804B25E7CB00D4 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:15:59] 731*2^1001338-1 is not prime. Res64: 4392EEAA7B75CF4F Time : 0.0 sec. user=mdettweiler [2012-01-15 12:16:18] 737*2^1001338-1 is not prime. Res64: B825CE97D466F68D Time : 0.0 sec. user=mdettweiler [2012-01-15 12:16:19] 755*2^1001338-1 is not prime. Res64: 519D12753310E88C Time : 0.0 sec. user=mdettweiler [2012-01-15 12:16:55] 831*2^1001338-1 is not prime. Res64: 2A66EA56F9327487 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:16:55] 887*2^1001338-1 is not prime. Res64: 08A605C58907B286 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:22:59] 891*2^1001338-1 is not prime. Res64: 2979E35B3E052509 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:23:00] 603*2^1001339-1 is not prime. Res64: 9B2973A70C3243FC Time : 0.0 sec. user=mdettweiler [2012-01-15 12:35:40] 675*2^1001339-1 is not prime. Res64: 734BBCA238C0D8B8 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:35:40] 843*2^1001339-1 is not prime. Res64: AE478865DEC931FD Time : 0.0 sec. user=mdettweiler [2012-01-15 12:35:53] 653*2^1001340-1 is not prime. Res64: 5CA227EEC3AD7884 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:35:53] 695*2^1001340-1 is not prime. Res64: 4F2DB9CA0C0D22BB Time : 0.0 sec. user=mdettweiler [2012-01-15 12:36:37] 795*2^1001340-1 is not prime. Res64: 647CB59F977D9465 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:36:37] 819*2^1001340-1 is not prime. Res64: DBE636998B8728DB Time : 0.0 sec. user=mdettweiler [2012-01-15 12:40:26] 933*2^1001287-1 is not prime. Res64: 0C2988E939CA6B3E Time : 0.0 sec. user=mdettweiler [2012-01-15 12:42:16] 993*2^1001287-1 is not prime. Res64: 00697C8DBF1DB22F Time : 0.0 sec. user=mdettweiler [2012-01-15 12:42:37] 845*2^1001340-1 is not prime. Res64: F22566A2F7231D47 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:42:37] 863*2^1001340-1 is not prime. Res64: D7A1AD743786DA6E Time : 0.0 sec. user=mdettweiler [2012-01-15 12:49:52] 955*2^1001341-1 is not prime. Res64: C0A976290CFC5DEE Time : 0.0 sec. user=mdettweiler [2012-01-15 12:51:41] 999*2^1001341-1 is not prime. Res64: 40BD632BE0363BBB Time : 0.0 sec. user=mdettweiler [2012-01-15 12:55:18] 929*2^1001340-1 is not prime. Res64: 1E7D734B13252C60 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:55:19] 757*2^1001341-1 is not prime. Res64: 6754BAA81634F535 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:55:31] 769*2^1001341-1 is not prime. Res64: 7787F71DCE252907 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:55:31] 849*2^1001341-1 is not prime. Res64: 9FB5EDC444B48102 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:56:20] 859*2^1001341-1 is not prime. Res64: 696FAF85AC68703F Time : 0.0 sec. user=mdettweiler [2012-01-15 12:56:20] 877*2^1001341-1 is not prime. Res64: 7EB4A235BAE81C75 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:57:33] 711*2^1001342-1 is not prime. Res64: D118DF6F2AA2E818 Time : 0.0 sec. user=mdettweiler [2012-01-15 12:59:23] 843*2^1001342-1 is not prime. Res64: 911E4FA54C07B397 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:02:16] 615*2^1001342-1 is not prime. Res64: 116FC60E0710AFB1 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:02:17] 693*2^1001342-1 is not prime. Res64: DA8D8E3D41B7C20B Time : 0.0 sec. user=mdettweiler [2012-01-15 13:03:26] 675*2^1001291-1 is not prime. Res64: 74AF18930C3DA5B0 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:03:27] 999*2^1001288-1 is not prime. Res64: A70328D0BF48ED07 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:05:12] 871*2^1001343-1 is not prime. Res64: 735A9D13143E5A4F Time : 0.0 sec. user=mdettweiler [2012-01-15 13:07:03] 901*2^1001343-1 is not prime. Res64: FA06FC44C3012ABC Time : 0.0 sec. user=mdettweiler [2012-01-15 13:12:53] 807*2^1001344-1 is not prime. Res64: 320512A579A43B89 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:14:44] 887*2^1001344-1 is not prime. Res64: 1D7ACF40D2430C1B Time : 0.0 sec. user=mdettweiler [2012-01-15 13:15:16] 649*2^1001343-1 is not prime. Res64: 5AD0C928833067F2 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:15:20] 685*2^1001343-1 is not prime. Res64: 7135BDEE450A694C Time : 0.0 sec. user=mdettweiler [2012-01-15 13:15:58] 703*2^1001343-1 is not prime. Res64: 196331CB819417E9 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:15:58] 805*2^1001343-1 is not prime. Res64: C616DDCA7973CDAA Time : 0.0 sec. user=mdettweiler [2012-01-15 13:19:33] 963*2^1001342-1 is not prime. Res64: 8A71CF9422C1FBC0 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:19:34] 977*2^1001342-1 is not prime. Res64: 61431DEDEFDBFB6F Time : 0.0 sec. user=mdettweiler [2012-01-15 13:20:33] 909*2^1001344-1 is not prime. Res64: BC66B6FBDFDD4BDD Time : 0.0 sec. user=mdettweiler [2012-01-15 13:21:58] 657*2^1001344-1 is not prime. Res64: 00A709050D5FF033 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:21:58] 723*2^1001344-1 is not prime. Res64: C146F87D57EF0C54 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:22:26] 679*2^1001345-1 is not prime. Res64: E94286C9C77F69F7 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:28:12] 875*2^1001346-1 is not prime. Res64: BDAAC866D4F43C0D Time : 0.0 sec. user=mdettweiler [2012-01-15 13:30:07] 649*2^1001347-1 is not prime. Res64: B9A8ED54C91FF6DE Time : 0.0 sec. user=mdettweiler [2012-01-15 13:35:04] 717*2^1001345-1 is not prime. Res64: 29C9FE06E2BE5E7D Time : 0.0 sec. user=mdettweiler [2012-01-15 13:35:04] 861*2^1001345-1 is not prime. Res64: E9F4A4AC0EE516B7 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:35:34] 937*2^1001345-1 is not prime. Res64: 8568175857B2B657 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:35:34] 653*2^1001346-1 is not prime. Res64: 067BA5744923B039 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:35:54] 651*2^1001347-1 is not prime. Res64: 60B8A9CBD32F2627 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:37:48] 843*2^1001347-1 is not prime. Res64: 265DC853CCFF2A2D Time : 0.0 sec. user=mdettweiler [2012-01-15 13:39:13] 807*2^1001346-1 is not prime. Res64: 806D63586624A78A Time : 0.0 sec. user=mdettweiler [2012-01-15 13:39:14] 837*2^1001346-1 is not prime. Res64: 1F02A32EF2E1881C Time : 0.0 sec. user=mdettweiler [2012-01-15 13:43:34] 707*2^1001348-1 is not prime. Res64: 044D5F94E2CC60BB Time : 0.0 sec. user=mdettweiler [2012-01-15 13:43:54] 945*2^1001346-1 is not prime. Res64: F486576DC6A4D3B5 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:43:54] 621*2^1001347-1 is not prime. Res64: E29800FBA6EF7BEA Time : 0.0 sec. user=mdettweiler [2012-01-15 13:45:27] 839*2^1001348-1 is not prime. Res64: 1EB5DA521B89C3EA Time : 0.0 sec. user=mdettweiler [2012-01-15 13:51:14] 909*2^1001348-1 is not prime. Res64: ADC3DA9785EC508F Time : 0.0 sec. user=mdettweiler [2012-01-15 13:53:09] 747*2^1001349-1 is not prime. Res64: 4DA3B67AFD6C9FF5 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:55:18] 665*2^1001348-1 is not prime. Res64: FC13058BAB1B1348 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:55:18] 687*2^1001348-1 is not prime. Res64: 5CDEC3975C3774D0 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:56:59] 859*2^1001347-1 is not prime. Res64: BBBDFFC6AD7F679E Time : 0.0 sec. user=mdettweiler [2012-01-15 13:56:59] 985*2^1001347-1 is not prime. Res64: EB3CE956FD9F514D Time : 0.0 sec. user=mdettweiler [2012-01-15 13:58:56] 751*2^1001349-1 is not prime. Res64: 8FF615AF54B23C30 Time : 0.0 sec. user=mdettweiler [2012-01-15 13:59:02] 869*2^1001348-1 is not prime. Res64: A2856EF2566CB8FD Time : 0.0 sec. user=mdettweiler [2012-01-15 13:59:02] 885*2^1001348-1 is not prime. Res64: 9BE59A2DC14C7842 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:02:40] 969*2^1001349-1 is not prime. Res64: 29DD2EBBD0B04E4E Time : 0.0 sec. user=mdettweiler [2012-01-15 14:03:35] 935*2^1001348-1 is not prime. Res64: 3FE55D5B033531E6 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:03:36] 741*2^1001349-1 is not prime. Res64: E73BAAA44E3D6871 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:06:38] 843*2^1001350-1 is not prime. Res64: 3305EE36EE4A88F9 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:10:21] 615*2^1001351-1 is not prime. Res64: 2092B5EEAF592019 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:14:21] 921*2^1001351-1 is not prime. Res64: 70B0722DB80D4634 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:15:01] 635*2^1001350-1 is not prime. Res64: B4021181E03C1B0A Time : 0.0 sec. user=mdettweiler [2012-01-15 14:15:03] 653*2^1001350-1 is not prime. Res64: 371840D07D8861C1 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:16:44] 785*2^1001350-1 is not prime. Res64: 065D303587E2538A Time : 0.0 sec. user=mdettweiler [2012-01-15 14:16:44] 831*2^1001350-1 is not prime. Res64: 946DB1EC0B169571 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:18:02] 609*2^1001352-1 is not prime. Res64: 13A857570354A30D Time : 0.0 sec. user=mdettweiler [2012-01-15 14:20:59] 975*2^1001350-1 is not prime. Res64: 46F2BEC936FBBFC8 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:21:00] 609*2^1001351-1 is not prime. Res64: 0FF7D2819D73F96F Time : 0.0 sec. user=mdettweiler [2012-01-15 14:22:03] 695*2^1001352-1 is not prime. Res64: 58D4E99D3ACEDAE7 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:23:14] 745*2^1001351-1 is not prime. Res64: 34EDB05831E078B0 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:23:14] 889*2^1001351-1 is not prime. Res64: D7846CAFC46E0DE1 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:25:42] 923*2^1001352-1 is not prime. Res64: 3925FD2BE4EAF31C Time : 0.0 sec. user=mdettweiler [2012-01-15 14:29:42] 607*2^1001353-1 is not prime. Res64: 1C8911B3B64164F3 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:33:22] 807*2^1001353-1 is not prime. Res64: DEC1359D130AEBB0 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:34:53] 753*2^1001352-1 is not prime. Res64: 6C4A66C6582D1972 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:34:53] 759*2^1001352-1 is not prime. Res64: 13490D7FB8A749D8 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:36:26] 779*2^1001352-1 is not prime. Res64: AF5611E16BB3024D Time : 0.0 sec. user=mdettweiler [2012-01-15 14:36:26] 893*2^1001352-1 is not prime. Res64: E304AC99AFEA9B37 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:37:21] 877*2^1001353-1 is not prime. Res64: 2413351242BFAFB3 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:41:02] 937*2^1001353-1 is not prime. Res64: 38103E2E7569BD9B Time : 0.0 sec. user=mdettweiler [2012-01-15 14:42:50] 615*2^1001353-1 is not prime. Res64: 0114F1C2CADDF1E1 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:42:51] 789*2^1001353-1 is not prime. Res64: 61DD1245E0842C78 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:45:02] 791*2^1001354-1 is not prime. Res64: 2444F2A6FE0F3859 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:45:09] 945*2^1001352-1 is not prime. Res64: D806790249146C23 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:45:09] 977*2^1001352-1 is not prime. Res64: 6EA1072E342850C6 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:48:43] 875*2^1001354-1 is not prime. Res64: 376591E283143C1B Time : 0.0 sec. user=mdettweiler [2012-01-15 14:52:45] 741*2^1001355-1 is not prime. Res64: 7614BF0FB673BDA8 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:54:30] 939*2^1001353-1 is not prime. Res64: 784FE8B23959EB05 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:54:30] 707*2^1001354-1 is not prime. Res64: 4CCEC4A51E9ECA82 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:56:01] 731*2^1001354-1 is not prime. Res64: 81A072A01DD6F528 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:56:01] 753*2^1001354-1 is not prime. Res64: F4980BDF24B398E7 Time : 0.0 sec. user=mdettweiler [2012-01-15 14:56:25] 861*2^1001355-1 is not prime. Res64: C2B950CEF4BC4250 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:00:29] 873*2^1001355-1 is not prime. Res64: E091C2BB0FC1AF05 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:02:26] 921*2^1001354-1 is not prime. Res64: 814DBFA314213DFD Time : 0.0 sec. user=mdettweiler [2012-01-15 15:02:27] 723*2^1001355-1 is not prime. Res64: 26B33F55DDF34285 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:04:03] 875*2^1001356-1 is not prime. Res64: 52AB93A162C38B30 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:04:56] 819*2^1001355-1 is not prime. Res64: BBFF8A778812265A Time : 0.0 sec. user=mdettweiler [2012-01-15 15:04:58] 823*2^1001355-1 is not prime. Res64: 5F413E9E883EF2D6 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:08:22] 899*2^1001356-1 is not prime. Res64: 7EF305A701D3E112 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:11:46] 631*2^1001357-1 is not prime. Res64: BBB3DB52E6DA9AB7 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:14:47] 921*2^1001355-1 is not prime. Res64: 9D5E49240C2FC6A5 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:14:47] 629*2^1001356-1 is not prime. Res64: D6E5289A657D681D Time : 0.0 sec. user=mdettweiler [2012-01-15 15:16:09] 657*2^1001358-1 is not prime. Res64: CDA2AEFB1A261047 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:16:12] 689*2^1001356-1 is not prime. Res64: 66834E75AA18B1F0 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:16:13] 755*2^1001356-1 is not prime. Res64: FBE73A8F5B61A6FD Time : 0.0 sec. user=mdettweiler [2012-01-15 15:17:15] 769*2^1001289-1 is not prime. Res64: 0F39A4DDE211B332 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:19:29] 711*2^1001358-1 is not prime. Res64: 483A442C16BD992B Time : 0.0 sec. user=mdettweiler [2012-01-15 15:23:51] 777*2^1001358-1 is not prime. Res64: CA2CA422474EF1CF Time : 0.0 sec. user=mdettweiler [2012-01-15 15:25:03] 757*2^1001357-1 is not prime. Res64: F36622A74E6D2046 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:25:04] 937*2^1001357-1 is not prime. Res64: 9DE41E52DCD635E6 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:25:34] 709*2^1001289-1 is not prime. Res64: 8F5F054FBE2BB7D9 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:27:10] 861*2^1001359-1 is not prime. Res64: 3EC21B8B779752FA Time : 0.0 sec. user=mdettweiler [2012-01-15 15:27:12] 969*2^1001356-1 is not prime. Res64: 1F2514E2C02B8EE7 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:27:12] 989*2^1001356-1 is not prime. Res64: 2593BC51C82387A6 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:31:29] 895*2^1001359-1 is not prime. Res64: 21258C0E566CC8F6 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:34:35] 713*2^1001358-1 is not prime. Res64: 11B02BE70F1A53CC Time : 0.0 sec. user=mdettweiler [2012-01-15 15:34:35] 767*2^1001358-1 is not prime. Res64: C7C64F6ECDF1C06F Time : 0.0 sec. user=mdettweiler [2012-01-15 15:34:48] 635*2^1001360-1 is not prime. Res64: 74BA33064E6C463B Time : 0.0 sec. user=mdettweiler [2012-01-15 15:38:22] 915*2^1001358-1 is not prime. Res64: 5EF604CE2EB04869 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:38:22] 941*2^1001358-1 is not prime. Res64: 696C3584A86B83FF Time : 0.0 sec. user=mdettweiler [2012-01-15 15:39:09] 825*2^1001360-1 is not prime. Res64: 7CAD6A9358ABDB6F Time : 0.0 sec. user=mdettweiler [2012-01-15 15:42:27] 781*2^1001361-1 is not prime. Res64: 60C31EDDEC9846AB Time : 0.0 sec. user=mdettweiler [2012-01-15 15:46:28] 693*2^1001291-1 is not prime. Res64: 191845EF05A81A76 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:46:48] 677*2^1001362-1 is not prime. Res64: F11591F7C77A4082 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:46:59] 645*2^1001360-1 is not prime. Res64: E4495B0C3B32387E Time : 0.0 sec. user=mdettweiler [2012-01-15 15:47:00] 797*2^1001360-1 is not prime. Res64: 609CDAC6778C4B6F Time : 0.0 sec. user=mdettweiler [2012-01-15 15:47:08] 919*2^1001359-1 is not prime. Res64: 892206B8D180DAE8 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:47:08] 973*2^1001359-1 is not prime. Res64: D89D81AC163B6637 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:50:06] 695*2^1001362-1 is not prime. Res64: 97D67003BE233F3A Time : 0.0 sec. user=mdettweiler [2012-01-15 15:54:27] 663*2^1001363-1 is not prime. Res64: 0F517B76B39686E8 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:56:36] 855*2^1001360-1 is not prime. Res64: 0F5293999BF2EC7C Time : 0.0 sec. user=mdettweiler [2012-01-15 15:56:36] 995*2^1001360-1 is not prime. Res64: DD4F55377B21CD17 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:57:46] 699*2^1001364-1 is not prime. Res64: E9743DAF37015617 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:58:30] 623*2^1001294-1 is not prime. Res64: 1A4D5BFA3DFEA661 Time : 0.0 sec. user=mdettweiler [2012-01-15 15:59:56] 651*2^1001294-1 is not prime. Res64: 5FA1BE9373384371 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:00:23] 835*2^1001361-1 is not prime. Res64: 68228FEC18285F18 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:00:24] 975*2^1001361-1 is not prime. Res64: DB992DA501C434E7 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:02:07] 705*2^1001364-1 is not prime. Res64: A550B19E215274AF Time : 0.0 sec. user=mdettweiler [2012-01-15 16:05:23] 773*2^1001364-1 is not prime. Res64: EE642601F979EF04 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:06:44] 705*2^1001363-1 is not prime. Res64: 85B983297E94295C Time : 0.0 sec. user=mdettweiler [2012-01-15 16:06:46] 715*2^1001363-1 is not prime. Res64: EF0056B957D6081D Time : 0.0 sec. user=mdettweiler [2012-01-15 16:06:54] 735*2^1001363-1 is not prime. Res64: 1A160EF61FCAE5BD Time : 0.0 sec. user=mdettweiler [2012-01-15 16:06:55] 771*2^1001363-1 is not prime. Res64: 152C44BE32A3BD06 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:09:47] 771*2^1001365-1 is not prime. Res64: 7D8F93E9B79A27E5 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:13:02] 777*2^1001365-1 is not prime. Res64: BFCA07578F465AAC Time : 0.0 sec. user=mdettweiler [2012-01-15 16:17:02] 719*2^1001364-1 is not prime. Res64: D1B6AC2B32654F9F Time : 0.0 sec. user=mdettweiler [2012-01-15 16:17:03] 753*2^1001364-1 is not prime. Res64: 47F57033C3CF1B91 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:17:25] 873*2^1001366-1 is not prime. Res64: 3D0E3DA79CC91868 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:20:43] 911*2^1001366-1 is not prime. Res64: C47CF84E6CAFF1D6 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:20:55] 651*2^1001365-1 is not prime. Res64: CF6B809CF1754CFF Time : 0.0 sec. user=mdettweiler [2012-01-15 16:20:56] 741*2^1001365-1 is not prime. Res64: 1CF7200CEA23AA1A Time : 0.0 sec. user=mdettweiler [2012-01-15 16:25:06] 849*2^1001368-1 is not prime. Res64: D2C5404640AF0C2D Time : 0.0 sec. user=mdettweiler [2012-01-15 16:27:45] 859*2^1001365-1 is not prime. Res64: 792E628C80DB2CB7 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:27:45] 813*2^1001366-1 is not prime. Res64: C0EBC9AABEE64C14 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:27:51] 789*2^1001365-1 is not prime. Res64: 5F28AE8C2099E054 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:27:52] 855*2^1001365-1 is not prime. Res64: 0309F04D0FC863EC Time : 0.0 sec. user=mdettweiler [2012-01-15 16:28:24] 855*2^1001368-1 is not prime. Res64: 1133283B8F4F6EFF Time : 0.0 sec. user=mdettweiler [2012-01-15 16:34:35] 975*2^1001368-1 is not prime. Res64: 498D714252B9EAB8 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:36:06] 841*2^1001369-1 is not prime. Res64: 010CF6A37A993171 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:37:25] 931*2^1001367-1 is not prime. Res64: E42208143FC7DF6E Time : 0.0 sec. user=mdettweiler [2012-01-15 16:37:25] 813*2^1001368-1 is not prime. Res64: 0773D05F56D74F8B Time : 0.0 sec. user=mdettweiler [2012-01-15 16:41:03] 887*2^1001368-1 is not prime. Res64: A77C18641FE8489F Time : 0.0 sec. user=mdettweiler [2012-01-15 16:41:03] 933*2^1001368-1 is not prime. Res64: 09D1CBE48C3D19FC Time : 0.0 sec. user=mdettweiler [2012-01-15 16:42:15] 939*2^1001369-1 is not prime. Res64: 674E0430B75B8890 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:43:47] 647*2^1001370-1 is not prime. Res64: 42932EBD5B103A95 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:47:33] 645*2^1001369-1 is not prime. Res64: A181B0F12B4CEE2E Time : 0.0 sec. user=mdettweiler [2012-01-15 16:47:33] 657*2^1001369-1 is not prime. Res64: 8529938D20196CBE Time : 0.0 sec. user=mdettweiler [2012-01-15 16:47:49] 675*2^1001369-1 is not prime. Res64: 141F0DD38E64F96C Time : 0.0 sec. user=mdettweiler [2012-01-15 16:47:50] 771*2^1001369-1 is not prime. Res64: 8E95C07AFF3D7B72 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:49:56] 819*2^1001371-1 is not prime. Res64: B10D35712EDC45EF Time : 0.0 sec. user=mdettweiler [2012-01-15 16:51:29] 855*2^1001371-1 is not prime. Res64: 7D7226F48F8E1A3D Time : 0.0 sec. user=mdettweiler [2012-01-15 16:57:28] 777*2^1001370-1 is not prime. Res64: 5472B30484CA81B5 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:57:28] 917*2^1001370-1 is not prime. Res64: CC39747B9C517BB1 Time : 0.0 sec. user=mdettweiler [2012-01-15 16:57:38] 899*2^1001372-1 is not prime. Res64: 93131EA7B393E3C1 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:01:00] 963*2^1001372-1 is not prime. Res64: CA5FA978CFF8808C Time : 0.0 sec. user=mdettweiler [2012-01-15 17:03:23] 951*2^1001370-1 is not prime. Res64: 1FE3A409080197DE Time : 0.0 sec. user=mdettweiler [2012-01-15 17:03:23] 751*2^1001371-1 is not prime. Res64: 7E7A3FE994633B75 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:05:18] 691*2^1001373-1 is not prime. Res64: 68ABE91148E6B503 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:08:11] 725*2^1001372-1 is not prime. Res64: E6C42138DBF84773 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:08:12] 837*2^1001372-1 is not prime. Res64: 0B306C26914FFDBA Time : 0.0 sec. user=mdettweiler [2012-01-15 17:08:45] 769*2^1001373-1 is not prime. Res64: 994C45D6DF13243F Time : 0.0 sec. user=mdettweiler [2012-01-15 17:10:12] 909*2^1001371-1 is not prime. Res64: F54E1A948E67A09B Time : 0.0 sec. user=mdettweiler [2012-01-15 17:10:12] 993*2^1001371-1 is not prime. Res64: 2170E58471397CE9 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:14:50] 979*2^1001373-1 is not prime. Res64: 492B804F524A1563 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:16:29] 681*2^1001374-1 is not prime. Res64: 86AD409DDB44E123 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:17:46] 607*2^1001373-1 is not prime. Res64: E300A8FACCC1E09F Time : 0.0 sec. user=mdettweiler [2012-01-15 17:17:47] 615*2^1001373-1 is not prime. Res64: BE46B82F0F276A08 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:18:30] 893*2^1001364-1 is not prime. Res64: 5D88B0543FF3C551 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:18:31] 927*2^1001364-1 is not prime. Res64: 37834BCBE691F064 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:22:31] 917*2^1001374-1 is not prime. Res64: 02671E904D4F33D8 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:23:45] 835*2^1001373-1 is not prime. Res64: 7337F5F8400325CC Time : 0.0 sec. user=mdettweiler [2012-01-15 17:23:45] 919*2^1001373-1 is not prime. Res64: 52CAA41E550478EE Time : 0.0 sec. user=mdettweiler [2012-01-15 17:24:09] 603*2^1001375-1 is not prime. Res64: 89F227F18A11BA53 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:28:58] 663*2^1001374-1 is not prime. Res64: ED4732F8CE1DF5EC Time : 0.0 sec. user=mdettweiler [2012-01-15 17:28:58] 665*2^1001374-1 is not prime. Res64: 8ABFA9DD3BB6ACB4 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:30:37] 881*2^1001374-1 is not prime. Res64: 19159887100B55B2 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:30:37] 903*2^1001374-1 is not prime. Res64: BEA41420EE41006C Time : 0.0 sec. user=mdettweiler [2012-01-15 17:31:48] 657*2^1001376-1 is not prime. Res64: 77874B5C45B429DC Time : 0.0 sec. user=mdettweiler [2012-01-15 17:31:58] 963*2^1001375-1 is not prime. Res64: 960737A41C2FE00A Time : 0.0 sec. user=mdettweiler [2012-01-15 17:37:53] 609*2^1001375-1 is not prime. Res64: 6BE32F277C688F85 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:37:54] 799*2^1001375-1 is not prime. Res64: 728E658470352D61 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:39:26] 927*2^1001376-1 is not prime. Res64: 87AE2CBA398B178E Time : 0.0 sec. user=mdettweiler [2012-01-15 17:39:37] 651*2^1001377-1 is not prime. Res64: 2FC65F8589338B14 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:45:51] 981*2^1001375-1 is not prime. Res64: 4855DF420EEA7E50 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:45:51] 633*2^1001376-1 is not prime. Res64: 7359D1B4174CB34E Time : 0.0 sec. user=mdettweiler [2012-01-15 17:47:05] 623*2^1001378-1 is not prime. Res64: D8E7090B9E403D67 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:47:15] 773*2^1001378-1 is not prime. Res64: 540B8C678BEECE0A Time : 0.0 sec. user=mdettweiler [2012-01-15 17:48:40] 689*2^1001376-1 is not prime. Res64: CFAE2DDAD4CDF9F6 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:48:41] 699*2^1001376-1 is not prime. Res64: F7D359885A7C2214 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:50:23] 747*2^1001376-1 is not prime. Res64: 4FA76E875FAFB03A Time : 0.0 sec. user=mdettweiler [2012-01-15 17:50:24] 803*2^1001376-1 is not prime. Res64: 93520E59C8C8E438 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:54:55] 663*2^1001379-1 is not prime. Res64: A6701FD37585960D Time : 0.0 sec. user=mdettweiler [2012-01-15 17:56:32] 987*2^1001378-1 is not prime. Res64: 8195FE4B02DE4713 Time : 0.0 sec. user=mdettweiler [2012-01-15 17:57:33] 847*2^1001377-1 is not prime. Res64: 911912CA9F2F514A Time : 0.0 sec. user=mdettweiler [2012-01-15 17:57:33] 909*2^1001377-1 is not prime. Res64: 91BE21708B8A2715 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:04:13] 677*2^1001380-1 is not prime. Res64: 2D95092858577F40 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:04:23] 949*2^1001379-1 is not prime. Res64: CB1E02DFD230AC4B Time : 0.0 sec. user=mdettweiler [2012-01-15 18:05:30] 827*2^1001378-1 is not prime. Res64: 66E8BBAF13E763DD Time : 0.0 sec. user=mdettweiler [2012-01-15 18:05:31] 867*2^1001378-1 is not prime. Res64: F0EEC3ABF9CEC776 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:08:01] 917*2^1001362-1 is not prime. Res64: 1651E850098B9DDF Time : 0.0 sec. user=mdettweiler [2012-01-15 18:08:01] 831*2^1001359-1 is not prime. Res64: 23F2A079603B0905 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:08:02] 993*2^1001359-1 is not prime. Res64: FE865013845B0CBE Time : 0.0 sec. user=mdettweiler [2012-01-15 18:08:18] 679*2^1001379-1 is not prime. Res64: 2B22FA8224D3898C Time : 0.0 sec. user=mdettweiler [2012-01-15 18:08:19] 709*2^1001379-1 is not prime. Res64: 90581353034544DA Time : 0.0 sec. user=mdettweiler [2012-01-15 18:10:02] 745*2^1001379-1 is not prime. Res64: C897D8308F905B70 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:10:04] 903*2^1001379-1 is not prime. Res64: 6DFB270668892B87 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:11:54] 797*2^1001380-1 is not prime. Res64: 8A544C52D5FD4601 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:12:05] 857*2^1001380-1 is not prime. Res64: EBC703E0AF8B5C93 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:17:15] 693*2^1001380-1 is not prime. Res64: DAB287169688F1A6 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:17:15] 707*2^1001380-1 is not prime. Res64: 1F9F19994A3DC64B Time : 0.0 sec. user=mdettweiler [2012-01-15 18:19:35] 735*2^1001381-1 is not prime. Res64: 9BAC72340C0B7535 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:19:47] 769*2^1001381-1 is not prime. Res64: AA0FD016090A6DB7 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:27:17] 627*2^1001382-1 is not prime. Res64: 9DE6DDAA9551E14E Time : 0.0 sec. user=mdettweiler [2012-01-15 18:27:28] 741*2^1001382-1 is not prime. Res64: E6019071F8A9B782 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:28:00] 607*2^1001381-1 is not prime. Res64: 124701E781204BAE Time : 0.0 sec. user=mdettweiler [2012-01-15 18:28:00] 645*2^1001381-1 is not prime. Res64: 314A238578374CBF Time : 0.0 sec. user=mdettweiler [2012-01-15 18:29:46] 965*2^1001380-1 is not prime. Res64: 26243E06509F24A5 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:29:47] 983*2^1001380-1 is not prime. Res64: ECA895E83B3E1615 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:29:51] 675*2^1001381-1 is not prime. Res64: B4060F854CC427E5 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:29:52] 727*2^1001381-1 is not prime. Res64: A9487C4910F0EDF1 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:34:57] 791*2^1001382-1 is not prime. Res64: 4289800C341FD81A Time : 0.0 sec. user=mdettweiler [2012-01-15 18:35:06] 867*2^1001382-1 is not prime. Res64: B426AE6BC8D05F3D Time : 0.0 sec. user=mdettweiler [2012-01-15 18:39:15] 987*2^1001381-1 is not prime. Res64: 14D14CB976412D8C Time : 0.0 sec. user=mdettweiler [2012-01-15 18:39:16] 615*2^1001382-1 is not prime. Res64: C0CCFF1F9284E9A6 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:42:37] 675*2^1001384-1 is not prime. Res64: BB624C3600A1DA17 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:42:46] 687*2^1001384-1 is not prime. Res64: EDF19ABD0FAFE5C5 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:42:53] 831*2^1001375-1 is not prime. Res64: 34FA6DE9AFD3D856 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:42:53] 859*2^1001375-1 is not prime. Res64: 09B04F6AC9A2DED8 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:47:40] 873*2^1001382-1 is not prime. Res64: A0AE337D37798192 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:47:41] 675*2^1001383-1 is not prime. Res64: 7164BFBA2587011A Time : 0.0 sec. user=mdettweiler [2012-01-15 18:49:26] 723*2^1001383-1 is not prime. Res64: 0C46638B437D35B2 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:49:26] 811*2^1001383-1 is not prime. Res64: 78018A67C19AA4FD Time : 0.0 sec. user=mdettweiler [2012-01-15 18:49:30] 871*2^1001383-1 is not prime. Res64: 3FF3115AAADBD9ED Time : 0.0 sec. user=mdettweiler [2012-01-15 18:49:31] 617*2^1001384-1 is not prime. Res64: 02BF4AC9294468E0 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:50:19] 753*2^1001384-1 is not prime. Res64: 77292FB1B3DE4E8B Time : 0.0 sec. user=mdettweiler [2012-01-15 18:50:26] 819*2^1001384-1 is not prime. Res64: 45257BE8653BE826 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:58:06] 621*2^1001387-1 is not prime. Res64: 5C53182A31D8863E Time : 0.0 sec. user=mdettweiler [2012-01-15 18:58:58] 699*2^1001384-1 is not prime. Res64: 51F8AAB90CB3AC6F Time : 0.0 sec. user=mdettweiler [2012-01-15 18:58:58] 717*2^1001384-1 is not prime. Res64: 71C558A04EC51ED4 Time : 0.0 sec. user=mdettweiler [2012-01-15 18:59:46] 957*2^1001386-1 is not prime. Res64: 8E672E5C9E302BD9 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:05:45] 675*2^1001387-1 is not prime. Res64: 36F9BAD6FE906E47 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:07:25] 741*2^1001387-1 is not prime. Res64: 5880443AB125D5C3 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:07:33] 717*2^1001385-1 is not prime. Res64: 40E9937B61135115 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:07:33] 787*2^1001385-1 is not prime. Res64: F94A7BB31C06DFF6 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:09:11] 837*2^1001385-1 is not prime. Res64: 3C9A6B4F49CE93FF Time : 0.0 sec. user=mdettweiler [2012-01-15 19:09:12] 909*2^1001385-1 is not prime. Res64: CFCED982FFA9CC02 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:11:38] 999*2^1001385-1 is not prime. Res64: 3E972E55AAB6E5E8 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:11:39] 857*2^1001386-1 is not prime. Res64: AC6E3D2F63D14DC2 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:13:26] 889*2^1001387-1 is not prime. Res64: 9E3B3510E60D33BF Time : 0.0 sec. user=mdettweiler [2012-01-15 19:15:09] 915*2^1001387-1 is not prime. Res64: 0C646D06B7670BAD Time : 0.0 sec. user=mdettweiler [2012-01-15 19:18:48] 705*2^1001387-1 is not prime. Res64: FF6B81ED6DF77AE7 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:18:49] 733*2^1001387-1 is not prime. Res64: 7A6DC1290DC45301 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:21:06] 801*2^1001389-1 is not prime. Res64: 22F452DFA8095070 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:22:53] 817*2^1001389-1 is not prime. Res64: CF42EBDD11004FF9 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:28:44] 657*2^1001390-1 is not prime. Res64: EA9CDD7A4CD57281 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:28:54] 819*2^1001388-1 is not prime. Res64: D4829D13D98ECFAF Time : 0.0 sec. user=mdettweiler [2012-01-15 19:28:54] 899*2^1001388-1 is not prime. Res64: C59B59E3187A2898 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:30:31] 717*2^1001390-1 is not prime. Res64: FCAA395C65E4F3EB Time : 0.0 sec. user=mdettweiler [2012-01-15 19:31:25] 927*2^1001388-1 is not prime. Res64: 11CB711CA25BCD5C Time : 0.0 sec. user=mdettweiler [2012-01-15 19:31:25] 775*2^1001389-1 is not prime. Res64: 0AC9E0985027033E Time : 0.0 sec. user=mdettweiler [2012-01-15 19:31:42] 973*2^1001387-1 is not prime. Res64: 5055BB73E97709BE Time : 0.0 sec. user=mdettweiler [2012-01-15 19:31:42] 979*2^1001387-1 is not prime. Res64: AD35482273545866 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:36:22] 875*2^1001390-1 is not prime. Res64: 5CD2E1192AD2C1EB Time : 0.0 sec. user=mdettweiler [2012-01-15 19:38:09] 693*2^1001391-1 is not prime. Res64: 20133BDBA0DD2E49 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:40:45] 831*2^1001389-1 is not prime. Res64: 633F0186390519C8 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:40:45] 945*2^1001389-1 is not prime. Res64: 985B81EC81962043 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:45:50] 961*2^1001391-1 is not prime. Res64: 1CA55819D2414C88 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:47:37] 969*2^1001391-1 is not prime. Res64: E327F8A2BAB57C8E Time : 0.0 sec. user=mdettweiler [2012-01-15 19:48:35] 911*2^1001390-1 is not prime. Res64: 953903EB8283DF04 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:48:36] 639*2^1001391-1 is not prime. Res64: E0E9625351C93804 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:51:06] 739*2^1001391-1 is not prime. Res64: 3137426D960D992C Time : 0.0 sec. user=mdettweiler [2012-01-15 19:51:06] 789*2^1001391-1 is not prime. Res64: B757EBEAFE7ABF9A Time : 0.0 sec. user=mdettweiler [2012-01-15 19:53:30] 665*2^1001392-1 is not prime. Res64: 60A23B099EB7FBBC Time : 0.0 sec. user=mdettweiler [2012-01-15 19:53:39] 879*2^1001391-1 is not prime. Res64: 2DD8D206B62CED86 Time : 0.0 sec. user=mdettweiler [2012-01-15 19:53:39] 945*2^1001391-1 is not prime. Res64: 4E3936FE8ADF024C Time : 0.0 sec. user=mdettweiler [2012-01-15 19:55:18] 869*2^1001392-1 is not prime. Res64: FE00182D464F2A6E Time : 0.0 sec. user=mdettweiler [2012-01-15 20:00:28] 605*2^1001392-1 is not prime. Res64: B0C0429D7E5759DB Time : 0.0 sec. user=mdettweiler [2012-01-15 20:00:29] 645*2^1001392-1 is not prime. Res64: 6B24EF98DFA44CD4 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:01:10] 741*2^1001393-1 is not prime. Res64: 1D4F8EBD850677CB Time : 0.0 sec. user=mdettweiler [2012-01-15 20:01:41] 833*2^1001384-1 is not prime. Res64: 6276430BBD7F8948 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:01:43] 875*2^1001384-1 is not prime. Res64: 527944E3F1BA3DFF Time : 0.0 sec. user=mdettweiler [2012-01-15 20:02:56] 837*2^1001393-1 is not prime. Res64: E58C0DE53A8746DA Time : 0.0 sec. user=mdettweiler [2012-01-15 20:08:21] 873*2^1001392-1 is not prime. Res64: CE8B100217666211 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:08:21] 939*2^1001392-1 is not prime. Res64: BC1F1B3ECF9DFD3A Time : 0.0 sec. user=mdettweiler [2012-01-15 20:08:54] 937*2^1001393-1 is not prime. Res64: EA05788D8023A695 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:10:37] 765*2^1001394-1 is not prime. Res64: 2F52500A9F47AE70 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:13:04] 989*2^1001392-1 is not prime. Res64: 9F2FD6ADE5BB28B0 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:13:06] 715*2^1001393-1 is not prime. Res64: D19BDCCA131596D5 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:13:14] 759*2^1001393-1 is not prime. Res64: 991EA8A6BEF4941E Time : 0.0 sec. user=mdettweiler [2012-01-15 20:13:15] 801*2^1001393-1 is not prime. Res64: 08922CB3BBD96727 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:16:34] 917*2^1001394-1 is not prime. Res64: 36E09221ECD0537C Time : 0.0 sec. user=mdettweiler [2012-01-15 20:18:17] 923*2^1001394-1 is not prime. Res64: 814038029382F311 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:20:12] 867*2^1001393-1 is not prime. Res64: 015B7C9422FD8679 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:20:12] 901*2^1001393-1 is not prime. Res64: B1D7FB8130548B24 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:22:12] 859*2^1001359-1 is not prime. Res64: F9CA7C74FEE9E742 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:24:14] 859*2^1001395-1 is not prime. Res64: 7D742933460507B1 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:25:55] 861*2^1001395-1 is not prime. Res64: 355091CD94CBE530 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:28:01] 825*2^1001394-1 is not prime. Res64: 516E26B8364542AA Time : 0.0 sec. user=mdettweiler [2012-01-15 20:28:02] 873*2^1001394-1 is not prime. Res64: 999ACD20ED61A146 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:31:53] 699*2^1001396-1 is not prime. Res64: AEF568FD16A82357 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:32:46] 927*2^1001394-1 is not prime. Res64: 7A8F1DAE28779FC8 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:32:46] 609*2^1001395-1 is not prime. Res64: 0CB7357EE7316C36 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:32:58] 645*2^1001395-1 is not prime. Res64: 4203240E1CE8C995 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:32:59] 673*2^1001395-1 is not prime. Res64: C72B4B2B13DA9AD1 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:33:34] 725*2^1001396-1 is not prime. Res64: 6F1B0F6F129A4FF4 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:39:32] 873*2^1001396-1 is not prime. Res64: 21DD03A0C110F35B Time : 0.0 sec. user=mdettweiler [2012-01-15 20:39:51] 883*2^1001395-1 is not prime. Res64: 8C075A80A240D5B1 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:39:51] 889*2^1001395-1 is not prime. Res64: D9CD35775E3480BC Time : 0.0 sec. user=mdettweiler [2012-01-15 20:40:33] 633*2^1001360-1 is not prime. Res64: 5E8133A10B974224 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:41:14] 747*2^1001397-1 is not prime. Res64: 91BB8A98AD480452 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:47:10] 781*2^1001397-1 is not prime. Res64: 4CE06C162329B924 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:47:40] 767*2^1001396-1 is not prime. Res64: 742C82E8D4E327C8 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:47:41] 855*2^1001396-1 is not prime. Res64: 22D3BB84E1D35199 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:50:39] 945*2^1001397-1 is not prime. Res64: 5AB77E4B78F1F64A Time : 0.0 sec. user=mdettweiler [2012-01-15 20:52:39] 681*2^1001397-1 is not prime. Res64: 214D3A61AE0F1A10 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:52:40] 711*2^1001397-1 is not prime. Res64: 32D90F1AF87FF1EB Time : 0.0 sec. user=mdettweiler [2012-01-15 20:54:38] 953*2^1001396-1 is not prime. Res64: 7A1E11834065547A Time : 0.0 sec. user=mdettweiler [2012-01-15 20:54:38] 667*2^1001397-1 is not prime. Res64: 777A503EC9B80089 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:56:33] 949*2^1001397-1 is not prime. Res64: 37E98E6389ACCB45 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:58:17] 723*2^1001398-1 is not prime. Res64: F1AB19ADF9C1C6A7 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:59:30] 859*2^1001397-1 is not prime. Res64: 510E951BFDCB70C5 Time : 0.0 sec. user=mdettweiler [2012-01-15 20:59:31] 871*2^1001397-1 is not prime. Res64: BB09040A8F429251 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:06:21] 661*2^1001399-1 is not prime. Res64: 53335F8D5E96E8D1 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:06:24] 993*2^1001398-1 is not prime. Res64: 4B4C958D7E1EC6C3 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:07:07] 983*2^1001362-1 is not prime. Res64: 97E8834E790D9280 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:07:16] 621*2^1001398-1 is not prime. Res64: EDEE489819FF5706 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:07:17] 713*2^1001398-1 is not prime. Res64: 73A21FD13E42672B Time : 0.0 sec. user=mdettweiler [2012-01-15 21:12:22] 855*2^1001398-1 is not prime. Res64: 7CBBDC399D463BBB Time : 0.0 sec. user=mdettweiler [2012-01-15 21:12:25] 911*2^1001398-1 is not prime. Res64: A094CB8CC13E8A63 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:14:02] 789*2^1001399-1 is not prime. Res64: 07CD663CDB4F0B0A Time : 0.0 sec. user=mdettweiler [2012-01-15 21:15:51] 955*2^1001399-1 is not prime. Res64: 6B8B10B8711436A6 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:18:53] 945*2^1001398-1 is not prime. Res64: 4BF658D79093E02A Time : 0.0 sec. user=mdettweiler [2012-01-15 21:18:55] 951*2^1001398-1 is not prime. Res64: D137CD86AF711E2F Time : 0.0 sec. user=mdettweiler [2012-01-15 21:19:09] 685*2^1001399-1 is not prime. Res64: 7E995F1373A78BB9 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:19:10] 753*2^1001399-1 is not prime. Res64: 8606B76FA8490037 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:21:41] 825*2^1001400-1 is not prime. Res64: 8E791DC3FF3D82F2 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:23:30] 839*2^1001400-1 is not prime. Res64: B2283CF1FAA5881C Time : 0.0 sec. user=mdettweiler [2012-01-15 21:27:00] 615*2^1001400-1 is not prime. Res64: 2FC8188B624DA07E Time : 0.0 sec. user=mdettweiler [2012-01-15 21:27:00] 707*2^1001400-1 is not prime. Res64: 2473FF99DAA5BB48 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:29:22] 867*2^1001400-1 is not prime. Res64: E97B260BD9597F1F Time : 0.0 sec. user=mdettweiler [2012-01-15 21:31:11] 691*2^1001401-1 is not prime. Res64: A8977C39FE8BCFBB Time : 0.0 sec. user=mdettweiler [2012-01-15 21:36:49] 999*2^1001395-1 is not prime. Res64: F05B83A4039A23C6 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:36:49] 885*2^1001397-1 is not prime. Res64: 361B943A0B34ADEE Time : 0.0 sec. user=mdettweiler [2012-01-15 21:36:50] 949*2^1001393-1 is not prime. Res64: 24082C2BAE0D5090 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:48:00] 997*2^1001401-1 is not prime. Res64: 6138B21752F045DB Time : 0.0 sec. user=mdettweiler [2012-01-15 21:48:29] 695*2^1001394-1 is not prime. Res64: 19782F89BE9008E5 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:49:26] 801*2^1001401-1 is not prime. Res64: 2B08BC59687BF232 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:49:26] 979*2^1001401-1 is not prime. Res64: 008C0D4C349F02B9 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:49:52] 977*2^1001402-1 is not prime. Res64: 271E4C605529E2F0 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:55:41] 615*2^1001403-1 is not prime. Res64: 3A325F4FA4C3B3C0 Time : 0.0 sec. user=mdettweiler [2012-01-15 21:57:30] 861*2^1001403-1 is not prime. Res64: 77B03E29E7EE2151 Time : 0.0 sec. user=mdettweiler [2012-01-15 22:03:21] 895*2^1001403-1 is not prime. Res64: 878EC9FAF6E06601 Time : 0.0 sec. user=mdettweiler [2012-01-15 22:06:57] 973*2^1001403-1 is not prime. Res64: FB7CD053799A6ECF Time : 0.0 sec. user=mdettweiler [2012-01-15 22:11:07] 699*2^1001404-1 is not prime. Res64: 46FF65EF1B79BA2F Time : 0.0 sec. user=mdettweiler [2012-01-15 22:14:09] 623*2^1001396-1 is not prime. Res64: 648F6D788542970D Time : 0.0 sec. user=mdettweiler [2012-01-15 22:14:38] 783*2^1001404-1 is not prime. Res64: EE3E71B82547A694 Time : 0.0 sec. user=mdettweiler [2012-01-15 22:18:47] 785*2^1001404-1 is not prime. Res64: 016EE3E53662E1E3 Time : 0.0 sec. user=mdettweiler [2012-01-15 22:22:18] 699*2^1001405-1 is not prime. Res64: 32FB16993323833B Time : 0.0 sec. user=mdettweiler [2012-01-15 22:22:34] 937*2^1001397-1 is not prime. Res64: 4732039C02BAF86C Time : 0.0 sec. user=mdettweiler [2012-01-15 22:26:27] 729*2^1001405-1 is not prime. Res64: 599E12F3800FC2D4 Time : 0.0 sec. user=mdettweiler [2012-01-15 22:29:57] 811*2^1001405-1 is not prime. Res64: BB479BE31B01BFE3 Time : 0.0 sec. user=mdettweiler [2012-01-15 22:34:05] 765*2^1001406-1 is not prime. Res64: 5D2E48CB66641846 Time : 0.0 sec. user=mdettweiler [2012-01-15 22:37:36] 891*2^1001406-1 is not prime. Res64: 35329DFC1A59BDCD Time : 0.0 sec. user=mdettweiler [2012-01-15 22:41:45] 633*2^1001407-1 is not prime. Res64: 623904CB8005C321 Time : 0.0 sec. user=mdettweiler [2012-01-15 22:45:15] 639*2^1001407-1 is not prime. Res64: 618F023077C00317 Time : 0.0 sec. user=mdettweiler [2012-01-15 22:49:25] 663*2^1001407-1 is not prime. Res64: 30169A41725ABDEF Time : 0.0 sec. user=mdettweiler [2012-01-15 22:52:55] 675*2^1001407-1 is not prime. Res64: A488273067714A12 Time : 0.0 sec. user=mdettweiler [2012-01-15 22:57:06] 729*2^1001407-1 is not prime. Res64: CC613CDDD6EA6086 Time : 0.0 sec. user=mdettweiler [2012-01-15 23:00:39] 873*2^1001407-1 is not prime. Res64: ED2DFACF63555BAE Time : 0.0 sec. user=mdettweiler [2012-01-15 23:04:46] 919*2^1001407-1 is not prime. Res64: 5B618A84625B26CC Time : 0.0 sec. user=mdettweiler [2012-01-15 23:06:10] 979*2^1001399-1 is not prime. Res64: D5869181BF7E09A7 Time : 0.0 sec. user=mdettweiler [2012-01-15 23:06:11] 993*2^1001399-1 is not prime. Res64: BAA81313A748D743 Time : 0.0 sec. user=mdettweiler [2012-01-15 23:10:14] 945*2^1001407-1 is not prime. Res64: 462F6B29FFD37FFB Time : 0.0 sec. user=mdettweiler [2012-01-15 23:14:11] 979*2^1001407-1 is not prime. Res64: 4BBDBF4606AAD74F Time : 0.0 sec. user=mdettweiler [2012-01-15 23:17:39] 685*2^1001403-1 is not prime. Res64: 9C995E6D0ECC8EDE Time : 0.0 sec. user=mdettweiler [2012-01-15 23:17:39] 723*2^1001403-1 is not prime. Res64: 855E1D9D93B9927E Time : 0.0 sec. user=mdettweiler [2012-01-15 23:17:54] 669*2^1001408-1 is not prime. Res64: 53E2E5F3093835DD Time : 0.0 sec. user=mdettweiler [2012-01-15 23:21:52] 687*2^1001408-1 is not prime. Res64: 5E0FF67EB6AA3145 Time : 0.0 sec. user=mdettweiler [2012-01-15 23:25:36] 879*2^1001408-1 is not prime. Res64: A8CC67ED0D5F620D Time : 0.0 sec. user=mdettweiler [2012-01-15 23:29:31] 649*2^1001409-1 is not prime. Res64: C6B8D3503AB9A995 Time : 0.0 sec. user=mdettweiler [2012-01-15 23:34:00] 657*2^1001409-1 is not prime. Res64: D529A895C9AA12AE Time : 0.0 sec. user=mdettweiler [2012-01-15 23:37:57] 747*2^1001409-1 is not prime. Res64: F5DA86D7F2CE3513 Time : 0.0 sec. user=mdettweiler [2012-01-15 23:41:42] 865*2^1001409-1 is not prime. Res64: 59978039E042B49E Time : 0.0 sec. user=mdettweiler [2012-01-15 23:45:38] 885*2^1001409-1 is not prime. Res64: 1BCD49E95ADB77E0 Time : 0.0 sec. user=mdettweiler [2012-01-15 23:49:22] 891*2^1001409-1 is not prime. Res64: 00C520E2A8E7E51C Time : 0.0 sec. user=mdettweiler [2012-01-15 23:51:53] 899*2^1001404-1 is not prime. Res64: E4076BE6DD827ECE Time : 0.0 sec. user=mdettweiler [2012-01-15 23:51:54] 685*2^1001405-1 is not prime. Res64: AE603D3F2FCD830A Time : 0.0 sec. user=mdettweiler [2012-01-15 23:55:05] 987*2^1001409-1 is not prime. Res64: AA77B74BD851C937 Time : 0.0 sec. user=mdettweiler [2012-01-15 23:57:03] 611*2^1001410-1 is not prime. Res64: 69A1A11AFEA940CC Time : 0.0 sec.