user=mdettweiler [2012-08-29 00:07:40] 759*2^1227217-1 is not prime. Res64: DE024FA0D38119EB Time : 0.0 sec. user=mdettweiler [2012-08-29 00:12:52] 869*2^1227736-1 is not prime. Res64: 2518BDD4BAF33555 Time : 0.0 sec. user=mdettweiler [2012-08-29 00:12:55] 675*2^1227737-1 is not prime. Res64: DFECB01AD47F7142 Time : 0.0 sec. user=vaughan [2012-08-29 00:13:14] 751*2^1227217-1 is not prime. Res64: D6027F757EFE1E58 Time : 0.0 sec. user=mdettweiler [2012-08-29 00:13:23] 705*2^1227738-1 is not prime. Res64: 62A123CE79D7E2FD Time : 0.0 sec. user=mdettweiler [2012-08-29 00:13:24] 711*2^1227738-1 is not prime. Res64: 802B9CC62FFA4AFB Time : 0.0 sec. user=mdettweiler [2012-08-29 00:19:00] 625*2^1227739-1 is not prime. Res64: 4400C048B9A1EDF7 Time : 0.0 sec. user=mdettweiler [2012-08-29 00:19:52] 649*2^1227739-1 is not prime. Res64: 00224317BB4467D9 Time : 0.0 sec. user=mdettweiler [2012-08-29 00:19:53] 663*2^1227739-1 is not prime. Res64: 7B32610B28E4FE3B Time : 0.0 sec. user=mdettweiler [2012-08-29 00:19:53] 691*2^1227739-1 is not prime. Res64: AC7CE509AD78FB2A Time : 0.0 sec. user=mdettweiler [2012-08-29 00:19:54] 703*2^1227739-1 is not prime. Res64: AB593AEEDB8BAC2A Time : 0.0 sec. user=mdettweiler [2012-08-29 00:40:03] 733*2^1227739-1 is not prime. Res64: F43BBE7AAAEE6628 Time : 0.0 sec. user=gd_barnes [2012-08-29 00:40:32] 751*2^1227739-1 is not prime. Res64: B827B23B6BD51586 Time : 0.0 sec. user=gd_barnes [2012-08-29 00:40:32] 841*2^1227739-1 is not prime. Res64: 1ECFF84BFB103B2A Time : 0.0 sec. user=mdettweiler [2012-08-29 00:40:50] 609*2^1227740-1 is not prime. Res64: AD579758500BDF69 Time : 0.0 sec. user=mdettweiler [2012-08-29 00:40:51] 677*2^1227740-1 is not prime. Res64: A0440C9BDDF23F36 Time : 0.0 sec. user=mdettweiler [2012-08-29 00:40:52] 797*2^1227740-1 is not prime. Res64: 33C2D532D6AA1FBF Time : 0.0 sec. user=mdettweiler [2012-08-29 00:40:52] 855*2^1227740-1 is not prime. Res64: 088FA8DB92C8EBA1 Time : 0.0 sec. user=vaughan [2012-08-29 00:51:10] 909*2^1227739-1 is not prime. Res64: 948E692D7A959474 Time : 0.0 sec. user=mdettweiler [2012-08-29 00:51:23] 603*2^1227740-1 is not prime. Res64: 0D96BF873C377D4D Time : 0.0 sec. user=mdettweiler [2012-08-29 01:01:21] 691*2^1227741-1 is not prime. Res64: A30E1207E9BA3B3C Time : 0.0 sec. user=mdettweiler [2012-08-29 01:01:22] 709*2^1227741-1 is not prime. Res64: C3471EBF383B9AD8 Time : 0.0 sec. user=mdettweiler [2012-08-29 01:01:22] 735*2^1227741-1 is not prime. Res64: 966961B39570B8DD Time : 0.0 sec. user=mdettweiler [2012-08-29 01:01:23] 745*2^1227741-1 is not prime. Res64: A852A644B7E381C0 Time : 0.0 sec. user=mdettweiler [2012-08-29 01:11:50] 651*2^1227741-1 is not prime. Res64: 3BE2858EF42DCD6A Time : 0.0 sec. user=mdettweiler [2012-08-29 01:22:07] 955*2^1227741-1 is not prime. Res64: 507BA16A7ECD655A Time : 0.0 sec. user=mdettweiler [2012-08-29 01:22:07] 665*2^1227742-1 is not prime. Res64: 8689DB22300F8659 Time : 0.0 sec. user=mdettweiler [2012-08-29 01:22:08] 731*2^1227742-1 is not prime. Res64: 6DA300359AE752BC Time : 0.0 sec. user=mdettweiler [2012-08-29 01:22:09] 737*2^1227742-1 is not prime. Res64: C33341063877D3AD Time : 0.0 sec. user=mdettweiler [2012-08-29 01:23:14] 895*2^1227741-1 is not prime. Res64: FB733EFF2715DDBF Time : 0.0 sec. user=vaughan [2012-08-29 01:28:51] 835*2^1227741-1 is not prime. Res64: 7940CB80A57A0509 Time : 0.0 sec. user=mdettweiler [2012-08-29 01:42:40] 873*2^1227742-1 is not prime. Res64: E18A73E34DCA24AC Time : 0.0 sec. user=mdettweiler [2012-08-29 01:42:40] 957*2^1227742-1 is not prime. Res64: 9FF36D4A68BCF0FA Time : 0.0 sec. user=mdettweiler [2012-08-29 01:42:41] 965*2^1227742-1 is not prime. Res64: 5436BD9CC3247FF4 Time : 0.0 sec. user=mdettweiler [2012-08-29 01:42:42] 715*2^1227743-1 is not prime. Res64: 1ECC29FA42EA06FF Time : 0.0 sec. user=mdettweiler [2012-08-29 01:44:45] 863*2^1227742-1 is not prime. Res64: 96577D8F3133F856 Time : 0.0 sec. user=mdettweiler [2012-08-29 01:56:07] 771*2^1227743-1 is not prime. Res64: 565814D3AC9FCABB Time : 0.0 sec. user=mdettweiler [2012-08-29 02:03:11] 813*2^1227743-1 is not prime. Res64: A6D68CE351CF74F2 Time : 0.0 sec. user=mdettweiler [2012-08-29 02:03:12] 859*2^1227743-1 is not prime. Res64: 861C9FEE54D388B0 Time : 0.0 sec. user=mdettweiler [2012-08-29 02:03:12] 955*2^1227743-1 is not prime. Res64: FC2259E40B8E042F Time : 0.0 sec. user=mdettweiler [2012-08-29 02:03:12] 605*2^1227744-1 is not prime. Res64: C60BE6848B189666 Time : 0.0 sec. user=vaughan [2012-08-29 02:06:35] 775*2^1227743-1 is not prime. Res64: AF9279DF9AEC365B Time : 0.0 sec. user=mdettweiler [2012-08-29 02:16:28] 623*2^1227744-1 is not prime. Res64: 9597F138F0FA61C3 Time : 0.0 sec. user=mdettweiler [2012-08-29 02:23:47] 993*2^1227744-1 is not prime. Res64: 7222E462376568EA Time : 0.0 sec. user=mdettweiler [2012-08-29 02:23:47] 775*2^1227745-1 is not prime. Res64: 5352CCBE25E20A8C Time : 0.0 sec. user=mdettweiler [2012-08-29 02:23:47] 661*2^1227745-1 is not prime. Res64: 3AF56690ABEBDC77 Time : 0.0 sec. user=mdettweiler [2012-08-29 02:23:48] 831*2^1227745-1 is not prime. Res64: BF3CAD4A458EC2AA Time : 0.0 sec. user=mdettweiler [2012-08-29 02:28:31] 809*2^1227744-1 is not prime. Res64: 8A40DC2AEFAA4E36 Time : 0.0 sec. user=mdettweiler [2012-08-29 02:44:18] 735*2^1227746-1 is not prime. Res64: 4CE2D5C93A40AE86 Time : 0.0 sec. user=vaughan [2012-08-29 02:44:19] 841*2^1227745-1 is not prime. Res64: 240E6E8556BC3770 Time : 0.0 sec. user=mdettweiler [2012-08-29 02:44:19] 813*2^1227746-1 is not prime. Res64: 7DA2792F20EAD045 Time : 0.0 sec. user=mdettweiler [2012-08-29 02:44:20] 783*2^1227746-1 is not prime. Res64: CC8BD03C36826C00 Time : 0.0 sec. user=mdettweiler [2012-08-29 02:44:21] 867*2^1227746-1 is not prime. Res64: 27BA57DACB28315F Time : 0.0 sec. user=mdettweiler [2012-08-29 02:48:43] 909*2^1227745-1 is not prime. Res64: EA912F6BFFD7AA0C Time : 0.0 sec. user=mdettweiler [2012-08-29 03:00:45] 887*2^1227746-1 is not prime. Res64: C9B9E4E842E890A5 Time : 0.0 sec. user=mdettweiler [2012-08-29 03:05:16] 903*2^1227746-1 is not prime. Res64: 83BF8B9004246810 Time : 0.0 sec. user=mdettweiler [2012-08-29 03:05:18] 633*2^1227747-1 is not prime. Res64: 34FFF5F49F47B90F Time : 0.0 sec. user=mdettweiler [2012-08-29 03:05:20] 711*2^1227747-1 is not prime. Res64: 27A4ED93F9018071 Time : 0.0 sec. user=mdettweiler [2012-08-29 03:05:22] 775*2^1227747-1 is not prime. Res64: 6438DFDE2C99B5B6 Time : 0.0 sec. user=juhehe [2012-08-29 03:09:27] 999*2^1227745-1 is not prime. Res64: 4924FB3155EE60AA Time : 0.0 sec. user=mdettweiler [2012-08-29 03:20:24] 843*2^1227747-1 is not prime. Res64: 2F4711FE17C21222 Time : 0.0 sec. user=vaughan [2012-08-29 03:22:34] 835*2^1227747-1 is not prime. Res64: D9CED1F1CB5D6911 Time : 0.0 sec. user=mdettweiler [2012-08-29 03:25:51] 871*2^1227747-1 is not prime. Res64: B409C256B2298FF8 Time : 0.0 sec. user=mdettweiler [2012-08-29 03:25:52] 949*2^1227747-1 is not prime. Res64: 0C7713A4D6AABB52 Time : 0.0 sec. user=mdettweiler [2012-08-29 03:25:56] 615*2^1227748-1 is not prime. Res64: F984587E6A4812A2 Time : 0.0 sec. user=mdettweiler [2012-08-29 03:25:57] 783*2^1227748-1 is not prime. Res64: 8E403145DCCC1F04 Time : 0.0 sec. user=mdettweiler [2012-08-29 03:32:27] 849*2^1227747-1 is not prime. Res64: A311F0BA87ABF148 Time : 0.0 sec. user=mdettweiler [2012-08-29 03:46:22] 711*2^1227749-1 is not prime. Res64: 1845586893BF8533 Time : 0.0 sec. user=mdettweiler [2012-08-29 03:46:23] 771*2^1227749-1 is not prime. Res64: 9255800C7FBE0952 Time : 0.0 sec. user=mdettweiler [2012-08-29 03:46:28] 811*2^1227749-1 is not prime. Res64: 441BA059437E2F6A Time : 0.0 sec. user=mdettweiler [2012-08-29 03:46:28] 939*2^1227749-1 is not prime. Res64: BFE86364EFE5ACDB Time : 0.0 sec. user=mdettweiler [2012-08-29 03:52:45] 875*2^1227748-1 is not prime. Res64: 8F58F3A72089B0F5 Time : 0.0 sec. user=vaughan [2012-08-29 04:00:18] 923*2^1227748-1 is not prime. Res64: FA6CDC91C36B68AE Time : 0.0 sec. user=mdettweiler [2012-08-29 04:04:32] 641*2^1227750-1 is not prime. Res64: 361B180B6628572E Time : 0.0 sec. user=mdettweiler [2012-08-29 04:06:55] 647*2^1227750-1 is not prime. Res64: 7F33E2605B11381E Time : 0.0 sec. user=mdettweiler [2012-08-29 04:06:58] 755*2^1227750-1 is not prime. Res64: BF70A8A93E587E06 Time : 0.0 sec. user=mdettweiler [2012-08-29 04:07:00] 963*2^1227750-1 is not prime. Res64: F40362C97711BDFE Time : 0.0 sec. user=mdettweiler [2012-08-29 04:07:01] 621*2^1227751-1 is not prime. Res64: E1D2B4B450A1E8DD Time : 0.0 sec. user=mdettweiler [2012-08-29 04:24:23] 681*2^1227751-1 is not prime. Res64: 81052063C033BF7B Time : 0.0 sec. user=mdettweiler [2012-08-29 04:27:35] 931*2^1227751-1 is not prime. Res64: 70CBC9ED3FF8617F Time : 0.0 sec. user=mdettweiler [2012-08-29 04:27:35] 943*2^1227751-1 is not prime. Res64: A4F93376523F4066 Time : 0.0 sec. user=mdettweiler [2012-08-29 04:27:39] 629*2^1227752-1 is not prime. Res64: A3B99570B5E16D14 Time : 0.0 sec. user=mdettweiler [2012-08-29 04:27:40] 645*2^1227752-1 is not prime. Res64: 2BB2F899F16ED6EA Time : 0.0 sec. user=mdettweiler [2012-08-29 04:37:28] 871*2^1227751-1 is not prime. Res64: 5ECB46B0B7F52081 Time : 0.0 sec. user=vaughan [2012-08-29 04:38:08] 811*2^1227751-1 is not prime. Res64: 10E6A2D30DEB104E Time : 0.0 sec. user=mdettweiler [2012-08-29 04:48:05] 767*2^1227752-1 is not prime. Res64: 392A46C5045BB861 Time : 0.0 sec. user=mdettweiler [2012-08-29 04:48:06] 803*2^1227752-1 is not prime. Res64: 8E63DD04A3AAA60D Time : 0.0 sec. user=mdettweiler [2012-08-29 04:48:10] 903*2^1227752-1 is not prime. Res64: 489118E97E38C13F Time : 0.0 sec. user=mdettweiler [2012-08-29 04:48:11] 957*2^1227752-1 is not prime. Res64: B8C20ED6D78D581E Time : 0.0 sec. user=mdettweiler [2012-08-29 04:55:53] 665*2^1227752-1 is not prime. Res64: A756B9E261C7C5D3 Time : 0.0 sec. user=mdettweiler [2012-08-29 05:08:38] 705*2^1227753-1 is not prime. Res64: 03346427E67E4D11 Time : 0.0 sec. user=mdettweiler [2012-08-29 05:08:39] 623*2^1227754-1 is not prime. Res64: 88155681CBA55454 Time : 0.0 sec. user=mdettweiler [2012-08-29 05:08:42] 663*2^1227754-1 is not prime. Res64: 28FD5C4992D3260F Time : 0.0 sec. user=mdettweiler [2012-08-29 05:08:43] 717*2^1227754-1 is not prime. Res64: 41F9433789819CF8 Time : 0.0 sec. user=mdettweiler [2012-08-29 05:09:46] 639*2^1227753-1 is not prime. Res64: 69B009015BAFC55B Time : 0.0 sec. user=vaughan [2012-08-29 05:15:56] 657*2^1227753-1 is not prime. Res64: EE11748D4D659506 Time : 0.0 sec. user=mdettweiler [2012-08-29 05:27:30] 755*2^1227754-1 is not prime. Res64: 0DB9FA07EA4D3A6E Time : 0.0 sec. user=mdettweiler [2012-08-29 05:29:17] 773*2^1227754-1 is not prime. Res64: D9547104D6E79EB9 Time : 0.0 sec. user=mdettweiler [2012-08-29 05:29:17] 815*2^1227754-1 is not prime. Res64: CCB3DA3ABBCCA513 Time : 0.0 sec. user=mdettweiler [2012-08-29 05:29:17] 821*2^1227754-1 is not prime. Res64: 09409F2F16599F85 Time : 0.0 sec. user=mdettweiler [2012-08-29 05:29:18] 827*2^1227754-1 is not prime. Res64: 977A0A1BCA64FA0C Time : 0.0 sec. user=mdettweiler [2012-08-29 05:42:03] 861*2^1227754-1 is not prime. Res64: 3A7586420252F4EF Time : 0.0 sec. user=mdettweiler [2012-08-29 05:49:47] 789*2^1227755-1 is not prime. Res64: C8B36D6AFD5C2D60 Time : 0.0 sec. user=mdettweiler [2012-08-29 05:49:47] 805*2^1227755-1 is not prime. Res64: 41BBDB2832B71667 Time : 0.0 sec. user=mdettweiler [2012-08-29 05:49:48] 969*2^1227755-1 is not prime. Res64: 43137737EC0D8289 Time : 0.0 sec. user=mdettweiler [2012-08-29 05:49:49] 991*2^1227755-1 is not prime. Res64: CDC2DD772C1DA9DC Time : 0.0 sec. user=vaughan [2012-08-29 05:53:47] 945*2^1227754-1 is not prime. Res64: EBC9B9207A76000F Time : 0.0 sec. user=mdettweiler [2012-08-29 05:59:18] 705*2^1227755-1 is not prime. Res64: 542FB9E23C647837 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:10:19] 705*2^1227756-1 is not prime. Res64: 345E2B5B43AA09A4 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:10:21] 723*2^1227756-1 is not prime. Res64: 721E41E40EC4F079 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:10:22] 707*2^1227756-1 is not prime. Res64: 851E8423804B99F2 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:10:25] 777*2^1227756-1 is not prime. Res64: B151FB68E4DCC283 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:13:33] 647*2^1227756-1 is not prime. Res64: 6837E777BA3B8B67 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:31:00] 661*2^1227757-1 is not prime. Res64: 352E4BA996EAC2E7 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:31:00] 871*2^1227757-1 is not prime. Res64: 69E020EBECF2AB88 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:31:01] 919*2^1227757-1 is not prime. Res64: 1952BD80C30A3981 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:31:01] 927*2^1227757-1 is not prime. Res64: 7A87EF1B4211C4CF Time : 0.0 sec. user=vaughan [2012-08-29 06:31:29] 803*2^1227756-1 is not prime. Res64: 64243B8BFC662FC8 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:31:43] 983*2^1227756-1 is not prime. Res64: 57684499E76570A4 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:45:10] 939*2^1227757-1 is not prime. Res64: C60B6AE76F0D84AE Time : 0.0 sec. user=mdettweiler [2012-08-29 06:51:32] 961*2^1227757-1 is not prime. Res64: E8183EE81BBD3455 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:51:32] 665*2^1227758-1 is not prime. Res64: 12CA2ACA407159BA Time : 0.0 sec. user=mdettweiler [2012-08-29 06:51:32] 641*2^1227758-1 is not prime. Res64: 06159CFD141BDDE4 Time : 0.0 sec. user=mdettweiler [2012-08-29 06:51:33] 773*2^1227758-1 is not prime. Res64: 7E64265EE836B662 Time : 0.0 sec. user=mdettweiler [2012-08-29 07:03:38] 953*2^1227758-1 is not prime. Res64: DDF61EF5E82DAC16 Time : 0.0 sec. user=vaughan [2012-08-29 07:09:10] 911*2^1227758-1 is not prime. Res64: 3EE147C9E2BDFCD9 Time : 0.0 sec. user=mdettweiler [2012-08-29 07:12:05] 723*2^1227759-1 is not prime. Res64: 524A6E31ED3BB06E Time : 0.0 sec. user=mdettweiler [2012-08-29 07:12:06] 829*2^1227759-1 is not prime. Res64: 5D1CC813C947EF77 Time : 0.0 sec. user=mdettweiler [2012-08-29 07:12:07] 795*2^1227759-1 is not prime. Res64: 6C005FC279DA6F73 Time : 0.0 sec. user=mdettweiler [2012-08-29 07:12:08] 879*2^1227759-1 is not prime. Res64: 2CF22881CB9326C4 Time : 0.0 sec. user=mdettweiler [2012-08-29 07:16:46] 971*2^1227758-1 is not prime. Res64: 4141E515963F35B7 Time : 0.0 sec. user=mdettweiler [2012-08-29 07:32:44] 875*2^1227760-1 is not prime. Res64: 53C5583B2DF8A38D Time : 0.0 sec. user=mdettweiler [2012-08-29 07:32:44] 899*2^1227760-1 is not prime. Res64: 80BA0426DB95DDC6 Time : 0.0 sec. user=mdettweiler [2012-08-29 07:32:48] 905*2^1227760-1 is not prime. Res64: 9567411E18566D6F Time : 0.0 sec. user=mdettweiler [2012-08-29 07:32:48] 649*2^1227761-1 is not prime. Res64: 95EA080DBBEE4B0F Time : 0.0 sec. user=mdettweiler [2012-08-29 07:36:17] 885*2^1227759-1 is not prime. Res64: 78A34B989601BB3D Time : 0.0 sec. user=vaughan [2012-08-29 07:46:55] 919*2^1227759-1 is not prime. Res64: D196FCB3764A5F4B Time : 0.0 sec. user=mdettweiler [2012-08-29 07:47:45] 747*2^1227761-1 is not prime. Res64: 5D39121B3211A713 Time : 0.0 sec. user=mdettweiler [2012-08-29 07:53:15] 789*2^1227761-1 is not prime. Res64: E1386BAB6A01209B Time : 0.0 sec. user=mdettweiler [2012-08-29 07:53:16] 795*2^1227761-1 is not prime. Res64: 17FAA38E091E2422 Time : 0.0 sec. user=mdettweiler [2012-08-29 07:53:18] 945*2^1227761-1 is not prime. Res64: 1C84EC28FCB5DBC4 Time : 0.0 sec. user=mdettweiler [2012-08-29 07:53:19] 981*2^1227761-1 is not prime. Res64: A84B8CEC4CFC7E53 Time : 0.0 sec. user=mdettweiler [2012-08-29 08:08:18] 671*2^1227762-1 is not prime. Res64: 145E7F928EFA8E15 Time : 0.0 sec. user=mdettweiler [2012-08-29 08:13:46] 777*2^1227762-1 is not prime. Res64: 4A477EC8E2C235E9 Time : 0.0 sec. user=mdettweiler [2012-08-29 08:13:47] 893*2^1227762-1 is not prime. Res64: 66A78208C264BACC Time : 0.0 sec. user=mdettweiler [2012-08-29 08:13:49] 917*2^1227762-1 is not prime. Res64: 06363D893FFC58A6 Time : 0.0 sec. user=mdettweiler [2012-08-29 08:13:51] 923*2^1227762-1 is not prime. Res64: DD2C251058A3FD52 Time : 0.0 sec. user=mdettweiler [2012-08-29 08:19:40] 765*2^1227762-1 is not prime. Res64: DB84174350ADA564 Time : 0.0 sec. user=vaughan [2012-08-29 08:24:38] 747*2^1227762-1 is not prime. Res64: 064006FD1753B6EA Time : 0.0 sec. user=mdettweiler [2012-08-29 08:34:26] 703*2^1227763-1 is not prime. Res64: C9F9D53AB0B980F8 Time : 0.0 sec. user=mdettweiler [2012-08-29 08:34:27] 735*2^1227763-1 is not prime. Res64: B5198AD7388E8A80 Time : 0.0 sec. user=mdettweiler [2012-08-29 08:34:30] 745*2^1227763-1 is not prime. Res64: 57DADD5D8DC84886 Time : 0.0 sec. user=mdettweiler [2012-08-29 08:34:31] 775*2^1227763-1 is not prime. Res64: 69773D8BBE301B1F Time : 0.0 sec. user=mdettweiler [2012-08-29 08:40:24] 1001*2^1227762-1 is not prime. Res64: 2E8E1F37ECB40B54 Time : 0.0 sec. user=mdettweiler [2012-08-29 08:51:36] 793*2^1227763-1 is not prime. Res64: 57DB78BE88DBB8B8 Time : 0.0 sec. user=juhehe [2012-08-29 08:53:29] 663*2^1227763-1 is not prime. Res64: B9ACB23E98127A7A Time : 0.0 sec. user=mdettweiler [2012-08-29 08:55:00] 859*2^1227763-1 is not prime. Res64: 4A428E6D4DA304FA Time : 0.0 sec. user=mdettweiler [2012-08-29 08:55:00] 961*2^1227763-1 is not prime. Res64: A43C40E7AF78E32C Time : 0.0 sec. user=mdettweiler [2012-08-29 08:55:03] 719*2^1227764-1 is not prime. Res64: F9F26A7989428B7D Time : 0.0 sec. user=mdettweiler [2012-08-29 08:55:03] 825*2^1227764-1 is not prime. Res64: 7853454A2C1771C8 Time : 0.0 sec. user=vaughan [2012-08-29 09:02:28] 853*2^1227763-1 is not prime. Res64: A6DE3054A51F5590 Time : 0.0 sec. user=mdettweiler [2012-08-29 09:12:14] 929*2^1227764-1 is not prime. Res64: C3C49719A6F904AF Time : 0.0 sec. user=mdettweiler [2012-08-29 09:15:31] 651*2^1227765-1 is not prime. Res64: F6422FDB20BDEB96 Time : 0.0 sec. user=mdettweiler [2012-08-29 09:15:31] 657*2^1227765-1 is not prime. Res64: A26F6D56B3F9B16C Time : 0.0 sec. user=mdettweiler [2012-08-29 09:15:33] 685*2^1227765-1 is not prime. Res64: A38D8238C4BFA1C7 Time : 0.0 sec. user=mdettweiler [2012-08-29 09:15:34] 709*2^1227765-1 is not prime. Res64: 44F309EC106C4C21 Time : 0.0 sec. user=mdettweiler [2012-08-29 09:24:09] 957*2^1227764-1 is not prime. Res64: 3734D63DD33195D7 Time : 0.0 sec. user=mdettweiler [2012-08-29 09:36:30] 991*2^1227765-1 is not prime. Res64: 2A52F2B47FA8B753 Time : 0.0 sec. user=mdettweiler [2012-08-29 09:36:30] 997*2^1227765-1 is not prime. Res64: BF30C5806546AC3F Time : 0.0 sec. user=mdettweiler [2012-08-29 09:36:32] 657*2^1227766-1 is not prime. Res64: F508E911422B6875 Time : 0.0 sec. user=mdettweiler [2012-08-29 09:36:32] 773*2^1227766-1 is not prime. Res64: 7E73C1CE74705602 Time : 0.0 sec. user=juhehe [2012-08-29 09:37:11] 607*2^1227765-1 is not prime. Res64: 931CCBFAB42EB14F Time : 0.0 sec. user=vaughan [2012-08-29 09:40:21] 885*2^1227765-1 is not prime. Res64: C8055C3505888D8C Time : 0.0 sec. user=mdettweiler [2012-08-29 09:44:00] 979*2^1227765-1 is not prime. Res64: 8B4038F3A0A07806 Time : 0.0 sec. user=mdettweiler [2012-08-29 09:57:09] 857*2^1227766-1 is not prime. Res64: CE0534D6ECF48B16 Time : 0.0 sec. user=mdettweiler [2012-08-29 09:57:18] 987*2^1227766-1 is not prime. Res64: A87B3D99E94E9C16 Time : 0.0 sec. user=mdettweiler [2012-08-29 09:57:19] 633*2^1227767-1 is not prime. Res64: 25D9ABD5C7DE726D Time : 0.0 sec. user=mdettweiler [2012-08-29 09:57:21] 669*2^1227767-1 is not prime. Res64: 3FEB19678F3A7792 Time : 0.0 sec. user=mdettweiler [2012-08-29 09:57:21] 693*2^1227767-1 is not prime. Res64: 1AC2466D93C157D5 Time : 0.0 sec. user=mdettweiler [2012-08-29 10:16:18] 895*2^1227767-1 is not prime. Res64: 3ECA21184A059AC6 Time : 0.0 sec. user=mdettweiler [2012-08-29 10:17:49] 867*2^1227768-1 is not prime. Res64: AF11F571027520FB Time : 0.0 sec. user=mdettweiler [2012-08-29 10:17:49] 875*2^1227768-1 is not prime. Res64: 5EE12A6C3871C8EC Time : 0.0 sec. user=mdettweiler [2012-08-29 10:17:51] 887*2^1227768-1 is not prime. Res64: 42C999448483A0A1 Time : 0.0 sec. user=mdettweiler [2012-08-29 10:17:52] 959*2^1227768-1 is not prime. Res64: 13AE87372D92E369 Time : 0.0 sec. user=vaughan [2012-08-29 10:18:04] 841*2^1227767-1 is not prime. Res64: 23EDA0AA6C080028 Time : 0.0 sec. user=juhehe [2012-08-29 10:20:52] 813*2^1227767-1 is not prime. Res64: 82F0CC63DFC90C2A Time : 0.0 sec. user=mdettweiler [2012-08-29 10:29:20] 819*2^1227768-1 is not prime. Res64: 1C1D3831842ACE31 Time : 0.0 sec. user=mdettweiler [2012-08-29 10:38:20] 875*2^1227770-1 is not prime. Res64: EAFDC3CB44F68313 Time : 0.0 sec. user=mdettweiler [2012-08-29 10:38:21] 945*2^1227770-1 is not prime. Res64: 52EFE9F68835B6A1 Time : 0.0 sec. user=mdettweiler [2012-08-29 10:38:23] 639*2^1227771-1 is not prime. Res64: 7E2FF6D85C59A3E6 Time : 0.0 sec. user=mdettweiler [2012-08-29 10:38:23] 723*2^1227771-1 is not prime. Res64: 95420BA06C12E8F3 Time : 0.0 sec. user=mdettweiler [2012-08-29 10:48:23] 637*2^1227769-1 is not prime. Res64: 6C78D155F277C371 Time : 0.0 sec. user=vaughan [2012-08-29 10:55:48] 781*2^1227771-1 is not prime. Res64: D8B23A5E5A75F1D6 Time : 0.0 sec. user=mdettweiler [2012-08-29 10:58:52] 795*2^1227771-1 is not prime. Res64: 5A3E2BB2370B5D11 Time : 0.0 sec. user=mdettweiler [2012-08-29 10:58:52] 805*2^1227771-1 is not prime. Res64: 440DC6077A017A3A Time : 0.0 sec. user=mdettweiler [2012-08-29 10:58:54] 931*2^1227771-1 is not prime. Res64: B6808ACDA6CE0438 Time : 0.0 sec. user=mdettweiler [2012-08-29 10:58:54] 943*2^1227771-1 is not prime. Res64: B1C664D2CDD9CFEB Time : 0.0 sec. user=mdettweiler [2012-08-29 11:00:59] 783*2^1227771-1 is not prime. Res64: D648C1CFA54769A3 Time : 0.0 sec. user=mdettweiler [2012-08-29 11:19:23] 605*2^1227772-1 is not prime. Res64: 220E4F95B8349A47 Time : 0.0 sec. user=mdettweiler [2012-08-29 11:19:24] 635*2^1227772-1 is not prime. Res64: C3DACEEA85076F3D Time : 0.0 sec. user=mdettweiler [2012-08-29 11:19:25] 735*2^1227772-1 is not prime. Res64: C221B3E21F328267 Time : 0.0 sec. user=mdettweiler [2012-08-29 11:19:26] 819*2^1227772-1 is not prime. Res64: BB8287BF9AF80E8E Time : 0.0 sec. user=mdettweiler [2012-08-29 11:21:19] 955*2^1227771-1 is not prime. Res64: CF0E15F15F940D20 Time : 0.0 sec. user=mdettweiler [2012-08-29 11:32:11] 855*2^1227772-1 is not prime. Res64: E750817A454A20B5 Time : 0.0 sec. user=vaughan [2012-08-29 11:33:31] 961*2^1227771-1 is not prime. Res64: 1EEF1655EE6A0198 Time : 0.0 sec. user=mdettweiler [2012-08-29 11:39:58] 897*2^1227772-1 is not prime. Res64: 9626640E3B5B5107 Time : 0.0 sec. user=mdettweiler [2012-08-29 11:39:58] 651*2^1227773-1 is not prime. Res64: 3B22CAAA7C71580E Time : 0.0 sec. user=mdettweiler [2012-08-29 11:40:00] 669*2^1227773-1 is not prime. Res64: 3B13B9494A04F23A Time : 0.0 sec. user=mdettweiler [2012-08-29 11:40:00] 727*2^1227773-1 is not prime. Res64: EDAC011B59E1E674 Time : 0.0 sec. user=mdettweiler [2012-08-29 11:53:40] 729*2^1227773-1 is not prime. Res64: 9163807FCB27C28F Time : 0.0 sec. user=mdettweiler [2012-08-29 12:00:29] 811*2^1227773-1 is not prime. Res64: F73B48C45FA13416 Time : 0.0 sec. user=mdettweiler [2012-08-29 12:00:30] 969*2^1227773-1 is not prime. Res64: 0E48EE46C1AD4158 Time : 0.0 sec. user=mdettweiler [2012-08-29 12:00:32] 663*2^1227774-1 is not prime. Res64: B48555DD7D78BBDB Time : 0.0 sec. user=mdettweiler [2012-08-29 12:00:33] 755*2^1227774-1 is not prime. Res64: A913A1C9EF19CE83 Time : 0.0 sec. user=mdettweiler [2012-08-29 12:04:26] 771*2^1227773-1 is not prime. Res64: B3A76FECA08E55CF Time : 0.0 sec. user=vaughan [2012-08-29 12:11:16] 789*2^1227773-1 is not prime. Res64: B331F6C847ABDD28 Time : 0.0 sec. user=mdettweiler [2012-08-29 12:21:03] 951*2^1227774-1 is not prime. Res64: 5A160395780173AC Time : 0.0 sec. user=mdettweiler [2012-08-29 12:21:03] 633*2^1227775-1 is not prime. Res64: 2B4774F8AAD146E0 Time : 0.0 sec. user=mdettweiler [2012-08-29 12:21:06] 805*2^1227775-1 is not prime. Res64: D13D07518118654F Time : 0.0 sec. user=mdettweiler [2012-08-29 12:21:06] 819*2^1227775-1 is not prime. Res64: 4A2C7ABE06E7E284 Time : 0.0 sec. user=juhehe [2012-08-29 12:24:07] 791*2^1227774-1 is not prime. Res64: A2D41D6F6A2AD073 Time : 0.0 sec. user=mdettweiler [2012-08-29 12:24:48] 795*2^1227774-1 is not prime. Res64: 1A5EDC55D73A12DC Time : 0.0 sec. user=mdettweiler [2012-08-29 12:37:26] 855*2^1227775-1 is not prime. Res64: 75636785E93CAC73 Time : 0.0 sec. user=mdettweiler [2012-08-29 12:41:43] 635*2^1227776-1 is not prime. Res64: 73BE78563E9A64EF Time : 0.0 sec. user=mdettweiler [2012-08-29 12:41:44] 785*2^1227776-1 is not prime. Res64: CACADF5F6ECC747F Time : 0.0 sec. user=mdettweiler [2012-08-29 12:41:44] 845*2^1227776-1 is not prime. Res64: BA483AF6F630BFDE Time : 0.0 sec. user=mdettweiler [2012-08-29 12:41:45] 969*2^1227776-1 is not prime. Res64: 10F734E7697BDEED Time : 0.0 sec. user=vaughan [2012-08-29 12:49:18] 617*2^1227776-1 is not prime. Res64: 7AB83BBA156417D9 Time : 0.0 sec. user=mdettweiler [2012-08-29 12:56:21] 691*2^1227777-1 is not prime. Res64: BEC99A93AE7EAF26 Time : 0.0 sec. user=mdettweiler [2012-08-29 13:02:20] 741*2^1227777-1 is not prime. Res64: 01E9FFAD37DBB6F8 Time : 0.0 sec. user=mdettweiler [2012-08-29 13:02:22] 777*2^1227777-1 is not prime. Res64: 67C71F6DE1E7E9EB Time : 0.0 sec. user=mdettweiler [2012-08-29 13:02:23] 885*2^1227777-1 is not prime. Res64: 59D526774DCB742B Time : 0.0 sec. user=mdettweiler [2012-08-29 13:02:23] 949*2^1227777-1 is not prime. Res64: 48DAD743FA6072AE Time : 0.0 sec. user=mdettweiler [2012-08-29 13:10:02] 717*2^1227777-1 is not prime. Res64: EEEA6FAAE3A33462 Time : 0.0 sec. user=mdettweiler [2012-08-29 13:23:11] 803*2^1227778-1 is not prime. Res64: BD955CC4A7F1087C Time : 0.0 sec. user=mdettweiler [2012-08-29 13:23:11] 993*2^1227778-1 is not prime. Res64: 587D5DF2AA8BB7AB Time : 0.0 sec. user=mdettweiler [2012-08-29 13:23:12] 615*2^1227779-1 is not prime. Res64: E2A488556A261285 Time : 0.0 sec. user=mdettweiler [2012-08-29 13:23:13] 675*2^1227779-1 is not prime. Res64: 197B20EE19355ADC Time : 0.0 sec. user=vaughan [2012-08-29 13:27:01] 975*2^1227777-1 is not prime. Res64: C8699E2CE3BF8223 Time : 0.0 sec. user=mdettweiler [2012-08-29 13:27:24] 979*2^1227777-1 is not prime. Res64: 51D4E899165EBD3A Time : 0.0 sec. user=mdettweiler [2012-08-29 13:42:18] 733*2^1227779-1 is not prime. Res64: ED345A4E67869E57 Time : 0.0 sec. user=mdettweiler [2012-08-29 13:43:50] 753*2^1227779-1 is not prime. Res64: B6DE47046564E078 Time : 0.0 sec. user=mdettweiler [2012-08-29 13:43:51] 775*2^1227779-1 is not prime. Res64: 58E3255279A7E2E7 Time : 0.0 sec. user=mdettweiler [2012-08-29 13:43:51] 843*2^1227779-1 is not prime. Res64: 64239ABF956420AE Time : 0.0 sec. user=mdettweiler [2012-08-29 13:43:51] 909*2^1227779-1 is not prime. Res64: C8FE0DDF6FCC32C0 Time : 0.0 sec. user=mdettweiler [2012-08-29 13:59:54] 979*2^1227779-1 is not prime. Res64: 7CD587B2857AE5A1 Time : 0.0 sec. user=mdettweiler [2012-08-29 14:04:26] 665*2^1227780-1 is not prime. Res64: 0F4F132D604D690F Time : 0.0 sec. user=mdettweiler [2012-08-29 14:04:27] 693*2^1227780-1 is not prime. Res64: 18262F323FE9C935 Time : 0.0 sec. user=mdettweiler [2012-08-29 14:04:27] 845*2^1227780-1 is not prime. Res64: AAA869C92EB7D168 Time : 0.0 sec. user=mdettweiler [2012-08-29 14:04:28] 975*2^1227780-1 is not prime. Res64: 0BF8C72D25B7E84A Time : 0.0 sec. user=vaughan [2012-08-29 14:04:52] 931*2^1227779-1 is not prime. Res64: 1A905FDAE8594AE3 Time : 0.0 sec. user=mdettweiler [2012-08-29 14:14:05] 985*2^1227779-1 is not prime. Res64: E2728583EE495012 Time : 0.0 sec. user=mdettweiler [2012-08-29 14:25:06] 625*2^1227781-1 is not prime. Res64: D3E3B839868B2A19 Time : 0.0 sec. user=mdettweiler [2012-08-29 14:25:07] 825*2^1227781-1 is not prime. Res64: 7FE38DBC03CF3C35 Time : 0.0 sec. user=mdettweiler [2012-08-29 14:25:07] 871*2^1227781-1 is not prime. Res64: E8B6ADC3117C8BFA Time : 0.0 sec. user=mdettweiler [2012-08-29 14:25:08] 645*2^1227782-1 is not prime. Res64: 9AB92F0AF4B2C819 Time : 0.0 sec. user=juhehe [2012-08-29 14:27:08] 653*2^1227780-1 is not prime. Res64: 75284C3EB05804CB Time : 0.0 sec. user=mdettweiler [2012-08-29 14:31:34] 983*2^1227780-1 is not prime. Res64: 1E61D58A1030BD68 Time : 0.0 sec. user=vaughan [2012-08-29 14:42:39] 915*2^1227782-1 is not prime. Res64: CD9793D7DBB501E9 Time : 0.0 sec. user=mdettweiler [2012-08-29 14:45:46] 679*2^1227783-1 is not prime. Res64: 1BCAE1765D7A0362 Time : 0.0 sec. user=mdettweiler [2012-08-29 14:45:47] 963*2^1227782-1 is not prime. Res64: 8A251ED2BE20E713 Time : 0.0 sec. user=mdettweiler [2012-08-29 14:45:47] 709*2^1227783-1 is not prime. Res64: C7FDEEBFACDCF5BB Time : 0.0 sec. user=mdettweiler [2012-08-29 14:45:47] 735*2^1227783-1 is not prime. Res64: FF49D0399FEE80F4 Time : 0.0 sec. user=mdettweiler [2012-08-29 14:46:29] 945*2^1227782-1 is not prime. Res64: 83B760AF142E0054 Time : 0.0 sec. user=mdettweiler [2012-08-29 15:03:44] 741*2^1227783-1 is not prime. Res64: 24CDC00450D4CA7C Time : 0.0 sec. user=mdettweiler [2012-08-29 15:06:24] 719*2^1227784-1 is not prime. Res64: 02BA5C439A7F4390 Time : 0.0 sec. user=mdettweiler [2012-08-29 15:06:27] 759*2^1227784-1 is not prime. Res64: DB5A175C0B38371E Time : 0.0 sec. user=mdettweiler [2012-08-29 15:06:29] 857*2^1227784-1 is not prime. Res64: 015C0BFDE8A2C4B5 Time : 0.0 sec. user=mdettweiler [2012-08-29 15:06:30] 983*2^1227784-1 is not prime. Res64: 3454601B5B8A0B09 Time : 0.0 sec. user=mdettweiler [2012-08-29 15:17:54] 675*2^1227785-1 is not prime. Res64: 184A94991DDE8022 Time : 0.0 sec. user=vaughan [2012-08-29 15:20:23] 991*2^1227783-1 is not prime. Res64: 9099190442A83A54 Time : 0.0 sec. user=mdettweiler [2012-08-29 15:27:07] 925*2^1227785-1 is not prime. Res64: CE89FDF24D755755 Time : 0.0 sec. user=mdettweiler [2012-08-29 15:27:07] 627*2^1227786-1 is not prime. Res64: 63E465CC47B4EAF3 Time : 0.0 sec. user=mdettweiler [2012-08-29 15:27:08] 647*2^1227786-1 is not prime. Res64: 430507F4C1B3E40E Time : 0.0 sec. user=mdettweiler [2012-08-29 15:27:08] 741*2^1227786-1 is not prime. Res64: B7B0524599A4DBFE Time : 0.0 sec. user=mdettweiler [2012-08-29 15:36:14] 721*2^1227785-1 is not prime. Res64: 320F7BDC5C59627B Time : 0.0 sec. user=mdettweiler [2012-08-29 15:48:31] 975*2^1227786-1 is not prime. Res64: 2B72C5F4BEE224FB Time : 0.0 sec. user=mdettweiler [2012-08-29 15:48:31] 603*2^1227787-1 is not prime. Res64: AF303B049E7A661D Time : 0.0 sec. user=mdettweiler [2012-08-29 15:48:32] 735*2^1227787-1 is not prime. Res64: 238B4D1A845B606D Time : 0.0 sec. user=mdettweiler [2012-08-29 15:48:32] 741*2^1227787-1 is not prime. Res64: 3265FBF78CAE7DE4 Time : 0.0 sec. user=mdettweiler [2012-08-29 15:49:45] 801*2^1227786-1 is not prime. Res64: 31C39EF99A6FD865 Time : 0.0 sec. user=vaughan [2012-08-29 15:58:07] 891*2^1227786-1 is not prime. Res64: 1C66DA4CADD28933 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:09:22] 751*2^1227787-1 is not prime. Res64: 800510C65C310571 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:09:25] 945*2^1227787-1 is not prime. Res64: 88100BE1C38A5CC5 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:09:28] 985*2^1227787-1 is not prime. Res64: ABF323983B2D3097 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:09:30] 999*2^1227787-1 is not prime. Res64: 82A72EC878B81FC9 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:09:31] 753*2^1227788-1 is not prime. Res64: 78B4F92B9A62F150 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:21:39] 837*2^1227788-1 is not prime. Res64: 0003B2B554AA4F66 Time : 0.0 sec. user=juhehe [2012-08-29 16:29:50] 931*2^1227787-1 is not prime. Res64: EE718C4BF1994A2D Time : 0.0 sec. user=mdettweiler [2012-08-29 16:30:29] 977*2^1227788-1 is not prime. Res64: A7B59E15018E52A5 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:30:30] 995*2^1227788-1 is not prime. Res64: 6075F5CBDC192618 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:30:31] 789*2^1227789-1 is not prime. Res64: 78203AD548BFF084 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:30:31] 837*2^1227789-1 is not prime. Res64: 04CD1A1EDD6521A3 Time : 0.0 sec. user=vaughan [2012-08-29 16:35:52] 879*2^1227788-1 is not prime. Res64: 899D4478713DBB06 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:42:05] 923*2^1227788-1 is not prime. Res64: E15B28CDEECB2AB7 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:51:22] 889*2^1227789-1 is not prime. Res64: D042EF555691064A Time : 0.0 sec. user=mdettweiler [2012-08-29 16:51:22] 895*2^1227789-1 is not prime. Res64: EFA5B9A5F2C75C7C Time : 0.0 sec. user=mdettweiler [2012-08-29 16:51:22] 961*2^1227789-1 is not prime. Res64: 7A9364457EE3B629 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:51:22] 603*2^1227790-1 is not prime. Res64: 6D680A84626427C9 Time : 0.0 sec. user=mdettweiler [2012-08-29 16:54:09] 885*2^1227789-1 is not prime. Res64: C6E506AF4E345B56 Time : 0.0 sec. user=mdettweiler [2012-08-29 17:12:34] 861*2^1227790-1 is not prime. Res64: B0823BAE1E081081 Time : 0.0 sec. user=mdettweiler [2012-08-29 17:12:34] 777*2^1227790-1 is not prime. Res64: CC4B562BB84F2744 Time : 0.0 sec. user=mdettweiler [2012-08-29 17:12:35] 917*2^1227790-1 is not prime. Res64: 4799BF7EB973A7D0 Time : 0.0 sec. user=mdettweiler [2012-08-29 17:12:35] 855*2^1227790-1 is not prime. Res64: FA094777053A6BF3 Time : 0.0 sec. user=vaughan [2012-08-29 17:13:35] 635*2^1227790-1 is not prime. Res64: E2004F56DFE96D63 Time : 0.0 sec. user=mdettweiler [2012-08-29 17:14:23] 707*2^1227790-1 is not prime. Res64: 1017B45F90B0C16B Time : 0.0 sec. user=mdettweiler [2012-08-29 17:25:13] 609*2^1227791-1 is not prime. Res64: 19314BECB3A019C2 Time : 0.0 sec. user=mdettweiler [2012-08-29 17:33:54] 643*2^1227791-1 is not prime. Res64: 2575D7DD1D8D07D5 Time : 0.0 sec. user=mdettweiler [2012-08-29 17:33:55] 661*2^1227791-1 is not prime. Res64: EAB0511E8A12C241 Time : 0.0 sec. user=mdettweiler [2012-08-29 17:33:56] 651*2^1227791-1 is not prime. Res64: 1B9537F95FE5219A Time : 0.0 sec. user=mdettweiler [2012-08-29 17:33:57] 669*2^1227791-1 is not prime. Res64: 753598DE88083575 Time : 0.0 sec. user=mdettweiler [2012-08-29 17:46:36] 859*2^1227791-1 is not prime. Res64: 66842F72F29B45EF Time : 0.0 sec. user=vaughan [2012-08-29 17:51:21] 753*2^1227791-1 is not prime. Res64: FD074037B54276FE Time : 0.0 sec. user=mdettweiler [2012-08-29 17:54:51] 635*2^1227792-1 is not prime. Res64: BD5754314B82AB19 Time : 0.0 sec. user=mdettweiler [2012-08-29 17:54:51] 669*2^1227792-1 is not prime. Res64: 51332DB61A238DEC Time : 0.0 sec. user=mdettweiler [2012-08-29 17:54:53] 675*2^1227792-1 is not prime. Res64: 7F759CD71D955EAD Time : 0.0 sec. user=mdettweiler [2012-08-29 17:54:54] 693*2^1227792-1 is not prime. Res64: 6DD78EEDF871F374 Time : 0.0 sec. user=mdettweiler [2012-08-29 17:57:24] 895*2^1227791-1 is not prime. Res64: 8A99BAE76C0BB1DF Time : 0.0 sec. user=mdettweiler [2012-08-29 18:15:45] 705*2^1227793-1 is not prime. Res64: 36FAF41F2D28CBC9 Time : 0.0 sec. user=mdettweiler [2012-08-29 18:15:46] 801*2^1227793-1 is not prime. Res64: 0CE14E7E269DC9AE Time : 0.0 sec. user=mdettweiler [2012-08-29 18:15:48] 877*2^1227793-1 is not prime. Res64: 7CCA18F833FBCC37 Time : 0.0 sec. user=mdettweiler [2012-08-29 18:15:49] 915*2^1227793-1 is not prime. Res64: E126E594AA0D22BE Time : 0.0 sec. user=mdettweiler [2012-08-29 18:18:24] 983*2^1227792-1 is not prime. Res64: 74906F51D2E1D0B4 Time : 0.0 sec. user=vaughan [2012-08-29 18:29:03] 639*2^1227793-1 is not prime. Res64: A25250FBECC9A932 Time : 0.0 sec. user=mdettweiler [2012-08-29 18:29:15] 957*2^1227793-1 is not prime. Res64: 1ECAD1743704CB24 Time : 0.0 sec. user=mdettweiler [2012-08-29 18:36:55] 791*2^1227794-1 is not prime. Res64: 68B9A42D48170AC2 Time : 0.0 sec. user=mdettweiler [2012-08-29 18:36:56] 827*2^1227794-1 is not prime. Res64: 0FFCFCC54385742A Time : 0.0 sec. user=mdettweiler [2012-08-29 18:36:57] 857*2^1227794-1 is not prime. Res64: D8AFE38EF05509D2 Time : 0.0 sec. user=mdettweiler [2012-08-29 18:36:57] 941*2^1227794-1 is not prime. Res64: 6CCBF16E281A2F4F Time : 0.0 sec. user=gd_barnes [2012-08-29 18:41:27] 979*2^1227793-1 is not prime. Res64: 86EA162D637CA59A Time : 0.0 sec. user=mdettweiler [2012-08-29 18:50:41] 945*2^1227794-1 is not prime. Res64: 96CF6261022D2FFE Time : 0.0 sec. user=mdettweiler [2012-08-29 18:57:39] 709*2^1227795-1 is not prime. Res64: 5C47B36D917D2380 Time : 0.0 sec. user=mdettweiler [2012-08-29 18:57:39] 723*2^1227795-1 is not prime. Res64: 09B6D239455000B8 Time : 0.0 sec. user=mdettweiler [2012-08-29 18:57:40] 765*2^1227795-1 is not prime. Res64: 95EBD911F422DB87 Time : 0.0 sec. user=mdettweiler [2012-08-29 18:57:41] 885*2^1227795-1 is not prime. Res64: C8287A0FC7192FAB Time : 0.0 sec. user=mdettweiler [2012-08-29 19:01:19] 643*2^1227795-1 is not prime. Res64: DD51C3362A23528F Time : 0.0 sec. user=vaughan [2012-08-29 19:06:47] 619*2^1227795-1 is not prime. Res64: 1613B2B91D81B154 Time : 0.0 sec. user=mdettweiler [2012-08-29 19:18:24] 647*2^1227796-1 is not prime. Res64: 904128C2FAB56BDE Time : 0.0 sec. user=mdettweiler [2012-08-29 19:18:25] 657*2^1227796-1 is not prime. Res64: EFFB3CE9D6BFA3F5 Time : 0.0 sec. user=mdettweiler [2012-08-29 19:18:25] 735*2^1227796-1 is not prime. Res64: CEE8C51212648DBF Time : 0.0 sec. user=mdettweiler [2012-08-29 19:18:26] 779*2^1227796-1 is not prime. Res64: B443F23C7A01B42D Time : 0.0 sec. user=mdettweiler [2012-08-29 19:23:02] 949*2^1227795-1 is not prime. Res64: C36DD86EFED3968E Time : 0.0 sec. user=mdettweiler [2012-08-29 19:32:39] 933*2^1227796-1 is not prime. Res64: 03883919FE15C5AD Time : 0.0 sec. user=mdettweiler [2012-08-29 19:39:12] 615*2^1227797-1 is not prime. Res64: 80F11C0E00D765DE Time : 0.0 sec. user=mdettweiler [2012-08-29 19:39:12] 757*2^1227797-1 is not prime. Res64: 8212778AC0EF98DE Time : 0.0 sec. user=mdettweiler [2012-08-29 19:39:12] 631*2^1227797-1 is not prime. Res64: FD12A04E5DC7C953 Time : 0.0 sec. user=mdettweiler [2012-08-29 19:39:12] 837*2^1227797-1 is not prime. Res64: E8AE4718D2F1BA1D Time : 0.0 sec. user=vaughan [2012-08-29 19:44:33] 969*2^1227796-1 is not prime. Res64: 6A842525DB8DE962 Time : 0.0 sec. user=mdettweiler [2012-08-29 19:54:21] 927*2^1227797-1 is not prime. Res64: 562BF3F3806DC13A Time : 0.0 sec. user=mdettweiler [2012-08-29 19:59:58] 945*2^1227798-1 is not prime. Res64: FF962627CBDB11E9 Time : 0.0 sec. user=mdettweiler [2012-08-29 19:59:58] 765*2^1227798-1 is not prime. Res64: 7B9C58957EB22CAD Time : 0.0 sec. user=mdettweiler [2012-08-29 19:59:58] 915*2^1227798-1 is not prime. Res64: 663EA193A5DA9262 Time : 0.0 sec. user=mdettweiler [2012-08-29 19:59:58] 971*2^1227798-1 is not prime. Res64: 44A699D3ED3E1F3F Time : 0.0 sec. user=mdettweiler [2012-08-29 20:05:20] 663*2^1227798-1 is not prime. Res64: 0A0DB87B31CBA886 Time : 0.0 sec. user=mdettweiler [2012-08-29 20:20:43] 861*2^1227799-1 is not prime. Res64: D80DB44C9501597C Time : 0.0 sec. user=mdettweiler [2012-08-29 20:20:43] 895*2^1227799-1 is not prime. Res64: CE459830C9CEA877 Time : 0.0 sec. user=mdettweiler [2012-08-29 20:20:44] 999*2^1227799-1 is not prime. Res64: 64C395D60693FAB5 Time : 0.0 sec. user=mdettweiler [2012-08-29 20:20:44] 753*2^1227800-1 is not prime. Res64: 22BE617D0D6B5660 Time : 0.0 sec. user=vaughan [2012-08-29 20:22:18] 685*2^1227799-1 is not prime. Res64: 7D90EB214A1E4613 Time : 0.0 sec. user=mdettweiler [2012-08-29 20:26:18] 763*2^1227799-1 is not prime. Res64: 252ABC83D1193846 Time : 0.0 sec. user=mdettweiler [2012-08-29 20:36:28] 759*2^1227800-1 is not prime. Res64: A29F03F8FE37042C Time : 0.0 sec. user=mdettweiler [2012-08-29 20:41:29] 637*2^1227801-1 is not prime. Res64: 82B011FB3165ADB7 Time : 0.0 sec. user=mdettweiler [2012-08-29 20:41:29] 705*2^1227801-1 is not prime. Res64: 4C51F5772344EFD1 Time : 0.0 sec. user=mdettweiler [2012-08-29 20:41:29] 909*2^1227801-1 is not prime. Res64: 35DEF3D1B813F770 Time : 0.0 sec. user=mdettweiler [2012-08-29 20:41:29] 999*2^1227801-1 is not prime. Res64: 9F1661B62A5074C8 Time : 0.0 sec. user=mdettweiler [2012-08-29 20:58:16] 705*2^1227802-1 is not prime. Res64: 97ABCDE5EFE51100 Time : 0.0 sec. user=vaughan [2012-08-29 21:00:09] 653*2^1227802-1 is not prime. Res64: 75E8CE661A80531C Time : 0.0 sec. user=mdettweiler [2012-08-29 21:02:20] 947*2^1227802-1 is not prime. Res64: 182D2EC114556567 Time : 0.0 sec. user=mdettweiler [2012-08-29 21:02:20] 777*2^1227802-1 is not prime. Res64: 34F26CA10D18F535 Time : 0.0 sec. user=mdettweiler [2012-08-29 21:02:20] 983*2^1227802-1 is not prime. Res64: 430381C5D599C2B8 Time : 0.0 sec. user=mdettweiler [2012-08-29 21:02:21] 801*2^1227802-1 is not prime. Res64: 0E06642101745E28 Time : 0.0 sec. user=mdettweiler [2012-08-29 21:08:21] 731*2^1227802-1 is not prime. Res64: CE0E2843282429DD Time : 0.0 sec. user=mdettweiler [2012-08-29 21:24:37] 903*2^1227804-1 is not prime. Res64: 7C306994C9CB28D2 Time : 0.0 sec. user=mdettweiler [2012-08-29 21:24:37] 741*2^1227803-1 is not prime. Res64: DC5D58DE507101B9 Time : 0.0 sec. user=mdettweiler [2012-08-29 21:24:37] 987*2^1227804-1 is not prime. Res64: A20468BC08AB710D Time : 0.0 sec. user=mdettweiler [2012-08-29 21:24:38] 773*2^1227804-1 is not prime. Res64: EEE01A06BE35C3BA Time : 0.0 sec. user=mdettweiler [2012-08-29 21:29:55] 643*2^1227803-1 is not prime. Res64: 7AD8511ACD98464F Time : 0.0 sec. user=vaughan [2012-08-29 21:37:54] 693*2^1227803-1 is not prime. Res64: A5B727C6D3FB8DA3 Time : 0.0 sec. user=mdettweiler [2012-08-29 21:40:09] 777*2^1227805-1 is not prime. Res64: 95274D1ACC3FF5F4 Time : 0.0 sec. user=mdettweiler [2012-08-29 21:45:50] 805*2^1227805-1 is not prime. Res64: BBB09A9A23468FFB Time : 0.0 sec. user=mdettweiler [2012-08-29 21:45:50] 937*2^1227805-1 is not prime. Res64: 0585C0A0ADD128D5 Time : 0.0 sec. user=mdettweiler [2012-08-29 21:45:52] 603*2^1227806-1 is not prime. Res64: 76B2BD9C06EE53EE Time : 0.0 sec. user=mdettweiler [2012-08-29 21:45:52] 635*2^1227806-1 is not prime. Res64: 1484880797995B56 Time : 0.0 sec. user=mdettweiler [2012-08-29 22:01:44] 705*2^1227806-1 is not prime. Res64: 1BA9E42C11E5710B Time : 0.0 sec. user=mdettweiler [2012-08-29 22:07:01] 857*2^1227806-1 is not prime. Res64: 67CD45F4BB2FF40D Time : 0.0 sec. user=mdettweiler [2012-08-29 22:07:02] 993*2^1227806-1 is not prime. Res64: 4F88B378E59943C7 Time : 0.0 sec. user=mdettweiler [2012-08-29 22:07:03] 917*2^1227806-1 is not prime. Res64: 1918CB31813B15FE Time : 0.0 sec. user=mdettweiler [2012-08-29 22:07:03] 609*2^1227807-1 is not prime. Res64: 0B59B7EB9E218327 Time : 0.0 sec. user=mdettweiler [2012-08-29 22:12:27] 755*2^1227806-1 is not prime. Res64: 8D9BF20C5217829D Time : 0.0 sec. user=vaughan [2012-08-29 22:15:36] 747*2^1227806-1 is not prime. Res64: 1C953027858C152D Time : 0.0 sec. user=mdettweiler [2012-08-29 22:28:56] 691*2^1227807-1 is not prime. Res64: 6BE6399A6607679F Time : 0.0 sec. user=mdettweiler [2012-08-29 22:28:57] 711*2^1227807-1 is not prime. Res64: 906569EDC8FAB119 Time : 0.0 sec. user=mdettweiler [2012-08-29 22:28:58] 739*2^1227807-1 is not prime. Res64: B077F0D11BE41659 Time : 0.0 sec. user=mdettweiler [2012-08-29 22:28:58] 781*2^1227807-1 is not prime. Res64: 01263EE1A77A1CB0 Time : 0.0 sec. user=mdettweiler [2012-08-29 22:32:30] 643*2^1227807-1 is not prime. Res64: 07DF0C8F8459656B Time : 0.0 sec. user=mdettweiler [2012-08-29 22:43:01] 819*2^1227807-1 is not prime. Res64: D63DF35F7AF0F46D Time : 0.0 sec. user=mdettweiler [2012-08-29 22:50:03] 879*2^1227807-1 is not prime. Res64: D05E261F82C9D33C Time : 0.0 sec. user=mdettweiler [2012-08-29 22:50:03] 973*2^1227807-1 is not prime. Res64: D738067E7FE27BE6 Time : 0.0 sec. user=mdettweiler [2012-08-29 22:50:04] 891*2^1227807-1 is not prime. Res64: 6A457578378BD6B6 Time : 0.0 sec. user=mdettweiler [2012-08-29 22:50:04] 605*2^1227808-1 is not prime. Res64: 8803D8E187206635 Time : 0.0 sec. user=vaughan [2012-08-29 22:53:19] 865*2^1227807-1 is not prime. Res64: 2D7D42BE096C18EC Time : 0.0 sec. user=mdettweiler [2012-08-29 23:02:35] 615*2^1227808-1 is not prime. Res64: E828FB12D5843DC5 Time : 0.0 sec. user=mdettweiler [2012-08-29 23:10:42] 705*2^1227808-1 is not prime. Res64: 4F964275ECA61D88 Time : 0.0 sec. user=mdettweiler [2012-08-29 23:10:43] 723*2^1227808-1 is not prime. Res64: F7AAB31F28617256 Time : 0.0 sec. user=mdettweiler [2012-08-29 23:10:45] 825*2^1227808-1 is not prime. Res64: 7520C0B87E951EA4 Time : 0.0 sec. user=mdettweiler [2012-08-29 23:10:46] 833*2^1227808-1 is not prime. Res64: 291EE641999ED328 Time : 0.0 sec. user=mdettweiler [2012-08-29 23:12:57] 657*2^1227808-1 is not prime. Res64: 9675B06B67772634 Time : 0.0 sec. user=vaughan [2012-08-29 23:31:01] 839*2^1227808-1 is not prime. Res64: D7D6699CA9F0FA04 Time : 0.0 sec. user=mdettweiler [2012-08-29 23:31:30] 999*2^1227808-1 is not prime. Res64: 65DB404D446E2BAF Time : 0.0 sec. user=mdettweiler [2012-08-29 23:31:32] 697*2^1227809-1 is not prime. Res64: 734FD72FF580CE50 Time : 0.0 sec. user=mdettweiler [2012-08-29 23:31:36] 841*2^1227809-1 is not prime. Res64: 90EECE918B708BE8 Time : 0.0 sec. user=mdettweiler [2012-08-29 23:31:37] 909*2^1227809-1 is not prime. Res64: 488CF049F350C8BA Time : 0.0 sec. user=mdettweiler [2012-08-29 23:32:35] 875*2^1227808-1 is not prime. Res64: 91F14AE739E33AB3 Time : 0.0 sec. user=mdettweiler [2012-08-29 23:42:55] 957*2^1227809-1 is not prime. Res64: 19C717FC51351C44 Time : 0.0 sec. user=mdettweiler [2012-08-29 23:52:12] 641*2^1227810-1 is not prime. Res64: 298D3B8E1E3D19A8 Time : 0.0 sec. user=mdettweiler [2012-08-29 23:52:13] 723*2^1227810-1 is not prime. Res64: 7F0B2395CE58AF2B Time : 0.0 sec. user=mdettweiler [2012-08-29 23:52:18] 773*2^1227810-1 is not prime. Res64: 17BD3E261B325370 Time : 0.0 sec. user=mdettweiler [2012-08-29 23:52:19] 977*2^1227810-1 is not prime. Res64: D1AB4D35A57C80AC Time : 0.0 sec.