user=mdettweiler [2013-01-22 00:01:17] 791*2^1239698-1 is not prime. Res64: ECAF9B80C9898E57 Time : 0.0 sec. user=mdettweiler [2013-01-22 00:01:18] 825*2^1239698-1 is not prime. Res64: 6EBA2453A4134AD2 Time : 0.0 sec. user=mdettweiler [2013-01-22 00:01:25] 833*2^1239698-1 is not prime. Res64: B8D471889757DECA Time : 0.0 sec. user=mdettweiler [2013-01-22 00:01:26] 663*2^1239699-1 is not prime. Res64: 8038345EA0AC3867 Time : 0.0 sec. user=mdettweiler [2013-01-22 00:18:38] 741*2^1239699-1 is not prime. Res64: 799D111D3415BD25 Time : 0.0 sec. user=mdettweiler [2013-01-22 00:18:38] 769*2^1239699-1 is not prime. Res64: 86958325F784183A Time : 0.0 sec. user=mdettweiler [2013-01-22 00:18:49] 789*2^1239699-1 is not prime. Res64: 490F913C4BC962B8 Time : 0.0 sec. user=mdettweiler [2013-01-22 00:18:49] 949*2^1239699-1 is not prime. Res64: 05D999E2EB22FDFF Time : 0.0 sec. user=vaughan [2013-01-22 00:30:29] 679*2^1239699-1 is not prime. Res64: FAE8150E0539C072 Time : 0.0 sec. user=mdettweiler [2013-01-22 00:36:01] 605*2^1239700-1 is not prime. Res64: 5EBF9E228CABF122 Time : 0.0 sec. user=mdettweiler [2013-01-22 00:36:01] 609*2^1239700-1 is not prime. Res64: E712ABE9E534AC84 Time : 0.0 sec. user=mdettweiler [2013-01-22 00:36:10] 623*2^1239700-1 is not prime. Res64: CCDED53E479725AA Time : 0.0 sec. user=mdettweiler [2013-01-22 00:36:11] 629*2^1239700-1 is not prime. Res64: 1402E033B585066F Time : 0.0 sec. user=mdettweiler [2013-01-22 00:53:22] 759*2^1239700-1 is not prime. Res64: C083D927388DF7B4 Time : 0.0 sec. user=mdettweiler [2013-01-22 00:53:22] 803*2^1239700-1 is not prime. Res64: 2AAAEB7C0799AECC Time : 0.0 sec. user=mdettweiler [2013-01-22 00:53:32] 863*2^1239700-1 is not prime. Res64: 5BD0084A20466AF8 Time : 0.0 sec. user=mdettweiler [2013-01-22 00:53:32] 927*2^1239700-1 is not prime. Res64: B65D2203E962F733 Time : 0.0 sec. user=vaughan [2013-01-22 01:08:31] 635*2^1239700-1 is not prime. Res64: 844D5AC333E02FEA Time : 0.0 sec. user=mdettweiler [2013-01-22 01:10:42] 627*2^1239701-1 is not prime. Res64: A97B5C154C75A847 Time : 0.0 sec. user=mdettweiler [2013-01-22 01:10:45] 669*2^1239701-1 is not prime. Res64: C76A73ABAF6D9A46 Time : 0.0 sec. user=mdettweiler [2013-01-22 01:10:54] 691*2^1239701-1 is not prime. Res64: 6E080D2BB8F231D0 Time : 0.0 sec. user=mdettweiler [2013-01-22 01:10:59] 717*2^1239701-1 is not prime. Res64: 70B84A1AD52D7236 Time : 0.0 sec. user=mdettweiler [2013-01-22 01:28:18] 861*2^1239701-1 is not prime. Res64: 9E1680192F56ECD5 Time : 0.0 sec. user=mdettweiler [2013-01-22 01:28:19] 889*2^1239701-1 is not prime. Res64: 1663D25E7F4C1A24 Time : 0.0 sec. user=mdettweiler [2013-01-22 01:28:25] 987*2^1239701-1 is not prime. Res64: 7FD6D541EC910655 Time : 0.0 sec. user=mdettweiler [2013-01-22 01:28:26] 615*2^1239702-1 is not prime. Res64: 933793EEC29711E1 Time : 0.0 sec. user=mdettweiler [2013-01-22 01:45:39] 651*2^1239702-1 is not prime. Res64: 4EB52521FEC33E39 Time : 0.0 sec. user=mdettweiler [2013-01-22 01:45:40] 711*2^1239702-1 is not prime. Res64: 40212949B61DFC35 Time : 0.0 sec. user=mdettweiler [2013-01-22 01:45:46] 755*2^1239702-1 is not prime. Res64: F46348F05869FE5A Time : 0.0 sec. user=mdettweiler [2013-01-22 01:45:46] 777*2^1239702-1 is not prime. Res64: 33E01FC8E5EBA68B Time : 0.0 sec. user=vaughan [2013-01-22 01:46:53] 811*2^1239701-1 is not prime. Res64: 8373342FE11F130C Time : 0.0 sec. user=mdettweiler [2013-01-22 02:03:01] 791*2^1239702-1 is not prime. Res64: 03ECC2D031CBC1C4 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:03:01] 815*2^1239702-1 is not prime. Res64: CA8CF1D63154A931 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:03:06] 875*2^1239702-1 is not prime. Res64: 8A39D0A4795E13A4 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:03:07] 891*2^1239702-1 is not prime. Res64: 6A4D03541A29D8E7 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:20:31] 663*2^1239703-1 is not prime. Res64: E919359CD627B9D9 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:20:31] 675*2^1239703-1 is not prime. Res64: 6483D5E16103F0B4 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:20:35] 783*2^1239703-1 is not prime. Res64: BD29B53D617F2026 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:20:35] 829*2^1239703-1 is not prime. Res64: 4BAC0FA41D26E2FA Time : 0.0 sec. user=vaughan [2013-01-22 02:24:48] 633*2^1239703-1 is not prime. Res64: A6186755EF5958C5 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:37:55] 605*2^1239704-1 is not prime. Res64: 2E9FEE254A28A196 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:37:56] 717*2^1239704-1 is not prime. Res64: 54B6D3717615282F Time : 0.0 sec. user=mdettweiler [2013-01-22 02:37:58] 753*2^1239704-1 is not prime. Res64: 5DF39DE37D345D13 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:38:00] 903*2^1239704-1 is not prime. Res64: FAF7213E0539C552 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:55:35] 935*2^1239704-1 is not prime. Res64: 42A6CC4BDF193612 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:55:36] 625*2^1239705-1 is not prime. Res64: 94A6822D8ED1D519 Time : 0.0 sec. user=mdettweiler [2013-01-22 02:55:37] 649*2^1239705-1 is not prime. Res64: BD314A15C1AFB22F Time : 0.0 sec. user=mdettweiler [2013-01-22 02:55:38] 889*2^1239705-1 is not prime. Res64: 3844D38FF701D843 Time : 0.0 sec. user=vaughan [2013-01-22 03:02:48] 917*2^1239704-1 is not prime. Res64: 7FFB5498C4082208 Time : 0.0 sec. user=mdettweiler [2013-01-22 03:13:19] 633*2^1239706-1 is not prime. Res64: DABC741B317B6D29 Time : 0.0 sec. user=mdettweiler [2013-01-22 03:13:20] 657*2^1239706-1 is not prime. Res64: CAAC6E135950D3D4 Time : 0.0 sec. user=mdettweiler [2013-01-22 03:13:23] 777*2^1239706-1 is not prime. Res64: 3EA8EBC71FE35521 Time : 0.0 sec. user=mdettweiler [2013-01-22 03:13:24] 903*2^1239706-1 is not prime. Res64: 047FB85603F7836E Time : 0.0 sec. user=mdettweiler [2013-01-22 03:30:44] 685*2^1239707-1 is not prime. Res64: 90D0A9CE27134994 Time : 0.0 sec. user=mdettweiler [2013-01-22 03:30:46] 843*2^1239707-1 is not prime. Res64: F77BE91D022823F0 Time : 0.0 sec. user=mdettweiler [2013-01-22 03:30:47] 949*2^1239707-1 is not prime. Res64: D381877DA5E0F914 Time : 0.0 sec. user=mdettweiler [2013-01-22 03:30:48] 635*2^1239708-1 is not prime. Res64: 9989DBAF13AE6ABA Time : 0.0 sec. user=vaughan [2013-01-22 03:40:47] 1001*2^1239706-1 is not prime. Res64: CCBC6B38E006C5F0 Time : 0.0 sec. user=mdettweiler [2013-01-22 03:48:20] 669*2^1239708-1 is not prime. Res64: 80F00F89CFC132DA Time : 0.0 sec. user=mdettweiler [2013-01-22 03:48:21] 689*2^1239708-1 is not prime. Res64: A8DCC9B1BCD01021 Time : 0.0 sec. user=mdettweiler [2013-01-22 03:48:21] 707*2^1239708-1 is not prime. Res64: B20F82E8D33116BF Time : 0.0 sec. user=mdettweiler [2013-01-22 03:48:21] 887*2^1239708-1 is not prime. Res64: A737DC1B7D1CC5C6 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:01:53] 915*2^1239708-1 is not prime. Res64: 74A5D17E6E24CF61 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:05:43] 993*2^1239708-1 is not prime. Res64: 301EB4DB10435086 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:05:48] 999*2^1239708-1 is not prime. Res64: 7BF72B16BBFBD5C8 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:05:52] 699*2^1239709-1 is not prime. Res64: 2D12261687771207 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:05:55] 657*2^1239710-1 is not prime. Res64: 9EAFD53FB85A4608 Time : 0.0 sec. user=vaughan [2013-01-22 04:18:48] 923*2^1239708-1 is not prime. Res64: C84DDB8F5EB7E3A9 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:24:03] 665*2^1239710-1 is not prime. Res64: A50C77CA2AA50032 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:24:04] 717*2^1239710-1 is not prime. Res64: 338FFA734B101CD6 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:24:11] 861*2^1239710-1 is not prime. Res64: E3525191D25F8FE4 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:24:11] 971*2^1239710-1 is not prime. Res64: FD2164EB36873EBE Time : 0.0 sec. user=mdettweiler [2013-01-22 04:41:27] 793*2^1239711-1 is not prime. Res64: 50C659FA75A98EEB Time : 0.0 sec. user=mdettweiler [2013-01-22 04:41:30] 823*2^1239711-1 is not prime. Res64: 26B1CFE06E329306 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:41:33] 913*2^1239711-1 is not prime. Res64: 300584A77C3BC6F9 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:41:34] 951*2^1239711-1 is not prime. Res64: F1F649ED95500506 Time : 0.0 sec. user=vaughan [2013-01-22 04:56:40] 619*2^1239711-1 is not prime. Res64: BE86609995F1629B Time : 0.0 sec. user=mdettweiler [2013-01-22 04:59:08] 955*2^1239711-1 is not prime. Res64: 1CE026CA387CBD70 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:59:09] 979*2^1239711-1 is not prime. Res64: F663DF2084AA9B2F Time : 0.0 sec. user=mdettweiler [2013-01-22 04:59:10] 623*2^1239712-1 is not prime. Res64: B6E5E42A1A47D750 Time : 0.0 sec. user=mdettweiler [2013-01-22 04:59:11] 765*2^1239712-1 is not prime. Res64: 47A46A03CB7EF11C Time : 0.0 sec. user=mdettweiler [2013-01-22 05:16:31] 827*2^1239712-1 is not prime. Res64: 85DC3C22241B2D38 Time : 0.0 sec. user=mdettweiler [2013-01-22 05:16:32] 857*2^1239712-1 is not prime. Res64: 341092FF512BCAC8 Time : 0.0 sec. user=mdettweiler [2013-01-22 05:16:33] 899*2^1239712-1 is not prime. Res64: F9D6F527163BDABC Time : 0.0 sec. user=mdettweiler [2013-01-22 05:16:34] 975*2^1239712-1 is not prime. Res64: 8CCD6B003EF436AC Time : 0.0 sec. user=mdettweiler [2013-01-22 05:33:55] 651*2^1239713-1 is not prime. Res64: 1764A3A0B60362C3 Time : 0.0 sec. user=mdettweiler [2013-01-22 05:33:55] 727*2^1239713-1 is not prime. Res64: 1C95E6AC7DCD1EC9 Time : 0.0 sec. user=mdettweiler [2013-01-22 05:33:56] 771*2^1239713-1 is not prime. Res64: D3965DF8E56AE1DA Time : 0.0 sec. user=mdettweiler [2013-01-22 05:33:56] 861*2^1239713-1 is not prime. Res64: 5C4BD65514858DD8 Time : 0.0 sec. user=vaughan [2013-01-22 05:34:34] 777*2^1239712-1 is not prime. Res64: CEC23C071C922B05 Time : 0.0 sec. user=mdettweiler [2013-01-22 05:51:15] 867*2^1239713-1 is not prime. Res64: 85B851D89274164E Time : 0.0 sec. user=mdettweiler [2013-01-22 05:51:16] 925*2^1239713-1 is not prime. Res64: C072DC467C4AA800 Time : 0.0 sec. user=mdettweiler [2013-01-22 05:51:16] 605*2^1239714-1 is not prime. Res64: 8BF7A625BF77D0D3 Time : 0.0 sec. user=mdettweiler [2013-01-22 05:51:18] 635*2^1239714-1 is not prime. Res64: AAFA8E0A0DDC5DD9 Time : 0.0 sec. user=mdettweiler [2013-01-22 06:08:37] 755*2^1239714-1 is not prime. Res64: 8A17671E1011936B Time : 0.0 sec. user=mdettweiler [2013-01-22 06:08:38] 791*2^1239714-1 is not prime. Res64: 7EC41322BC0AD117 Time : 0.0 sec. user=mdettweiler [2013-01-22 06:08:39] 807*2^1239714-1 is not prime. Res64: 14FC1F790D3B25C2 Time : 0.0 sec. user=mdettweiler [2013-01-22 06:08:40] 851*2^1239714-1 is not prime. Res64: 1155F95AA48FD45B Time : 0.0 sec. user=vaughan [2013-01-22 06:12:23] 651*2^1239714-1 is not prime. Res64: 6CB165BA509D0812 Time : 0.0 sec. user=mdettweiler [2013-01-22 06:26:03] 915*2^1239714-1 is not prime. Res64: 56345B24D81EE134 Time : 0.0 sec. user=mdettweiler [2013-01-22 06:26:03] 619*2^1239715-1 is not prime. Res64: A05BF3158A0504B6 Time : 0.0 sec. user=mdettweiler [2013-01-22 06:26:05] 663*2^1239715-1 is not prime. Res64: FA9A2F4F8C3EADA6 Time : 0.0 sec. user=mdettweiler [2013-01-22 06:26:06] 715*2^1239715-1 is not prime. Res64: 1A4DDAAE1325689C Time : 0.0 sec. user=mdettweiler [2013-01-22 06:43:24] 871*2^1239715-1 is not prime. Res64: A7E6663E764E1604 Time : 0.0 sec. user=mdettweiler [2013-01-22 06:43:25] 603*2^1239716-1 is not prime. Res64: E6147C06A23B6B8C Time : 0.0 sec. user=mdettweiler [2013-01-22 06:43:27] 719*2^1239716-1 is not prime. Res64: 4F5E85470BCC031E Time : 0.0 sec. user=mdettweiler [2013-01-22 06:43:28] 813*2^1239716-1 is not prime. Res64: 0E5C5B52F4409CF4 Time : 0.0 sec. user=vaughan [2013-01-22 06:50:15] 853*2^1239715-1 is not prime. Res64: 3833751319D7EE41 Time : 0.0 sec. user=mdettweiler [2013-01-22 07:00:46] 825*2^1239716-1 is not prime. Res64: 57365D7D7BE910EF Time : 0.0 sec. user=mdettweiler [2013-01-22 07:00:46] 867*2^1239716-1 is not prime. Res64: DFF741936E2AC141 Time : 0.0 sec. user=mdettweiler [2013-01-22 07:00:49] 999*2^1239716-1 is not prime. Res64: A6EFFCD0AC068782 Time : 0.0 sec. user=mdettweiler [2013-01-22 07:00:51] 609*2^1239717-1 is not prime. Res64: B20ACECAF2F904E3 Time : 0.0 sec. user=mdettweiler [2013-01-22 07:18:21] 669*2^1239717-1 is not prime. Res64: 3D8C988716D5031F Time : 0.0 sec. user=mdettweiler [2013-01-22 07:18:22] 681*2^1239717-1 is not prime. Res64: 71A819A8811BF365 Time : 0.0 sec. user=mdettweiler [2013-01-22 07:18:22] 765*2^1239717-1 is not prime. Res64: 08DA0447866D968F Time : 0.0 sec. user=mdettweiler [2013-01-22 07:18:23] 777*2^1239717-1 is not prime. Res64: 005A60E4D2F6D975 Time : 0.0 sec. user=vaughan [2013-01-22 07:28:08] 667*2^1239717-1 is not prime. Res64: 89D978D14BEC47A9 Time : 0.0 sec. user=mdettweiler [2013-01-22 07:35:44] 795*2^1239717-1 is not prime. Res64: E1B39CD4ADB82BC1 Time : 0.0 sec. user=mdettweiler [2013-01-22 07:35:45] 819*2^1239717-1 is not prime. Res64: 772E563A77D18EAC Time : 0.0 sec. user=mdettweiler [2013-01-22 07:35:45] 871*2^1239717-1 is not prime. Res64: 581D343D9E4D11D5 Time : 0.0 sec. user=mdettweiler [2013-01-22 07:35:45] 891*2^1239717-1 is not prime. Res64: FBA88B63C19CC1E1 Time : 0.0 sec. user=mdettweiler [2013-01-22 07:53:06] 665*2^1239718-1 is not prime. Res64: E6598782E1585F37 Time : 0.0 sec. user=mdettweiler [2013-01-22 07:53:07] 713*2^1239718-1 is not prime. Res64: DF2001C2F4BF5750 Time : 0.0 sec. user=mdettweiler [2013-01-22 07:53:08] 919*2^1239717-1 is not prime. Res64: 726C6ED1DF91ED1C Time : 0.0 sec. user=mdettweiler [2013-01-22 07:53:08] 605*2^1239718-1 is not prime. Res64: 0D0174B3FF4D1939 Time : 0.0 sec. user=vaughan [2013-01-22 08:05:59] 895*2^1239717-1 is not prime. Res64: E8BEA6E57D66D761 Time : 0.0 sec. user=mdettweiler [2013-01-22 08:10:28] 761*2^1239718-1 is not prime. Res64: AD99961ECCD99909 Time : 0.0 sec. user=mdettweiler [2013-01-22 08:10:29] 845*2^1239718-1 is not prime. Res64: 76A68B4B1F64C6F7 Time : 0.0 sec. user=mdettweiler [2013-01-22 08:10:29] 891*2^1239718-1 is not prime. Res64: 21FBDA732C8B0CF2 Time : 0.0 sec. user=mdettweiler [2013-01-22 08:10:30] 945*2^1239718-1 is not prime. Res64: 0770169687B5450C Time : 0.0 sec. user=mdettweiler [2013-01-22 08:27:53] 987*2^1239718-1 is not prime. Res64: 826149B889BB5211 Time : 0.0 sec. user=mdettweiler [2013-01-22 08:27:53] 823*2^1239719-1 is not prime. Res64: C33A5F757ED550AA Time : 0.0 sec. user=mdettweiler [2013-01-22 08:27:53] 633*2^1239719-1 is not prime. Res64: 05D8B89D80B35397 Time : 0.0 sec. user=mdettweiler [2013-01-22 08:27:53] 841*2^1239719-1 is not prime. Res64: 605FC5FD2FA0C697 Time : 0.0 sec. user=vaughan [2013-01-22 08:44:03] 957*2^1239718-1 is not prime. Res64: E094E085446A2F21 Time : 0.0 sec. user=mdettweiler [2013-01-22 08:45:13] 865*2^1239719-1 is not prime. Res64: 4B36844AA284DA32 Time : 0.0 sec. user=mdettweiler [2013-01-22 08:45:14] 623*2^1239720-1 is not prime. Res64: 6494BAA6BBFA0600 Time : 0.0 sec. user=mdettweiler [2013-01-22 08:45:15] 689*2^1239720-1 is not prime. Res64: 6DAEC34272F013B9 Time : 0.0 sec. user=mdettweiler [2013-01-22 08:45:16] 777*2^1239720-1 is not prime. Res64: CBCC7EA48B01E4AE Time : 0.0 sec. user=mdettweiler [2013-01-22 09:02:35] 849*2^1239720-1 is not prime. Res64: 16E8E33410B90E18 Time : 0.0 sec. user=mdettweiler [2013-01-22 09:02:39] 637*2^1239721-1 is not prime. Res64: 76F341B24F943DF4 Time : 0.0 sec. user=mdettweiler [2013-01-22 09:02:40] 887*2^1239720-1 is not prime. Res64: 9721E1C8E368EC0D Time : 0.0 sec. user=mdettweiler [2013-01-22 09:02:42] 805*2^1239721-1 is not prime. Res64: 0093688B85FFA27C Time : 0.0 sec. user=mdettweiler [2013-01-22 09:20:22] 955*2^1239721-1 is not prime. Res64: 76EB04E46B92F43D Time : 0.0 sec. user=mdettweiler [2013-01-22 09:20:22] 999*2^1239721-1 is not prime. Res64: 19704D258870DD2D Time : 0.0 sec. user=mdettweiler [2013-01-22 09:20:24] 741*2^1239722-1 is not prime. Res64: 03AD1C4B2A79B417 Time : 0.0 sec. user=mdettweiler [2013-01-22 09:20:24] 873*2^1239722-1 is not prime. Res64: 1C7982D4A11705CB Time : 0.0 sec. user=vaughan [2013-01-22 09:21:59] 795*2^1239720-1 is not prime. Res64: 32883A58B7BBB5ED Time : 0.0 sec. user=mdettweiler [2013-01-22 09:37:43] 887*2^1239722-1 is not prime. Res64: 29A83FC840FDC828 Time : 0.0 sec. user=mdettweiler [2013-01-22 09:37:44] 917*2^1239722-1 is not prime. Res64: 026D688F6BCA5A19 Time : 0.0 sec. user=mdettweiler [2013-01-22 09:37:45] 935*2^1239722-1 is not prime. Res64: 63DB789F79B28E50 Time : 0.0 sec. user=mdettweiler [2013-01-22 09:37:46] 1001*2^1239722-1 is not prime. Res64: 582C901FDD019B3A Time : 0.0 sec. user=mdettweiler [2013-01-22 09:55:04] 675*2^1239723-1 is not prime. Res64: 34A84B90C09FE925 Time : 0.0 sec. user=mdettweiler [2013-01-22 09:55:05] 739*2^1239723-1 is not prime. Res64: F46BDF6C839B9309 Time : 0.0 sec. user=mdettweiler [2013-01-22 09:55:06] 795*2^1239723-1 is not prime. Res64: EA74E823EB0A5F11 Time : 0.0 sec. user=mdettweiler [2013-01-22 09:55:07] 801*2^1239723-1 is not prime. Res64: 65530C7B1761B0E2 Time : 0.0 sec. user=vaughan [2013-01-22 09:59:49] 625*2^1239723-1 is not prime. Res64: AE0B09C5BAC7E28A Time : 0.0 sec. user=mdettweiler [2013-01-22 10:12:27] 805*2^1239723-1 is not prime. Res64: B56635809AA20637 Time : 0.0 sec. user=mdettweiler [2013-01-22 10:12:27] 913*2^1239723-1 is not prime. Res64: 04F63B8F2CB09FE4 Time : 0.0 sec. user=mdettweiler [2013-01-22 10:12:28] 859*2^1239723-1 is not prime. Res64: 9B38C4101D35D35C Time : 0.0 sec. user=mdettweiler [2013-01-22 10:12:28] 943*2^1239723-1 is not prime. Res64: 59E4C21EF05B66BD Time : 0.0 sec. user=mdettweiler [2013-01-22 10:29:49] 675*2^1239724-1 is not prime. Res64: 6832628C7C7EDC76 Time : 0.0 sec. user=mdettweiler [2013-01-22 10:29:50] 785*2^1239724-1 is not prime. Res64: 40363EB575B5E1CC Time : 0.0 sec. user=mdettweiler [2013-01-22 10:29:56] 863*2^1239724-1 is not prime. Res64: 2A8599A40FDE28F1 Time : 0.0 sec. user=mdettweiler [2013-01-22 10:29:57] 993*2^1239724-1 is not prime. Res64: E802ABF36622F9AF Time : 0.0 sec. user=vaughan [2013-01-22 10:37:43] 969*2^1239723-1 is not prime. Res64: 03A85EE53F2F0E76 Time : 0.0 sec. user=mdettweiler [2013-01-22 10:47:10] 649*2^1239725-1 is not prime. Res64: C422DF3AF4FBE959 Time : 0.0 sec. user=mdettweiler [2013-01-22 10:47:11] 685*2^1239725-1 is not prime. Res64: F5ADA96594682FDD Time : 0.0 sec. user=mdettweiler [2013-01-22 10:47:22] 777*2^1239725-1 is not prime. Res64: 2E1184E8372A6549 Time : 0.0 sec. user=mdettweiler [2013-01-22 10:47:23] 847*2^1239725-1 is not prime. Res64: EA03D4BD3FB66364 Time : 0.0 sec. user=mdettweiler [2013-01-22 11:04:32] 949*2^1239725-1 is not prime. Res64: 7BC44B9C2CABD408 Time : 0.0 sec. user=mdettweiler [2013-01-22 11:04:34] 723*2^1239726-1 is not prime. Res64: A12C0AB83B4ED3E7 Time : 0.0 sec. user=mdettweiler [2013-01-22 11:04:45] 737*2^1239726-1 is not prime. Res64: 2EC911F4720FDDA5 Time : 0.0 sec. user=mdettweiler [2013-01-22 11:04:46] 761*2^1239726-1 is not prime. Res64: 5B27C336308B0C4E Time : 0.0 sec. user=vaughan [2013-01-22 11:15:35] 937*2^1239725-1 is not prime. Res64: 293064F94D17289D Time : 0.0 sec. user=mdettweiler [2013-01-22 11:22:04] 765*2^1239726-1 is not prime. Res64: E9489F7FEEBCF4AC Time : 0.0 sec. user=mdettweiler [2013-01-22 11:22:04] 917*2^1239726-1 is not prime. Res64: DD73F17874570729 Time : 0.0 sec. user=mdettweiler [2013-01-22 11:22:07] 633*2^1239727-1 is not prime. Res64: 152F9B15159FC18E Time : 0.0 sec. user=mdettweiler [2013-01-22 11:22:08] 645*2^1239727-1 is not prime. Res64: ECB4FF7D3686B4DE Time : 0.0 sec. user=mdettweiler [2013-01-22 11:39:25] 829*2^1239727-1 is not prime. Res64: EA4078A65E022513 Time : 0.0 sec. user=mdettweiler [2013-01-22 11:39:25] 913*2^1239727-1 is not prime. Res64: A7933D92A4BFFE47 Time : 0.0 sec. user=mdettweiler [2013-01-22 11:39:28] 931*2^1239727-1 is not prime. Res64: 2481140BC7F74567 Time : 0.0 sec. user=mdettweiler [2013-01-22 11:39:28] 939*2^1239727-1 is not prime. Res64: E8CD027D804DE3CB Time : 0.0 sec. user=vaughan [2013-01-22 11:53:28] 813*2^1239727-1 is not prime. Res64: A1617D4C5653BA00 Time : 0.0 sec. user=mdettweiler [2013-01-22 11:56:50] 625*2^1239729-1 is not prime. Res64: 8BCB86D7F20B9EED Time : 0.0 sec. user=mdettweiler [2013-01-22 11:56:50] 709*2^1239729-1 is not prime. Res64: CFCCA00B0C2E1E1B Time : 0.0 sec. user=mdettweiler [2013-01-22 11:56:52] 803*2^1239728-1 is not prime. Res64: FE140781A91C54B0 Time : 0.0 sec. user=mdettweiler [2013-01-22 11:56:52] 855*2^1239728-1 is not prime. Res64: 441919C63D17B3F3 Time : 0.0 sec. user=mdettweiler [2013-01-22 12:14:11] 781*2^1239729-1 is not prime. Res64: F04A23F15807D956 Time : 0.0 sec. user=mdettweiler [2013-01-22 12:14:12] 789*2^1239729-1 is not prime. Res64: 942E94CE3F315878 Time : 0.0 sec. user=mdettweiler [2013-01-22 12:14:12] 847*2^1239729-1 is not prime. Res64: D67AF5AA3E01ADEB Time : 0.0 sec. user=mdettweiler [2013-01-22 12:14:13] 895*2^1239729-1 is not prime. Res64: 547C6408AB7185F9 Time : 0.0 sec. user=vaughan [2013-01-22 12:31:24] 765*2^1239729-1 is not prime. Res64: EA5E66C21EFEFA48 Time : 0.0 sec. user=mdettweiler [2013-01-22 12:31:41] 611*2^1239730-1 is not prime. Res64: 694801CAE306DA14 Time : 0.0 sec. user=mdettweiler [2013-01-22 12:31:42] 919*2^1239729-1 is not prime. Res64: 1EB844F86F8A83DD Time : 0.0 sec. user=mdettweiler [2013-01-22 12:31:42] 653*2^1239730-1 is not prime. Res64: C195C690E89B34FF Time : 0.0 sec. user=mdettweiler [2013-01-22 12:31:42] 979*2^1239729-1 is not prime. Res64: 6F2DDFD1D2AC0943 Time : 0.0 sec. user=mdettweiler [2013-01-22 12:49:21] 615*2^1239731-1 is not prime. Res64: 6B1460B190565A22 Time : 0.0 sec. user=mdettweiler [2013-01-22 12:49:21] 685*2^1239731-1 is not prime. Res64: 70C2C595202D0187 Time : 0.0 sec. user=mdettweiler [2013-01-22 12:49:21] 845*2^1239730-1 is not prime. Res64: 781B43EA0F5BCFC3 Time : 0.0 sec. user=mdettweiler [2013-01-22 12:49:21] 933*2^1239730-1 is not prime. Res64: 769BDA69DE697E81 Time : 0.0 sec. user=mdettweiler [2013-01-22 13:06:51] 703*2^1239731-1 is not prime. Res64: 4B11D55C78138BAD Time : 0.0 sec. user=mdettweiler [2013-01-22 13:06:52] 775*2^1239731-1 is not prime. Res64: 503E2008F7A64E3F Time : 0.0 sec. user=mdettweiler [2013-01-22 13:06:52] 735*2^1239731-1 is not prime. Res64: A5615792914DB55A Time : 0.0 sec. user=mdettweiler [2013-01-22 13:06:53] 955*2^1239731-1 is not prime. Res64: 65CD25AC9038DC2D Time : 0.0 sec. user=vaughan [2013-01-22 13:09:12] 695*2^1239730-1 is not prime. Res64: B3B2C244C519BD8E Time : 0.0 sec. user=mdettweiler [2013-01-22 13:24:19] 969*2^1239731-1 is not prime. Res64: B7F494FBB675BE49 Time : 0.0 sec. user=mdettweiler [2013-01-22 13:24:20] 981*2^1239731-1 is not prime. Res64: 56CE32C6CCA0A930 Time : 0.0 sec. user=mdettweiler [2013-01-22 13:24:20] 689*2^1239732-1 is not prime. Res64: B45C54F75E247167 Time : 0.0 sec. user=mdettweiler [2013-01-22 13:24:21] 699*2^1239732-1 is not prime. Res64: 429FB983E91C67D9 Time : 0.0 sec. user=mdettweiler [2013-01-22 13:41:49] 909*2^1239732-1 is not prime. Res64: 8B7391C7031F0760 Time : 0.0 sec. user=mdettweiler [2013-01-22 13:41:50] 929*2^1239732-1 is not prime. Res64: 5453231846A05F7E Time : 0.0 sec. user=mdettweiler [2013-01-22 13:41:51] 965*2^1239732-1 is not prime. Res64: 0262FCF1638E5806 Time : 0.0 sec. user=mdettweiler [2013-01-22 13:41:52] 987*2^1239732-1 is not prime. Res64: 1C0B07C348A6DC23 Time : 0.0 sec. user=vaughan [2013-01-22 13:47:06] 819*2^1239732-1 is not prime. Res64: 63772D60DB070886 Time : 0.0 sec. user=mdettweiler [2013-01-22 13:59:13] 715*2^1239733-1 is not prime. Res64: A9C28A02A71A5864 Time : 0.0 sec. user=mdettweiler [2013-01-22 13:59:14] 811*2^1239733-1 is not prime. Res64: 60C80A0B8E1EE194 Time : 0.0 sec. user=mdettweiler [2013-01-22 13:59:14] 855*2^1239733-1 is not prime. Res64: 50561F1951DF1860 Time : 0.0 sec. user=mdettweiler [2013-01-22 13:59:15] 937*2^1239733-1 is not prime. Res64: 2DCB1670311453ED Time : 0.0 sec. user=mdettweiler [2013-01-22 14:16:37] 961*2^1239733-1 is not prime. Res64: 38390C1623477A9A Time : 0.0 sec. user=mdettweiler [2013-01-22 14:16:37] 663*2^1239734-1 is not prime. Res64: 1D4D868BB0902782 Time : 0.0 sec. user=mdettweiler [2013-01-22 14:16:38] 705*2^1239734-1 is not prime. Res64: DDE5E6C328A86C3D Time : 0.0 sec. user=mdettweiler [2013-01-22 14:16:38] 711*2^1239734-1 is not prime. Res64: EF8E2C8D681C85F4 Time : 0.0 sec. user=vaughan [2013-01-22 14:24:58] 939*2^1239733-1 is not prime. Res64: 512D2484C1B6EB9D Time : 0.0 sec. user=mdettweiler [2013-01-22 14:34:01] 797*2^1239734-1 is not prime. Res64: A26B04CCE2207241 Time : 0.0 sec. user=mdettweiler [2013-01-22 14:34:02] 857*2^1239734-1 is not prime. Res64: 1C6BF4B9B1CFBC3C Time : 0.0 sec. user=mdettweiler [2013-01-22 14:34:02] 951*2^1239734-1 is not prime. Res64: 54DB2E6608D81B0B Time : 0.0 sec. user=mdettweiler [2013-01-22 14:34:03] 741*2^1239735-1 is not prime. Res64: A1C69F16032F0D5E Time : 0.0 sec. user=mdettweiler [2013-01-22 14:51:24] 705*2^1239736-1 is not prime. Res64: 0B79918597A2D9C0 Time : 0.0 sec. user=mdettweiler [2013-01-22 14:51:25] 723*2^1239736-1 is not prime. Res64: DE134987C6030075 Time : 0.0 sec. user=mdettweiler [2013-01-22 14:51:26] 855*2^1239736-1 is not prime. Res64: B300DEF5E38C61CF Time : 0.0 sec. user=mdettweiler [2013-01-22 14:51:27] 873*2^1239736-1 is not prime. Res64: EA2F8DE00E560699 Time : 0.0 sec. user=vaughan [2013-01-22 15:02:52] 657*2^1239736-1 is not prime. Res64: 60A06B49CB63266C Time : 0.0 sec. user=mdettweiler [2013-01-22 15:08:48] 999*2^1239736-1 is not prime. Res64: 911EF7C7409FD97B Time : 0.0 sec. user=mdettweiler [2013-01-22 15:08:49] 909*2^1239737-1 is not prime. Res64: 846DD490241C3138 Time : 0.0 sec. user=mdettweiler [2013-01-22 15:08:49] 707*2^1239738-1 is not prime. Res64: B8D1CFB1DE8CFCC7 Time : 0.0 sec. user=mdettweiler [2013-01-22 15:08:50] 843*2^1239738-1 is not prime. Res64: BEFFBE77EE6D2D9F Time : 0.0 sec. user=mdettweiler [2013-01-22 15:26:15] 693*2^1239739-1 is not prime. Res64: 39E5A89C605373A8 Time : 0.0 sec. user=mdettweiler [2013-01-22 15:26:16] 741*2^1239739-1 is not prime. Res64: 3B67331C9CCAC357 Time : 0.0 sec. user=mdettweiler [2013-01-22 15:26:16] 829*2^1239739-1 is not prime. Res64: BF598328AD6B380B Time : 0.0 sec. user=mdettweiler [2013-01-22 15:26:17] 743*2^1239740-1 is not prime. Res64: FA47995D3D0F3ADA Time : 0.0 sec. user=vaughan [2013-01-22 15:40:56] 639*2^1239739-1 is not prime. Res64: B00195745B6898A2 Time : 0.0 sec. user=mdettweiler [2013-01-22 15:43:40] 759*2^1239740-1 is not prime. Res64: 5F35BA99D91A4849 Time : 0.0 sec. user=mdettweiler [2013-01-22 15:43:40] 795*2^1239740-1 is not prime. Res64: 2170D2CA6B521E93 Time : 0.0 sec. user=mdettweiler [2013-01-22 15:43:41] 819*2^1239740-1 is not prime. Res64: 8DCCEF36009E06D3 Time : 0.0 sec. user=mdettweiler [2013-01-22 15:43:41] 987*2^1239740-1 is not prime. Res64: 09C6AC8AC71FA73A Time : 0.0 sec. user=mdettweiler [2013-01-22 16:01:21] 747*2^1239741-1 is not prime. Res64: 5B83814808E5AB64 Time : 0.0 sec. user=mdettweiler [2013-01-22 16:01:22] 861*2^1239741-1 is not prime. Res64: 2C290146F77997CF Time : 0.0 sec. user=mdettweiler [2013-01-22 16:01:22] 685*2^1239741-1 is not prime. Res64: B0D5B9B5254E8349 Time : 0.0 sec. user=mdettweiler [2013-01-22 16:01:23] 711*2^1239741-1 is not prime. Res64: 6DBE19ADEE1BFBFF Time : 0.0 sec. user=vaughan [2013-01-22 16:18:48] 615*2^1239741-1 is not prime. Res64: B8DCC7CB6E62E108 Time : 0.0 sec. user=mdettweiler [2013-01-22 16:19:31] 623*2^1239742-1 is not prime. Res64: 18E23C32A45FC90E Time : 0.0 sec. user=mdettweiler [2013-01-22 16:19:31] 865*2^1239741-1 is not prime. Res64: 50E31F609328AFB0 Time : 0.0 sec. user=mdettweiler [2013-01-22 16:19:31] 801*2^1239742-1 is not prime. Res64: 521EEA83642058C0 Time : 0.0 sec. user=mdettweiler [2013-01-22 16:19:31] 895*2^1239741-1 is not prime. Res64: A579D0261F10E3F8 Time : 0.0 sec. user=mdettweiler [2013-01-22 16:37:27] 693*2^1239743-1 is not prime. Res64: 3D8B13537F7E6B8F Time : 0.0 sec. user=mdettweiler [2013-01-22 16:37:28] 735*2^1239743-1 is not prime. Res64: 0AD15B87CE3E10FA Time : 0.0 sec. user=mdettweiler [2013-01-22 16:37:29] 811*2^1239743-1 is not prime. Res64: 4539DE65F60D9F0F Time : 0.0 sec. user=mdettweiler [2013-01-22 16:37:30] 859*2^1239743-1 is not prime. Res64: 6C81681784225E01 Time : 0.0 sec. user=mdettweiler [2013-01-22 16:55:22] 915*2^1239743-1 is not prime. Res64: CCF2E61E69EBB2B3 Time : 0.0 sec. user=mdettweiler [2013-01-22 16:55:22] 943*2^1239743-1 is not prime. Res64: 22CC5ED8FF701403 Time : 0.0 sec. user=mdettweiler [2013-01-22 16:55:23] 949*2^1239743-1 is not prime. Res64: F280BA9248D830F6 Time : 0.0 sec. user=mdettweiler [2013-01-22 16:55:23] 963*2^1239743-1 is not prime. Res64: 5080E9F6003A99E3 Time : 0.0 sec. user=vaughan [2013-01-22 16:56:43] 813*2^1239742-1 is not prime. Res64: 82F9CEA2CA3E860C Time : 0.0 sec. user=mdettweiler [2013-01-22 17:13:15] 675*2^1239744-1 is not prime. Res64: 98B573EF646CE9B5 Time : 0.0 sec. user=mdettweiler [2013-01-22 17:13:16] 887*2^1239744-1 is not prime. Res64: CFF9858E88ED2CE5 Time : 0.0 sec. user=mdettweiler [2013-01-22 17:13:19] 903*2^1239744-1 is not prime. Res64: E0D4EB54312C2AFE Time : 0.0 sec. user=mdettweiler [2013-01-22 17:13:20] 607*2^1239745-1 is not prime. Res64: 2C28D907A46E8C8A Time : 0.0 sec. user=mdettweiler [2013-01-22 17:31:16] 867*2^1239745-1 is not prime. Res64: 2D03EBD3B80057DF Time : 0.0 sec. user=mdettweiler [2013-01-22 17:31:16] 939*2^1239745-1 is not prime. Res64: A97CAB16890542EA Time : 0.0 sec. user=mdettweiler [2013-01-22 17:31:37] 651*2^1239746-1 is not prime. Res64: 9FC56F34C6CC3EE7 Time : 0.0 sec. user=mdettweiler [2013-01-22 17:31:37] 843*2^1239746-1 is not prime. Res64: 0DD9CD1B900B7E57 Time : 0.0 sec. user=vaughan [2013-01-22 17:34:34] 861*2^1239745-1 is not prime. Res64: E00DA895DE5E8824 Time : 0.0 sec. user=mdettweiler [2013-01-22 17:49:12] 615*2^1239747-1 is not prime. Res64: 42B61E1EAAF31F33 Time : 0.0 sec. user=mdettweiler [2013-01-22 17:49:12] 643*2^1239747-1 is not prime. Res64: CF8929071255019F Time : 0.0 sec. user=mdettweiler [2013-01-22 17:49:32] 709*2^1239747-1 is not prime. Res64: 8DF8B7479D35A356 Time : 0.0 sec. user=mdettweiler [2013-01-22 17:49:32] 665*2^1239748-1 is not prime. Res64: 63845382D4F9BAB9 Time : 0.0 sec. user=mdettweiler [2013-01-22 18:06:49] 797*2^1239748-1 is not prime. Res64: 6CD8FFA0CD83445A Time : 0.0 sec. user=mdettweiler [2013-01-22 18:06:50] 869*2^1239748-1 is not prime. Res64: F0FFE3B5C2D93B21 Time : 0.0 sec. user=mdettweiler [2013-01-22 18:07:07] 885*2^1239748-1 is not prime. Res64: 8C65926231A97410 Time : 0.0 sec. user=mdettweiler [2013-01-22 18:07:08] 909*2^1239748-1 is not prime. Res64: F3A91FD67C2FAD91 Time : 0.0 sec. user=vaughan [2013-01-22 18:12:26] 723*2^1239748-1 is not prime. Res64: 1376A2DD1EB6BB0A Time : 0.0 sec. user=mdettweiler [2013-01-22 18:24:25] 969*2^1239748-1 is not prime. Res64: 6820F6A27331A610 Time : 0.0 sec. user=mdettweiler [2013-01-22 18:24:25] 847*2^1239749-1 is not prime. Res64: D6A1B19AAD8691C2 Time : 0.0 sec. user=mdettweiler [2013-01-22 18:24:35] 867*2^1239749-1 is not prime. Res64: 3927CE075FB7C95E Time : 0.0 sec. user=mdettweiler [2013-01-22 18:24:36] 889*2^1239749-1 is not prime. Res64: C6DB9AE63527D13B Time : 0.0 sec. user=mdettweiler [2013-01-22 18:42:00] 931*2^1239749-1 is not prime. Res64: C912E88240D5B8CB Time : 0.0 sec. user=mdettweiler [2013-01-22 18:42:01] 955*2^1239749-1 is not prime. Res64: DB44B6827A55E2A0 Time : 0.0 sec. user=mdettweiler [2013-01-22 18:42:18] 991*2^1239749-1 is not prime. Res64: 690BAC8348AB07BB Time : 0.0 sec. user=mdettweiler [2013-01-22 18:42:18] 783*2^1239750-1 is not prime. Res64: 421844AA9D4137A6 Time : 0.0 sec. user=vaughan [2013-01-22 18:50:19] 897*2^1239749-1 is not prime. Res64: 8A2C294C62670C80 Time : 0.0 sec. user=mdettweiler [2013-01-22 18:59:26] 797*2^1239750-1 is not prime. Res64: 013685F85BF2372F Time : 0.0 sec. user=mdettweiler [2013-01-22 18:59:26] 825*2^1239750-1 is not prime. Res64: D49800A3B5698C9E Time : 0.0 sec. user=mdettweiler [2013-01-22 18:59:43] 861*2^1239750-1 is not prime. Res64: B39D1C642EDC2217 Time : 0.0 sec. user=mdettweiler [2013-01-22 18:59:44] 745*2^1239751-1 is not prime. Res64: F7E8C68AF4278086 Time : 0.0 sec. user=mdettweiler [2013-01-22 19:16:55] 885*2^1239751-1 is not prime. Res64: 47F387BA3B7176D7 Time : 0.0 sec. user=mdettweiler [2013-01-22 19:16:56] 975*2^1239751-1 is not prime. Res64: B79DD672B4EEDC88 Time : 0.0 sec. user=mdettweiler [2013-01-22 19:17:14] 665*2^1239752-1 is not prime. Res64: E4BC026EC02475E1 Time : 0.0 sec. user=mdettweiler [2013-01-22 19:17:16] 725*2^1239752-1 is not prime. Res64: D12FF91028BF0D44 Time : 0.0 sec. user=vaughan [2013-01-22 19:28:11] 883*2^1239751-1 is not prime. Res64: BF8F1F38FA807C1A Time : 0.0 sec. user=mdettweiler [2013-01-22 19:34:45] 753*2^1239752-1 is not prime. Res64: 1DB95D50D6E9AA9E Time : 0.0 sec. user=mdettweiler [2013-01-22 19:34:45] 759*2^1239752-1 is not prime. Res64: 0B039005024C456E Time : 0.0 sec. user=mdettweiler [2013-01-22 19:34:58] 855*2^1239752-1 is not prime. Res64: 9870DC67FD5E8AD0 Time : 0.0 sec. user=mdettweiler [2013-01-22 19:34:58] 999*2^1239752-1 is not prime. Res64: D2F7BFDB5536B145 Time : 0.0 sec. user=mdettweiler [2013-01-22 19:54:12] 685*2^1239753-1 is not prime. Res64: 6B83456D5329E0F8 Time : 0.0 sec. user=mdettweiler [2013-01-22 19:54:12] 759*2^1239753-1 is not prime. Res64: 06D8C1BC081AA235 Time : 0.0 sec. user=mdettweiler [2013-01-22 19:54:26] 915*2^1239753-1 is not prime. Res64: 04861CA0A2D335AE Time : 0.0 sec. user=mdettweiler [2013-01-22 19:54:27] 951*2^1239753-1 is not prime. Res64: 1F63F181879FD555 Time : 0.0 sec. user=vaughan [2013-01-22 20:06:05] 649*2^1239753-1 is not prime. Res64: 15DEDAC8C61C2B3C Time : 0.0 sec. user=mdettweiler [2013-01-22 20:11:42] 705*2^1239754-1 is not prime. Res64: C19B0488B8F480AD Time : 0.0 sec. user=mdettweiler [2013-01-22 20:11:44] 755*2^1239754-1 is not prime. Res64: 40D60E908B842D5A Time : 0.0 sec. user=mdettweiler [2013-01-22 20:11:56] 655*2^1239755-1 is not prime. Res64: 90489AD6A1CA78D4 Time : 0.0 sec. user=mdettweiler [2013-01-22 20:11:58] 939*2^1239755-1 is not prime. Res64: AD085F5282756E05 Time : 0.0 sec. user=mdettweiler [2013-01-22 20:29:22] 699*2^1239756-1 is not prime. Res64: 383CC54726C5D0F7 Time : 0.0 sec. user=mdettweiler [2013-01-22 20:29:23] 723*2^1239756-1 is not prime. Res64: 131508747EA12B5B Time : 0.0 sec. user=mdettweiler [2013-01-22 20:29:28] 759*2^1239756-1 is not prime. Res64: 2C92DD6E5D4833DD Time : 0.0 sec. user=mdettweiler [2013-01-22 20:29:29] 789*2^1239756-1 is not prime. Res64: BB70A5DEDEDEF542 Time : 0.0 sec. user=vaughan [2013-01-22 20:44:04] 627*2^1239756-1 is not prime. Res64: EB89728494801120 Time : 0.0 sec. user=mdettweiler [2013-01-22 20:46:51] 975*2^1239756-1 is not prime. Res64: 38C6E892619BC743 Time : 0.0 sec. user=mdettweiler [2013-01-22 20:46:51] 993*2^1239756-1 is not prime. Res64: BB59DEC6C542DEE5 Time : 0.0 sec. user=mdettweiler [2013-01-22 20:46:56] 609*2^1239757-1 is not prime. Res64: 9A9E54CA13BB3CEC Time : 0.0 sec. user=mdettweiler [2013-01-22 20:46:57] 819*2^1239757-1 is not prime. Res64: 676B3590E494BC75 Time : 0.0 sec. user=mdettweiler [2013-01-22 21:04:21] 895*2^1239757-1 is not prime. Res64: 085192E62A509B27 Time : 0.0 sec. user=mdettweiler [2013-01-22 21:04:21] 897*2^1239757-1 is not prime. Res64: A4E06DAEAB958115 Time : 0.0 sec. user=mdettweiler [2013-01-22 21:04:26] 997*2^1239757-1 is not prime. Res64: 4DCCBB048E0AD935 Time : 0.0 sec. user=mdettweiler [2013-01-22 21:04:28] 645*2^1239758-1 is not prime. Res64: B1DF05FAF90EB523 Time : 0.0 sec. user=vaughan [2013-01-22 21:21:57] 871*2^1239757-1 is not prime. Res64: 60A62AB07CC57A39 Time : 0.0 sec. user=mdettweiler [2013-01-22 21:22:00] 825*2^1239758-1 is not prime. Res64: F20EA47643FD3571 Time : 0.0 sec. user=mdettweiler [2013-01-22 21:22:00] 893*2^1239758-1 is not prime. Res64: 418110632C78889B Time : 0.0 sec. user=mdettweiler [2013-01-22 21:22:06] 945*2^1239758-1 is not prime. Res64: 84ED3CAC625A3300 Time : 0.0 sec. user=mdettweiler [2013-01-22 21:22:07] 685*2^1239759-1 is not prime. Res64: 1C423AE89A20F3FC Time : 0.0 sec. user=mdettweiler [2013-01-22 21:39:25] 763*2^1239759-1 is not prime. Res64: C8CB9F9828CF7B4E Time : 0.0 sec. user=mdettweiler [2013-01-22 21:39:25] 909*2^1239759-1 is not prime. Res64: D7F072801166BDA1 Time : 0.0 sec. user=mdettweiler [2013-01-22 21:39:31] 921*2^1239759-1 is not prime. Res64: 8DEC6852DBDAE957 Time : 0.0 sec. user=mdettweiler [2013-01-22 21:39:32] 931*2^1239759-1 is not prime. Res64: 275FBA10B1819AF7 Time : 0.0 sec. user=mdettweiler [2013-01-22 21:56:50] 961*2^1239759-1 is not prime. Res64: C4E8CC86351F63AE Time : 0.0 sec. user=mdettweiler [2013-01-22 21:56:51] 645*2^1239760-1 is not prime. Res64: 08BC10765908715C Time : 0.0 sec. user=mdettweiler [2013-01-22 21:56:57] 601*2^1239761-1 is not prime. Res64: 30E807EDDB928F77 Time : 0.0 sec. user=mdettweiler [2013-01-22 21:56:57] 631*2^1239761-1 is not prime. Res64: 5C7718C974C97AE9 Time : 0.0 sec. user=vaughan [2013-01-22 21:59:49] 711*2^1239759-1 is not prime. Res64: FE1898D96EF386B5 Time : 0.0 sec. user=mdettweiler [2013-01-22 22:14:17] 781*2^1239761-1 is not prime. Res64: 0895D82D382B22E7 Time : 0.0 sec. user=mdettweiler [2013-01-22 22:14:19] 789*2^1239761-1 is not prime. Res64: EC17733BB3D53F40 Time : 0.0 sec. user=mdettweiler [2013-01-22 22:14:23] 795*2^1239761-1 is not prime. Res64: 3AB7BCFA75E87CB0 Time : 0.0 sec. user=mdettweiler [2013-01-22 22:14:24] 723*2^1239762-1 is not prime. Res64: ACACAD2FCF3926F8 Time : 0.0 sec. user=mdettweiler [2013-01-22 22:32:44] 741*2^1239763-1 is not prime. Res64: C4D04F12B470F6BD Time : 0.0 sec. user=mdettweiler [2013-01-22 22:32:44] 775*2^1239763-1 is not prime. Res64: 161BD9308ED8FDE0 Time : 0.0 sec. user=mdettweiler [2013-01-22 22:32:46] 783*2^1239763-1 is not prime. Res64: EDABFDC37409FF38 Time : 0.0 sec. user=mdettweiler [2013-01-22 22:32:46] 819*2^1239763-1 is not prime. Res64: 435B0EB0EE4C8FC2 Time : 0.0 sec. user=vaughan [2013-01-22 22:37:42] 951*2^1239762-1 is not prime. Res64: 458260A4EAF7404A Time : 0.0 sec. user=mdettweiler [2013-01-22 22:52:21] 915*2^1239763-1 is not prime. Res64: AFE9DF1E6FCD0B96 Time : 0.0 sec. user=mdettweiler [2013-01-22 22:52:22] 993*2^1239763-1 is not prime. Res64: 3BD221AE501799D6 Time : 0.0 sec. user=mdettweiler [2013-01-22 22:52:24] 617*2^1239764-1 is not prime. Res64: 568960A3E933C111 Time : 0.0 sec. user=mdettweiler [2013-01-22 22:52:24] 665*2^1239764-1 is not prime. Res64: E3AEB3EA1C14BA18 Time : 0.0 sec. user=mdettweiler [2013-01-22 23:09:57] 707*2^1239764-1 is not prime. Res64: 75042D9737673370 Time : 0.0 sec. user=mdettweiler [2013-01-22 23:09:59] 885*2^1239764-1 is not prime. Res64: 44187A867987F663 Time : 0.0 sec. user=mdettweiler [2013-01-22 23:09:59] 927*2^1239764-1 is not prime. Res64: C0F9343B86249CAA Time : 0.0 sec. user=mdettweiler [2013-01-22 23:10:00] 601*2^1239765-1 is not prime. Res64: F1950EB8D4A50681 Time : 0.0 sec. user=vaughan [2013-01-22 23:15:35] 677*2^1239764-1 is not prime. Res64: 50367116FE3316D5 Time : 0.0 sec. user=mdettweiler [2013-01-22 23:27:29] 607*2^1239765-1 is not prime. Res64: 7CC88EBBBC220DBF Time : 0.0 sec. user=mdettweiler [2013-01-22 23:27:30] 649*2^1239765-1 is not prime. Res64: 6904C63C4FD89600 Time : 0.0 sec. user=mdettweiler [2013-01-22 23:27:30] 675*2^1239765-1 is not prime. Res64: 802AC17460004D13 Time : 0.0 sec. user=mdettweiler [2013-01-22 23:27:31] 781*2^1239765-1 is not prime. Res64: 4182C6F3C3CCB3FD Time : 0.0 sec. user=mdettweiler [2013-01-22 23:44:51] 885*2^1239765-1 is not prime. Res64: 832D15C40740DEDF Time : 0.0 sec. user=mdettweiler [2013-01-22 23:44:52] 999*2^1239765-1 is not prime. Res64: 0BF91EA7F066C494 Time : 0.0 sec. user=mdettweiler [2013-01-22 23:44:53] 603*2^1239766-1 is not prime. Res64: 18A7C3D2C4998D3D Time : 0.0 sec. user=mdettweiler [2013-01-22 23:44:53] 657*2^1239766-1 is not prime. Res64: 4C5C0199FD42670B Time : 0.0 sec. user=vaughan [2013-01-22 23:53:28] 819*2^1239765-1 is not prime. Res64: 7E4369F67BF819F6 Time : 0.0 sec.