user=vaughan [2012-12-13 00:03:18] 983*2^1237302-1 is not prime. Res64: 25F9A2600F829701 Time : 0.0 sec. user=mdettweiler [2012-12-13 00:04:27] 859*2^1237303-1 is not prime. Res64: 246EC6CFA0CC96C6 Time : 0.0 sec. user=mdettweiler [2012-12-13 00:04:29] 871*2^1237303-1 is not prime. Res64: A3A6811C6E5D29E4 Time : 0.0 sec. user=mdettweiler [2012-12-13 00:07:50] 919*2^1237303-1 is not prime. Res64: 46F6B968A7E0E033 Time : 0.0 sec. user=mdettweiler [2012-12-13 00:21:48] 869*2^1237304-1 is not prime. Res64: 2DF7CC6BC1D6DC98 Time : 0.0 sec. user=mdettweiler [2012-12-13 00:21:49] 983*2^1237304-1 is not prime. Res64: DB669958C65DB1DF Time : 0.0 sec. user=mdettweiler [2012-12-13 00:33:01] 645*2^1237304-1 is not prime. Res64: 4406B4BD08F9B5A9 Time : 0.0 sec. user=mdettweiler [2012-12-13 00:39:10] 649*2^1237305-1 is not prime. Res64: ED038C03A23460EB Time : 0.0 sec. user=mdettweiler [2012-12-13 00:39:11] 861*2^1237305-1 is not prime. Res64: 2172EBDA8406452F Time : 0.0 sec. user=vaughan [2012-12-13 00:41:08] 773*2^1237304-1 is not prime. Res64: 0316FF57BD8D0767 Time : 0.0 sec. user=mdettweiler [2012-12-13 00:50:19] 949*2^1237305-1 is not prime. Res64: A0B9EEF49564CA4F Time : 0.0 sec. user=mdettweiler [2012-12-13 00:50:20] 951*2^1237305-1 is not prime. Res64: 280EEFA91CF1D1BB Time : 0.0 sec. user=mdettweiler [2012-12-13 00:56:29] 999*2^1237305-1 is not prime. Res64: F46012FD7D822BAE Time : 0.0 sec. user=mdettweiler [2012-12-13 00:56:29] 635*2^1237306-1 is not prime. Res64: 0628EABEAB355C5C Time : 0.0 sec. user=mdettweiler [2012-12-13 01:07:38] 873*2^1237306-1 is not prime. Res64: 96E13C052862144D Time : 0.0 sec. user=mdettweiler [2012-12-13 01:07:39] 917*2^1237306-1 is not prime. Res64: B95B6260F52452DB Time : 0.0 sec. user=mdettweiler [2012-12-13 01:13:47] 923*2^1237306-1 is not prime. Res64: 9AE624E0682B20EE Time : 0.0 sec. user=mdettweiler [2012-12-13 01:13:49] 987*2^1237306-1 is not prime. Res64: 9A2913E02F619BEE Time : 0.0 sec. user=vaughan [2012-12-13 01:18:47] 801*2^1237306-1 is not prime. Res64: C4D0DF5BF8F246F9 Time : 0.0 sec. user=mdettweiler [2012-12-13 01:25:03] 1001*2^1237306-1 is not prime. Res64: 5F50DC7C40FEA7A7 Time : 0.0 sec. user=mdettweiler [2012-12-13 01:25:04] 609*2^1237307-1 is not prime. Res64: 10CBCF15411E5E5B Time : 0.0 sec. user=mdettweiler [2012-12-13 01:31:11] 663*2^1237307-1 is not prime. Res64: C71516AFCA17771E Time : 0.0 sec. user=mdettweiler [2012-12-13 01:31:12] 705*2^1237307-1 is not prime. Res64: 1A3D8318E1E517B7 Time : 0.0 sec. user=mdettweiler [2012-12-13 01:42:22] 741*2^1237307-1 is not prime. Res64: 3B4708075EF6038F Time : 0.0 sec. user=mdettweiler [2012-12-13 01:42:22] 799*2^1237307-1 is not prime. Res64: 76AFFDB8163E73B5 Time : 0.0 sec. user=mdettweiler [2012-12-13 01:48:30] 931*2^1237307-1 is not prime. Res64: FC32FBC4F3FE554B Time : 0.0 sec. user=mdettweiler [2012-12-13 01:48:30] 955*2^1237307-1 is not prime. Res64: EFD422DA5C0EA8DA Time : 0.0 sec. user=vaughan [2012-12-13 01:56:26] 711*2^1237307-1 is not prime. Res64: B700F2971AF3F21D Time : 0.0 sec. user=mdettweiler [2012-12-13 01:59:41] 973*2^1237307-1 is not prime. Res64: 39D946C368887DFC Time : 0.0 sec. user=mdettweiler [2012-12-13 01:59:42] 777*2^1237308-1 is not prime. Res64: 56657FA2735CA499 Time : 0.0 sec. user=mdettweiler [2012-12-13 02:05:49] 845*2^1237308-1 is not prime. Res64: 14E05AF9B9EBA657 Time : 0.0 sec. user=mdettweiler [2012-12-13 02:05:50] 867*2^1237308-1 is not prime. Res64: 12FF97F78ED24EC2 Time : 0.0 sec. user=mdettweiler [2012-12-13 02:17:00] 721*2^1237309-1 is not prime. Res64: CBD4EC4F02BB48B2 Time : 0.0 sec. user=mdettweiler [2012-12-13 02:17:00] 825*2^1237309-1 is not prime. Res64: 92F47228F4999A52 Time : 0.0 sec. user=mdettweiler [2012-12-13 02:23:11] 847*2^1237309-1 is not prime. Res64: 16E406AA60F22211 Time : 0.0 sec. user=mdettweiler [2012-12-13 02:23:12] 877*2^1237309-1 is not prime. Res64: E1A4DAACD9F967A7 Time : 0.0 sec. user=vaughan [2012-12-13 02:34:08] 959*2^1237308-1 is not prime. Res64: 3F4CD8EE123F9684 Time : 0.0 sec. user=mdettweiler [2012-12-13 02:34:19] 939*2^1237309-1 is not prime. Res64: 5E3CBDAB7A00A257 Time : 0.0 sec. user=mdettweiler [2012-12-13 02:34:21] 945*2^1237309-1 is not prime. Res64: E1AFF4B2855075FE Time : 0.0 sec. user=mdettweiler [2012-12-13 02:40:31] 987*2^1237309-1 is not prime. Res64: 247E5B3E421724A8 Time : 0.0 sec. user=mdettweiler [2012-12-13 02:40:32] 999*2^1237309-1 is not prime. Res64: 8A527A117B5AA600 Time : 0.0 sec. user=mdettweiler [2012-12-13 02:51:43] 741*2^1237310-1 is not prime. Res64: ACF8D1EA9275F623 Time : 0.0 sec. user=mdettweiler [2012-12-13 02:51:44] 845*2^1237310-1 is not prime. Res64: 42705B27A71C39DA Time : 0.0 sec. user=mdettweiler [2012-12-13 02:57:55] 735*2^1237311-1 is not prime. Res64: 630D5D526F69C90E Time : 0.0 sec. user=mdettweiler [2012-12-13 02:58:03] 961*2^1237311-1 is not prime. Res64: B39CBBEA65339CDB Time : 0.0 sec. user=mdettweiler [2012-12-13 03:09:07] 979*2^1237311-1 is not prime. Res64: 38C8A2C918C272EB Time : 0.0 sec. user=mdettweiler [2012-12-13 03:09:08] 629*2^1237312-1 is not prime. Res64: B2424C95BEC249FE Time : 0.0 sec. user=vaughan [2012-12-13 03:11:49] 713*2^1237310-1 is not prime. Res64: F54AF64A5A7DC7D3 Time : 0.0 sec. user=juhehe [2012-12-13 03:14:04] 705*2^1237311-1 is not prime. Res64: 976B71A25220CA62 Time : 0.0 sec. user=mdettweiler [2012-12-13 03:15:48] 699*2^1237312-1 is not prime. Res64: 465FC7AE1D71A584 Time : 0.0 sec. user=mdettweiler [2012-12-13 03:15:48] 719*2^1237312-1 is not prime. Res64: 356E619C3ED7E8ED Time : 0.0 sec. user=mdettweiler [2012-12-13 03:26:31] 813*2^1237312-1 is not prime. Res64: 76FBCD26FB8509D0 Time : 0.0 sec. user=mdettweiler [2012-12-13 03:26:32] 827*2^1237312-1 is not prime. Res64: 1CCB72FD2062C9EB Time : 0.0 sec. user=mdettweiler [2012-12-13 03:33:08] 619*2^1237313-1 is not prime. Res64: A94DF735E79F04CF Time : 0.0 sec. user=mdettweiler [2012-12-13 03:33:10] 699*2^1237313-1 is not prime. Res64: 7AEBC4388791B32D Time : 0.0 sec. user=mdettweiler [2012-12-13 03:43:51] 735*2^1237313-1 is not prime. Res64: FF57B92651AEC26D Time : 0.0 sec. user=mdettweiler [2012-12-13 03:43:52] 775*2^1237313-1 is not prime. Res64: 86730DCC84B64703 Time : 0.0 sec. user=juhehe [2012-12-13 03:49:27] 615*2^1237313-1 is not prime. Res64: 9174F6F22486A9CD Time : 0.0 sec. user=vaughan [2012-12-13 03:49:29] 933*2^1237312-1 is not prime. Res64: 1D200596E34DBE64 Time : 0.0 sec. user=mdettweiler [2012-12-13 03:50:42] 879*2^1237313-1 is not prime. Res64: 9D19A5E954AD3430 Time : 0.0 sec. user=mdettweiler [2012-12-13 03:50:42] 917*2^1237314-1 is not prime. Res64: C13A7025AEFDBB5D Time : 0.0 sec. user=mdettweiler [2012-12-13 04:01:27] 927*2^1237314-1 is not prime. Res64: 0C9937D27AE78D40 Time : 0.0 sec. user=mdettweiler [2012-12-13 04:01:28] 691*2^1237315-1 is not prime. Res64: 99707AD3F75C56E5 Time : 0.0 sec. user=mdettweiler [2012-12-13 04:08:07] 919*2^1237315-1 is not prime. Res64: A365C755CC0D2CE7 Time : 0.0 sec. user=mdettweiler [2012-12-13 04:08:09] 973*2^1237315-1 is not prime. Res64: 04E7171C8FBCA973 Time : 0.0 sec. user=mdettweiler [2012-12-13 04:19:04] 609*2^1237316-1 is not prime. Res64: 023B3DF3D16A9BD8 Time : 0.0 sec. user=mdettweiler [2012-12-13 04:19:04] 615*2^1237316-1 is not prime. Res64: 43DD764B3CD0206D Time : 0.0 sec. user=juhehe [2012-12-13 04:24:48] 801*2^1237315-1 is not prime. Res64: 13E75D6F31499EEB Time : 0.0 sec. user=mdettweiler [2012-12-13 04:25:42] 623*2^1237316-1 is not prime. Res64: F50D105183294D56 Time : 0.0 sec. user=mdettweiler [2012-12-13 04:25:43] 825*2^1237316-1 is not prime. Res64: 076285F87443F362 Time : 0.0 sec. user=vaughan [2012-12-13 04:27:09] 895*2^1237315-1 is not prime. Res64: 48837DC3C0AAE10F Time : 0.0 sec. user=mdettweiler [2012-12-13 04:36:25] 837*2^1237316-1 is not prime. Res64: A05B89B8F3A9BD2A Time : 0.0 sec. user=mdettweiler [2012-12-13 04:36:28] 869*2^1237316-1 is not prime. Res64: C473D659ED13A0F6 Time : 0.0 sec. user=mdettweiler [2012-12-13 04:43:01] 615*2^1237317-1 is not prime. Res64: FD6A98E6DAFCDEC9 Time : 0.0 sec. user=mdettweiler [2012-12-13 04:43:01] 649*2^1237317-1 is not prime. Res64: F2845605FDA9BCF6 Time : 0.0 sec. user=mdettweiler [2012-12-13 04:54:02] 885*2^1237317-1 is not prime. Res64: A28E9B947046ED05 Time : 0.0 sec. user=mdettweiler [2012-12-13 04:54:02] 891*2^1237317-1 is not prime. Res64: 3EA4B661813E21B8 Time : 0.0 sec. user=juhehe [2012-12-13 05:00:13] 935*2^1237316-1 is not prime. Res64: 02FC062002D89792 Time : 0.0 sec. user=mdettweiler [2012-12-13 05:00:26] 623*2^1237318-1 is not prime. Res64: 1B90AF173D15ED23 Time : 0.0 sec. user=mdettweiler [2012-12-13 05:00:29] 663*2^1237318-1 is not prime. Res64: 2C14C6F2CABA7C80 Time : 0.0 sec. user=vaughan [2012-12-13 05:04:51] 747*2^1237317-1 is not prime. Res64: D3B851A3569A99CF Time : 0.0 sec. user=mdettweiler [2012-12-13 05:11:21] 825*2^1237318-1 is not prime. Res64: 30F13AE9FB355CFB Time : 0.0 sec. user=mdettweiler [2012-12-13 05:11:22] 941*2^1237318-1 is not prime. Res64: 81DA2634035C25EC Time : 0.0 sec. user=mdettweiler [2012-12-13 05:17:50] 957*2^1237318-1 is not prime. Res64: A084192DCD383CE3 Time : 0.0 sec. user=mdettweiler [2012-12-13 05:17:50] 601*2^1237319-1 is not prime. Res64: CE7B4BB40A8C15C3 Time : 0.0 sec. user=mdettweiler [2012-12-13 05:28:44] 703*2^1237319-1 is not prime. Res64: EFBA7550BF15D5AE Time : 0.0 sec. user=mdettweiler [2012-12-13 05:28:44] 735*2^1237319-1 is not prime. Res64: E75EC22492AB966F Time : 0.0 sec. user=mdettweiler [2012-12-13 05:35:08] 829*2^1237319-1 is not prime. Res64: 6A0751562889238A Time : 0.0 sec. user=mdettweiler [2012-12-13 05:35:09] 913*2^1237319-1 is not prime. Res64: D1FC0DFCFD7CF8B5 Time : 0.0 sec. user=juhehe [2012-12-13 05:35:43] 951*2^1237318-1 is not prime. Res64: 77679808AB4F8ACE Time : 0.0 sec. user=vaughan [2012-12-13 05:42:38] 609*2^1237319-1 is not prime. Res64: FFD5608ABC154D95 Time : 0.0 sec. user=mdettweiler [2012-12-13 05:46:02] 921*2^1237319-1 is not prime. Res64: 10DAD5DF74456B5F Time : 0.0 sec. user=mdettweiler [2012-12-13 05:46:02] 973*2^1237319-1 is not prime. Res64: DD01E8A58C230BF3 Time : 0.0 sec. user=mdettweiler [2012-12-13 05:52:27] 615*2^1237320-1 is not prime. Res64: 9C0ED214204F64DA Time : 0.0 sec. user=mdettweiler [2012-12-13 05:52:27] 693*2^1237320-1 is not prime. Res64: A6A14D416604D4EF Time : 0.0 sec. user=mdettweiler [2012-12-13 06:03:20] 753*2^1237320-1 is not prime. Res64: 81DC99A207E38DB4 Time : 0.0 sec. user=mdettweiler [2012-12-13 06:03:21] 789*2^1237320-1 is not prime. Res64: 896F80BA9EDFF895 Time : 0.0 sec. user=mdettweiler [2012-12-13 06:09:45] 927*2^1237320-1 is not prime. Res64: EF31AB899A6A458B Time : 0.0 sec. user=mdettweiler [2012-12-13 06:09:47] 747*2^1237321-1 is not prime. Res64: 8E876AD5C882E26B Time : 0.0 sec. user=vaughan [2012-12-13 06:20:18] 747*2^1237320-1 is not prime. Res64: BD6BAF6337CCD573 Time : 0.0 sec. user=mdettweiler [2012-12-13 06:20:43] 855*2^1237321-1 is not prime. Res64: 758FEE39AA02E006 Time : 0.0 sec. user=mdettweiler [2012-12-13 06:20:44] 909*2^1237321-1 is not prime. Res64: B0331D2924EBF51F Time : 0.0 sec. user=mdettweiler [2012-12-13 06:27:06] 955*2^1237321-1 is not prime. Res64: E22612ED11D54386 Time : 0.0 sec. user=mdettweiler [2012-12-13 06:27:06] 665*2^1237322-1 is not prime. Res64: 3075A81A26544005 Time : 0.0 sec. user=mdettweiler [2012-12-13 06:38:03] 753*2^1237322-1 is not prime. Res64: 3D3A1405B9E28499 Time : 0.0 sec. user=mdettweiler [2012-12-13 06:38:03] 837*2^1237322-1 is not prime. Res64: B75A494DE320F481 Time : 0.0 sec. user=mdettweiler [2012-12-13 06:44:24] 843*2^1237322-1 is not prime. Res64: DA5E9C920CF7A279 Time : 0.0 sec. user=mdettweiler [2012-12-13 06:44:24] 885*2^1237322-1 is not prime. Res64: 3008C9B6688FED18 Time : 0.0 sec. user=mdettweiler [2012-12-13 06:55:21] 887*2^1237322-1 is not prime. Res64: 0381FD86EDA2FD87 Time : 0.0 sec. user=mdettweiler [2012-12-13 06:55:21] 903*2^1237322-1 is not prime. Res64: D3FC27605F868180 Time : 0.0 sec. user=vaughan [2012-12-13 06:58:03] 743*2^1237322-1 is not prime. Res64: 8127BFB23B777512 Time : 0.0 sec. user=mdettweiler [2012-12-13 07:01:42] 963*2^1237322-1 is not prime. Res64: D314A37EB3B73F99 Time : 0.0 sec. user=mdettweiler [2012-12-13 07:01:43] 977*2^1237322-1 is not prime. Res64: 4FFDB835ACFC886D Time : 0.0 sec. user=mdettweiler [2012-12-13 07:12:40] 619*2^1237323-1 is not prime. Res64: 5F6AC15A746F6D59 Time : 0.0 sec. user=mdettweiler [2012-12-13 07:12:42] 789*2^1237323-1 is not prime. Res64: DB947B1DA7225B7C Time : 0.0 sec. user=juhehe [2012-12-13 07:18:03] 945*2^1237322-1 is not prime. Res64: 285771FC9BCDDC68 Time : 0.0 sec. user=mdettweiler [2012-12-13 07:19:02] 663*2^1237324-1 is not prime. Res64: B35EA348DA320933 Time : 0.0 sec. user=mdettweiler [2012-12-13 07:19:02] 773*2^1237324-1 is not prime. Res64: 7448543D08584832 Time : 0.0 sec. user=mdettweiler [2012-12-13 07:30:15] 819*2^1237324-1 is not prime. Res64: BF0AF159F95F9120 Time : 0.0 sec. user=mdettweiler [2012-12-13 07:30:16] 827*2^1237324-1 is not prime. Res64: 4CE7B78D7F040872 Time : 0.0 sec. user=vaughan [2012-12-13 07:35:44] 951*2^1237323-1 is not prime. Res64: 8F32C1AB71F51DF9 Time : 0.0 sec. user=mdettweiler [2012-12-13 07:36:20] 855*2^1237324-1 is not prime. Res64: 542F0C314F7F6130 Time : 0.0 sec. user=mdettweiler [2012-12-13 07:36:20] 903*2^1237324-1 is not prime. Res64: FF62B416F0385E3E Time : 0.0 sec. user=mdettweiler [2012-12-13 07:47:33] 987*2^1237324-1 is not prime. Res64: DD5A021C3EA7CF11 Time : 0.0 sec. user=mdettweiler [2012-12-13 07:47:34] 657*2^1237325-1 is not prime. Res64: 727DEB23E0987479 Time : 0.0 sec. user=mdettweiler [2012-12-13 07:53:38] 759*2^1237325-1 is not prime. Res64: 0D451A5D0B456C4D Time : 0.0 sec. user=mdettweiler [2012-12-13 07:53:38] 787*2^1237325-1 is not prime. Res64: 9713E05108E46D81 Time : 0.0 sec. user=mdettweiler [2012-12-13 08:04:52] 805*2^1237325-1 is not prime. Res64: A919EF7A7E6A5E84 Time : 0.0 sec. user=mdettweiler [2012-12-13 08:04:53] 825*2^1237325-1 is not prime. Res64: CA9BA7A2B84468AB Time : 0.0 sec. user=mdettweiler [2012-12-13 08:10:56] 635*2^1237326-1 is not prime. Res64: 7D09FA19BFA7E5D7 Time : 0.0 sec. user=mdettweiler [2012-12-13 08:10:58] 641*2^1237326-1 is not prime. Res64: CEA70F22572CB4A6 Time : 0.0 sec. user=vaughan [2012-12-13 08:13:24] 685*2^1237325-1 is not prime. Res64: D097109FBD389EE7 Time : 0.0 sec. user=mdettweiler [2012-12-13 08:22:18] 683*2^1237326-1 is not prime. Res64: 4C6AEEEE54315B07 Time : 0.0 sec. user=mdettweiler [2012-12-13 08:22:19] 711*2^1237326-1 is not prime. Res64: 77ED0C0918771116 Time : 0.0 sec. user=mdettweiler [2012-12-13 08:28:32] 821*2^1237326-1 is not prime. Res64: 4D43F97B00BF719A Time : 0.0 sec. user=mdettweiler [2012-12-13 08:28:33] 851*2^1237326-1 is not prime. Res64: EF0022FD3C7F702E Time : 0.0 sec. user=mdettweiler [2012-12-13 08:39:37] 945*2^1237326-1 is not prime. Res64: 7D294DB6C3F1B970 Time : 0.0 sec. user=mdettweiler [2012-12-13 08:39:37] 619*2^1237327-1 is not prime. Res64: 106F14EF7E01B678 Time : 0.0 sec. user=mdettweiler [2012-12-13 08:45:50] 675*2^1237327-1 is not prime. Res64: 66D48C8C5C3422CB Time : 0.0 sec. user=mdettweiler [2012-12-13 08:45:50] 685*2^1237327-1 is not prime. Res64: 4BF2AE7AB5081F4C Time : 0.0 sec. user=vaughan [2012-12-13 08:51:05] 887*2^1237326-1 is not prime. Res64: 536B9CE0779C34D7 Time : 0.0 sec. user=mdettweiler [2012-12-13 08:56:55] 729*2^1237327-1 is not prime. Res64: B231F0D2B7FCC7DE Time : 0.0 sec. user=mdettweiler [2012-12-13 08:56:56] 759*2^1237327-1 is not prime. Res64: 6DA2FC957BC3C52A Time : 0.0 sec. user=juhehe [2012-12-13 09:00:27] 639*2^1237327-1 is not prime. Res64: 12B1377F62BDC971 Time : 0.0 sec. user=mdettweiler [2012-12-13 09:03:07] 805*2^1237327-1 is not prime. Res64: 276AB75063B90B46 Time : 0.0 sec. user=mdettweiler [2012-12-13 09:03:08] 849*2^1237327-1 is not prime. Res64: 9ABB7C693757F318 Time : 0.0 sec. user=mdettweiler [2012-12-13 09:14:16] 979*2^1237327-1 is not prime. Res64: E83661B1FE9E2149 Time : 0.0 sec. user=mdettweiler [2012-12-13 09:14:17] 985*2^1237327-1 is not prime. Res64: FC99F54DC7FF9B0B Time : 0.0 sec. user=mdettweiler [2012-12-13 09:20:26] 735*2^1237328-1 is not prime. Res64: EEF2C10FD8F301F2 Time : 0.0 sec. user=mdettweiler [2012-12-13 09:20:27] 747*2^1237328-1 is not prime. Res64: C0523289CD552D60 Time : 0.0 sec. user=vaughan [2012-12-13 09:28:43] 925*2^1237327-1 is not prime. Res64: 62C1776654440AEB Time : 0.0 sec. user=mdettweiler [2012-12-13 09:31:35] 755*2^1237328-1 is not prime. Res64: 201AE0A0B4FC202A Time : 0.0 sec. user=mdettweiler [2012-12-13 09:31:39] 825*2^1237328-1 is not prime. Res64: C6232B0F7B0412AB Time : 0.0 sec. user=mdettweiler [2012-12-13 09:37:44] 827*2^1237328-1 is not prime. Res64: C85401FA82362675 Time : 0.0 sec. user=mdettweiler [2012-12-13 09:37:44] 927*2^1237328-1 is not prime. Res64: 6D4557B33B561FBB Time : 0.0 sec. user=mdettweiler [2012-12-13 09:49:02] 627*2^1237329-1 is not prime. Res64: 88087A92591FFA76 Time : 0.0 sec. user=mdettweiler [2012-12-13 09:49:02] 649*2^1237329-1 is not prime. Res64: 80F44F9BB38AE64C Time : 0.0 sec. user=mdettweiler [2012-12-13 09:55:02] 681*2^1237329-1 is not prime. Res64: C603B3E0EDCD5CC3 Time : 0.0 sec. user=mdettweiler [2012-12-13 09:55:02] 817*2^1237329-1 is not prime. Res64: 97DB89111E767452 Time : 0.0 sec. user=mdettweiler [2012-12-13 10:06:20] 611*2^1237330-1 is not prime. Res64: ACC67BFD5BBF8EFF Time : 0.0 sec. user=mdettweiler [2012-12-13 10:06:23] 647*2^1237330-1 is not prime. Res64: 35492023F79330DF Time : 0.0 sec. user=vaughan [2012-12-13 10:06:35] 959*2^1237328-1 is not prime. Res64: 4DA01F23A75E53AE Time : 0.0 sec. user=mdettweiler [2012-12-13 10:12:27] 675*2^1237330-1 is not prime. Res64: 139DCEF1D4E53F70 Time : 0.0 sec. user=mdettweiler [2012-12-13 10:12:28] 695*2^1237330-1 is not prime. Res64: 92C1E2531FBD390D Time : 0.0 sec. user=mdettweiler [2012-12-13 10:23:51] 765*2^1237330-1 is not prime. Res64: E853B1DB47ADF9BC Time : 0.0 sec. user=mdettweiler [2012-12-13 10:23:52] 831*2^1237330-1 is not prime. Res64: F1B8DEE7EE27643E Time : 0.0 sec. user=mdettweiler [2012-12-13 10:29:47] 957*2^1237330-1 is not prime. Res64: 97DE11B49A3194B5 Time : 0.0 sec. user=mdettweiler [2012-12-13 10:29:48] 631*2^1237331-1 is not prime. Res64: 88576F5F2C3C897E Time : 0.0 sec. user=mdettweiler [2012-12-13 10:41:10] 685*2^1237331-1 is not prime. Res64: 0A0A34CD9B0E0E1A Time : 0.0 sec. user=mdettweiler [2012-12-13 10:41:11] 693*2^1237331-1 is not prime. Res64: A8E0CFA517378CF5 Time : 0.0 sec. user=juhehe [2012-12-13 10:42:58] 911*2^1237330-1 is not prime. Res64: E805D85FBB6A07CE Time : 0.0 sec. user=mdettweiler [2012-12-13 10:47:06] 711*2^1237331-1 is not prime. Res64: 9E6BC03CCAC3C60F Time : 0.0 sec. user=mdettweiler [2012-12-13 10:47:07] 735*2^1237331-1 is not prime. Res64: 607BE8C0EF811400 Time : 0.0 sec. user=mdettweiler [2012-12-13 10:58:29] 841*2^1237331-1 is not prime. Res64: F8E0A08B007C2811 Time : 0.0 sec. user=mdettweiler [2012-12-13 10:58:30] 901*2^1237331-1 is not prime. Res64: FB299F269BDCC8B7 Time : 0.0 sec. user=mdettweiler [2012-12-13 11:04:25] 921*2^1237331-1 is not prime. Res64: D8A265CA9632ABF6 Time : 0.0 sec. user=mdettweiler [2012-12-13 11:04:26] 939*2^1237331-1 is not prime. Res64: 14705CC8E2945B86 Time : 0.0 sec. user=mdettweiler [2012-12-13 11:15:47] 955*2^1237331-1 is not prime. Res64: 99E3E6A01D58739A Time : 0.0 sec. user=mdettweiler [2012-12-13 11:15:48] 993*2^1237331-1 is not prime. Res64: D57E245D61BDBA11 Time : 0.0 sec. user=mdettweiler [2012-12-13 11:22:04] 669*2^1237332-1 is not prime. Res64: E6A8AB92B9DE33E4 Time : 0.0 sec. user=mdettweiler [2012-12-13 11:22:05] 753*2^1237332-1 is not prime. Res64: 5CCC6D4BEF9064FE Time : 0.0 sec. user=mdettweiler [2012-12-13 11:33:10] 765*2^1237332-1 is not prime. Res64: 10F67F0DE132A247 Time : 0.0 sec. user=mdettweiler [2012-12-13 11:33:11] 929*2^1237332-1 is not prime. Res64: 67FC547046D595DD Time : 0.0 sec. user=mdettweiler [2012-12-13 11:39:23] 609*2^1237333-1 is not prime. Res64: 658F9F4C883D01F6 Time : 0.0 sec. user=mdettweiler [2012-12-13 11:39:24] 651*2^1237333-1 is not prime. Res64: FEE4B2EFAF639C64 Time : 0.0 sec. user=mdettweiler [2012-12-13 11:50:30] 681*2^1237333-1 is not prime. Res64: F9B5992648F08B69 Time : 0.0 sec. user=mdettweiler [2012-12-13 11:50:30] 699*2^1237333-1 is not prime. Res64: 05C2BDBCB23C170D Time : 0.0 sec. user=mdettweiler [2012-12-13 11:56:42] 741*2^1237333-1 is not prime. Res64: EEEB5A5F14133AD1 Time : 0.0 sec. user=mdettweiler [2012-12-13 11:56:43] 765*2^1237333-1 is not prime. Res64: E1CF1A5427CF1743 Time : 0.0 sec. user=mdettweiler [2012-12-13 12:07:50] 961*2^1237333-1 is not prime. Res64: 4BAE1CB9EE88C033 Time : 0.0 sec. user=mdettweiler [2012-12-13 12:07:53] 657*2^1237334-1 is not prime. Res64: C80B8DBE0F6FBC33 Time : 0.0 sec. user=mdettweiler [2012-12-13 12:14:07] 693*2^1237334-1 is not prime. Res64: E600D185EF60B618 Time : 0.0 sec. user=mdettweiler [2012-12-13 12:14:08] 707*2^1237334-1 is not prime. Res64: 017C2568BBF3A132 Time : 0.0 sec. user=mdettweiler [2012-12-13 12:25:28] 827*2^1237334-1 is not prime. Res64: 1A9C472F08D227C1 Time : 0.0 sec. user=mdettweiler [2012-12-13 12:25:29] 851*2^1237334-1 is not prime. Res64: C1FE2678415BD998 Time : 0.0 sec. user=juhehe [2012-12-13 12:25:37] 895*2^1237333-1 is not prime. Res64: 4F8EF35C7EC890C3 Time : 0.0 sec. user=mdettweiler [2012-12-13 12:32:33] 887*2^1237334-1 is not prime. Res64: 61430EFB12ABB923 Time : 0.0 sec. user=mdettweiler [2012-12-13 12:32:33] 613*2^1237335-1 is not prime. Res64: CB6F62A99B956586 Time : 0.0 sec. user=mdettweiler [2012-12-13 12:42:55] 685*2^1237335-1 is not prime. Res64: C098776A59420EED Time : 0.0 sec. user=mdettweiler [2012-12-13 12:42:55] 741*2^1237335-1 is not prime. Res64: E3F0A465230A9B94 Time : 0.0 sec. user=mdettweiler [2012-12-13 12:50:33] 751*2^1237335-1 is not prime. Res64: E3E9EEEE325560B7 Time : 0.0 sec. user=mdettweiler [2012-12-13 12:50:33] 775*2^1237335-1 is not prime. Res64: 4AD658B88949321F Time : 0.0 sec. user=mdettweiler [2012-12-13 13:00:21] 795*2^1237335-1 is not prime. Res64: 2952839E2F2AB2CA Time : 0.0 sec. user=mdettweiler [2012-12-13 13:00:22] 819*2^1237335-1 is not prime. Res64: 275FAC1A31FBE360 Time : 0.0 sec. user=mdettweiler [2012-12-13 13:08:19] 871*2^1237335-1 is not prime. Res64: 462BF6970F796588 Time : 0.0 sec. user=mdettweiler [2012-12-13 13:08:22] 963*2^1237335-1 is not prime. Res64: F8597824ADA4F8CB Time : 0.0 sec. user=mdettweiler [2012-12-13 13:17:52] 617*2^1237336-1 is not prime. Res64: B003140F09AE2C76 Time : 0.0 sec. user=mdettweiler [2012-12-13 13:17:53] 677*2^1237336-1 is not prime. Res64: C312C731498722C8 Time : 0.0 sec. user=mdettweiler [2012-12-13 13:26:43] 693*2^1237336-1 is not prime. Res64: 118BBD18F1001818 Time : 0.0 sec. user=mdettweiler [2012-12-13 13:26:43] 843*2^1237336-1 is not prime. Res64: D4A6BE3C0E039AA4 Time : 0.0 sec. user=mdettweiler [2012-12-13 13:35:17] 869*2^1237336-1 is not prime. Res64: FA241265A83713F2 Time : 0.0 sec. user=mdettweiler [2012-12-13 13:35:18] 873*2^1237336-1 is not prime. Res64: E97A654F350AAEB6 Time : 0.0 sec. user=mdettweiler [2012-12-13 13:44:23] 899*2^1237336-1 is not prime. Res64: E112CE6E178D9AE9 Time : 0.0 sec. user=mdettweiler [2012-12-13 13:44:23] 927*2^1237336-1 is not prime. Res64: EC0EA6D3BF5038FC Time : 0.0 sec. user=mdettweiler [2012-12-13 13:52:45] 711*2^1237337-1 is not prime. Res64: 577E956D9504A3FC Time : 0.0 sec. user=mdettweiler [2012-12-13 13:52:46] 795*2^1237337-1 is not prime. Res64: FA0BA9B06E8ED8AC Time : 0.0 sec. user=mdettweiler [2012-12-13 14:02:45] 879*2^1237337-1 is not prime. Res64: D9A9599DF7098574 Time : 0.0 sec. user=mdettweiler [2012-12-13 14:02:46] 889*2^1237337-1 is not prime. Res64: 661414969D0C8803 Time : 0.0 sec. user=juhehe [2012-12-13 14:08:25] 999*2^1237336-1 is not prime. Res64: FC632C0E44AC53CB Time : 0.0 sec. user=mdettweiler [2012-12-13 14:10:20] 915*2^1237337-1 is not prime. Res64: 99475E9539FF45DF Time : 0.0 sec. user=mdettweiler [2012-12-13 14:10:22] 627*2^1237338-1 is not prime. Res64: 5F46C4F75A1A18A0 Time : 0.0 sec. user=mdettweiler [2012-12-13 14:20:52] 677*2^1237338-1 is not prime. Res64: B56F6795C84A09D8 Time : 0.0 sec. user=mdettweiler [2012-12-13 14:20:53] 725*2^1237338-1 is not prime. Res64: 7AC24010228F5C95 Time : 0.0 sec. user=mdettweiler [2012-12-13 14:28:47] 927*2^1237338-1 is not prime. Res64: 9BCF8FA71FCEA670 Time : 0.0 sec. user=mdettweiler [2012-12-13 14:28:47] 975*2^1237338-1 is not prime. Res64: CB7357EBEE197AE0 Time : 0.0 sec. user=mdettweiler [2012-12-13 14:39:11] 619*2^1237339-1 is not prime. Res64: B34C4D760E125BC2 Time : 0.0 sec. user=mdettweiler [2012-12-13 14:39:11] 631*2^1237339-1 is not prime. Res64: 3FE077634973CF8F Time : 0.0 sec. user=mdettweiler [2012-12-13 14:46:36] 681*2^1237339-1 is not prime. Res64: 5338F8CD93CE0323 Time : 0.0 sec. user=mdettweiler [2012-12-13 14:46:36] 685*2^1237339-1 is not prime. Res64: 5D148FE86EB30CFA Time : 0.0 sec. user=mdettweiler [2012-12-13 14:57:24] 765*2^1237339-1 is not prime. Res64: 12F75E59893F5E40 Time : 0.0 sec. user=mdettweiler [2012-12-13 14:57:25] 925*2^1237339-1 is not prime. Res64: D174A6BF44AEED46 Time : 0.0 sec. user=mdettweiler [2012-12-13 15:04:08] 951*2^1237339-1 is not prime. Res64: 3BEB7EAC108F97A9 Time : 0.0 sec. user=mdettweiler [2012-12-13 15:04:09] 635*2^1237340-1 is not prime. Res64: E4F5BD15B3AA64E4 Time : 0.0 sec. user=mdettweiler [2012-12-13 15:14:53] 753*2^1237340-1 is not prime. Res64: ACF3DA0DB6A3DF14 Time : 0.0 sec. user=mdettweiler [2012-12-13 15:14:54] 767*2^1237340-1 is not prime. Res64: 447A73E9E2D89D67 Time : 0.0 sec. user=mdettweiler [2012-12-13 15:21:36] 893*2^1237340-1 is not prime. Res64: 578CDB7762433C13 Time : 0.0 sec. user=mdettweiler [2012-12-13 15:21:36] 935*2^1237340-1 is not prime. Res64: 5A017D2BA48C76F2 Time : 0.0 sec. user=mdettweiler [2012-12-13 15:32:20] 741*2^1237341-1 is not prime. Res64: 97193DE68FF6471E Time : 0.0 sec. user=mdettweiler [2012-12-13 15:32:21] 865*2^1237341-1 is not prime. Res64: AB51DD89124ABF9B Time : 0.0 sec. user=mdettweiler [2012-12-13 15:38:58] 675*2^1237342-1 is not prime. Res64: AD53CE7148913766 Time : 0.0 sec. user=mdettweiler [2012-12-13 15:38:59] 681*2^1237342-1 is not prime. Res64: 1F91F70EF5B9EF2E Time : 0.0 sec. user=mdettweiler [2012-12-13 15:49:43] 713*2^1237342-1 is not prime. Res64: B88D1C3FF7A9664C Time : 0.0 sec. user=mdettweiler [2012-12-13 15:49:44] 917*2^1237342-1 is not prime. Res64: 8CE600E31FA16F91 Time : 0.0 sec. user=mdettweiler [2012-12-13 15:56:21] 951*2^1237342-1 is not prime. Res64: A423AE86F3B5D47A Time : 0.0 sec. user=mdettweiler [2012-12-13 15:56:21] 621*2^1237343-1 is not prime. Res64: 8368BDC775E4EC0E Time : 0.0 sec. user=mdettweiler [2012-12-13 16:07:06] 811*2^1237343-1 is not prime. Res64: 2D10E2E7B7DD4A04 Time : 0.0 sec. user=mdettweiler [2012-12-13 16:07:07] 885*2^1237343-1 is not prime. Res64: E0C4BC400942B2B1 Time : 0.0 sec. user=mdettweiler [2012-12-13 16:13:43] 895*2^1237343-1 is not prime. Res64: E3DD3A0B0CEC3BA4 Time : 0.0 sec. user=mdettweiler [2012-12-13 16:13:43] 939*2^1237343-1 is not prime. Res64: 9EC7DFD5264E951E Time : 0.0 sec. user=mdettweiler [2012-12-13 16:24:30] 981*2^1237343-1 is not prime. Res64: 7850B100082B4084 Time : 0.0 sec. user=mdettweiler [2012-12-13 16:24:31] 753*2^1237344-1 is not prime. Res64: D913715E0B1E675F Time : 0.0 sec. user=mdettweiler [2012-12-13 16:31:08] 765*2^1237344-1 is not prime. Res64: 31C6C3158ED2C5FC Time : 0.0 sec. user=mdettweiler [2012-12-13 16:31:09] 849*2^1237344-1 is not prime. Res64: 41EF3B95339C6195 Time : 0.0 sec. user=mdettweiler [2012-12-13 16:41:56] 899*2^1237344-1 is not prime. Res64: 916D8F0747962F35 Time : 0.0 sec. user=mdettweiler [2012-12-13 16:41:56] 601*2^1237345-1 is not prime. Res64: A0E81C0EF5633FBB Time : 0.0 sec. user=mdettweiler [2012-12-13 16:48:30] 691*2^1237345-1 is not prime. Res64: E3B60A2F84ECC286 Time : 0.0 sec. user=mdettweiler [2012-12-13 16:48:31] 717*2^1237345-1 is not prime. Res64: 3577E3CC61B3D173 Time : 0.0 sec. user=mdettweiler [2012-12-13 16:59:18] 819*2^1237345-1 is not prime. Res64: 2D52ED1D57106E71 Time : 0.0 sec. user=mdettweiler [2012-12-13 16:59:19] 885*2^1237345-1 is not prime. Res64: 49DFD15D839EA1E8 Time : 0.0 sec. user=mdettweiler [2012-12-13 17:05:53] 895*2^1237345-1 is not prime. Res64: 814130B3512BFCEE Time : 0.0 sec. user=mdettweiler [2012-12-13 17:05:54] 955*2^1237345-1 is not prime. Res64: 1113AB94593C698F Time : 0.0 sec. user=mdettweiler [2012-12-13 17:16:41] 623*2^1237346-1 is not prime. Res64: CBDF5C780D2A8F2F Time : 0.0 sec. user=mdettweiler [2012-12-13 17:16:42] 633*2^1237346-1 is not prime. Res64: 82C2296ADCFB3CE5 Time : 0.0 sec. user=mdettweiler [2012-12-13 17:23:22] 641*2^1237346-1 is not prime. Res64: 8048B56795C5F419 Time : 0.0 sec. user=mdettweiler [2012-12-13 17:23:22] 651*2^1237346-1 is not prime. Res64: FE07C28773966B37 Time : 0.0 sec. user=mdettweiler [2012-12-13 17:34:07] 677*2^1237346-1 is not prime. Res64: B33D2AE978B904D4 Time : 0.0 sec. user=mdettweiler [2012-12-13 17:34:07] 833*2^1237346-1 is not prime. Res64: 9DB4C891706D19E6 Time : 0.0 sec. user=mdettweiler [2012-12-13 17:40:45] 873*2^1237346-1 is not prime. Res64: 01697541144B8F21 Time : 0.0 sec. user=mdettweiler [2012-12-13 17:40:45] 971*2^1237346-1 is not prime. Res64: 2E07350E8D24B0A7 Time : 0.0 sec. user=mdettweiler [2012-12-13 17:51:29] 615*2^1237347-1 is not prime. Res64: A7934D4CE729743A Time : 0.0 sec. user=mdettweiler [2012-12-13 17:51:29] 619*2^1237347-1 is not prime. Res64: DA52EAE4C47068BE Time : 0.0 sec. user=mdettweiler [2012-12-13 17:58:12] 651*2^1237347-1 is not prime. Res64: E1813A3FAEB77B25 Time : 0.0 sec. user=mdettweiler [2012-12-13 17:58:12] 823*2^1237347-1 is not prime. Res64: 6484D7F346947E7E Time : 0.0 sec. user=mdettweiler [2012-12-13 18:08:52] 951*2^1237347-1 is not prime. Res64: 70F84CFC5BDCAFD2 Time : 0.0 sec. user=mdettweiler [2012-12-13 18:08:54] 975*2^1237347-1 is not prime. Res64: C15232008E270DAB Time : 0.0 sec. user=mdettweiler [2012-12-13 18:15:35] 623*2^1237348-1 is not prime. Res64: 0A26D57F784D7431 Time : 0.0 sec. user=mdettweiler [2012-12-13 18:15:35] 657*2^1237348-1 is not prime. Res64: 90DCC3B275A6D1B0 Time : 0.0 sec. user=mdettweiler [2012-12-13 18:26:25] 723*2^1237348-1 is not prime. Res64: 7E9B7A3910997EF4 Time : 0.0 sec. user=mdettweiler [2012-12-13 18:26:27] 749*2^1237348-1 is not prime. Res64: 16D5A461EC8F6F71 Time : 0.0 sec. user=mdettweiler [2012-12-13 18:32:57] 773*2^1237348-1 is not prime. Res64: 573578DDCC14116B Time : 0.0 sec. user=mdettweiler [2012-12-13 18:32:58] 833*2^1237348-1 is not prime. Res64: FC563658B1B15223 Time : 0.0 sec. user=mdettweiler [2012-12-13 18:43:50] 685*2^1237349-1 is not prime. Res64: BC0704960BFC7006 Time : 0.0 sec. user=mdettweiler [2012-12-13 18:43:50] 729*2^1237349-1 is not prime. Res64: 915F7D6C90A9C98B Time : 0.0 sec. user=mdettweiler [2012-12-13 18:50:20] 745*2^1237349-1 is not prime. Res64: 8925B94986CFD741 Time : 0.0 sec. user=mdettweiler [2012-12-13 18:50:21] 759*2^1237349-1 is not prime. Res64: DB956DD77D707735 Time : 0.0 sec. user=mdettweiler [2012-12-13 19:01:13] 801*2^1237349-1 is not prime. Res64: FA96D5EBD1DF2C3C Time : 0.0 sec. user=mdettweiler [2012-12-13 19:01:14] 811*2^1237349-1 is not prime. Res64: A7E629410DCEF7D6 Time : 0.0 sec. user=mdettweiler [2012-12-13 19:07:43] 997*2^1237349-1 is not prime. Res64: 2542541D0C2E5093 Time : 0.0 sec. user=mdettweiler [2012-12-13 19:07:44] 647*2^1237350-1 is not prime. Res64: 606DBF62249C6540 Time : 0.0 sec. user=mdettweiler [2012-12-13 19:18:46] 665*2^1237350-1 is not prime. Res64: 96DF302B3182D875 Time : 0.0 sec. user=mdettweiler [2012-12-13 19:18:47] 821*2^1237350-1 is not prime. Res64: 795039CE376C8E5E Time : 0.0 sec. user=mdettweiler [2012-12-13 19:25:15] 923*2^1237350-1 is not prime. Res64: 6AD01000D1B37F68 Time : 0.0 sec. user=mdettweiler [2012-12-13 19:25:16] 941*2^1237350-1 is not prime. Res64: 36968CCB412E1184 Time : 0.0 sec. user=mdettweiler [2012-12-13 19:36:22] 775*2^1237351-1 is not prime. Res64: EBA316E59CD298ED Time : 0.0 sec. user=mdettweiler [2012-12-13 19:36:22] 805*2^1237351-1 is not prime. Res64: 99A5BE5113164D41 Time : 0.0 sec. user=mdettweiler [2012-12-13 19:42:46] 813*2^1237351-1 is not prime. Res64: 0291249E71EDF2BE Time : 0.0 sec. user=mdettweiler [2012-12-13 19:42:46] 859*2^1237351-1 is not prime. Res64: EC4B486C5809B75E Time : 0.0 sec. user=mdettweiler [2012-12-13 19:53:44] 871*2^1237351-1 is not prime. Res64: 07D24A64762376E5 Time : 0.0 sec. user=mdettweiler [2012-12-13 19:53:45] 969*2^1237351-1 is not prime. Res64: 33F49E57349B2DFC Time : 0.0 sec. user=mdettweiler [2012-12-13 20:00:08] 623*2^1237352-1 is not prime. Res64: 4AEE3D18167092A4 Time : 0.0 sec. user=mdettweiler [2012-12-13 20:00:09] 633*2^1237352-1 is not prime. Res64: 8421DB0B0DA945A2 Time : 0.0 sec. user=mdettweiler [2012-12-13 20:11:07] 635*2^1237352-1 is not prime. Res64: 92CAE9A9F84445C1 Time : 0.0 sec. user=mdettweiler [2012-12-13 20:11:08] 689*2^1237352-1 is not prime. Res64: 982537472802388A Time : 0.0 sec. user=mdettweiler [2012-12-13 20:17:33] 855*2^1237352-1 is not prime. Res64: 9EF96762CD91EC5F Time : 0.0 sec. user=mdettweiler [2012-12-13 20:17:33] 857*2^1237352-1 is not prime. Res64: DB29910C017D35B3 Time : 0.0 sec. user=mdettweiler [2012-12-13 20:28:34] 873*2^1237352-1 is not prime. Res64: 1225EABE99A58DC6 Time : 0.0 sec. user=mdettweiler [2012-12-13 20:28:35] 935*2^1237352-1 is not prime. Res64: 58AD113263D893CF Time : 0.0 sec. user=mdettweiler [2012-12-13 20:34:56] 945*2^1237352-1 is not prime. Res64: BD5D801E8A52DC02 Time : 0.0 sec. user=mdettweiler [2012-12-13 20:34:57] 627*2^1237353-1 is not prime. Res64: 16D471D28FAE42C2 Time : 0.0 sec. user=mdettweiler [2012-12-13 20:46:24] 805*2^1237353-1 is not prime. Res64: ABFDFCE0D1AFD9C2 Time : 0.0 sec. user=mdettweiler [2012-12-13 20:46:25] 837*2^1237353-1 is not prime. Res64: 6F507697D8E5928F Time : 0.0 sec. user=mdettweiler [2012-12-13 20:52:59] 617*2^1237354-1 is not prime. Res64: 214B7088FACFB679 Time : 0.0 sec. user=mdettweiler [2012-12-13 20:52:59] 645*2^1237354-1 is not prime. Res64: C53D3ACF568C9EA9 Time : 0.0 sec. user=mdettweiler [2012-12-13 21:04:28] 681*2^1237354-1 is not prime. Res64: B739D525E6553759 Time : 0.0 sec. user=mdettweiler [2012-12-13 21:04:32] 687*2^1237354-1 is not prime. Res64: 2EC8900116503CC6 Time : 0.0 sec. user=mdettweiler [2012-12-13 21:11:02] 765*2^1237354-1 is not prime. Res64: 98E3D5B16C44CF2A Time : 0.0 sec. user=mdettweiler [2012-12-13 21:11:03] 803*2^1237354-1 is not prime. Res64: C022DDE7A1D1C5CD Time : 0.0 sec. user=mdettweiler [2012-12-13 21:22:36] 827*2^1237354-1 is not prime. Res64: 5A7AB86F6B4A6FB7 Time : 0.0 sec. user=mdettweiler [2012-12-13 21:22:37] 861*2^1237354-1 is not prime. Res64: 3E294E04465EB04A Time : 0.0 sec. user=mdettweiler [2012-12-13 21:28:38] 887*2^1237354-1 is not prime. Res64: 5B1039343BCEE268 Time : 0.0 sec. user=mdettweiler [2012-12-13 21:28:38] 975*2^1237354-1 is not prime. Res64: 43E2790D22F8C30F Time : 0.0 sec. user=mdettweiler [2012-12-13 21:39:55] 981*2^1237354-1 is not prime. Res64: 92EA0FF4D443BC45 Time : 0.0 sec. user=mdettweiler [2012-12-13 21:39:56] 645*2^1237355-1 is not prime. Res64: E9A248C2F8476547 Time : 0.0 sec. user=mdettweiler [2012-12-13 21:45:57] 673*2^1237355-1 is not prime. Res64: 5A2F47ACD22E7BB3 Time : 0.0 sec. user=mdettweiler [2012-12-13 21:45:57] 675*2^1237355-1 is not prime. Res64: ED6BB14859101B05 Time : 0.0 sec. user=mdettweiler [2012-12-13 21:57:15] 693*2^1237355-1 is not prime. Res64: 4D4A7732C776F7FD Time : 0.0 sec. user=mdettweiler [2012-12-13 21:57:16] 739*2^1237355-1 is not prime. Res64: 05FBC2FA5AF8C44D Time : 0.0 sec. user=mdettweiler [2012-12-13 22:03:16] 841*2^1237355-1 is not prime. Res64: 0AE2D8623C63CAC0 Time : 0.0 sec. user=mdettweiler [2012-12-13 22:03:18] 903*2^1237355-1 is not prime. Res64: CB1BCCF4FC7830C9 Time : 0.0 sec. user=mdettweiler [2012-12-13 22:14:33] 991*2^1237355-1 is not prime. Res64: E3F3BCA099962841 Time : 0.0 sec. user=mdettweiler [2012-12-13 22:14:34] 639*2^1237356-1 is not prime. Res64: 3E4C857B1C6F3241 Time : 0.0 sec. user=mdettweiler [2012-12-13 22:20:52] 693*2^1237356-1 is not prime. Res64: 7E33FEDAB558FDE3 Time : 0.0 sec. user=mdettweiler [2012-12-13 22:20:53] 767*2^1237356-1 is not prime. Res64: 3833A65DA7D7AB24 Time : 0.0 sec. user=mdettweiler [2012-12-13 22:31:53] 639*2^1237357-1 is not prime. Res64: 179052C031608370 Time : 0.0 sec. user=mdettweiler [2012-12-13 22:31:54] 651*2^1237357-1 is not prime. Res64: 64E984DD423A72D7 Time : 0.0 sec. user=mdettweiler [2012-12-13 22:38:11] 699*2^1237357-1 is not prime. Res64: 3D43AF98131D89D9 Time : 0.0 sec. user=mdettweiler [2012-12-13 22:38:12] 729*2^1237357-1 is not prime. Res64: 9BDC919BB645821A Time : 0.0 sec. user=mdettweiler [2012-12-13 22:49:12] 939*2^1237357-1 is not prime. Res64: 8A9B2B530C03E13D Time : 0.0 sec. user=mdettweiler [2012-12-13 22:49:12] 975*2^1237357-1 is not prime. Res64: DDA2CE4D22828FA1 Time : 0.0 sec. user=mdettweiler [2012-12-13 22:55:31] 663*2^1237358-1 is not prime. Res64: B111E29595814375 Time : 0.0 sec. user=mdettweiler [2012-12-13 22:55:31] 707*2^1237358-1 is not prime. Res64: B1301255557E561E Time : 0.0 sec. user=mdettweiler [2012-12-13 23:06:31] 893*2^1237358-1 is not prime. Res64: 98B43AA88D9D1232 Time : 0.0 sec. user=mdettweiler [2012-12-13 23:06:34] 923*2^1237358-1 is not prime. Res64: AA65C1EAAC7D6CC0 Time : 0.0 sec. user=mdettweiler [2012-12-13 23:12:49] 615*2^1237359-1 is not prime. Res64: 85839FC0AD432094 Time : 0.0 sec. user=mdettweiler [2012-12-13 23:12:51] 789*2^1237359-1 is not prime. Res64: B8128B58E241D165 Time : 0.0 sec. user=mdettweiler [2012-12-13 23:24:10] 793*2^1237359-1 is not prime. Res64: 4C508FE607F2B44C Time : 0.0 sec. user=mdettweiler [2012-12-13 23:24:10] 831*2^1237359-1 is not prime. Res64: A72888D36E38F529 Time : 0.0 sec. user=mdettweiler [2012-12-13 23:30:21] 843*2^1237359-1 is not prime. Res64: 35EEA8B06F4EC831 Time : 0.0 sec. user=mdettweiler [2012-12-13 23:30:21] 853*2^1237359-1 is not prime. Res64: E9FD36E4A072B13E Time : 0.0 sec. user=mdettweiler [2012-12-13 23:41:28] 895*2^1237359-1 is not prime. Res64: A3C5FB6A741065AD Time : 0.0 sec. user=mdettweiler [2012-12-13 23:41:29] 933*2^1237359-1 is not prime. Res64: FEE3CA306380CA8B Time : 0.0 sec. user=mdettweiler [2012-12-13 23:47:40] 999*2^1237359-1 is not prime. Res64: 6D196279FB282B81 Time : 0.0 sec. user=mdettweiler [2012-12-13 23:47:41] 665*2^1237360-1 is not prime. Res64: C83B1EAF59DC0165 Time : 0.0 sec. user=mdettweiler [2012-12-13 23:58:47] 773*2^1237360-1 is not prime. Res64: 2F1A9A13D91F080A Time : 0.0 sec. user=mdettweiler [2012-12-13 23:58:47] 813*2^1237360-1 is not prime. Res64: E665E2152D89C278 Time : 0.0 sec.