user=mdettweiler [2013-04-22 00:02:54] 765*2^1245024-1 is not prime. Res64: CF74A9A57A46BB9B Time : 0.0 sec. user=mdettweiler [2013-04-22 00:02:57] 843*2^1245024-1 is not prime. Res64: 01B3543D1F0FF16B Time : 0.0 sec. user=mdettweiler [2013-04-22 00:04:22] 929*2^1245024-1 is not prime. Res64: DB00A0C681D5B591 Time : 0.0 sec. user=mdettweiler [2013-04-22 00:04:24] 699*2^1245025-1 is not prime. Res64: 081E888177B9AC34 Time : 0.0 sec. user=vaughan [2013-04-22 00:15:20] 683*2^1245024-1 is not prime. Res64: C2EBC282D78B992D Time : 0.0 sec. user=mdettweiler [2013-04-22 00:20:41] 721*2^1245025-1 is not prime. Res64: 793B55740BC9334F Time : 0.0 sec. user=mdettweiler [2013-04-22 00:20:42] 741*2^1245025-1 is not prime. Res64: 4F44C74E2E052320 Time : 0.0 sec. user=mdettweiler [2013-04-22 00:21:55] 895*2^1245025-1 is not prime. Res64: 7BCE191CA8A59977 Time : 0.0 sec. user=mdettweiler [2013-04-22 00:21:55] 951*2^1245025-1 is not prime. Res64: 0317052C3C5C6C93 Time : 0.0 sec. user=mdettweiler [2013-04-22 00:38:08] 645*2^1245026-1 is not prime. Res64: 19F879FDC313BEAD Time : 0.0 sec. user=mdettweiler [2013-04-22 00:38:09] 675*2^1245026-1 is not prime. Res64: 43B7BDAD4E9406F0 Time : 0.0 sec. user=mdettweiler [2013-04-22 00:39:22] 683*2^1245026-1 is not prime. Res64: 62CE456441461379 Time : 0.0 sec. user=mdettweiler [2013-04-22 00:39:22] 767*2^1245026-1 is not prime. Res64: 0E7056CB6C17F85A Time : 0.0 sec. user=vaughan [2013-04-22 00:53:41] 617*2^1245026-1 is not prime. Res64: A27E70039A98ECB2 Time : 0.0 sec. user=mdettweiler [2013-04-22 00:55:36] 861*2^1245026-1 is not prime. Res64: FAE800D839218524 Time : 0.0 sec. user=mdettweiler [2013-04-22 00:55:36] 893*2^1245026-1 is not prime. Res64: F8F91A54105D5A67 Time : 0.0 sec. user=mdettweiler [2013-04-22 00:56:49] 921*2^1245026-1 is not prime. Res64: BB8C5A9EAF59D9E3 Time : 0.0 sec. user=mdettweiler [2013-04-22 00:56:49] 983*2^1245026-1 is not prime. Res64: 870C434D6C6D701B Time : 0.0 sec. user=mdettweiler [2013-04-22 01:13:02] 633*2^1245027-1 is not prime. Res64: 59E4F758FE2F723B Time : 0.0 sec. user=mdettweiler [2013-04-22 01:13:03] 711*2^1245027-1 is not prime. Res64: F9CF191D8F0D53FF Time : 0.0 sec. user=mdettweiler [2013-04-22 01:14:15] 765*2^1245027-1 is not prime. Res64: 5FB6DF1F1CB273A9 Time : 0.0 sec. user=mdettweiler [2013-04-22 01:14:16] 843*2^1245027-1 is not prime. Res64: ADA0F8ADEBEFD5BC Time : 0.0 sec. user=mdettweiler [2013-04-22 01:30:34] 895*2^1245027-1 is not prime. Res64: F525B8B89B7AA44D Time : 0.0 sec. user=mdettweiler [2013-04-22 01:30:34] 963*2^1245027-1 is not prime. Res64: 40EE271642999AD4 Time : 0.0 sec. user=mdettweiler [2013-04-22 01:31:41] 979*2^1245027-1 is not prime. Res64: 9AA7B93FB77BC49D Time : 0.0 sec. user=mdettweiler [2013-04-22 01:31:42] 985*2^1245027-1 is not prime. Res64: C1A1C57952FA92C2 Time : 0.0 sec. user=vaughan [2013-04-22 01:36:57] 1001*2^1245026-1 is not prime. Res64: 34FCD75737E82AA3 Time : 0.0 sec. user=juhehe [2013-04-22 01:43:33] 605*2^1245028-1 is not prime. Res64: 19C38406A3FA0CD6 Time : 0.0 sec. user=mdettweiler [2013-04-22 01:48:01] 639*2^1245028-1 is not prime. Res64: D5DD77ABC8063972 Time : 0.0 sec. user=mdettweiler [2013-04-22 01:48:02] 663*2^1245028-1 is not prime. Res64: 09A3302CA6481587 Time : 0.0 sec. user=mdettweiler [2013-04-22 01:49:08] 863*2^1245028-1 is not prime. Res64: C4C047F28D61C972 Time : 0.0 sec. user=mdettweiler [2013-04-22 01:49:09] 875*2^1245028-1 is not prime. Res64: 7FA0F9E4D9B3F73A Time : 0.0 sec. user=juhehe [2013-04-22 02:05:04] 601*2^1245029-1 is not prime. Res64: 5B3B855F92B4CF17 Time : 0.0 sec. user=mdettweiler [2013-04-22 02:05:29] 631*2^1245029-1 is not prime. Res64: D1377FADD01208EE Time : 0.0 sec. user=mdettweiler [2013-04-22 02:05:29] 697*2^1245029-1 is not prime. Res64: 16C3B8BA3EED0C4D Time : 0.0 sec. user=mdettweiler [2013-04-22 02:06:35] 741*2^1245029-1 is not prime. Res64: E475FF79465DEB08 Time : 0.0 sec. user=mdettweiler [2013-04-22 02:06:36] 771*2^1245029-1 is not prime. Res64: 87F25D2706B25F86 Time : 0.0 sec. user=vaughan [2013-04-22 02:20:16] 927*2^1245028-1 is not prime. Res64: C263F54BE3181F4C Time : 0.0 sec. user=mdettweiler [2013-04-22 02:22:57] 795*2^1245029-1 is not prime. Res64: 516777D5F728D99D Time : 0.0 sec. user=mdettweiler [2013-04-22 02:22:58] 825*2^1245029-1 is not prime. Res64: 4D1D42BB39FFE4A2 Time : 0.0 sec. user=mdettweiler [2013-04-22 02:24:02] 829*2^1245029-1 is not prime. Res64: C5B4A4BC0289BDEB Time : 0.0 sec. user=mdettweiler [2013-04-22 02:24:03] 931*2^1245029-1 is not prime. Res64: 32A0E67971CE63A0 Time : 0.0 sec. user=juhehe [2013-04-22 02:26:44] 775*2^1245029-1 is not prime. Res64: AF1B09763A7B4C52 Time : 0.0 sec. user=mdettweiler [2013-04-22 02:40:30] 957*2^1245029-1 is not prime. Res64: 14C4023146AF7140 Time : 0.0 sec. user=mdettweiler [2013-04-22 02:40:31] 979*2^1245029-1 is not prime. Res64: 92094AE4A8D05FA8 Time : 0.0 sec. user=mdettweiler [2013-04-22 02:41:30] 611*2^1245030-1 is not prime. Res64: ECB1C365FDF122CB Time : 0.0 sec. user=mdettweiler [2013-04-22 02:41:31] 681*2^1245030-1 is not prime. Res64: F29B98D617D2016B Time : 0.0 sec. user=juhehe [2013-04-22 02:48:21] 887*2^1245030-1 is not prime. Res64: 0D7D8DD01AF2C3A1 Time : 0.0 sec. user=mdettweiler [2013-04-22 02:58:12] 927*2^1245030-1 is not prime. Res64: 1586D1F247F7F9DC Time : 0.0 sec. user=mdettweiler [2013-04-22 02:58:12] 619*2^1245031-1 is not prime. Res64: AA5853A6A7C7A828 Time : 0.0 sec. user=mdettweiler [2013-04-22 02:58:58] 673*2^1245031-1 is not prime. Res64: 34A471B63DF91563 Time : 0.0 sec. user=mdettweiler [2013-04-22 02:58:59] 735*2^1245031-1 is not prime. Res64: 16B7189E3D3F0D60 Time : 0.0 sec. user=vaughan [2013-04-22 03:03:38] 955*2^1245029-1 is not prime. Res64: 3D25D96DF4565150 Time : 0.0 sec. user=juhehe [2013-04-22 03:09:56] 789*2^1245031-1 is not prime. Res64: 60D6F550B11E90CA Time : 0.0 sec. user=mdettweiler [2013-04-22 03:15:40] 843*2^1245031-1 is not prime. Res64: 2A697654CAF86BC7 Time : 0.0 sec. user=mdettweiler [2013-04-22 03:15:40] 943*2^1245031-1 is not prime. Res64: 9A66E9F18C1AF9F9 Time : 0.0 sec. user=mdettweiler [2013-04-22 03:16:25] 951*2^1245031-1 is not prime. Res64: 261DC8AFFB37EDF1 Time : 0.0 sec. user=mdettweiler [2013-04-22 03:16:26] 677*2^1245032-1 is not prime. Res64: B8A2EE9A38639B94 Time : 0.0 sec. user=juhehe [2013-04-22 03:31:32] 873*2^1245032-1 is not prime. Res64: 9668A29C6A7F64E5 Time : 0.0 sec. user=mdettweiler [2013-04-22 03:33:07] 903*2^1245032-1 is not prime. Res64: 6F9DF2A4C3CBDF07 Time : 0.0 sec. user=mdettweiler [2013-04-22 03:33:08] 957*2^1245032-1 is not prime. Res64: 42EF8710610F0523 Time : 0.0 sec. user=mdettweiler [2013-04-22 03:33:53] 739*2^1245033-1 is not prime. Res64: CD13B63F0205B531 Time : 0.0 sec. user=mdettweiler [2013-04-22 03:33:54] 769*2^1245033-1 is not prime. Res64: EA0426FA90E6F4A7 Time : 0.0 sec. user=vaughan [2013-04-22 03:42:00] 725*2^1245032-1 is not prime. Res64: EADD5033B276C001 Time : 0.0 sec. user=mdettweiler [2013-04-22 03:50:35] 605*2^1245034-1 is not prime. Res64: B1707A0E5AB7D3EF Time : 0.0 sec. user=mdettweiler [2013-04-22 03:50:36] 671*2^1245034-1 is not prime. Res64: 39415A17C5BE957A Time : 0.0 sec. user=mdettweiler [2013-04-22 03:51:21] 675*2^1245034-1 is not prime. Res64: 555F1C20F07D95F7 Time : 0.0 sec. user=mdettweiler [2013-04-22 03:51:21] 705*2^1245034-1 is not prime. Res64: 73DDB891E8172B87 Time : 0.0 sec. user=juhehe [2013-04-22 03:58:16] 969*2^1245033-1 is not prime. Res64: 2A8DE34D269EE931 Time : 0.0 sec. user=mdettweiler [2013-04-22 04:08:02] 783*2^1245034-1 is not prime. Res64: 28517580D7504F7D Time : 0.0 sec. user=mdettweiler [2013-04-22 04:08:02] 825*2^1245034-1 is not prime. Res64: 1B3814900FD16E86 Time : 0.0 sec. user=mdettweiler [2013-04-22 04:08:48] 993*2^1245034-1 is not prime. Res64: 08F778345F0172E8 Time : 0.0 sec. user=mdettweiler [2013-04-22 04:08:48] 651*2^1245035-1 is not prime. Res64: D8476B746B26CB43 Time : 0.0 sec. user=vaughan [2013-04-22 04:20:17] 755*2^1245034-1 is not prime. Res64: 87342D55128DAD84 Time : 0.0 sec. user=juhehe [2013-04-22 04:20:52] 741*2^1244853-1 is not prime. Res64: 4BF5EFF42C9161E0 Time : 0.0 sec. user=mdettweiler [2013-04-22 04:25:29] 675*2^1245035-1 is not prime. Res64: 2A266EF53CBC59DA Time : 0.0 sec. user=mdettweiler [2013-04-22 04:25:30] 693*2^1245035-1 is not prime. Res64: 53CA864C82CBA0EC Time : 0.0 sec. user=mdettweiler [2013-04-22 04:26:16] 705*2^1245035-1 is not prime. Res64: F42DC3413BA13DCC Time : 0.0 sec. user=mdettweiler [2013-04-22 04:26:17] 733*2^1245035-1 is not prime. Res64: B4D51B8666651F1E Time : 0.0 sec. user=mdettweiler [2013-04-22 04:42:56] 825*2^1245035-1 is not prime. Res64: 3787319CDC30130D Time : 0.0 sec. user=mdettweiler [2013-04-22 04:42:56] 841*2^1245035-1 is not prime. Res64: 97C04B5D2FB15D45 Time : 0.0 sec. user=juhehe [2013-04-22 04:43:02] 819*2^1245035-1 is not prime. Res64: EAC2A43032C4F7A5 Time : 0.0 sec. user=mdettweiler [2013-04-22 04:43:42] 909*2^1245035-1 is not prime. Res64: CB3EC90A8E2D18C3 Time : 0.0 sec. user=mdettweiler [2013-04-22 04:43:43] 707*2^1245036-1 is not prime. Res64: 681BDBC5525B0916 Time : 0.0 sec. user=vaughan [2013-04-22 04:58:32] 799*2^1245035-1 is not prime. Res64: B51A8CD99C5E63F7 Time : 0.0 sec. user=mdettweiler [2013-04-22 05:00:26] 719*2^1245036-1 is not prime. Res64: 7F072D1CEF859D98 Time : 0.0 sec. user=mdettweiler [2013-04-22 05:00:27] 845*2^1245036-1 is not prime. Res64: 61F44E6C2876232A Time : 0.0 sec. user=mdettweiler [2013-04-22 05:01:10] 757*2^1245037-1 is not prime. Res64: E43F58D590A69AC4 Time : 0.0 sec. user=mdettweiler [2013-04-22 05:01:10] 817*2^1245037-1 is not prime. Res64: 6CC2DB697D0D8AEB Time : 0.0 sec. user=juhehe [2013-04-22 05:04:29] 905*2^1245036-1 is not prime. Res64: 90765ABF71C93300 Time : 0.0 sec. user=mdettweiler [2013-04-22 05:17:55] 889*2^1245037-1 is not prime. Res64: 285C059E4A9A97FB Time : 0.0 sec. user=mdettweiler [2013-04-22 05:17:55] 939*2^1245037-1 is not prime. Res64: 740E9A01B2EF2975 Time : 0.0 sec. user=mdettweiler [2013-04-22 05:18:37] 945*2^1245037-1 is not prime. Res64: 5239C633F7CD3E94 Time : 0.0 sec. user=mdettweiler [2013-04-22 05:18:38] 985*2^1245037-1 is not prime. Res64: 15CE7879677A0365 Time : 0.0 sec. user=juhehe [2013-04-22 05:27:51] 813*2^1245038-1 is not prime. Res64: B37B2F15E2C8CB39 Time : 0.0 sec. user=mdettweiler [2013-04-22 05:35:23] 815*2^1245038-1 is not prime. Res64: 0A94E66170A69414 Time : 0.0 sec. user=mdettweiler [2013-04-22 05:35:23] 601*2^1245039-1 is not prime. Res64: DFDFC5CF94CBFF38 Time : 0.0 sec. user=mdettweiler [2013-04-22 05:36:04] 615*2^1245039-1 is not prime. Res64: 9D8BD67A173701AD Time : 0.0 sec. user=mdettweiler [2013-04-22 05:36:04] 663*2^1245039-1 is not prime. Res64: 3AF57B44093A6E38 Time : 0.0 sec. user=vaughan [2013-04-22 05:36:37] 831*2^1245037-1 is not prime. Res64: D82F8D5EFF63B385 Time : 0.0 sec. user=juhehe [2013-04-22 05:50:17] 745*2^1245039-1 is not prime. Res64: EC7C9277D41C31E9 Time : 0.0 sec. user=mdettweiler [2013-04-22 05:52:52] 829*2^1245039-1 is not prime. Res64: 705E7E218EE03655 Time : 0.0 sec. user=mdettweiler [2013-04-22 05:52:52] 609*2^1245040-1 is not prime. Res64: B91E7FBAC5DB4469 Time : 0.0 sec. user=mdettweiler [2013-04-22 05:53:30] 629*2^1245040-1 is not prime. Res64: B24ECC93BF3F567C Time : 0.0 sec. user=mdettweiler [2013-04-22 05:53:31] 665*2^1245040-1 is not prime. Res64: FFA57776945560A5 Time : 0.0 sec. user=mdettweiler [2013-04-22 06:10:18] 843*2^1245040-1 is not prime. Res64: 3CF6202F04B19579 Time : 0.0 sec. user=mdettweiler [2013-04-22 06:10:19] 863*2^1245040-1 is not prime. Res64: 57E2699F797E8E1A Time : 0.0 sec. user=mdettweiler [2013-04-22 06:10:57] 873*2^1245040-1 is not prime. Res64: 2AE070E0CA058CA1 Time : 0.0 sec. user=mdettweiler [2013-04-22 06:10:58] 619*2^1245041-1 is not prime. Res64: 2B97B880AB7E797B Time : 0.0 sec. user=juhehe [2013-04-22 06:11:34] 765*2^1245040-1 is not prime. Res64: 77017596A4184FD0 Time : 0.0 sec. user=vaughan [2013-04-22 06:14:42] 735*2^1245040-1 is not prime. Res64: B2E9B60395D81E5F Time : 0.0 sec. user=mdettweiler [2013-04-22 06:27:50] 651*2^1245041-1 is not prime. Res64: 34226A6DD21B88AA Time : 0.0 sec. user=mdettweiler [2013-04-22 06:27:51] 867*2^1245041-1 is not prime. Res64: 992DE5BACF9EEB3B Time : 0.0 sec. user=mdettweiler [2013-04-22 06:28:26] 677*2^1245042-1 is not prime. Res64: DAC6332E26AA6212 Time : 0.0 sec. user=mdettweiler [2013-04-22 06:28:26] 705*2^1245042-1 is not prime. Res64: 07FEA83E620BCFD3 Time : 0.0 sec. user=mdettweiler [2013-04-22 06:45:19] 767*2^1245042-1 is not prime. Res64: 6775EB15C7BE2ED3 Time : 0.0 sec. user=mdettweiler [2013-04-22 06:45:19] 777*2^1245042-1 is not prime. Res64: 26BC90D3652DEA86 Time : 0.0 sec. user=mdettweiler [2013-04-22 06:45:53] 815*2^1245042-1 is not prime. Res64: 96D7E3361CDE9377 Time : 0.0 sec. user=mdettweiler [2013-04-22 06:45:54] 893*2^1245042-1 is not prime. Res64: 1E5665698EDE6C1B Time : 0.0 sec. user=vaughan [2013-04-22 06:52:48] 717*2^1245042-1 is not prime. Res64: 25E9277554EB6C59 Time : 0.0 sec. user=mdettweiler [2013-04-22 07:02:47] 915*2^1245042-1 is not prime. Res64: 0F265F58DD3E0310 Time : 0.0 sec. user=mdettweiler [2013-04-22 07:02:48] 977*2^1245042-1 is not prime. Res64: B1351B4DD18ABC95 Time : 0.0 sec. user=mdettweiler [2013-04-22 07:03:19] 673*2^1245043-1 is not prime. Res64: B9BDC82B0993BAA0 Time : 0.0 sec. user=mdettweiler [2013-04-22 07:03:20] 769*2^1245043-1 is not prime. Res64: FF0ECA045376FDE8 Time : 0.0 sec. user=mdettweiler [2013-04-22 07:20:40] 629*2^1245044-1 is not prime. Res64: 30207FE42F1DC349 Time : 0.0 sec. user=mdettweiler [2013-04-22 07:20:41] 677*2^1245044-1 is not prime. Res64: B9B5E0206E731211 Time : 0.0 sec. user=mdettweiler [2013-04-22 07:20:49] 767*2^1245044-1 is not prime. Res64: 754AB7271ADF6E0C Time : 0.0 sec. user=mdettweiler [2013-04-22 07:20:50] 819*2^1245044-1 is not prime. Res64: 8115812F38735382 Time : 0.0 sec. user=vaughan [2013-04-22 07:30:51] 811*2^1245043-1 is not prime. Res64: D1B2B84CCF3D6E16 Time : 0.0 sec. user=mdettweiler [2013-04-22 07:38:08] 875*2^1245044-1 is not prime. Res64: 47849441760D31E6 Time : 0.0 sec. user=mdettweiler [2013-04-22 07:38:08] 927*2^1245044-1 is not prime. Res64: 6E1610A239235D26 Time : 0.0 sec. user=mdettweiler [2013-04-22 07:38:18] 959*2^1245044-1 is not prime. Res64: 7483AD85945644EE Time : 0.0 sec. user=mdettweiler [2013-04-22 07:38:18] 657*2^1245045-1 is not prime. Res64: 0F00204386E23814 Time : 0.0 sec. user=juhehe [2013-04-22 07:43:29] 805*2^1245045-1 is not prime. Res64: 314158175F48043D Time : 0.0 sec. user=mdettweiler [2013-04-22 07:55:35] 657*2^1245046-1 is not prime. Res64: D1E73FC1E40A19C2 Time : 0.0 sec. user=mdettweiler [2013-04-22 07:55:35] 923*2^1245046-1 is not prime. Res64: 90DC4647FE3EBB1B Time : 0.0 sec. user=mdettweiler [2013-04-22 07:55:44] 933*2^1245046-1 is not prime. Res64: CB9E421CCE02CA60 Time : 0.0 sec. user=mdettweiler [2013-04-22 07:55:45] 619*2^1245047-1 is not prime. Res64: 7A1899E846E20F98 Time : 0.0 sec. user=vaughan [2013-04-22 08:08:58] 871*2^1245045-1 is not prime. Res64: 7F9395ACAD68FA58 Time : 0.0 sec. user=mdettweiler [2013-04-22 08:13:03] 643*2^1245047-1 is not prime. Res64: 34C78190319AB9CA Time : 0.0 sec. user=mdettweiler [2013-04-22 08:13:04] 661*2^1245047-1 is not prime. Res64: DBCBC102E7ABE4BA Time : 0.0 sec. user=mdettweiler [2013-04-22 08:13:11] 693*2^1245047-1 is not prime. Res64: 56C7C2C11273D50E Time : 0.0 sec. user=mdettweiler [2013-04-22 08:13:12] 831*2^1245047-1 is not prime. Res64: 91450BD9E7DA58BD Time : 0.0 sec. user=mdettweiler [2013-04-22 08:30:30] 985*2^1245047-1 is not prime. Res64: 0D302E942F082E4E Time : 0.0 sec. user=mdettweiler [2013-04-22 08:30:30] 669*2^1245048-1 is not prime. Res64: 6FA4CC74CC5894E4 Time : 0.0 sec. user=mdettweiler [2013-04-22 08:30:38] 777*2^1245048-1 is not prime. Res64: D59690996EC0A5A1 Time : 0.0 sec. user=mdettweiler [2013-04-22 08:30:39] 789*2^1245048-1 is not prime. Res64: CC0BB3583C43D005 Time : 0.0 sec. user=mdettweiler [2013-04-22 08:47:57] 797*2^1245048-1 is not prime. Res64: 9A6CD2F68CED7709 Time : 0.0 sec. user=mdettweiler [2013-04-22 08:47:58] 843*2^1245048-1 is not prime. Res64: 5D86C7191D0548AF Time : 0.0 sec. user=mdettweiler [2013-04-22 08:48:05] 849*2^1245048-1 is not prime. Res64: D80DF622E26923A4 Time : 0.0 sec. user=mdettweiler [2013-04-22 08:48:06] 879*2^1245048-1 is not prime. Res64: EDB33F99C797D828 Time : 0.0 sec. user=vaughan [2013-04-22 08:52:04] 945*2^1245047-1 is not prime. Res64: 26CCF85500B9BE45 Time : 0.0 sec. user=mdettweiler [2013-04-22 09:05:24] 619*2^1245049-1 is not prime. Res64: 839682A77B3AC4B7 Time : 0.0 sec. user=mdettweiler [2013-04-22 09:05:25] 817*2^1245049-1 is not prime. Res64: B024CD2DA23821CC Time : 0.0 sec. user=mdettweiler [2013-04-22 09:05:32] 819*2^1245049-1 is not prime. Res64: 084880F032F77A4D Time : 0.0 sec. user=mdettweiler [2013-04-22 09:05:34] 939*2^1245049-1 is not prime. Res64: 1C91C9F984E0331F Time : 0.0 sec. user=juhehe [2013-04-22 09:19:55] 985*2^1245049-1 is not prime. Res64: 2A7D1662FBE1F894 Time : 0.0 sec. user=mdettweiler [2013-04-22 09:22:52] 603*2^1245050-1 is not prime. Res64: A0031903C558AFFB Time : 0.0 sec. user=mdettweiler [2013-04-22 09:22:53] 623*2^1245050-1 is not prime. Res64: E0587710357BB12C Time : 0.0 sec. user=mdettweiler [2013-04-22 09:23:02] 717*2^1245050-1 is not prime. Res64: 6BF40FE322B8F867 Time : 0.0 sec. user=mdettweiler [2013-04-22 09:23:02] 741*2^1245050-1 is not prime. Res64: F6C54756FC648074 Time : 0.0 sec. user=vaughan [2013-04-22 09:35:09] 945*2^1245049-1 is not prime. Res64: 8C40C014B0704B59 Time : 0.0 sec. user=mdettweiler [2013-04-22 09:40:20] 857*2^1245050-1 is not prime. Res64: E22574049140AA0F Time : 0.0 sec. user=mdettweiler [2013-04-22 09:40:20] 917*2^1245050-1 is not prime. Res64: C5B9180CB63F4481 Time : 0.0 sec. user=mdettweiler [2013-04-22 09:40:29] 945*2^1245050-1 is not prime. Res64: EA461A2558DEF785 Time : 0.0 sec. user=mdettweiler [2013-04-22 09:40:29] 723*2^1245051-1 is not prime. Res64: F7C1EDAA8B9ED819 Time : 0.0 sec. user=mdettweiler [2013-04-22 09:57:47] 825*2^1245051-1 is not prime. Res64: 5A279D56406110F8 Time : 0.0 sec. user=mdettweiler [2013-04-22 09:57:47] 829*2^1245051-1 is not prime. Res64: 753FA3D418B93B08 Time : 0.0 sec. user=mdettweiler [2013-04-22 09:58:45] 909*2^1245051-1 is not prime. Res64: 0B12EA080A4FEEC3 Time : 0.0 sec. user=mdettweiler [2013-04-22 09:58:45] 999*2^1245051-1 is not prime. Res64: A1673E5052A21025 Time : 0.0 sec. user=vaughan [2013-04-22 10:13:14] 751*2^1245051-1 is not prime. Res64: 4A50FCF3CD71C4D5 Time : 0.0 sec. user=mdettweiler [2013-04-22 10:15:13] 635*2^1245052-1 is not prime. Res64: D29C9D40F759D6BB Time : 0.0 sec. user=mdettweiler [2013-04-22 10:15:14] 749*2^1245052-1 is not prime. Res64: C0066F665BE50976 Time : 0.0 sec. user=mdettweiler [2013-04-22 10:16:12] 909*2^1245052-1 is not prime. Res64: FB232BC4DE11CE6D Time : 0.0 sec. user=mdettweiler [2013-04-22 10:16:12] 987*2^1245052-1 is not prime. Res64: E8E722ED641E9C96 Time : 0.0 sec. user=mdettweiler [2013-04-22 10:32:40] 745*2^1245053-1 is not prime. Res64: D53B4CC5C5E1DCBE Time : 0.0 sec. user=mdettweiler [2013-04-22 10:32:40] 789*2^1245053-1 is not prime. Res64: CC6865ECDA73F2F4 Time : 0.0 sec. user=mdettweiler [2013-04-22 10:33:39] 859*2^1245053-1 is not prime. Res64: 5E90F96006FF3AB4 Time : 0.0 sec. user=mdettweiler [2013-04-22 10:33:40] 981*2^1245053-1 is not prime. Res64: 157C2F976A1CB15A Time : 0.0 sec. user=mdettweiler [2013-04-22 10:50:07] 833*2^1245054-1 is not prime. Res64: B69FCB0034C53811 Time : 0.0 sec. user=mdettweiler [2013-04-22 10:50:07] 861*2^1245054-1 is not prime. Res64: C9D6B4EE3ECDC7E7 Time : 0.0 sec. user=mdettweiler [2013-04-22 10:51:05] 885*2^1245054-1 is not prime. Res64: 012F0E52956CB9BB Time : 0.0 sec. user=mdettweiler [2013-04-22 10:51:06] 993*2^1245054-1 is not prime. Res64: 18BCA6F34FC66418 Time : 0.0 sec. user=vaughan [2013-04-22 10:51:20] 657*2^1245053-1 is not prime. Res64: 76E3FA14E42B86D8 Time : 0.0 sec. user=juhehe [2013-04-22 10:52:15] 797*2^1245054-1 is not prime. Res64: 538EB7A6A11ADD3F Time : 0.0 sec. user=mdettweiler [2013-04-22 11:07:34] 685*2^1245055-1 is not prime. Res64: FBBA1A600B437335 Time : 0.0 sec. user=mdettweiler [2013-04-22 11:07:35] 831*2^1245055-1 is not prime. Res64: AA6BBCB95CC59BE4 Time : 0.0 sec. user=mdettweiler [2013-04-22 11:08:33] 913*2^1245055-1 is not prime. Res64: A7AD1174DBF8C50C Time : 0.0 sec. user=mdettweiler [2013-04-22 11:08:34] 635*2^1245056-1 is not prime. Res64: 2E326A21F997BB09 Time : 0.0 sec. user=juhehe [2013-04-22 11:13:32] 785*2^1245056-1 is not prime. Res64: 934D8476DF42D30A Time : 0.0 sec. user=mdettweiler [2013-04-22 11:25:02] 845*2^1245056-1 is not prime. Res64: 976854DFB6B9CB17 Time : 0.0 sec. user=mdettweiler [2013-04-22 11:25:03] 855*2^1245056-1 is not prime. Res64: 3B01FC9469696D0C Time : 0.0 sec. user=mdettweiler [2013-04-22 11:26:00] 903*2^1245056-1 is not prime. Res64: DBD59CAAF5903A69 Time : 0.0 sec. user=mdettweiler [2013-04-22 11:26:00] 935*2^1245056-1 is not prime. Res64: 008376A68ECF364E Time : 0.0 sec. user=vaughan [2013-04-22 11:29:24] 743*2^1245056-1 is not prime. Res64: 19481515AAA6A4D9 Time : 0.0 sec. user=mdettweiler [2013-04-22 11:42:29] 861*2^1245057-1 is not prime. Res64: EAFAA02DDD0A42BA Time : 0.0 sec. user=mdettweiler [2013-04-22 11:42:30] 605*2^1245058-1 is not prime. Res64: C0A87C2810E92BC4 Time : 0.0 sec. user=mdettweiler [2013-04-22 11:43:26] 617*2^1245058-1 is not prime. Res64: A2151805FF78DFA9 Time : 0.0 sec. user=mdettweiler [2013-04-22 11:43:27] 665*2^1245058-1 is not prime. Res64: 1A62C8F9DD693C37 Time : 0.0 sec. user=mdettweiler [2013-04-22 12:00:12] 705*2^1245058-1 is not prime. Res64: EE6FCC5C1B6D206B Time : 0.0 sec. user=mdettweiler [2013-04-22 12:00:13] 723*2^1245058-1 is not prime. Res64: A01BEFEE559E0299 Time : 0.0 sec. user=mdettweiler [2013-04-22 12:01:11] 731*2^1245058-1 is not prime. Res64: 82B618DA150CC002 Time : 0.0 sec. user=mdettweiler [2013-04-22 12:01:12] 755*2^1245058-1 is not prime. Res64: 0FB09DD98D302CB7 Time : 0.0 sec. user=vaughan [2013-04-22 12:07:28] 687*2^1245058-1 is not prime. Res64: A5A8DBFEB46CB268 Time : 0.0 sec. user=mdettweiler [2013-04-22 12:18:12] 773*2^1245058-1 is not prime. Res64: DEAFE8AA9A483514 Time : 0.0 sec. user=mdettweiler [2013-04-22 12:18:13] 791*2^1245058-1 is not prime. Res64: CA7B49FF80F2EF1C Time : 0.0 sec. user=mdettweiler [2013-04-22 12:19:11] 843*2^1245058-1 is not prime. Res64: D2E3CD3CC4E34780 Time : 0.0 sec. user=mdettweiler [2013-04-22 12:19:11] 857*2^1245058-1 is not prime. Res64: 5A7E89BA35B6E68E Time : 0.0 sec. user=mdettweiler [2013-04-22 12:36:32] 891*2^1245058-1 is not prime. Res64: 5EC8C836305558BF Time : 0.0 sec. user=mdettweiler [2013-04-22 12:36:32] 675*2^1245059-1 is not prime. Res64: E6AE2BF74AFB48AB Time : 0.0 sec. user=mdettweiler [2013-04-22 12:37:08] 813*2^1245059-1 is not prime. Res64: 58DD40E2332EC107 Time : 0.0 sec. user=mdettweiler [2013-04-22 12:37:08] 627*2^1245060-1 is not prime. Res64: 7DBF6262D2149AFF Time : 0.0 sec. user=vaughan [2013-04-22 12:45:32] 867*2^1245058-1 is not prime. Res64: 7D1ACA14E81FAAA0 Time : 0.0 sec. user=juhehe [2013-04-22 12:48:41] 777*2^1245060-1 is not prime. Res64: BD1BDDE3AE79490B Time : 0.0 sec. user=mdettweiler [2013-04-22 12:54:26] 867*2^1245060-1 is not prime. Res64: E128535600DA6FE2 Time : 0.0 sec. user=mdettweiler [2013-04-22 12:54:26] 987*2^1245060-1 is not prime. Res64: F6241650D4BBAF69 Time : 0.0 sec. user=mdettweiler [2013-04-22 12:55:02] 769*2^1245061-1 is not prime. Res64: 07B840A449FB4863 Time : 0.0 sec. user=mdettweiler [2013-04-22 12:55:03] 889*2^1245061-1 is not prime. Res64: 11FB750BC42E9EFE Time : 0.0 sec. user=mdettweiler [2013-04-22 13:12:22] 975*2^1245061-1 is not prime. Res64: 364E709354C45181 Time : 0.0 sec. user=mdettweiler [2013-04-22 13:12:22] 675*2^1245062-1 is not prime. Res64: 29FCF4AA19E212FD Time : 0.0 sec. user=mdettweiler [2013-04-22 13:12:58] 873*2^1245062-1 is not prime. Res64: 0397E7DAB6F27FBA Time : 0.0 sec. user=mdettweiler [2013-04-22 13:12:58] 893*2^1245062-1 is not prime. Res64: AD76977A2ACD3ABC Time : 0.0 sec. user=vaughan [2013-04-22 13:28:38] 951*2^1245061-1 is not prime. Res64: AF8A566D1A9F6D05 Time : 0.0 sec. user=mdettweiler [2013-04-22 13:30:17] 921*2^1245062-1 is not prime. Res64: 9C91F64452F3D180 Time : 0.0 sec. user=mdettweiler [2013-04-22 13:30:17] 649*2^1245063-1 is not prime. Res64: A3173B7E450FB0B5 Time : 0.0 sec. user=mdettweiler [2013-04-22 13:30:52] 685*2^1245063-1 is not prime. Res64: D0EC77AD61877C08 Time : 0.0 sec. user=mdettweiler [2013-04-22 13:30:53] 617*2^1245064-1 is not prime. Res64: 94A17601217E05CC Time : 0.0 sec. user=mdettweiler [2013-04-22 13:48:10] 855*2^1245064-1 is not prime. Res64: F211D34218A05510 Time : 0.0 sec. user=mdettweiler [2013-04-22 13:48:11] 917*2^1245064-1 is not prime. Res64: 447BE83C3EE8BF6E Time : 0.0 sec. user=mdettweiler [2013-04-22 13:48:46] 831*2^1245065-1 is not prime. Res64: D77DFF5F2CABA3A2 Time : 0.0 sec. user=mdettweiler [2013-04-22 13:48:46] 939*2^1245065-1 is not prime. Res64: CE1C1725389AE8B1 Time : 0.0 sec. user=mdettweiler [2013-04-22 14:06:04] 949*2^1245065-1 is not prime. Res64: DF7873571712CF04 Time : 0.0 sec. user=mdettweiler [2013-04-22 14:06:05] 957*2^1245065-1 is not prime. Res64: 82DB7B8D8BDCCDDF Time : 0.0 sec. user=mdettweiler [2013-04-22 14:06:38] 633*2^1245066-1 is not prime. Res64: 17B822544399C524 Time : 0.0 sec. user=mdettweiler [2013-04-22 14:06:39] 653*2^1245066-1 is not prime. Res64: 6BFF78329E830AE4 Time : 0.0 sec. user=vaughan [2013-04-22 14:06:44] 665*2^1245064-1 is not prime. Res64: FBA43985D10713D6 Time : 0.0 sec. user=mdettweiler [2013-04-22 14:23:57] 783*2^1245066-1 is not prime. Res64: 58DF5C42D07FE83F Time : 0.0 sec. user=mdettweiler [2013-04-22 14:23:57] 801*2^1245066-1 is not prime. Res64: AAD7919863844381 Time : 0.0 sec. user=mdettweiler [2013-04-22 14:24:31] 803*2^1245066-1 is not prime. Res64: E2C9A267C8F8249C Time : 0.0 sec. user=mdettweiler [2013-04-22 14:24:31] 843*2^1245066-1 is not prime. Res64: 71813918A99E913E Time : 0.0 sec. user=mdettweiler [2013-04-22 14:41:43] 609*2^1245067-1 is not prime. Res64: E905AFCFA115CCAB Time : 0.0 sec. user=mdettweiler [2013-04-22 14:41:43] 675*2^1245067-1 is not prime. Res64: 9733A2446D6A8F61 Time : 0.0 sec. user=mdettweiler [2013-04-22 14:42:17] 691*2^1245067-1 is not prime. Res64: 7944000A5523E6E9 Time : 0.0 sec. user=mdettweiler [2013-04-22 14:42:17] 919*2^1245067-1 is not prime. Res64: 74F0C9C873F43502 Time : 0.0 sec. user=vaughan [2013-04-22 14:49:46] 1001*2^1245066-1 is not prime. Res64: 1C592D9D8CA588FA Time : 0.0 sec. user=mdettweiler [2013-04-22 14:59:30] 975*2^1245067-1 is not prime. Res64: 9306CFBA9638C371 Time : 0.0 sec. user=mdettweiler [2013-04-22 14:59:31] 767*2^1245068-1 is not prime. Res64: 60A3979D65EE97CB Time : 0.0 sec. user=mdettweiler [2013-04-22 15:00:03] 803*2^1245068-1 is not prime. Res64: F63F6241E9EA46CB Time : 0.0 sec. user=mdettweiler [2013-04-22 15:00:04] 879*2^1245068-1 is not prime. Res64: BBD8C1B80F622FAF Time : 0.0 sec. user=mdettweiler [2013-04-22 15:17:23] 667*2^1245069-1 is not prime. Res64: F535383C16C7FCA0 Time : 0.0 sec. user=mdettweiler [2013-04-22 15:17:23] 747*2^1245069-1 is not prime. Res64: DC4EB181596F6773 Time : 0.0 sec. user=mdettweiler [2013-04-22 15:17:55] 781*2^1245069-1 is not prime. Res64: 82FFC5505089FB1E Time : 0.0 sec. user=mdettweiler [2013-04-22 15:17:56] 831*2^1245069-1 is not prime. Res64: 615D33C2473E64DC Time : 0.0 sec. user=vaughan [2013-04-22 15:27:52] 893*2^1245068-1 is not prime. Res64: AA2D7B1E1B8BE131 Time : 0.0 sec. user=mdettweiler [2013-04-22 15:35:18] 837*2^1245069-1 is not prime. Res64: 7BE3D08B1107212D Time : 0.0 sec. user=mdettweiler [2013-04-22 15:35:18] 865*2^1245069-1 is not prime. Res64: 35F3BBA1A344B59D Time : 0.0 sec. user=mdettweiler [2013-04-22 15:36:35] 997*2^1245069-1 is not prime. Res64: 2B417E3413B57BE1 Time : 0.0 sec. user=mdettweiler [2013-04-22 15:36:36] 783*2^1245070-1 is not prime. Res64: D9DC48CD799D8504 Time : 0.0 sec. user=mdettweiler [2013-04-22 15:53:11] 615*2^1245071-1 is not prime. Res64: DCF67130A7A494A4 Time : 0.0 sec. user=mdettweiler [2013-04-22 15:53:11] 619*2^1245071-1 is not prime. Res64: 64516113C78FFB81 Time : 0.0 sec. user=mdettweiler [2013-04-22 15:54:30] 645*2^1245071-1 is not prime. Res64: DBD6A1AC0526B90D Time : 0.0 sec. user=mdettweiler [2013-04-22 15:54:31] 705*2^1245071-1 is not prime. Res64: 3C0FD794E30508BC Time : 0.0 sec. user=vaughan [2013-04-22 16:10:54] 951*2^1245070-1 is not prime. Res64: 208449A67E1AAD89 Time : 0.0 sec. user=mdettweiler [2013-04-22 16:11:18] 759*2^1245071-1 is not prime. Res64: A1D96A84E22A4200 Time : 0.0 sec. user=mdettweiler [2013-04-22 16:11:19] 813*2^1245071-1 is not prime. Res64: CA473103D8F60893 Time : 0.0 sec. user=mdettweiler [2013-04-22 16:12:34] 819*2^1245071-1 is not prime. Res64: 572868E5E42775A2 Time : 0.0 sec. user=mdettweiler [2013-04-22 16:12:35] 665*2^1245072-1 is not prime. Res64: 1DED1894F01ACEB8 Time : 0.0 sec. user=mdettweiler [2013-04-22 16:29:07] 815*2^1245072-1 is not prime. Res64: 530184B5EC2C272D Time : 0.0 sec. user=mdettweiler [2013-04-22 16:29:07] 637*2^1245073-1 is not prime. Res64: D06A32B42EC49325 Time : 0.0 sec. user=mdettweiler [2013-04-22 16:30:22] 649*2^1245073-1 is not prime. Res64: 02893798EDC98232 Time : 0.0 sec. user=mdettweiler [2013-04-22 16:30:22] 765*2^1245073-1 is not prime. Res64: 9C8FA0E4B5F323A7 Time : 0.0 sec. user=mdettweiler [2013-04-22 16:46:54] 775*2^1245073-1 is not prime. Res64: F5E8554087F9AF0B Time : 0.0 sec. user=mdettweiler [2013-04-22 16:46:55] 801*2^1245073-1 is not prime. Res64: 365409F0FA2BF8B6 Time : 0.0 sec. user=mdettweiler [2013-04-22 16:48:09] 945*2^1245073-1 is not prime. Res64: 5507E575EAF5F828 Time : 0.0 sec. user=mdettweiler [2013-04-22 16:48:09] 985*2^1245073-1 is not prime. Res64: 011C53E10B63ADD0 Time : 0.0 sec. user=vaughan [2013-04-22 16:49:01] 723*2^1245072-1 is not prime. Res64: F8C489E12E9890E0 Time : 0.0 sec. user=mdettweiler [2013-04-22 17:04:41] 633*2^1245074-1 is not prime. Res64: 1834A80693346F28 Time : 0.0 sec. user=mdettweiler [2013-04-22 17:04:42] 645*2^1245074-1 is not prime. Res64: 15570A8533732839 Time : 0.0 sec. user=mdettweiler [2013-04-22 17:05:55] 927*2^1245074-1 is not prime. Res64: 25EA62D14CFD51E7 Time : 0.0 sec. user=mdettweiler [2013-04-22 17:05:56] 663*2^1245075-1 is not prime. Res64: 5777B632CFC14660 Time : 0.0 sec. user=mdettweiler [2013-04-22 17:22:29] 859*2^1245075-1 is not prime. Res64: AA5D6D0DD1C59A37 Time : 0.0 sec. user=mdettweiler [2013-04-22 17:22:30] 903*2^1245075-1 is not prime. Res64: 305D332EBD4CE8CC Time : 0.0 sec. user=mdettweiler [2013-04-22 17:23:44] 963*2^1245075-1 is not prime. Res64: 2D2075352CE35B8A Time : 0.0 sec. user=mdettweiler [2013-04-22 17:23:44] 617*2^1245076-1 is not prime. Res64: B59CE46EB822453A Time : 0.0 sec. user=vaughan [2013-04-22 17:27:05] 709*2^1245075-1 is not prime. Res64: 968B083231A97EC3 Time : 0.0 sec. user=mdettweiler [2013-04-22 17:40:16] 779*2^1245076-1 is not prime. Res64: BA76B61B40409B8A Time : 0.0 sec. user=mdettweiler [2013-04-22 17:40:16] 803*2^1245076-1 is not prime. Res64: 3B4B37DB4FF3C9ED Time : 0.0 sec. user=mdettweiler [2013-04-22 17:41:29] 843*2^1245076-1 is not prime. Res64: CA26AD42286401B6 Time : 0.0 sec. user=mdettweiler [2013-04-22 17:41:30] 845*2^1245076-1 is not prime. Res64: FBB1C13E53F751F9 Time : 0.0 sec. user=mdettweiler [2013-04-22 17:58:18] 983*2^1245076-1 is not prime. Res64: 1C308C1E1312A07C Time : 0.0 sec. user=mdettweiler [2013-04-22 17:58:19] 993*2^1245076-1 is not prime. Res64: 4697D299912AC6D2 Time : 0.0 sec. user=mdettweiler [2013-04-22 17:59:32] 757*2^1245077-1 is not prime. Res64: C3B7F5BA3B066C2F Time : 0.0 sec. user=mdettweiler [2013-04-22 17:59:32] 759*2^1245077-1 is not prime. Res64: 84E9E0BCC64D65D7 Time : 0.0 sec. user=vaughan [2013-04-22 18:05:10] 869*2^1245076-1 is not prime. Res64: 97602EC4359FAE48 Time : 0.0 sec. user=mdettweiler [2013-04-22 18:16:20] 945*2^1245077-1 is not prime. Res64: DDA7F1F37B0D6511 Time : 0.0 sec. user=mdettweiler [2013-04-22 18:16:20] 957*2^1245077-1 is not prime. Res64: 578F447E7A824543 Time : 0.0 sec. user=mdettweiler [2013-04-22 18:17:35] 991*2^1245077-1 is not prime. Res64: 781AC15B4467FC50 Time : 0.0 sec. user=mdettweiler [2013-04-22 18:17:35] 635*2^1245078-1 is not prime. Res64: A13284C7F2EB512F Time : 0.0 sec. user=mdettweiler [2013-04-22 18:34:26] 705*2^1245078-1 is not prime. Res64: 293216DEA145D770 Time : 0.0 sec. user=mdettweiler [2013-04-22 18:34:26] 765*2^1245078-1 is not prime. Res64: B1F98F31DB4BD9AD Time : 0.0 sec. user=mdettweiler [2013-04-22 18:35:37] 801*2^1245078-1 is not prime. Res64: 235BEF799DAC004C Time : 0.0 sec. user=mdettweiler [2013-04-22 18:35:37] 993*2^1245078-1 is not prime. Res64: 8DBE459AF73F700A Time : 0.0 sec. user=vaughan [2013-04-22 18:43:16] 695*2^1245078-1 is not prime. Res64: 52907CBC26D54EAC Time : 0.0 sec. user=mdettweiler [2013-04-22 18:52:21] 729*2^1245079-1 is not prime. Res64: C8E342E5DDA5C919 Time : 0.0 sec. user=mdettweiler [2013-04-22 18:52:21] 741*2^1245079-1 is not prime. Res64: D2071FC8CBA71FC8 Time : 0.0 sec. user=mdettweiler [2013-04-22 18:53:32] 771*2^1245079-1 is not prime. Res64: 128094DDB12B5601 Time : 0.0 sec. user=mdettweiler [2013-04-22 18:53:32] 811*2^1245079-1 is not prime. Res64: 914AE3CB85A838A5 Time : 0.0 sec. user=mdettweiler [2013-04-22 19:10:14] 859*2^1245079-1 is not prime. Res64: FBD9C9B705739C11 Time : 0.0 sec. user=mdettweiler [2013-04-22 19:10:15] 919*2^1245079-1 is not prime. Res64: F24B07E5DAA25FD5 Time : 0.0 sec. user=mdettweiler [2013-04-22 19:11:26] 603*2^1245080-1 is not prime. Res64: 749BFD72BCE1A5F9 Time : 0.0 sec. user=mdettweiler [2013-04-22 19:11:27] 699*2^1245080-1 is not prime. Res64: 80EDC42C24ECFDED Time : 0.0 sec. user=vaughan [2013-04-22 19:21:21] 855*2^1245079-1 is not prime. Res64: D6D19DE971CA7DE3 Time : 0.0 sec. user=mdettweiler [2013-04-22 19:28:11] 747*2^1245080-1 is not prime. Res64: 8B7A4D0B488B4059 Time : 0.0 sec. user=mdettweiler [2013-04-22 19:28:11] 777*2^1245080-1 is not prime. Res64: 042F0E855989065D Time : 0.0 sec. user=mdettweiler [2013-04-22 19:29:21] 875*2^1245080-1 is not prime. Res64: B668CE1F005ADD83 Time : 0.0 sec. user=mdettweiler [2013-04-22 19:29:22] 923*2^1245080-1 is not prime. Res64: B8299FFABD8AF091 Time : 0.0 sec. user=mdettweiler [2013-04-22 19:46:04] 745*2^1245081-1 is not prime. Res64: 15B5F46DD233E4F3 Time : 0.0 sec. user=mdettweiler [2013-04-22 19:46:04] 781*2^1245081-1 is not prime. Res64: 536DDB3A4323CE30 Time : 0.0 sec. user=mdettweiler [2013-04-22 19:47:15] 901*2^1245081-1 is not prime. Res64: 5B2ADFF04E9FF57C Time : 0.0 sec. user=mdettweiler [2013-04-22 19:47:15] 621*2^1245082-1 is not prime. Res64: E2F05A8B15DB1AFF Time : 0.0 sec. user=vaughan [2013-04-22 19:59:26] 651*2^1245081-1 is not prime. Res64: 8A7137CB2D0BB0AA Time : 0.0 sec. user=mdettweiler [2013-04-22 20:04:03] 657*2^1245082-1 is not prime. Res64: FABA76AA06498BCC Time : 0.0 sec. user=mdettweiler [2013-04-22 20:04:03] 695*2^1245082-1 is not prime. Res64: 0F8DB635FB08934D Time : 0.0 sec. user=mdettweiler [2013-04-22 20:05:13] 705*2^1245082-1 is not prime. Res64: 0576450971289E9C Time : 0.0 sec. user=mdettweiler [2013-04-22 20:05:14] 713*2^1245082-1 is not prime. Res64: D1896C04DBA320FB Time : 0.0 sec. user=mdettweiler [2013-04-22 20:21:58] 743*2^1245082-1 is not prime. Res64: 0A029A79B09079DB Time : 0.0 sec. user=mdettweiler [2013-04-22 20:21:58] 765*2^1245082-1 is not prime. Res64: 72143DDD3B7CD780 Time : 0.0 sec. user=mdettweiler [2013-04-22 20:23:06] 945*2^1245082-1 is not prime. Res64: 98C5C1D2B6D0B30B Time : 0.0 sec. user=mdettweiler [2013-04-22 20:23:06] 951*2^1245082-1 is not prime. Res64: 45DFF8A1E8699696 Time : 0.0 sec. user=vaughan [2013-04-22 20:37:32] 731*2^1245082-1 is not prime. Res64: 55C2EF02B5D6AFF2 Time : 0.0 sec. user=mdettweiler [2013-04-22 20:39:55] 621*2^1245083-1 is not prime. Res64: E41714BA478B7725 Time : 0.0 sec. user=mdettweiler [2013-04-22 20:39:55] 705*2^1245083-1 is not prime. Res64: 31D6E9B3B03A018B Time : 0.0 sec. user=mdettweiler [2013-04-22 20:41:01] 861*2^1245083-1 is not prime. Res64: AF7E36B9C2D010ED Time : 0.0 sec. user=mdettweiler [2013-04-22 20:41:01] 913*2^1245083-1 is not prime. Res64: 9DB0547C3094BB4A Time : 0.0 sec. user=mdettweiler [2013-04-22 20:57:47] 963*2^1245083-1 is not prime. Res64: 6EDD294266C0D164 Time : 0.0 sec. user=mdettweiler [2013-04-22 20:57:48] 985*2^1245083-1 is not prime. Res64: 6756436E69F385A3 Time : 0.0 sec. user=mdettweiler [2013-04-22 20:58:54] 707*2^1245084-1 is not prime. Res64: 01C61AE1FE39927E Time : 0.0 sec. user=mdettweiler [2013-04-22 20:58:54] 825*2^1245084-1 is not prime. Res64: 303BBC636E2BC1B7 Time : 0.0 sec. user=mdettweiler [2013-04-22 21:15:41] 729*2^1245085-1 is not prime. Res64: 6DFC81698825E7C5 Time : 0.0 sec. user=mdettweiler [2013-04-22 21:15:42] 847*2^1245085-1 is not prime. Res64: 69946E7B1FF43FD8 Time : 0.0 sec. user=mdettweiler [2013-04-22 21:16:46] 885*2^1245085-1 is not prime. Res64: 42A899906FFB8488 Time : 0.0 sec. user=mdettweiler [2013-04-22 21:16:47] 957*2^1245085-1 is not prime. Res64: DEF6808EFA400FD3 Time : 0.0 sec. user=vaughan [2013-04-22 21:20:35] 921*2^1245083-1 is not prime. Res64: 4E1C8F9C97923880 Time : 0.0 sec. user=mdettweiler [2013-04-22 21:34:25] 997*2^1245085-1 is not prime. Res64: 177A567D8CD1ED40 Time : 0.0 sec. user=mdettweiler [2013-04-22 21:34:26] 603*2^1245086-1 is not prime. Res64: 9F2EDBEFBDE10C54 Time : 0.0 sec. user=mdettweiler [2013-04-22 21:34:35] 831*2^1245086-1 is not prime. Res64: 525530C3F35341D5 Time : 0.0 sec. user=mdettweiler [2013-04-22 21:34:35] 857*2^1245086-1 is not prime. Res64: BBA30825266E2A78 Time : 0.0 sec. user=mdettweiler [2013-04-22 21:52:17] 921*2^1245086-1 is not prime. Res64: E1157D2821200AA0 Time : 0.0 sec. user=mdettweiler [2013-04-22 21:52:18] 953*2^1245086-1 is not prime. Res64: 0E22C518124235AC Time : 0.0 sec. user=mdettweiler [2013-04-22 21:52:26] 983*2^1245086-1 is not prime. Res64: 18FB5A4CF092FEEC Time : 0.0 sec. user=mdettweiler [2013-04-22 21:52:26] 633*2^1245087-1 is not prime. Res64: 78D949955FF9EE86 Time : 0.0 sec. user=vaughan [2013-04-22 21:58:40] 893*2^1245086-1 is not prime. Res64: AD8E77B5F4541831 Time : 0.0 sec. user=mdettweiler [2013-04-22 22:11:08] 693*2^1245087-1 is not prime. Res64: 91CDA0BF3A406567 Time : 0.0 sec. user=mdettweiler [2013-04-22 22:11:09] 711*2^1245087-1 is not prime. Res64: DBDA30920CC6825D Time : 0.0 sec. user=mdettweiler [2013-04-22 22:11:17] 769*2^1245087-1 is not prime. Res64: 73E87C35D06E4D83 Time : 0.0 sec. user=mdettweiler [2013-04-22 22:11:18] 829*2^1245087-1 is not prime. Res64: 8E396869E9126B88 Time : 0.0 sec. user=mdettweiler [2013-04-22 22:29:20] 861*2^1245087-1 is not prime. Res64: C728EEE46769D3F4 Time : 0.0 sec. user=mdettweiler [2013-04-22 22:29:21] 985*2^1245087-1 is not prime. Res64: 47C0B7DDA8DAD751 Time : 0.0 sec. user=mdettweiler [2013-04-22 22:29:41] 635*2^1245088-1 is not prime. Res64: E486C60EBF2F5C03 Time : 0.0 sec. user=mdettweiler [2013-04-22 22:29:42] 699*2^1245088-1 is not prime. Res64: 3FCBDDED987FAD8A Time : 0.0 sec. user=vaughan [2013-04-22 22:36:44] 843*2^1245087-1 is not prime. Res64: 34BC9A3AE687EE92 Time : 0.0 sec. user=mdettweiler [2013-04-22 22:47:25] 705*2^1245088-1 is not prime. Res64: E1D108995C2D7261 Time : 0.0 sec. user=mdettweiler [2013-04-22 22:47:25] 755*2^1245088-1 is not prime. Res64: 49DA334048FE951C Time : 0.0 sec. user=mdettweiler [2013-04-22 22:47:45] 825*2^1245088-1 is not prime. Res64: 9A76BB4CD0236063 Time : 0.0 sec. user=mdettweiler [2013-04-22 22:47:45] 899*2^1245088-1 is not prime. Res64: F9DFC43FE46BA47A Time : 0.0 sec. user=mdettweiler [2013-04-22 23:06:08] 691*2^1245089-1 is not prime. Res64: A1E004E2A7522CC6 Time : 0.0 sec. user=mdettweiler [2013-04-22 23:06:10] 847*2^1245089-1 is not prime. Res64: BB9F46D1660E9EA0 Time : 0.0 sec. user=mdettweiler [2013-04-22 23:06:29] 865*2^1245089-1 is not prime. Res64: 018263FE4AD4DB06 Time : 0.0 sec. user=mdettweiler [2013-04-22 23:06:30] 611*2^1245090-1 is not prime. Res64: CE4F28C4139106DF Time : 0.0 sec. user=vaughan [2013-04-22 23:19:48] 933*2^1245088-1 is not prime. Res64: CCE231748B0F27CD Time : 0.0 sec. user=mdettweiler [2013-04-22 23:24:00] 797*2^1245090-1 is not prime. Res64: 0210477D87E1DF3B Time : 0.0 sec. user=mdettweiler [2013-04-22 23:24:01] 825*2^1245090-1 is not prime. Res64: EA48A8C175FB59D4 Time : 0.0 sec. user=mdettweiler [2013-04-22 23:24:15] 977*2^1245090-1 is not prime. Res64: 77F5590896322AFA Time : 0.0 sec. user=mdettweiler [2013-04-22 23:24:15] 873*2^1245091-1 is not prime. Res64: DCD37EFB008BDE50 Time : 0.0 sec. user=mdettweiler [2013-04-22 23:41:52] 623*2^1245092-1 is not prime. Res64: 74B146ADBE76B0A8 Time : 0.0 sec. user=mdettweiler [2013-04-22 23:41:53] 629*2^1245092-1 is not prime. Res64: DC348C487540B4D3 Time : 0.0 sec. user=mdettweiler [2013-04-22 23:42:05] 647*2^1245092-1 is not prime. Res64: 7C12E727A2CA4BA0 Time : 0.0 sec. user=mdettweiler [2013-04-22 23:42:06] 683*2^1245092-1 is not prime. Res64: 60438C3DAC549933 Time : 0.0 sec. user=vaughan [2013-04-22 23:57:53] 609*2^1245092-1 is not prime. Res64: 45DFD429B008538C Time : 0.0 sec. user=mdettweiler [2013-04-22 23:59:40] 819*2^1245093-1 is not prime. Res64: 38BEFA0455452372 Time : 0.0 sec. user=mdettweiler [2013-04-22 23:59:40] 829*2^1245093-1 is not prime. Res64: 9E013FF38C7CF560 Time : 0.0 sec. user=mdettweiler [2013-04-22 23:59:51] 847*2^1245093-1 is not prime. Res64: B5C5E693AAF0FDEC Time : 0.0 sec. user=mdettweiler [2013-04-22 23:59:51] 867*2^1245093-1 is not prime. Res64: 89A789BE8DBCBEC8 Time : 0.0 sec.