user=mdettweiler [2013-01-19 00:04:19] 979*2^1239511-1 is not prime. Res64: 1AF7CC32E2F875DE Time : 0.0 sec. user=mdettweiler [2013-01-19 00:04:21] 629*2^1239512-1 is not prime. Res64: AF4BC20C80AFB9E4 Time : 0.0 sec. user=vaughan [2013-01-19 00:08:39] 645*2^1239511-1 is not prime. Res64: 555BA86E763C3EA7 Time : 0.0 sec. user=mdettweiler [2013-01-19 00:09:06] 635*2^1239512-1 is not prime. Res64: 12AD4A60D837427B Time : 0.0 sec. user=mdettweiler [2013-01-19 00:09:10] 687*2^1239512-1 is not prime. Res64: 751B7DD116E6639C Time : 0.0 sec. user=mdettweiler [2013-01-19 00:21:56] 785*2^1239512-1 is not prime. Res64: A862B707FA225FD4 Time : 0.0 sec. user=mdettweiler [2013-01-19 00:21:56] 843*2^1239512-1 is not prime. Res64: 67E6B5BAD565C834 Time : 0.0 sec. user=mdettweiler [2013-01-19 00:26:36] 721*2^1239513-1 is not prime. Res64: F796D059ECCBF63F Time : 0.0 sec. user=mdettweiler [2013-01-19 00:26:36] 819*2^1239513-1 is not prime. Res64: B9DC48385DDB9151 Time : 0.0 sec. user=mdettweiler [2013-01-19 00:39:21] 657*2^1239514-1 is not prime. Res64: 4DB4C23922F1C47F Time : 0.0 sec. user=mdettweiler [2013-01-19 00:39:21] 813*2^1239514-1 is not prime. Res64: C3F94E3DFFE03A6F Time : 0.0 sec. user=mdettweiler [2013-01-19 00:44:02] 881*2^1239514-1 is not prime. Res64: 66DEE4A5F9CE1044 Time : 0.0 sec. user=mdettweiler [2013-01-19 00:44:02] 917*2^1239514-1 is not prime. Res64: 3ADAB902828DA330 Time : 0.0 sec. user=vaughan [2013-01-19 00:46:56] 929*2^1239512-1 is not prime. Res64: 26A7DBE064A81A8C Time : 0.0 sec. user=mdettweiler [2013-01-19 00:56:45] 945*2^1239514-1 is not prime. Res64: EE1519166BB04A26 Time : 0.0 sec. user=mdettweiler [2013-01-19 00:56:46] 649*2^1239515-1 is not prime. Res64: E182FFE4F31BCDC9 Time : 0.0 sec. user=mdettweiler [2013-01-19 01:01:27] 675*2^1239515-1 is not prime. Res64: 889F376BF5C0B90D Time : 0.0 sec. user=mdettweiler [2013-01-19 01:01:28] 843*2^1239515-1 is not prime. Res64: AE1F938DCBCEB255 Time : 0.0 sec. user=mdettweiler [2013-01-19 01:14:08] 889*2^1239515-1 is not prime. Res64: D2F31B84C4B6FC1D Time : 0.0 sec. user=mdettweiler [2013-01-19 01:14:09] 979*2^1239515-1 is not prime. Res64: 797A188782E95CF0 Time : 0.0 sec. user=mdettweiler [2013-01-19 01:19:08] 985*2^1239515-1 is not prime. Res64: 0BEE99631E454E7C Time : 0.0 sec. user=mdettweiler [2013-01-19 01:19:09] 689*2^1239516-1 is not prime. Res64: 8231A00E5EE72DA6 Time : 0.0 sec. user=vaughan [2013-01-19 01:24:49] 855*2^1239515-1 is not prime. Res64: B4D2CAFE23ADB4AB Time : 0.0 sec. user=mdettweiler [2013-01-19 01:31:33] 699*2^1239516-1 is not prime. Res64: 5C6CC6005381CA23 Time : 0.0 sec. user=mdettweiler [2013-01-19 01:31:36] 777*2^1239516-1 is not prime. Res64: 855500997469D84A Time : 0.0 sec. user=mdettweiler [2013-01-19 01:36:31] 999*2^1239516-1 is not prime. Res64: 5581BCA1BEED5DE5 Time : 0.0 sec. user=mdettweiler [2013-01-19 01:36:32] 639*2^1239517-1 is not prime. Res64: E15CDBACB5239EA8 Time : 0.0 sec. user=mdettweiler [2013-01-19 01:49:07] 961*2^1239517-1 is not prime. Res64: 31B71E7E9D0077E5 Time : 0.0 sec. user=mdettweiler [2013-01-19 01:49:07] 967*2^1239517-1 is not prime. Res64: 1E8664AE2C946E15 Time : 0.0 sec. user=mdettweiler [2013-01-19 01:53:57] 713*2^1239518-1 is not prime. Res64: 6BE7BE19044D467E Time : 0.0 sec. user=mdettweiler [2013-01-19 01:53:58] 815*2^1239518-1 is not prime. Res64: F0F2865FECF723BA Time : 0.0 sec. user=vaughan [2013-01-19 02:02:43] 859*2^1239517-1 is not prime. Res64: 9EAD68FD510FA3A2 Time : 0.0 sec. user=mdettweiler [2013-01-19 02:06:30] 885*2^1239518-1 is not prime. Res64: ACFC42CF6195EC03 Time : 0.0 sec. user=mdettweiler [2013-01-19 02:06:31] 897*2^1239518-1 is not prime. Res64: 8AD11E36B5A79403 Time : 0.0 sec. user=mdettweiler [2013-01-19 02:11:22] 935*2^1239518-1 is not prime. Res64: 7A91B41ED130FE1A Time : 0.0 sec. user=mdettweiler [2013-01-19 02:11:24] 957*2^1239518-1 is not prime. Res64: 7CA9181AAB896F60 Time : 0.0 sec. user=mdettweiler [2013-01-19 02:23:54] 613*2^1239519-1 is not prime. Res64: A52E756D6053E279 Time : 0.0 sec. user=mdettweiler [2013-01-19 02:23:54] 685*2^1239519-1 is not prime. Res64: EA0DA63D66DB83DD Time : 0.0 sec. user=mdettweiler [2013-01-19 02:29:05] 691*2^1239519-1 is not prime. Res64: 92F728038907F2D7 Time : 0.0 sec. user=mdettweiler [2013-01-19 02:29:06] 741*2^1239519-1 is not prime. Res64: B0DE1138AC38B5F0 Time : 0.0 sec. user=vaughan [2013-01-19 02:40:54] 609*2^1239519-1 is not prime. Res64: E77933B6A3316539 Time : 0.0 sec. user=mdettweiler [2013-01-19 02:41:25] 775*2^1239519-1 is not prime. Res64: 9675E154D518FD6F Time : 0.0 sec. user=mdettweiler [2013-01-19 02:41:27] 879*2^1239519-1 is not prime. Res64: 6A261965E1ED0F01 Time : 0.0 sec. user=mdettweiler [2013-01-19 02:46:39] 895*2^1239519-1 is not prime. Res64: 4CFFB849389A7E4A Time : 0.0 sec. user=mdettweiler [2013-01-19 02:46:41] 955*2^1239519-1 is not prime. Res64: E1C1A4CC27B1FF64 Time : 0.0 sec. user=mdettweiler [2013-01-19 02:58:54] 969*2^1239519-1 is not prime. Res64: C0EE856E5570CD35 Time : 0.0 sec. user=mdettweiler [2013-01-19 02:58:56] 653*2^1239520-1 is not prime. Res64: F9B63A055C93B039 Time : 0.0 sec. user=mdettweiler [2013-01-19 03:04:15] 665*2^1239520-1 is not prime. Res64: 8AAB622A9202AA46 Time : 0.0 sec. user=mdettweiler [2013-01-19 03:04:20] 765*2^1239520-1 is not prime. Res64: 0CF03FCF18F415FC Time : 0.0 sec. user=mdettweiler [2013-01-19 03:16:29] 843*2^1239520-1 is not prime. Res64: EB881ED771C663A0 Time : 0.0 sec. user=mdettweiler [2013-01-19 03:16:30] 873*2^1239520-1 is not prime. Res64: 8880F4047DEBFBB0 Time : 0.0 sec. user=vaughan [2013-01-19 03:19:03] 961*2^1239519-1 is not prime. Res64: 731BACD48A13ED99 Time : 0.0 sec. user=mdettweiler [2013-01-19 03:21:59] 909*2^1239520-1 is not prime. Res64: 262BE3E3075F6AD9 Time : 0.0 sec. user=mdettweiler [2013-01-19 03:21:59] 929*2^1239520-1 is not prime. Res64: F2E246F594CF7C5E Time : 0.0 sec. user=mdettweiler [2013-01-19 03:33:58] 999*2^1239520-1 is not prime. Res64: A7703B37BCA0B5B7 Time : 0.0 sec. user=mdettweiler [2013-01-19 03:34:02] 645*2^1239521-1 is not prime. Res64: 11FC04D472D826B2 Time : 0.0 sec. user=mdettweiler [2013-01-19 03:39:25] 711*2^1239521-1 is not prime. Res64: 0C13493BF585FC27 Time : 0.0 sec. user=mdettweiler [2013-01-19 03:39:30] 879*2^1239521-1 is not prime. Res64: D6BB4DEAF9EABDC8 Time : 0.0 sec. user=mdettweiler [2013-01-19 03:51:53] 885*2^1239521-1 is not prime. Res64: 8B1517028530E462 Time : 0.0 sec. user=mdettweiler [2013-01-19 03:51:53] 901*2^1239521-1 is not prime. Res64: D8BB0DED10B62F27 Time : 0.0 sec. user=vaughan [2013-01-19 03:57:03] 679*2^1239521-1 is not prime. Res64: 008790DA2A6E3931 Time : 0.0 sec. user=mdettweiler [2013-01-19 03:57:25] 925*2^1239521-1 is not prime. Res64: 9CA715314EAFDFE6 Time : 0.0 sec. user=mdettweiler [2013-01-19 03:57:26] 653*2^1239522-1 is not prime. Res64: 0ED0C135DF7CCF51 Time : 0.0 sec. user=mdettweiler [2013-01-19 04:09:18] 683*2^1239522-1 is not prime. Res64: 04BF5E20A55040EA Time : 0.0 sec. user=mdettweiler [2013-01-19 04:09:22] 711*2^1239522-1 is not prime. Res64: 7EA5CFF274FDD164 Time : 0.0 sec. user=mdettweiler [2013-01-19 04:14:49] 737*2^1239522-1 is not prime. Res64: B3BF3AF23E2013D6 Time : 0.0 sec. user=mdettweiler [2013-01-19 04:14:50] 887*2^1239522-1 is not prime. Res64: 0B8434413689E8A2 Time : 0.0 sec. user=mdettweiler [2013-01-19 04:27:10] 917*2^1239522-1 is not prime. Res64: D9BA516B28064B9D Time : 0.0 sec. user=mdettweiler [2013-01-19 04:27:10] 1001*2^1239522-1 is not prime. Res64: 8DE0A186C5387FE6 Time : 0.0 sec. user=mdettweiler [2013-01-19 04:32:32] 679*2^1239523-1 is not prime. Res64: 17998686AD9EE472 Time : 0.0 sec. user=mdettweiler [2013-01-19 04:32:33] 793*2^1239523-1 is not prime. Res64: 722F8A56D9409846 Time : 0.0 sec. user=vaughan [2013-01-19 04:35:16] 725*2^1239522-1 is not prime. Res64: A4F552DADAE8443F Time : 0.0 sec. user=mdettweiler [2013-01-19 04:44:34] 871*2^1239523-1 is not prime. Res64: EB89994BA2AB19B2 Time : 0.0 sec. user=mdettweiler [2013-01-19 04:44:37] 915*2^1239523-1 is not prime. Res64: 309ECBA4766EE4EA Time : 0.0 sec. user=mdettweiler [2013-01-19 04:50:04] 999*2^1239523-1 is not prime. Res64: DA7FFCD71CA3F6FF Time : 0.0 sec. user=mdettweiler [2013-01-19 04:50:05] 615*2^1239524-1 is not prime. Res64: 34986AB4A0C0F287 Time : 0.0 sec. user=mdettweiler [2013-01-19 05:02:19] 767*2^1239524-1 is not prime. Res64: 7317318B79B4FDCB Time : 0.0 sec. user=mdettweiler [2013-01-19 05:02:23] 995*2^1239524-1 is not prime. Res64: 9E469AD4C05DCF9E Time : 0.0 sec. user=mdettweiler [2013-01-19 05:07:28] 691*2^1239525-1 is not prime. Res64: C4CB0BB4DA98E96D Time : 0.0 sec. user=mdettweiler [2013-01-19 05:07:31] 787*2^1239525-1 is not prime. Res64: A03820CE315606D8 Time : 0.0 sec. user=vaughan [2013-01-19 05:13:19] 677*2^1239524-1 is not prime. Res64: ACEE4587952F4B98 Time : 0.0 sec. user=mdettweiler [2013-01-19 05:20:13] 825*2^1239525-1 is not prime. Res64: 7B63F7D8D80F1EAF Time : 0.0 sec. user=mdettweiler [2013-01-19 05:20:13] 871*2^1239525-1 is not prime. Res64: BC5BEBE17C233F79 Time : 0.0 sec. user=mdettweiler [2013-01-19 05:25:24] 885*2^1239525-1 is not prime. Res64: 9B6C830AF25883F6 Time : 0.0 sec. user=mdettweiler [2013-01-19 05:25:25] 927*2^1239525-1 is not prime. Res64: 8678EE393D8E4E24 Time : 0.0 sec. user=mdettweiler [2013-01-19 05:37:39] 975*2^1239525-1 is not prime. Res64: 72A21B8AFF60CF8E Time : 0.0 sec. user=mdettweiler [2013-01-19 05:37:46] 991*2^1239525-1 is not prime. Res64: 1A3AEBAB9C7E471D Time : 0.0 sec. user=mdettweiler [2013-01-19 05:42:49] 777*2^1239526-1 is not prime. Res64: 6F4FE4ECE553918B Time : 0.0 sec. user=mdettweiler [2013-01-19 05:42:50] 783*2^1239526-1 is not prime. Res64: 0457ADD04ADBC899 Time : 0.0 sec. user=vaughan [2013-01-19 05:51:26] 961*2^1239525-1 is not prime. Res64: CCE67EEF9740614A Time : 0.0 sec. user=mdettweiler [2013-01-19 05:55:11] 911*2^1239526-1 is not prime. Res64: 1A9E96E83409F6F2 Time : 0.0 sec. user=mdettweiler [2013-01-19 05:55:12] 987*2^1239526-1 is not prime. Res64: 1AEF2CC97D89ADC2 Time : 0.0 sec. user=mdettweiler [2013-01-19 06:00:18] 643*2^1239527-1 is not prime. Res64: CA64403323F0CB38 Time : 0.0 sec. user=mdettweiler [2013-01-19 06:00:20] 663*2^1239527-1 is not prime. Res64: CF31FDC0184ECD37 Time : 0.0 sec. user=mdettweiler [2013-01-19 06:12:35] 841*2^1239527-1 is not prime. Res64: BBC786C450994C33 Time : 0.0 sec. user=mdettweiler [2013-01-19 06:12:37] 901*2^1239527-1 is not prime. Res64: 7BC7C31905C17640 Time : 0.0 sec. user=mdettweiler [2013-01-19 06:17:56] 985*2^1239527-1 is not prime. Res64: 63B55FFE29BDD5EB Time : 0.0 sec. user=mdettweiler [2013-01-19 06:17:57] 605*2^1239528-1 is not prime. Res64: 795690AB46E58C8F Time : 0.0 sec. user=vaughan [2013-01-19 06:29:17] 825*2^1239527-1 is not prime. Res64: C51D36D0EFEDCD54 Time : 0.0 sec. user=mdettweiler [2013-01-19 06:30:06] 663*2^1239528-1 is not prime. Res64: B517C17916ED372D Time : 0.0 sec. user=mdettweiler [2013-01-19 06:30:06] 665*2^1239528-1 is not prime. Res64: 8459FB5C606F4479 Time : 0.0 sec. user=mdettweiler [2013-01-19 06:35:22] 803*2^1239528-1 is not prime. Res64: 4886C72C17A3FA0F Time : 0.0 sec. user=mdettweiler [2013-01-19 06:35:22] 819*2^1239528-1 is not prime. Res64: 3CB96546B805BA56 Time : 0.0 sec. user=mdettweiler [2013-01-19 06:47:35] 839*2^1239528-1 is not prime. Res64: C2B4A58A1FA5C593 Time : 0.0 sec. user=mdettweiler [2013-01-19 06:47:35] 845*2^1239528-1 is not prime. Res64: 78AD5A0F3CE94603 Time : 0.0 sec. user=mdettweiler [2013-01-19 06:52:47] 909*2^1239528-1 is not prime. Res64: 09375998F069B44D Time : 0.0 sec. user=mdettweiler [2013-01-19 06:52:47] 975*2^1239528-1 is not prime. Res64: F4038EA48CBFDD04 Time : 0.0 sec. user=mdettweiler [2013-01-19 07:05:02] 615*2^1239529-1 is not prime. Res64: 912E731CB3A46A18 Time : 0.0 sec. user=mdettweiler [2013-01-19 07:05:03] 847*2^1239529-1 is not prime. Res64: EE88675774EC67B5 Time : 0.0 sec. user=vaughan [2013-01-19 07:07:11] 825*2^1239528-1 is not prime. Res64: 1E9EAC9ACF8E1353 Time : 0.0 sec. user=mdettweiler [2013-01-19 07:10:13] 895*2^1239529-1 is not prime. Res64: 39F9B61545C37AD7 Time : 0.0 sec. user=mdettweiler [2013-01-19 07:10:14] 909*2^1239529-1 is not prime. Res64: E474E1085EC564A2 Time : 0.0 sec. user=mdettweiler [2013-01-19 07:22:36] 919*2^1239529-1 is not prime. Res64: 2D7A6C0AA4645B05 Time : 0.0 sec. user=mdettweiler [2013-01-19 07:22:37] 627*2^1239530-1 is not prime. Res64: A3FA7153EF8D3B9D Time : 0.0 sec. user=mdettweiler [2013-01-19 07:27:40] 657*2^1239530-1 is not prime. Res64: 4A68A5D0629CCB25 Time : 0.0 sec. user=mdettweiler [2013-01-19 07:27:41] 701*2^1239530-1 is not prime. Res64: 5513256242A2FEF2 Time : 0.0 sec. user=mdettweiler [2013-01-19 07:40:04] 711*2^1239530-1 is not prime. Res64: 11DE127D1A4E9E62 Time : 0.0 sec. user=mdettweiler [2013-01-19 07:40:05] 717*2^1239530-1 is not prime. Res64: B1E206B420301451 Time : 0.0 sec. user=mdettweiler [2013-01-19 07:45:05] 767*2^1239530-1 is not prime. Res64: F2A74CE07D0E3F32 Time : 0.0 sec. user=mdettweiler [2013-01-19 07:45:05] 957*2^1239530-1 is not prime. Res64: 13C7823C783B8C07 Time : 0.0 sec. user=vaughan [2013-01-19 07:45:08] 645*2^1239530-1 is not prime. Res64: 4CFEDB51605BBEDD Time : 0.0 sec. user=mdettweiler [2013-01-19 07:57:29] 643*2^1239531-1 is not prime. Res64: 334285036E99F881 Time : 0.0 sec. user=mdettweiler [2013-01-19 07:57:29] 921*2^1239531-1 is not prime. Res64: 8783DBE24968A667 Time : 0.0 sec. user=mdettweiler [2013-01-19 08:02:29] 955*2^1239531-1 is not prime. Res64: 986BB5289D50E3B2 Time : 0.0 sec. user=mdettweiler [2013-01-19 08:02:31] 657*2^1239532-1 is not prime. Res64: CD996414749C7826 Time : 0.0 sec. user=mdettweiler [2013-01-19 08:14:53] 827*2^1239532-1 is not prime. Res64: 5989EE4EDC7AD614 Time : 0.0 sec. user=mdettweiler [2013-01-19 08:14:54] 843*2^1239532-1 is not prime. Res64: 7F18EFAEB8040A4F Time : 0.0 sec. user=mdettweiler [2013-01-19 08:20:13] 855*2^1239532-1 is not prime. Res64: 3319466C31534CD5 Time : 0.0 sec. user=mdettweiler [2013-01-19 08:20:14] 869*2^1239532-1 is not prime. Res64: DC279BFD418DD291 Time : 0.0 sec. user=vaughan [2013-01-19 08:23:04] 719*2^1239532-1 is not prime. Res64: 471BB95FC1701DB3 Time : 0.0 sec. user=mdettweiler [2013-01-19 08:32:26] 903*2^1239532-1 is not prime. Res64: 15E4C171BCB9D54F Time : 0.0 sec. user=mdettweiler [2013-01-19 08:32:27] 909*2^1239532-1 is not prime. Res64: B8DA46D079D6B1C7 Time : 0.0 sec. user=mdettweiler [2013-01-19 08:37:37] 915*2^1239532-1 is not prime. Res64: 5B07C82AFC4010A5 Time : 0.0 sec. user=mdettweiler [2013-01-19 08:37:39] 923*2^1239532-1 is not prime. Res64: 8BC69CEC2190BCF4 Time : 0.0 sec. user=mdettweiler [2013-01-19 08:49:50] 697*2^1239533-1 is not prime. Res64: 033D03D9FE3B6DBB Time : 0.0 sec. user=mdettweiler [2013-01-19 08:49:50] 811*2^1239533-1 is not prime. Res64: 3C48C9FEF87D85FD Time : 0.0 sec. user=mdettweiler [2013-01-19 08:55:02] 859*2^1239533-1 is not prime. Res64: 2727B9A2A9F647F8 Time : 0.0 sec. user=mdettweiler [2013-01-19 08:55:02] 871*2^1239533-1 is not prime. Res64: FA02766F4C904FD1 Time : 0.0 sec. user=vaughan [2013-01-19 09:00:58] 669*2^1239533-1 is not prime. Res64: 926D73226C4EEB11 Time : 0.0 sec. user=mdettweiler [2013-01-19 09:07:14] 967*2^1239533-1 is not prime. Res64: 6A2426FAE45C0023 Time : 0.0 sec. user=mdettweiler [2013-01-19 09:07:18] 969*2^1239533-1 is not prime. Res64: 79E54713FB994AC0 Time : 0.0 sec. user=mdettweiler [2013-01-19 09:12:25] 611*2^1239534-1 is not prime. Res64: B45C97288234A8FA Time : 0.0 sec. user=mdettweiler [2013-01-19 09:12:26] 627*2^1239534-1 is not prime. Res64: 8541EC4FF5435FA3 Time : 0.0 sec. user=mdettweiler [2013-01-19 09:25:11] 795*2^1239534-1 is not prime. Res64: EDB2B4D6C8C3BBB1 Time : 0.0 sec. user=mdettweiler [2013-01-19 09:25:11] 861*2^1239534-1 is not prime. Res64: 4228236F11278010 Time : 0.0 sec. user=mdettweiler [2013-01-19 09:29:52] 927*2^1239534-1 is not prime. Res64: 52ED1606FBE0008B Time : 0.0 sec. user=mdettweiler [2013-01-19 09:29:53] 965*2^1239534-1 is not prime. Res64: 6CB15821DB93F221 Time : 0.0 sec. user=vaughan [2013-01-19 09:39:00] 663*2^1239534-1 is not prime. Res64: 1512F7714EDBBFFB Time : 0.0 sec. user=mdettweiler [2013-01-19 09:42:36] 993*2^1239534-1 is not prime. Res64: AB4194ECCDD4F319 Time : 0.0 sec. user=mdettweiler [2013-01-19 09:42:37] 693*2^1239535-1 is not prime. Res64: 0968E629A33E0A00 Time : 0.0 sec. user=mdettweiler [2013-01-19 09:47:18] 735*2^1239535-1 is not prime. Res64: 96C40819A1CFB7F5 Time : 0.0 sec. user=mdettweiler [2013-01-19 09:47:19] 805*2^1239535-1 is not prime. Res64: D2D5F51C488AE36A Time : 0.0 sec. user=mdettweiler [2013-01-19 10:00:05] 999*2^1239535-1 is not prime. Res64: 73F9AADED43DA544 Time : 0.0 sec. user=mdettweiler [2013-01-19 10:00:07] 603*2^1239536-1 is not prime. Res64: C809292ADF79094E Time : 0.0 sec. user=mdettweiler [2013-01-19 10:04:46] 767*2^1239536-1 is not prime. Res64: 74485C0FFB226B30 Time : 0.0 sec. user=mdettweiler [2013-01-19 10:04:48] 813*2^1239536-1 is not prime. Res64: 470AD5F4985BBF4C Time : 0.0 sec. user=vaughan [2013-01-19 10:16:52] 859*2^1239535-1 is not prime. Res64: 572553BD62C238A0 Time : 0.0 sec. user=mdettweiler [2013-01-19 10:17:40] 609*2^1239537-1 is not prime. Res64: 5B4FBC8A460D39BD Time : 0.0 sec. user=mdettweiler [2013-01-19 10:17:42] 625*2^1239537-1 is not prime. Res64: DB891CB4811136B6 Time : 0.0 sec. user=mdettweiler [2013-01-19 10:22:45] 667*2^1239537-1 is not prime. Res64: 0080237110E3FDB1 Time : 0.0 sec. user=mdettweiler [2013-01-19 10:22:46] 681*2^1239537-1 is not prime. Res64: 80C5CFC3C663BC57 Time : 0.0 sec. user=mdettweiler [2013-01-19 10:35:07] 699*2^1239537-1 is not prime. Res64: 565F1BDE5E250B36 Time : 0.0 sec. user=mdettweiler [2013-01-19 10:35:08] 865*2^1239537-1 is not prime. Res64: 4D1AAB644D0F7873 Time : 0.0 sec. user=mdettweiler [2013-01-19 10:40:11] 979*2^1239537-1 is not prime. Res64: 0ED4756B76BD8BBB Time : 0.0 sec. user=mdettweiler [2013-01-19 10:40:12] 603*2^1239538-1 is not prime. Res64: 128E1FCE67B31B4D Time : 0.0 sec. user=mdettweiler [2013-01-19 10:52:32] 611*2^1239538-1 is not prime. Res64: F96ACC95E57823ED Time : 0.0 sec. user=mdettweiler [2013-01-19 10:52:33] 617*2^1239538-1 is not prime. Res64: 8056D0260C4A4ABF Time : 0.0 sec. user=vaughan [2013-01-19 10:54:54] 691*2^1239537-1 is not prime. Res64: FD3162A28D166B0F Time : 0.0 sec. user=mdettweiler [2013-01-19 10:57:37] 635*2^1239538-1 is not prime. Res64: 1087AC2605C12A49 Time : 0.0 sec. user=mdettweiler [2013-01-19 10:57:38] 713*2^1239538-1 is not prime. Res64: 80CBC10EF4A11364 Time : 0.0 sec. user=mdettweiler [2013-01-19 11:09:56] 825*2^1239538-1 is not prime. Res64: 21BDA9FE189CD2B7 Time : 0.0 sec. user=mdettweiler [2013-01-19 11:09:57] 827*2^1239538-1 is not prime. Res64: A695DB8615EAA60D Time : 0.0 sec. user=mdettweiler [2013-01-19 11:15:02] 945*2^1239538-1 is not prime. Res64: 95A777040686DDAE Time : 0.0 sec. user=mdettweiler [2013-01-19 11:15:07] 1001*2^1239538-1 is not prime. Res64: 32890BC600C65AC7 Time : 0.0 sec. user=mdettweiler [2013-01-19 11:27:38] 603*2^1239539-1 is not prime. Res64: D9B2AC4C0EBD18A1 Time : 0.0 sec. user=mdettweiler [2013-01-19 11:27:38] 633*2^1239539-1 is not prime. Res64: F759CDEA0CBDB5A5 Time : 0.0 sec. user=mdettweiler [2013-01-19 11:32:38] 711*2^1239539-1 is not prime. Res64: 1088690C3432AE46 Time : 0.0 sec. user=mdettweiler [2013-01-19 11:32:39] 733*2^1239539-1 is not prime. Res64: 0DA510ED0869BD10 Time : 0.0 sec. user=vaughan [2013-01-19 11:32:48] 855*2^1239538-1 is not prime. Res64: 008A05E201AD5049 Time : 0.0 sec. user=mdettweiler [2013-01-19 11:45:04] 813*2^1239539-1 is not prime. Res64: 7347E3FC1B7B3EDE Time : 0.0 sec. user=mdettweiler [2013-01-19 11:45:06] 861*2^1239539-1 is not prime. Res64: BF8BA47396A2130C Time : 0.0 sec. user=mdettweiler [2013-01-19 11:50:09] 883*2^1239539-1 is not prime. Res64: C975D965D8D912B7 Time : 0.0 sec. user=mdettweiler [2013-01-19 11:50:09] 885*2^1239539-1 is not prime. Res64: 020F41742863D1BA Time : 0.0 sec. user=mdettweiler [2013-01-19 12:02:41] 969*2^1239539-1 is not prime. Res64: C8A381CED623A3DF Time : 0.0 sec. user=mdettweiler [2013-01-19 12:02:43] 609*2^1239540-1 is not prime. Res64: FCD1DE3061E97A62 Time : 0.0 sec. user=mdettweiler [2013-01-19 12:07:51] 653*2^1239540-1 is not prime. Res64: 9D6254E45C2400E6 Time : 0.0 sec. user=mdettweiler [2013-01-19 12:07:53] 723*2^1239540-1 is not prime. Res64: 56EE87697B62A713 Time : 0.0 sec. user=vaughan [2013-01-19 12:10:44] 943*2^1239539-1 is not prime. Res64: 4DF7D98E9ED70EF0 Time : 0.0 sec. user=mdettweiler [2013-01-19 12:20:41] 767*2^1239540-1 is not prime. Res64: EF725342B7DBE6D5 Time : 0.0 sec. user=mdettweiler [2013-01-19 12:20:42] 839*2^1239540-1 is not prime. Res64: 81E5EDAD15AB14EF Time : 0.0 sec. user=mdettweiler [2013-01-19 12:34:39] 965*2^1239540-1 is not prime. Res64: 9DC26CAB6920EF84 Time : 0.0 sec. user=mdettweiler [2013-01-19 12:34:40] 983*2^1239540-1 is not prime. Res64: CEFEBBCC85B243BB Time : 0.0 sec. user=mdettweiler [2013-01-19 12:38:13] 987*2^1239540-1 is not prime. Res64: 06BEEF7F0572C01B Time : 0.0 sec. user=mdettweiler [2013-01-19 12:38:14] 777*2^1239541-1 is not prime. Res64: 74ECC31902EF0EF6 Time : 0.0 sec. user=vaughan [2013-01-19 12:48:44] 899*2^1239540-1 is not prime. Res64: 96B076821D5A7F49 Time : 0.0 sec. user=mdettweiler [2013-01-19 12:52:14] 859*2^1239541-1 is not prime. Res64: 03BE4585DA62351F Time : 0.0 sec. user=mdettweiler [2013-01-19 12:52:14] 945*2^1239541-1 is not prime. Res64: 555E22EA35ABB270 Time : 0.0 sec. user=mdettweiler [2013-01-19 12:55:41] 957*2^1239541-1 is not prime. Res64: D3C7B0E56AD7D6F8 Time : 0.0 sec. user=mdettweiler [2013-01-19 12:55:44] 961*2^1239541-1 is not prime. Res64: 4BD3116777266BB9 Time : 0.0 sec. user=mdettweiler [2013-01-19 13:09:44] 627*2^1239542-1 is not prime. Res64: 78F3AA8219500125 Time : 0.0 sec. user=mdettweiler [2013-01-19 13:09:46] 675*2^1239542-1 is not prime. Res64: 1BBDFC10EB68DBD6 Time : 0.0 sec. user=mdettweiler [2013-01-19 13:13:10] 677*2^1239542-1 is not prime. Res64: C849AACE6C7DAE74 Time : 0.0 sec. user=mdettweiler [2013-01-19 13:13:11] 705*2^1239542-1 is not prime. Res64: 761F3119DE9D82D6 Time : 0.0 sec. user=vaughan [2013-01-19 13:26:40] 979*2^1239541-1 is not prime. Res64: 44627F9FB1BA6011 Time : 0.0 sec. user=mdettweiler [2013-01-19 13:27:21] 791*2^1239542-1 is not prime. Res64: 94B185DF8B6B4016 Time : 0.0 sec. user=mdettweiler [2013-01-19 13:27:22] 903*2^1239542-1 is not prime. Res64: C1BA11E66D40B9D8 Time : 0.0 sec. user=mdettweiler [2013-01-19 13:30:39] 957*2^1239542-1 is not prime. Res64: C25C198BDE00AA94 Time : 0.0 sec. user=mdettweiler [2013-01-19 13:30:39] 735*2^1239543-1 is not prime. Res64: EFEFCD05B6A31F85 Time : 0.0 sec. user=mdettweiler [2013-01-19 13:44:50] 789*2^1239543-1 is not prime. Res64: 271882AADE75D893 Time : 0.0 sec. user=mdettweiler [2013-01-19 13:44:50] 677*2^1239544-1 is not prime. Res64: 5AB9DB506027647E Time : 0.0 sec. user=mdettweiler [2013-01-19 13:48:07] 705*2^1239544-1 is not prime. Res64: 82335A6F87E751EE Time : 0.0 sec. user=mdettweiler [2013-01-19 13:48:07] 723*2^1239544-1 is not prime. Res64: 0E0FABA6B2659B63 Time : 0.0 sec. user=mdettweiler [2013-01-19 14:02:18] 697*2^1239545-1 is not prime. Res64: 8FC63FBB01E33491 Time : 0.0 sec. user=mdettweiler [2013-01-19 14:02:24] 735*2^1239545-1 is not prime. Res64: B98F19D1761A00EB Time : 0.0 sec. user=vaughan [2013-01-19 14:04:35] 741*2^1239543-1 is not prime. Res64: B666DE62BE987AFB Time : 0.0 sec. user=mdettweiler [2013-01-19 14:05:40] 759*2^1239545-1 is not prime. Res64: 1A1F99DBD77E4782 Time : 0.0 sec. user=mdettweiler [2013-01-19 14:05:44] 787*2^1239545-1 is not prime. Res64: 1F86464A8BE4BC23 Time : 0.0 sec. user=mdettweiler [2013-01-19 14:20:26] 795*2^1239545-1 is not prime. Res64: AA37212FF050088F Time : 0.0 sec. user=mdettweiler [2013-01-19 14:20:26] 841*2^1239545-1 is not prime. Res64: 3889041DF3C91BD6 Time : 0.0 sec. user=mdettweiler [2013-01-19 14:23:23] 987*2^1239545-1 is not prime. Res64: 7F6EEDA77F54553A Time : 0.0 sec. user=mdettweiler [2013-01-19 14:23:24] 657*2^1239546-1 is not prime. Res64: 1E3C679796F3E997 Time : 0.0 sec. user=mdettweiler [2013-01-19 14:37:56] 717*2^1239546-1 is not prime. Res64: 747C7259BA036AAB Time : 0.0 sec. user=mdettweiler [2013-01-19 14:37:57] 837*2^1239546-1 is not prime. Res64: DC6201B7132A72A7 Time : 0.0 sec. user=mdettweiler [2013-01-19 14:40:54] 631*2^1239547-1 is not prime. Res64: B23D38660AB9FC16 Time : 0.0 sec. user=mdettweiler [2013-01-19 14:40:54] 645*2^1239547-1 is not prime. Res64: DF7CE0587CEF463D Time : 0.0 sec. user=vaughan [2013-01-19 14:42:34] 957*2^1239545-1 is not prime. Res64: 4151C10E66746D31 Time : 0.0 sec. user=mdettweiler [2013-01-19 14:55:25] 759*2^1239547-1 is not prime. Res64: A5FE715583AB50D7 Time : 0.0 sec. user=mdettweiler [2013-01-19 14:55:26] 769*2^1239547-1 is not prime. Res64: E863AFC540F7E480 Time : 0.0 sec. user=mdettweiler [2013-01-19 14:58:22] 813*2^1239547-1 is not prime. Res64: 7CE9DBB822FDA9AF Time : 0.0 sec. user=mdettweiler [2013-01-19 14:58:22] 873*2^1239547-1 is not prime. Res64: C50EF128DD4EBD4A Time : 0.0 sec. user=mdettweiler [2013-01-19 15:12:58] 725*2^1239548-1 is not prime. Res64: 1A7F6D10909FCF39 Time : 0.0 sec. user=mdettweiler [2013-01-19 15:12:58] 749*2^1239548-1 is not prime. Res64: B93CEC469BA3035A Time : 0.0 sec. user=mdettweiler [2013-01-19 15:15:57] 813*2^1239548-1 is not prime. Res64: 8AA638025B6E51F1 Time : 0.0 sec. user=mdettweiler [2013-01-19 15:15:58] 963*2^1239548-1 is not prime. Res64: 5062C1BA186F8EDB Time : 0.0 sec. user=vaughan [2013-01-19 15:20:30] 939*2^1239547-1 is not prime. Res64: C8071CE7BF2F043B Time : 0.0 sec. user=mdettweiler [2013-01-19 15:30:26] 977*2^1239548-1 is not prime. Res64: 1E2CE5DD15BDCFE5 Time : 0.0 sec. user=mdettweiler [2013-01-19 15:30:28] 987*2^1239548-1 is not prime. Res64: 6BBA7070B90D7640 Time : 0.0 sec. user=mdettweiler [2013-01-19 15:33:25] 655*2^1239549-1 is not prime. Res64: 8DA4C694EB24C005 Time : 0.0 sec. user=mdettweiler [2013-01-19 15:33:26] 661*2^1239549-1 is not prime. Res64: 4003376BAC470F9C Time : 0.0 sec. user=mdettweiler [2013-01-19 15:47:56] 865*2^1239549-1 is not prime. Res64: 0E681CB16219EA0E Time : 0.0 sec. user=mdettweiler [2013-01-19 15:47:56] 997*2^1239549-1 is not prime. Res64: 80E6CC77A432DEBA Time : 0.0 sec. user=mdettweiler [2013-01-19 15:50:53] 603*2^1239550-1 is not prime. Res64: D1F8EECED9B4757A Time : 0.0 sec. user=mdettweiler [2013-01-19 15:50:53] 687*2^1239550-1 is not prime. Res64: F2371268A7F4E6F6 Time : 0.0 sec. user=mdettweiler [2013-01-19 16:08:25] 915*2^1239550-1 is not prime. Res64: B47523881CBD38DE Time : 0.0 sec. user=mdettweiler [2013-01-19 16:08:28] 957*2^1239550-1 is not prime. Res64: F085ADD9140DE95C Time : 0.0 sec. user=vaughan [2013-01-19 16:09:48] 835*2^1239549-1 is not prime. Res64: FD42BF8D8FD02555 Time : 0.0 sec. user=mdettweiler [2013-01-19 16:26:10] 661*2^1239551-1 is not prime. Res64: BEEA5F8FFD05768F Time : 0.0 sec. user=mdettweiler [2013-01-19 16:26:11] 669*2^1239551-1 is not prime. Res64: 0D7F35EAD24614B6 Time : 0.0 sec. user=mdettweiler [2013-01-19 16:27:44] 731*2^1239550-1 is not prime. Res64: 23227AB5BA0C601D Time : 0.0 sec. user=mdettweiler [2013-01-19 16:27:44] 857*2^1239550-1 is not prime. Res64: EF8744A015AD9CFF Time : 0.0 sec. user=gd_barnes [2013-01-19 16:41:28] 975*2^1239550-1 is not prime. Res64: E5DFB40BF360A236 Time : 0.0 sec. user=mdettweiler [2013-01-19 16:44:24] 843*2^1239551-1 is not prime. Res64: 6D3DC2D8F146FE39 Time : 0.0 sec. user=mdettweiler [2013-01-19 16:44:25] 885*2^1239551-1 is not prime. Res64: E879C75E0F74E918 Time : 0.0 sec. user=mdettweiler [2013-01-19 16:45:58] 949*2^1239551-1 is not prime. Res64: 2E2B7F6C051483C6 Time : 0.0 sec. user=mdettweiler [2013-01-19 16:45:59] 623*2^1239552-1 is not prime. Res64: 1659BFE62ED908C2 Time : 0.0 sec. user=vaughan [2013-01-19 16:47:46] 753*2^1239551-1 is not prime. Res64: E2E96171C87E98D4 Time : 0.0 sec. user=mdettweiler [2013-01-19 17:02:32] 627*2^1239552-1 is not prime. Res64: 0E823799CDCF4813 Time : 0.0 sec. user=mdettweiler [2013-01-19 17:02:33] 665*2^1239552-1 is not prime. Res64: 6E511AAB5A25AF0D Time : 0.0 sec. user=mdettweiler [2013-01-19 17:04:05] 747*2^1239552-1 is not prime. Res64: DEA4E18CB327A320 Time : 0.0 sec. user=mdettweiler [2013-01-19 17:04:07] 765*2^1239552-1 is not prime. Res64: B6D1EDFE84F1D56A Time : 0.0 sec. user=mdettweiler [2013-01-19 17:18:08] 769*2^1239553-1 is not prime. Res64: C2E640B81E25DCA8 Time : 0.0 sec. user=mdettweiler [2013-01-19 17:20:20] 857*2^1239552-1 is not prime. Res64: 8F71EC391D7E8E81 Time : 0.0 sec. user=mdettweiler [2013-01-19 17:20:21] 903*2^1239552-1 is not prime. Res64: 6ABB8A8B22BE6A77 Time : 0.0 sec. user=mdettweiler [2013-01-19 17:21:49] 917*2^1239552-1 is not prime. Res64: 6A47FA224CF0D03A Time : 0.0 sec. user=mdettweiler [2013-01-19 17:21:49] 609*2^1239553-1 is not prime. Res64: 2992EBB79BA39B88 Time : 0.0 sec. user=vaughan [2013-01-19 17:25:41] 809*2^1239552-1 is not prime. Res64: 8F90054DDEF84596 Time : 0.0 sec. user=mdettweiler [2013-01-19 17:37:51] 807*2^1239553-1 is not prime. Res64: 82724EE5A26BA661 Time : 0.0 sec. user=mdettweiler [2013-01-19 17:37:52] 937*2^1239553-1 is not prime. Res64: EB17AABEF4E90634 Time : 0.0 sec. user=mdettweiler [2013-01-19 17:39:15] 743*2^1239554-1 is not prime. Res64: C7BF8E6A1F0B1083 Time : 0.0 sec. user=mdettweiler [2013-01-19 17:39:16] 815*2^1239554-1 is not prime. Res64: 019294A97311E1DA Time : 0.0 sec. user=mdettweiler [2013-01-19 17:55:18] 903*2^1239554-1 is not prime. Res64: 264795E427A63B9A Time : 0.0 sec. user=mdettweiler [2013-01-19 17:55:19] 915*2^1239554-1 is not prime. Res64: 9AB785F829F7E39F Time : 0.0 sec. user=mdettweiler [2013-01-19 17:56:42] 945*2^1239554-1 is not prime. Res64: 228292F031DBE993 Time : 0.0 sec. user=mdettweiler [2013-01-19 17:56:43] 781*2^1239555-1 is not prime. Res64: 10E02C9608D8F72B Time : 0.0 sec. user=vaughan [2013-01-19 18:03:35] 873*2^1239554-1 is not prime. Res64: 58A077553C25EEE1 Time : 0.0 sec. user=mdettweiler [2013-01-19 18:12:48] 783*2^1239555-1 is not prime. Res64: 82BE1D7769687696 Time : 0.0 sec. user=mdettweiler [2013-01-19 18:12:49] 853*2^1239555-1 is not prime. Res64: 3168A3E283038B1E Time : 0.0 sec. user=mdettweiler [2013-01-19 18:14:11] 859*2^1239555-1 is not prime. Res64: 5BD7436030B6CA79 Time : 0.0 sec. user=mdettweiler [2013-01-19 18:14:12] 909*2^1239555-1 is not prime. Res64: F8A61D7FEAAAA429 Time : 0.0 sec. user=mdettweiler [2013-01-19 18:30:29] 705*2^1239556-1 is not prime. Res64: 3E2739E0376183A4 Time : 0.0 sec. user=mdettweiler [2013-01-19 18:30:29] 719*2^1239556-1 is not prime. Res64: F57C8C7074BBDEC3 Time : 0.0 sec. user=mdettweiler [2013-01-19 18:31:40] 783*2^1239556-1 is not prime. Res64: FB6CD1AECF2EBB70 Time : 0.0 sec. user=mdettweiler [2013-01-19 18:31:40] 845*2^1239556-1 is not prime. Res64: 1044DAD9FDBB893C Time : 0.0 sec. user=vaughan [2013-01-19 18:41:37] 951*2^1239555-1 is not prime. Res64: B046F5D66C1C5ADD Time : 0.0 sec. user=mdettweiler [2013-01-19 18:47:59] 601*2^1239557-1 is not prime. Res64: 4293B0D68715BFC8 Time : 0.0 sec. user=mdettweiler [2013-01-19 18:47:59] 669*2^1239557-1 is not prime. Res64: BC729507AE9E2115 Time : 0.0 sec. user=mdettweiler [2013-01-19 18:49:07] 741*2^1239557-1 is not prime. Res64: C983839EC5E34D1B Time : 0.0 sec. user=mdettweiler [2013-01-19 18:49:08] 771*2^1239557-1 is not prime. Res64: 2A51E12AF95A8965 Time : 0.0 sec. user=mdettweiler [2013-01-19 19:05:25] 867*2^1239557-1 is not prime. Res64: 985C9BE026C3D623 Time : 0.0 sec. user=mdettweiler [2013-01-19 19:05:26] 693*2^1239558-1 is not prime. Res64: 3AE8AC4EDAE71696 Time : 0.0 sec. user=mdettweiler [2013-01-19 19:06:34] 711*2^1239558-1 is not prime. Res64: 76D96FF2716CC0E2 Time : 0.0 sec. user=mdettweiler [2013-01-19 19:06:35] 737*2^1239558-1 is not prime. Res64: 142EFFAA64290BFE Time : 0.0 sec. user=vaughan [2013-01-19 19:19:34] 837*2^1239557-1 is not prime. Res64: 5C3E26466156B879 Time : 0.0 sec. user=mdettweiler [2013-01-19 19:22:57] 761*2^1239558-1 is not prime. Res64: C86D49D68035C8CB Time : 0.0 sec. user=mdettweiler [2013-01-19 19:22:57] 921*2^1239558-1 is not prime. Res64: 60E14682A778852C Time : 0.0 sec. user=mdettweiler [2013-01-19 19:24:01] 933*2^1239558-1 is not prime. Res64: 6F34B929C0211802 Time : 0.0 sec. user=mdettweiler [2013-01-19 19:24:01] 703*2^1239559-1 is not prime. Res64: 091D0CE4961B269F Time : 0.0 sec. user=mdettweiler [2013-01-19 19:40:23] 635*2^1239560-1 is not prime. Res64: CE82EDFD910B97DB Time : 0.0 sec. user=mdettweiler [2013-01-19 19:40:23] 669*2^1239560-1 is not prime. Res64: 89236D53A3E3158E Time : 0.0 sec. user=mdettweiler [2013-01-19 19:41:27] 699*2^1239560-1 is not prime. Res64: CDBCABE0163D4BFE Time : 0.0 sec. user=mdettweiler [2013-01-19 19:41:27] 747*2^1239560-1 is not prime. Res64: D6ECA3E90B8207CB Time : 0.0 sec. user=vaughan [2013-01-19 19:57:29] 855*2^1239559-1 is not prime. Res64: F31007E8C80A90B4 Time : 0.0 sec. user=mdettweiler [2013-01-19 19:57:53] 767*2^1239560-1 is not prime. Res64: E0FBB19588D2C7AB Time : 0.0 sec. user=mdettweiler [2013-01-19 19:57:53] 833*2^1239560-1 is not prime. Res64: C0C6C408DC2053A4 Time : 0.0 sec. user=mdettweiler [2013-01-19 19:58:54] 957*2^1239560-1 is not prime. Res64: 334368B7D9F0B291 Time : 0.0 sec. user=mdettweiler [2013-01-19 19:58:54] 745*2^1239561-1 is not prime. Res64: B6DD5820750E95F5 Time : 0.0 sec. user=mdettweiler [2013-01-19 20:15:24] 705*2^1239562-1 is not prime. Res64: 53C4C5D2B8946BCC Time : 0.0 sec. user=mdettweiler [2013-01-19 20:15:27] 755*2^1239562-1 is not prime. Res64: 46FF0FBC8F90F004 Time : 0.0 sec. user=mdettweiler [2013-01-19 20:16:25] 803*2^1239562-1 is not prime. Res64: 610697D55FC7B4B4 Time : 0.0 sec. user=mdettweiler [2013-01-19 20:16:26] 825*2^1239562-1 is not prime. Res64: 83D7A2907964C34D Time : 0.0 sec. user=mdettweiler [2013-01-19 20:33:31] 945*2^1239562-1 is not prime. Res64: 0744D31CD5DE3541 Time : 0.0 sec. user=mdettweiler [2013-01-19 20:33:32] 983*2^1239562-1 is not prime. Res64: 40D62631486906B6 Time : 0.0 sec. user=mdettweiler [2013-01-19 20:34:20] 631*2^1239563-1 is not prime. Res64: 2C135B9987AA7373 Time : 0.0 sec. user=mdettweiler [2013-01-19 20:34:20] 669*2^1239563-1 is not prime. Res64: 5EEA830A1F7B511F Time : 0.0 sec. user=vaughan [2013-01-19 20:35:22] 623*2^1239562-1 is not prime. Res64: F8FF0736CE13A848 Time : 0.0 sec. user=mdettweiler [2013-01-19 20:51:02] 685*2^1239563-1 is not prime. Res64: FEAA4EEC3DE3EF34 Time : 0.0 sec. user=mdettweiler [2013-01-19 20:51:02] 819*2^1239563-1 is not prime. Res64: 13625E293E41EC61 Time : 0.0 sec. user=mdettweiler [2013-01-19 20:51:50] 913*2^1239563-1 is not prime. Res64: 54A68BC06621EF15 Time : 0.0 sec. user=mdettweiler [2013-01-19 20:51:50] 943*2^1239563-1 is not prime. Res64: 587223DAC996F198 Time : 0.0 sec. user=mdettweiler [2013-01-19 21:09:04] 963*2^1239563-1 is not prime. Res64: A406A076B3F7B5B1 Time : 0.0 sec. user=mdettweiler [2013-01-19 21:09:05] 981*2^1239563-1 is not prime. Res64: F5028C21F921D473 Time : 0.0 sec. user=mdettweiler [2013-01-19 21:09:53] 627*2^1239564-1 is not prime. Res64: C2159D249A1E5281 Time : 0.0 sec. user=mdettweiler [2013-01-19 21:09:54] 663*2^1239564-1 is not prime. Res64: 195952289230DEE9 Time : 0.0 sec. user=vaughan [2013-01-19 21:13:17] 955*2^1239563-1 is not prime. Res64: A4EA49700773CAA6 Time : 0.0 sec. user=mdettweiler [2013-01-19 21:27:18] 693*2^1239564-1 is not prime. Res64: FE599D63E12CA98F Time : 0.0 sec. user=mdettweiler [2013-01-19 21:27:19] 893*2^1239564-1 is not prime. Res64: 2C8CB1103A6E77B2 Time : 0.0 sec. user=mdettweiler [2013-01-19 21:28:11] 915*2^1239564-1 is not prime. Res64: D1E1F3FCF6F2A2EA Time : 0.0 sec. user=mdettweiler [2013-01-19 21:28:12] 965*2^1239564-1 is not prime. Res64: C9DA7F5F8CD2674E Time : 0.0 sec. user=mdettweiler [2013-01-19 21:45:35] 609*2^1239565-1 is not prime. Res64: 54FA526C154A077A Time : 0.0 sec. user=mdettweiler [2013-01-19 21:45:35] 667*2^1239565-1 is not prime. Res64: 21DE2A9E44BAFED9 Time : 0.0 sec. user=mdettweiler [2013-01-19 21:46:26] 699*2^1239565-1 is not prime. Res64: 979BFAE1E4F7910B Time : 0.0 sec. user=mdettweiler [2013-01-19 21:46:27] 729*2^1239565-1 is not prime. Res64: 7B94D3C41C106CE3 Time : 0.0 sec. user=vaughan [2013-01-19 21:51:18] 983*2^1239564-1 is not prime. Res64: 92FDDF0810ECE2C0 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:03:48] 751*2^1239565-1 is not prime. Res64: A9A0EEFB0C44AC74 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:03:50] 897*2^1239565-1 is not prime. Res64: 2D35C7B85840CA61 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:04:39] 623*2^1239566-1 is not prime. Res64: 4B9C39F956FAC150 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:04:41] 645*2^1239566-1 is not prime. Res64: 547465DE2EF88759 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:22:19] 693*2^1239566-1 is not prime. Res64: 83645A63668C5A92 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:22:19] 831*2^1239566-1 is not prime. Res64: 7BE988E850181022 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:23:04] 897*2^1239566-1 is not prime. Res64: A956C7E6E6DFC424 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:23:04] 953*2^1239566-1 is not prime. Res64: D02CBC295937C4FD Time : 0.0 sec. user=vaughan [2013-01-19 22:29:11] 651*2^1239566-1 is not prime. Res64: DADB85C98C600C4F Time : 0.0 sec. user=mdettweiler [2013-01-19 22:40:33] 1001*2^1239566-1 is not prime. Res64: F61C736F62A9198F Time : 0.0 sec. user=mdettweiler [2013-01-19 22:40:33] 619*2^1239567-1 is not prime. Res64: 0464529DBECE8065 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:41:20] 691*2^1239567-1 is not prime. Res64: EEADC2404C286183 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:41:20] 873*2^1239567-1 is not prime. Res64: 7964328733820F2E Time : 0.0 sec. user=mdettweiler [2013-01-19 22:58:44] 961*2^1239567-1 is not prime. Res64: 6D6752F7E6E9FB08 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:58:44] 963*2^1239567-1 is not prime. Res64: 3828B96A4CE35EE8 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:59:29] 665*2^1239568-1 is not prime. Res64: B2FD715924BF61B7 Time : 0.0 sec. user=mdettweiler [2013-01-19 22:59:30] 687*2^1239568-1 is not prime. Res64: AE9708B9A73BA57B Time : 0.0 sec. user=vaughan [2013-01-19 23:07:07] 913*2^1239567-1 is not prime. Res64: BC05B594D639BBCF Time : 0.0 sec. user=mdettweiler [2013-01-19 23:16:43] 695*2^1239568-1 is not prime. Res64: B9AEED4844B72C7D Time : 0.0 sec. user=mdettweiler [2013-01-19 23:16:43] 797*2^1239568-1 is not prime. Res64: 60B6586EC802FD9E Time : 0.0 sec. user=mdettweiler [2013-01-19 23:17:28] 899*2^1239568-1 is not prime. Res64: A9D0D9F3E78CA4F0 Time : 0.0 sec. user=mdettweiler [2013-01-19 23:17:29] 947*2^1239568-1 is not prime. Res64: A44D6471DAD7EA63 Time : 0.0 sec. user=mdettweiler [2013-01-19 23:34:42] 631*2^1239569-1 is not prime. Res64: 7FA2E609282F0712 Time : 0.0 sec. user=mdettweiler [2013-01-19 23:34:42] 657*2^1239569-1 is not prime. Res64: B54B883EE0245EBB Time : 0.0 sec. user=mdettweiler [2013-01-19 23:35:23] 735*2^1239569-1 is not prime. Res64: 0C17C26AA959F3C0 Time : 0.0 sec. user=mdettweiler [2013-01-19 23:35:23] 789*2^1239569-1 is not prime. Res64: E106BEB3974799CD Time : 0.0 sec. user=vaughan [2013-01-19 23:45:08] 989*2^1239568-1 is not prime. Res64: BAE87EFE444C3C10 Time : 0.0 sec. user=mdettweiler [2013-01-19 23:52:51] 811*2^1239569-1 is not prime. Res64: DCC8EFD77477C9C3 Time : 0.0 sec. user=mdettweiler [2013-01-19 23:52:52] 855*2^1239569-1 is not prime. Res64: 8E164B7AA0A4DF9E Time : 0.0 sec. user=mdettweiler [2013-01-19 23:53:18] 865*2^1239569-1 is not prime. Res64: 078860771CBC5C81 Time : 0.0 sec. user=mdettweiler [2013-01-19 23:53:19] 907*2^1239569-1 is not prime. Res64: C483DE9D6AA90F9E Time : 0.0 sec.