user=mdettweiler [2013-01-21 00:12:03] 915*2^1239633-1 is not prime. Res64: 8FD7F62B51DB57AA Time : 0.0 sec. user=mdettweiler [2013-01-21 00:12:03] 985*2^1239633-1 is not prime. Res64: 5807C408A05FCE75 Time : 0.0 sec. user=mdettweiler [2013-01-21 00:17:24] 635*2^1239634-1 is not prime. Res64: 246A9EBCEF39C917 Time : 0.0 sec. user=mdettweiler [2013-01-21 00:17:25] 675*2^1239634-1 is not prime. Res64: 0FA198345D029CF6 Time : 0.0 sec. user=vaughan [2013-01-21 00:27:34] 847*2^1239633-1 is not prime. Res64: BA13A34FDC496AC9 Time : 0.0 sec. user=mdettweiler [2013-01-21 00:29:27] 755*2^1239634-1 is not prime. Res64: 6683C82BE017F967 Time : 0.0 sec. user=mdettweiler [2013-01-21 00:29:28] 815*2^1239634-1 is not prime. Res64: 5CBF9D6C3C5EE255 Time : 0.0 sec. user=mdettweiler [2013-01-21 00:34:48] 915*2^1239634-1 is not prime. Res64: 705FA3339F0CE940 Time : 0.0 sec. user=mdettweiler [2013-01-21 00:34:48] 643*2^1239635-1 is not prime. Res64: 199595C95848B257 Time : 0.0 sec. user=mdettweiler [2013-01-21 00:46:49] 895*2^1239635-1 is not prime. Res64: BAAAF0C60EB6983E Time : 0.0 sec. user=mdettweiler [2013-01-21 00:46:50] 921*2^1239635-1 is not prime. Res64: A41A646B4EB0F41E Time : 0.0 sec. user=mdettweiler [2013-01-21 00:52:09] 949*2^1239635-1 is not prime. Res64: 46E752D50DBB0C66 Time : 0.0 sec. user=mdettweiler [2013-01-21 00:52:09] 999*2^1239635-1 is not prime. Res64: 9E9D159A50E62133 Time : 0.0 sec. user=mdettweiler [2013-01-21 01:04:12] 609*2^1239636-1 is not prime. Res64: 68930FCD869C10C8 Time : 0.0 sec. user=mdettweiler [2013-01-21 01:04:13] 675*2^1239636-1 is not prime. Res64: 1E9D990B81C0FDC5 Time : 0.0 sec. user=vaughan [2013-01-21 01:05:29] 859*2^1239635-1 is not prime. Res64: 590974A162A92035 Time : 0.0 sec. user=mdettweiler [2013-01-21 01:09:29] 693*2^1239636-1 is not prime. Res64: 5D4EB59851B093CF Time : 0.0 sec. user=mdettweiler [2013-01-21 01:09:31] 837*2^1239636-1 is not prime. Res64: 4C191518F9C4BD1E Time : 0.0 sec. user=mdettweiler [2013-01-21 01:21:58] 845*2^1239636-1 is not prime. Res64: CCB11B3706F88459 Time : 0.0 sec. user=mdettweiler [2013-01-21 01:21:58] 899*2^1239636-1 is not prime. Res64: 3102615B12FB3E9A Time : 0.0 sec. user=mdettweiler [2013-01-21 01:27:07] 685*2^1239637-1 is not prime. Res64: 4DAB61E7BE3FB46B Time : 0.0 sec. user=mdettweiler [2013-01-21 01:27:07] 759*2^1239637-1 is not prime. Res64: EE0D8FDE64B4CDB5 Time : 0.0 sec. user=mdettweiler [2013-01-21 01:39:21] 775*2^1239637-1 is not prime. Res64: B3AC774B54DBB31B Time : 0.0 sec. user=mdettweiler [2013-01-21 01:39:21] 885*2^1239637-1 is not prime. Res64: 36D215BAEDB54156 Time : 0.0 sec. user=vaughan [2013-01-21 01:43:31] 983*2^1239636-1 is not prime. Res64: 213860AFAE70F8C3 Time : 0.0 sec. user=mdettweiler [2013-01-21 01:44:30] 889*2^1239637-1 is not prime. Res64: 68559DB74EDD2FCC Time : 0.0 sec. user=mdettweiler [2013-01-21 01:44:30] 901*2^1239637-1 is not prime. Res64: 8C8E6440FB2962E3 Time : 0.0 sec. user=mdettweiler [2013-01-21 01:56:43] 845*2^1239638-1 is not prime. Res64: 699E81D4CFFAB920 Time : 0.0 sec. user=mdettweiler [2013-01-21 01:56:44] 987*2^1239638-1 is not prime. Res64: 66DADFE290AF4750 Time : 0.0 sec. user=mdettweiler [2013-01-21 02:01:51] 689*2^1239640-1 is not prime. Res64: 303A923F069A5D0A Time : 0.0 sec. user=mdettweiler [2013-01-21 02:01:53] 695*2^1239640-1 is not prime. Res64: 902B175146ADA3D2 Time : 0.0 sec. user=mdettweiler [2013-01-21 02:14:05] 713*2^1239640-1 is not prime. Res64: 0660B762CC41AEFC Time : 0.0 sec. user=mdettweiler [2013-01-21 02:14:05] 819*2^1239640-1 is not prime. Res64: 4B574D1BF83F6FE2 Time : 0.0 sec. user=mdettweiler [2013-01-21 02:19:33] 875*2^1239640-1 is not prime. Res64: E1C92A6797975307 Time : 0.0 sec. user=mdettweiler [2013-01-21 02:19:34] 607*2^1239641-1 is not prime. Res64: 78A9D2028FDF9D3A Time : 0.0 sec. user=vaughan [2013-01-21 02:21:25] 943*2^1239639-1 is not prime. Res64: D85477B4FA1E46E9 Time : 0.0 sec. user=mdettweiler [2013-01-21 02:31:36] 657*2^1239641-1 is not prime. Res64: 9ED1DC596698EFB0 Time : 0.0 sec. user=mdettweiler [2013-01-21 02:31:37] 789*2^1239641-1 is not prime. Res64: CD3605C5C16B4BD0 Time : 0.0 sec. user=mdettweiler [2013-01-21 02:36:55] 829*2^1239641-1 is not prime. Res64: E6F3019B85AF8DFA Time : 0.0 sec. user=mdettweiler [2013-01-21 02:36:56] 889*2^1239641-1 is not prime. Res64: 49F03BA448C32C8C Time : 0.0 sec. user=mdettweiler [2013-01-21 02:48:59] 683*2^1239642-1 is not prime. Res64: B06F183F1593C12A Time : 0.0 sec. user=mdettweiler [2013-01-21 02:49:05] 717*2^1239642-1 is not prime. Res64: 4C54BE756EDF42F0 Time : 0.0 sec. user=mdettweiler [2013-01-21 02:54:26] 777*2^1239642-1 is not prime. Res64: 5E98F4D49EFD418D Time : 0.0 sec. user=mdettweiler [2013-01-21 02:54:29] 801*2^1239642-1 is not prime. Res64: 3DD873EA6D386426 Time : 0.0 sec. user=vaughan [2013-01-21 02:59:21] 611*2^1239642-1 is not prime. Res64: C8EA33A73E8792C0 Time : 0.0 sec. user=mdettweiler [2013-01-21 03:06:52] 1001*2^1239642-1 is not prime. Res64: 06300B741916598E Time : 0.0 sec. user=mdettweiler [2013-01-21 03:06:53] 615*2^1239643-1 is not prime. Res64: 54E7C2A4B39C3C3B Time : 0.0 sec. user=mdettweiler [2013-01-21 03:12:07] 631*2^1239643-1 is not prime. Res64: DF74D8AB9E48EEE8 Time : 0.0 sec. user=mdettweiler [2013-01-21 03:12:10] 663*2^1239643-1 is not prime. Res64: 4DCAA4A17099A9C9 Time : 0.0 sec. user=mdettweiler [2013-01-21 03:24:22] 709*2^1239643-1 is not prime. Res64: E4DF36EE08CBB882 Time : 0.0 sec. user=mdettweiler [2013-01-21 03:24:22] 765*2^1239643-1 is not prime. Res64: 801B299E6D163249 Time : 0.0 sec. user=mdettweiler [2013-01-21 03:29:35] 801*2^1239643-1 is not prime. Res64: 2EB7F1B55C2CC729 Time : 0.0 sec. user=mdettweiler [2013-01-21 03:29:35] 811*2^1239643-1 is not prime. Res64: 9154F353E00976D6 Time : 0.0 sec. user=vaughan [2013-01-21 03:37:24] 699*2^1239643-1 is not prime. Res64: 5C4A5EA172187667 Time : 0.0 sec. user=mdettweiler [2013-01-21 03:41:44] 861*2^1239643-1 is not prime. Res64: D439E8844E8B3575 Time : 0.0 sec. user=mdettweiler [2013-01-21 03:41:45] 883*2^1239643-1 is not prime. Res64: 4F8BBE8C97961C42 Time : 0.0 sec. user=mdettweiler [2013-01-21 03:46:55] 961*2^1239643-1 is not prime. Res64: 07D3E03F2380B6B7 Time : 0.0 sec. user=mdettweiler [2013-01-21 03:46:56] 605*2^1239644-1 is not prime. Res64: F2E5CB3C179EF8E3 Time : 0.0 sec. user=mdettweiler [2013-01-21 03:59:24] 825*2^1239644-1 is not prime. Res64: 3CDBEBDAE900FAA6 Time : 0.0 sec. user=mdettweiler [2013-01-21 03:59:24] 843*2^1239644-1 is not prime. Res64: 6AE8AFB2CAD53BB5 Time : 0.0 sec. user=mdettweiler [2013-01-21 04:04:18] 909*2^1239644-1 is not prime. Res64: 79EF982B816DC94D Time : 0.0 sec. user=vaughan [2013-01-21 04:15:44] 743*2^1239644-1 is not prime. Res64: A9838D887B3195AE Time : 0.0 sec. user=mdettweiler [2013-01-21 04:16:44] 709*2^1239645-1 is not prime. Res64: C7CC8F0D57940C5C Time : 0.0 sec. user=mdettweiler [2013-01-21 04:16:44] 781*2^1239645-1 is not prime. Res64: F75F4808975F89B1 Time : 0.0 sec. user=mdettweiler [2013-01-21 04:33:27] 655*2^1239645-1 is not prime. Res64: 46BC496CE0637BE7 Time : 0.0 sec. user=mdettweiler [2013-01-21 04:34:05] 847*2^1239645-1 is not prime. Res64: 85378378362E23E7 Time : 0.0 sec. user=mdettweiler [2013-01-21 04:34:06] 915*2^1239645-1 is not prime. Res64: 810DC3682C529928 Time : 0.0 sec. user=mdettweiler [2013-01-21 04:50:56] 979*2^1239645-1 is not prime. Res64: C917BA8C401E4A92 Time : 0.0 sec. user=mdettweiler [2013-01-21 04:50:57] 997*2^1239645-1 is not prime. Res64: EC591C47FF86941F Time : 0.0 sec. user=mdettweiler [2013-01-21 04:51:31] 623*2^1239646-1 is not prime. Res64: 8DEED28E232B7155 Time : 0.0 sec. user=mdettweiler [2013-01-21 04:51:32] 695*2^1239646-1 is not prime. Res64: B10E7870CD285BE0 Time : 0.0 sec. user=vaughan [2013-01-21 04:53:45] 787*2^1239645-1 is not prime. Res64: 210969E1288B2AB5 Time : 0.0 sec. user=mdettweiler [2013-01-21 05:08:21] 755*2^1239646-1 is not prime. Res64: 08EEF24754F8DDAE Time : 0.0 sec. user=mdettweiler [2013-01-21 05:08:22] 801*2^1239646-1 is not prime. Res64: BC24B520015A427A Time : 0.0 sec. user=mdettweiler [2013-01-21 05:08:51] 891*2^1239646-1 is not prime. Res64: A40905492416AA89 Time : 0.0 sec. user=mdettweiler [2013-01-21 05:08:52] 903*2^1239646-1 is not prime. Res64: 61DA9E3740D5CBD5 Time : 0.0 sec. user=mdettweiler [2013-01-21 05:25:48] 619*2^1239647-1 is not prime. Res64: 5C5D63E3D67202EE Time : 0.0 sec. user=mdettweiler [2013-01-21 05:25:48] 655*2^1239647-1 is not prime. Res64: 7359E3262B77A43E Time : 0.0 sec. user=mdettweiler [2013-01-21 05:26:13] 693*2^1239647-1 is not prime. Res64: 1D282330CBD2228D Time : 0.0 sec. user=mdettweiler [2013-01-21 05:26:14] 799*2^1239647-1 is not prime. Res64: 79D44A90AA907878 Time : 0.0 sec. user=vaughan [2013-01-21 05:31:40] 941*2^1239646-1 is not prime. Res64: D74A40DA3D2355D5 Time : 0.0 sec. user=mdettweiler [2013-01-21 05:43:08] 805*2^1239647-1 is not prime. Res64: A21244C4C1DFA3AC Time : 0.0 sec. user=mdettweiler [2013-01-21 05:43:09] 945*2^1239647-1 is not prime. Res64: 84405DC0D219D28A Time : 0.0 sec. user=mdettweiler [2013-01-21 05:43:33] 963*2^1239647-1 is not prime. Res64: 83195F520C187049 Time : 0.0 sec. user=mdettweiler [2013-01-21 05:43:34] 627*2^1239648-1 is not prime. Res64: 44D3810BC1E2092F Time : 0.0 sec. user=mdettweiler [2013-01-21 06:00:33] 815*2^1239648-1 is not prime. Res64: A19CB9B12C301F97 Time : 0.0 sec. user=mdettweiler [2013-01-21 06:00:34] 915*2^1239648-1 is not prime. Res64: 3CB3533F213F6200 Time : 0.0 sec. user=mdettweiler [2013-01-21 06:00:55] 927*2^1239648-1 is not prime. Res64: B58D473561376179 Time : 0.0 sec. user=mdettweiler [2013-01-21 06:00:57] 741*2^1239649-1 is not prime. Res64: 2AAE2EBAA26F3522 Time : 0.0 sec. user=vaughan [2013-01-21 06:09:37] 725*2^1239648-1 is not prime. Res64: 66241755CC224B34 Time : 0.0 sec. user=mdettweiler [2013-01-21 06:18:11] 745*2^1239649-1 is not prime. Res64: B22A0B8495202B01 Time : 0.0 sec. user=mdettweiler [2013-01-21 06:18:11] 861*2^1239649-1 is not prime. Res64: D99E808F459D4662 Time : 0.0 sec. user=mdettweiler [2013-01-21 06:18:25] 919*2^1239649-1 is not prime. Res64: 5626CC9C8DA86BCA Time : 0.0 sec. user=mdettweiler [2013-01-21 06:18:25] 641*2^1239650-1 is not prime. Res64: 3D6E7461BFA1A4B9 Time : 0.0 sec. user=mdettweiler [2013-01-21 06:35:32] 741*2^1239650-1 is not prime. Res64: 48133698B5891B31 Time : 0.0 sec. user=mdettweiler [2013-01-21 06:35:32] 755*2^1239650-1 is not prime. Res64: 0CAEB8B5700C6D7E Time : 0.0 sec. user=mdettweiler [2013-01-21 06:35:45] 867*2^1239650-1 is not prime. Res64: 774E63D48B807BDA Time : 0.0 sec. user=mdettweiler [2013-01-21 06:35:46] 1001*2^1239650-1 is not prime. Res64: A4067AA878FF5D53 Time : 0.0 sec. user=vaughan [2013-01-21 06:47:33] 657*2^1239650-1 is not prime. Res64: 822EC7F913DD7E42 Time : 0.0 sec. user=mdettweiler [2013-01-21 06:52:52] 723*2^1239651-1 is not prime. Res64: CF08C5A6A1EC5F50 Time : 0.0 sec. user=mdettweiler [2013-01-21 06:52:53] 973*2^1239651-1 is not prime. Res64: 8682590338173CF7 Time : 0.0 sec. user=mdettweiler [2013-01-21 06:53:08] 647*2^1239652-1 is not prime. Res64: 94C7440BD2528869 Time : 0.0 sec. user=mdettweiler [2013-01-21 06:53:09] 677*2^1239652-1 is not prime. Res64: D600FF0BE660D180 Time : 0.0 sec. user=mdettweiler [2013-01-21 07:10:13] 779*2^1239652-1 is not prime. Res64: F4A505711875A5E3 Time : 0.0 sec. user=mdettweiler [2013-01-21 07:10:14] 785*2^1239652-1 is not prime. Res64: 1F77F1A8F1862BDD Time : 0.0 sec. user=mdettweiler [2013-01-21 07:10:29] 615*2^1239653-1 is not prime. Res64: BD55459798A6A965 Time : 0.0 sec. user=mdettweiler [2013-01-21 07:10:31] 627*2^1239653-1 is not prime. Res64: B7C4D7040A351464 Time : 0.0 sec. user=vaughan [2013-01-21 07:25:34] 717*2^1239652-1 is not prime. Res64: 49C4463BFA15A882 Time : 0.0 sec. user=mdettweiler [2013-01-21 07:27:46] 715*2^1239653-1 is not prime. Res64: 1FB467493D90807E Time : 0.0 sec. user=mdettweiler [2013-01-21 07:27:46] 787*2^1239653-1 is not prime. Res64: 39306E547A24483D Time : 0.0 sec. user=mdettweiler [2013-01-21 07:27:54] 847*2^1239653-1 is not prime. Res64: 057FBD9B0A6A8E05 Time : 0.0 sec. user=mdettweiler [2013-01-21 07:27:54] 861*2^1239653-1 is not prime. Res64: 7F4B41F6AD40A8F2 Time : 0.0 sec. user=mdettweiler [2013-01-21 07:45:05] 955*2^1239653-1 is not prime. Res64: 25A5BF6A82DA6E89 Time : 0.0 sec. user=mdettweiler [2013-01-21 07:45:06] 731*2^1239654-1 is not prime. Res64: 88537E596F8E7D89 Time : 0.0 sec. user=mdettweiler [2013-01-21 07:45:14] 795*2^1239654-1 is not prime. Res64: F6499A255AC3C20B Time : 0.0 sec. user=mdettweiler [2013-01-21 07:45:15] 807*2^1239654-1 is not prime. Res64: 643F8A6BD522E8CE Time : 0.0 sec. user=mdettweiler [2013-01-21 08:02:28] 821*2^1239654-1 is not prime. Res64: 0975930170EA8A70 Time : 0.0 sec. user=mdettweiler [2013-01-21 08:02:32] 619*2^1239655-1 is not prime. Res64: 5B010066875B987D Time : 0.0 sec. user=mdettweiler [2013-01-21 08:02:34] 675*2^1239655-1 is not prime. Res64: 7C0D9D900E02729D Time : 0.0 sec. user=mdettweiler [2013-01-21 08:02:37] 679*2^1239655-1 is not prime. Res64: C832F9F1EADCDD7B Time : 0.0 sec. user=vaughan [2013-01-21 08:03:30] 949*2^1239653-1 is not prime. Res64: 02384BD7225266D8 Time : 0.0 sec. user=mdettweiler [2013-01-21 08:20:22] 693*2^1239655-1 is not prime. Res64: D139087822A46253 Time : 0.0 sec. user=mdettweiler [2013-01-21 08:20:23] 705*2^1239655-1 is not prime. Res64: 1ECC9D2B5AD6272B Time : 0.0 sec. user=mdettweiler [2013-01-21 08:20:34] 793*2^1239655-1 is not prime. Res64: 3AA08351F9214496 Time : 0.0 sec. user=mdettweiler [2013-01-21 08:20:35] 979*2^1239655-1 is not prime. Res64: E2335E81F38A4643 Time : 0.0 sec. user=mdettweiler [2013-01-21 08:37:42] 855*2^1239656-1 is not prime. Res64: 64374BBBA6395509 Time : 0.0 sec. user=mdettweiler [2013-01-21 08:37:43] 873*2^1239656-1 is not prime. Res64: 450127A2E2B53485 Time : 0.0 sec. user=mdettweiler [2013-01-21 08:37:53] 903*2^1239656-1 is not prime. Res64: DBDCD902A32B254C Time : 0.0 sec. user=mdettweiler [2013-01-21 08:37:54] 935*2^1239656-1 is not prime. Res64: DB98CEA2F8931A0C Time : 0.0 sec. user=vaughan [2013-01-21 08:41:31] 603*2^1239656-1 is not prime. Res64: 9D3A8C6E936AC7CC Time : 0.0 sec. user=mdettweiler [2013-01-21 08:55:02] 957*2^1239656-1 is not prime. Res64: 6D49BB7DF4D8ABEF Time : 0.0 sec. user=mdettweiler [2013-01-21 08:55:03] 601*2^1239657-1 is not prime. Res64: E4E199A5F96697D5 Time : 0.0 sec. user=mdettweiler [2013-01-21 08:55:13] 735*2^1239657-1 is not prime. Res64: CB904ACD6D64DCCD Time : 0.0 sec. user=mdettweiler [2013-01-21 08:55:14] 837*2^1239657-1 is not prime. Res64: 79D67B04FB44AB5B Time : 0.0 sec. user=mdettweiler [2013-01-21 09:12:22] 849*2^1239657-1 is not prime. Res64: 6A0E90BBBDD4A861 Time : 0.0 sec. user=mdettweiler [2013-01-21 09:12:23] 885*2^1239657-1 is not prime. Res64: AC692577D4E6560A Time : 0.0 sec. user=mdettweiler [2013-01-21 09:12:32] 949*2^1239657-1 is not prime. Res64: 5F7367680E96D9CD Time : 0.0 sec. user=mdettweiler [2013-01-21 09:12:34] 737*2^1239658-1 is not prime. Res64: 09FE857605FEE376 Time : 0.0 sec. user=vaughan [2013-01-21 09:19:29] 847*2^1239657-1 is not prime. Res64: A31A33A8D5E6B9D2 Time : 0.0 sec. user=mdettweiler [2013-01-21 09:29:47] 801*2^1239658-1 is not prime. Res64: 875A46BA31E4712A Time : 0.0 sec. user=mdettweiler [2013-01-21 09:29:47] 833*2^1239658-1 is not prime. Res64: 5BACEEEB565D77DE Time : 0.0 sec. user=mdettweiler [2013-01-21 09:29:58] 905*2^1239658-1 is not prime. Res64: 25337A143F28A2E3 Time : 0.0 sec. user=mdettweiler [2013-01-21 09:29:58] 945*2^1239658-1 is not prime. Res64: 4817097736C01093 Time : 0.0 sec. user=mdettweiler [2013-01-21 09:47:07] 685*2^1239659-1 is not prime. Res64: 6C54D89B677EC80C Time : 0.0 sec. user=mdettweiler [2013-01-21 09:47:07] 735*2^1239659-1 is not prime. Res64: 234CF10CBA3AEE0B Time : 0.0 sec. user=mdettweiler [2013-01-21 09:47:16] 775*2^1239659-1 is not prime. Res64: DA172E6E95734822 Time : 0.0 sec. user=mdettweiler [2013-01-21 09:47:17] 841*2^1239659-1 is not prime. Res64: C87C6C88A0F6B3A7 Time : 0.0 sec. user=vaughan [2013-01-21 09:57:24] 615*2^1239659-1 is not prime. Res64: 209C330FB3EAE0E0 Time : 0.0 sec. user=mdettweiler [2013-01-21 10:04:27] 909*2^1239659-1 is not prime. Res64: ECA1352E3A3EC046 Time : 0.0 sec. user=mdettweiler [2013-01-21 10:04:30] 921*2^1239659-1 is not prime. Res64: 93181FE009DABCBA Time : 0.0 sec. user=mdettweiler [2013-01-21 10:04:37] 719*2^1239660-1 is not prime. Res64: C62F97D43E042B5B Time : 0.0 sec. user=mdettweiler [2013-01-21 10:04:40] 753*2^1239660-1 is not prime. Res64: FD3FCAE4831AFE53 Time : 0.0 sec. user=mdettweiler [2013-01-21 10:22:56] 839*2^1239660-1 is not prime. Res64: 12D8239E25C9443F Time : 0.0 sec. user=mdettweiler [2013-01-21 10:22:56] 863*2^1239660-1 is not prime. Res64: 419826DB86FD5E8B Time : 0.0 sec. user=mdettweiler [2013-01-21 10:22:59] 975*2^1239660-1 is not prime. Res64: 4C61FA83186F2821 Time : 0.0 sec. user=mdettweiler [2013-01-21 10:23:00] 987*2^1239660-1 is not prime. Res64: BDD6181BF288D457 Time : 0.0 sec. user=vaughan [2013-01-21 10:35:21] 809*2^1239660-1 is not prime. Res64: C4A91411FA34604E Time : 0.0 sec. user=mdettweiler [2013-01-21 10:40:17] 745*2^1239661-1 is not prime. Res64: 0851742E843DA6D6 Time : 0.0 sec. user=mdettweiler [2013-01-21 10:40:18] 771*2^1239661-1 is not prime. Res64: BB995170495E6E16 Time : 0.0 sec. user=mdettweiler [2013-01-21 10:40:20] 799*2^1239661-1 is not prime. Res64: B8FA6C8B07A49F16 Time : 0.0 sec. user=mdettweiler [2013-01-21 10:40:20] 829*2^1239661-1 is not prime. Res64: 47495415F5F019C9 Time : 0.0 sec. user=mdettweiler [2013-01-21 10:57:45] 825*2^1239662-1 is not prime. Res64: EF4095CBEE3396F6 Time : 0.0 sec. user=mdettweiler [2013-01-21 10:57:45] 867*2^1239662-1 is not prime. Res64: A11F8A32C1D54FC8 Time : 0.0 sec. user=mdettweiler [2013-01-21 10:57:49] 677*2^1239662-1 is not prime. Res64: 3E76C4790FEB5353 Time : 0.0 sec. user=mdettweiler [2013-01-21 10:57:50] 693*2^1239662-1 is not prime. Res64: 0138F1B80632698A Time : 0.0 sec. user=vaughan [2013-01-21 11:13:20] 835*2^1239661-1 is not prime. Res64: D2DA8FBF8C6BB550 Time : 0.0 sec. user=mdettweiler [2013-01-21 11:15:15] 887*2^1239662-1 is not prime. Res64: F0AA25B26D25E2CD Time : 0.0 sec. user=mdettweiler [2013-01-21 11:15:16] 921*2^1239662-1 is not prime. Res64: 9C16A027C0DAE013 Time : 0.0 sec. user=mdettweiler [2013-01-21 11:15:17] 945*2^1239662-1 is not prime. Res64: 66608AC2ADB9B506 Time : 0.0 sec. user=mdettweiler [2013-01-21 11:15:18] 723*2^1239663-1 is not prime. Res64: FAA24580CF607F88 Time : 0.0 sec. user=mdettweiler [2013-01-21 11:32:42] 891*2^1239663-1 is not prime. Res64: B1DB6E85BCC821F1 Time : 0.0 sec. user=mdettweiler [2013-01-21 11:32:43] 951*2^1239663-1 is not prime. Res64: 21902BC9AE27ECFC Time : 0.0 sec. user=mdettweiler [2013-01-21 11:32:45] 963*2^1239663-1 is not prime. Res64: DB295030208F7B3E Time : 0.0 sec. user=mdettweiler [2013-01-21 11:32:45] 605*2^1239664-1 is not prime. Res64: 0B13A52B563E14BD Time : 0.0 sec. user=mdettweiler [2013-01-21 11:50:29] 677*2^1239664-1 is not prime. Res64: 54A1891FD1A001E8 Time : 0.0 sec. user=mdettweiler [2013-01-21 11:50:29] 705*2^1239664-1 is not prime. Res64: 566F544224466D03 Time : 0.0 sec. user=mdettweiler [2013-01-21 11:50:30] 833*2^1239664-1 is not prime. Res64: D75AB493C8ECDECF Time : 0.0 sec. user=mdettweiler [2013-01-21 11:50:30] 875*2^1239664-1 is not prime. Res64: F231388D5D0F4FFA Time : 0.0 sec. user=vaughan [2013-01-21 11:51:18] 873*2^1239663-1 is not prime. Res64: AEB4480337B49E19 Time : 0.0 sec. user=mdettweiler [2013-01-21 12:07:51] 887*2^1239664-1 is not prime. Res64: FFFA4A70207E9481 Time : 0.0 sec. user=mdettweiler [2013-01-21 12:07:51] 993*2^1239664-1 is not prime. Res64: 473E65A6BF1EC311 Time : 0.0 sec. user=mdettweiler [2013-01-21 12:07:54] 917*2^1239664-1 is not prime. Res64: 4628DDD2D9A03514 Time : 0.0 sec. user=mdettweiler [2013-01-21 12:07:55] 669*2^1239665-1 is not prime. Res64: 98F4A4351EF3FFDD Time : 0.0 sec. user=mdettweiler [2013-01-21 12:25:40] 715*2^1239665-1 is not prime. Res64: 104C46B7CB9CC854 Time : 0.0 sec. user=mdettweiler [2013-01-21 12:25:40] 691*2^1239665-1 is not prime. Res64: 4043B6CA6AE714E6 Time : 0.0 sec. user=mdettweiler [2013-01-21 12:25:41] 729*2^1239665-1 is not prime. Res64: 5D4C3CD17BFFE923 Time : 0.0 sec. user=mdettweiler [2013-01-21 12:25:41] 775*2^1239665-1 is not prime. Res64: 55636280123B70D1 Time : 0.0 sec. user=vaughan [2013-01-21 12:29:17] 675*2^1239665-1 is not prime. Res64: 62EBA48A98F4B7AF Time : 0.0 sec. user=mdettweiler [2013-01-21 12:43:05] 885*2^1239665-1 is not prime. Res64: F9079FF46A627B45 Time : 0.0 sec. user=mdettweiler [2013-01-21 12:43:06] 735*2^1239666-1 is not prime. Res64: C02AE408D6C00914 Time : 0.0 sec. user=mdettweiler [2013-01-21 12:43:06] 979*2^1239665-1 is not prime. Res64: D578F10914EE84AF Time : 0.0 sec. user=mdettweiler [2013-01-21 12:43:07] 747*2^1239666-1 is not prime. Res64: 81CE83B11668B3D2 Time : 0.0 sec. user=mdettweiler [2013-01-21 13:00:29] 891*2^1239666-1 is not prime. Res64: AD2F6E7CCB687AF6 Time : 0.0 sec. user=mdettweiler [2013-01-21 13:00:31] 675*2^1239667-1 is not prime. Res64: 4367D433F7A401C2 Time : 0.0 sec. user=mdettweiler [2013-01-21 13:00:32] 673*2^1239667-1 is not prime. Res64: 5C8C9BB09B85919C Time : 0.0 sec. user=mdettweiler [2013-01-21 13:00:34] 705*2^1239667-1 is not prime. Res64: 3FFB019863346B9E Time : 0.0 sec. user=vaughan [2013-01-21 13:07:15] 867*2^1239666-1 is not prime. Res64: C5D5DE9599E202DA Time : 0.0 sec. user=mdettweiler [2013-01-21 13:18:26] 733*2^1239667-1 is not prime. Res64: 5E1648B3CF42C76E Time : 0.0 sec. user=mdettweiler [2013-01-21 13:18:26] 805*2^1239667-1 is not prime. Res64: 74DFB7716632F6DE Time : 0.0 sec. user=mdettweiler [2013-01-21 13:18:28] 945*2^1239667-1 is not prime. Res64: DD9AE5B866A57766 Time : 0.0 sec. user=mdettweiler [2013-01-21 13:18:29] 893*2^1239668-1 is not prime. Res64: F6C5073A32838DDD Time : 0.0 sec. user=mdettweiler [2013-01-21 13:35:55] 685*2^1239669-1 is not prime. Res64: 479E0ED8926C295F Time : 0.0 sec. user=mdettweiler [2013-01-21 13:35:55] 899*2^1239668-1 is not prime. Res64: B7B45D15C4AB5E2F Time : 0.0 sec. user=mdettweiler [2013-01-21 13:35:55] 735*2^1239669-1 is not prime. Res64: 630A0EEDB4F125C9 Time : 0.0 sec. user=mdettweiler [2013-01-21 13:35:56] 615*2^1239669-1 is not prime. Res64: AECD8A2588374878 Time : 0.0 sec. user=vaughan [2013-01-21 13:45:15] 897*2^1239668-1 is not prime. Res64: 8846A1211897F464 Time : 0.0 sec. user=mdettweiler [2013-01-21 13:55:32] 787*2^1239669-1 is not prime. Res64: E566724C1A47F274 Time : 0.0 sec. user=mdettweiler [2013-01-21 13:55:32] 795*2^1239669-1 is not prime. Res64: 2BC59A0C9D4F6CAE Time : 0.0 sec. user=mdettweiler [2013-01-21 13:55:35] 889*2^1239669-1 is not prime. Res64: 8629C4A5E8ABB87E Time : 0.0 sec. user=mdettweiler [2013-01-21 13:55:35] 945*2^1239669-1 is not prime. Res64: 914B69ED44956988 Time : 0.0 sec. user=mdettweiler [2013-01-21 14:12:53] 605*2^1239670-1 is not prime. Res64: 11241B001B5855C7 Time : 0.0 sec. user=mdettweiler [2013-01-21 14:12:55] 713*2^1239670-1 is not prime. Res64: 08E1AF623544DC7D Time : 0.0 sec. user=mdettweiler [2013-01-21 14:12:57] 765*2^1239670-1 is not prime. Res64: 7C925E8C5CBFFC91 Time : 0.0 sec. user=mdettweiler [2013-01-21 14:12:58] 911*2^1239670-1 is not prime. Res64: 21C3630E25B550DB Time : 0.0 sec. user=vaughan [2013-01-21 14:23:11] 951*2^1239669-1 is not prime. Res64: ECEFFD9107F8AA79 Time : 0.0 sec. user=mdettweiler [2013-01-21 14:30:20] 615*2^1239671-1 is not prime. Res64: 7BD3C3AD5EA2CD23 Time : 0.0 sec. user=mdettweiler [2013-01-21 14:30:21] 651*2^1239671-1 is not prime. Res64: B60930C76690FA7E Time : 0.0 sec. user=mdettweiler [2013-01-21 14:30:22] 685*2^1239671-1 is not prime. Res64: 761539A217FB06E7 Time : 0.0 sec. user=mdettweiler [2013-01-21 14:30:22] 895*2^1239671-1 is not prime. Res64: 356C13E961D58BED Time : 0.0 sec. user=mdettweiler [2013-01-21 14:47:53] 629*2^1239672-1 is not prime. Res64: 5C36E4132F2AC33D Time : 0.0 sec. user=mdettweiler [2013-01-21 14:47:54] 635*2^1239672-1 is not prime. Res64: C22F96266224E61A Time : 0.0 sec. user=mdettweiler [2013-01-21 14:47:56] 657*2^1239672-1 is not prime. Res64: E918F26F9FE558D2 Time : 0.0 sec. user=mdettweiler [2013-01-21 14:47:57] 863*2^1239672-1 is not prime. Res64: B8B5A2A13F225A69 Time : 0.0 sec. user=vaughan [2013-01-21 15:01:05] 955*2^1239671-1 is not prime. Res64: 3CC4A497C851831F Time : 0.0 sec. user=mdettweiler [2013-01-21 15:05:40] 675*2^1239673-1 is not prime. Res64: 814CE9A8DECE83E2 Time : 0.0 sec. user=mdettweiler [2013-01-21 15:05:41] 789*2^1239673-1 is not prime. Res64: 2EA03552E804A331 Time : 0.0 sec. user=mdettweiler [2013-01-21 15:05:43] 831*2^1239673-1 is not prime. Res64: 5002645EE5B6D31F Time : 0.0 sec. user=mdettweiler [2013-01-21 15:05:45] 915*2^1239673-1 is not prime. Res64: DA4D4026F5DDF873 Time : 0.0 sec. user=mdettweiler [2013-01-21 15:23:53] 641*2^1239674-1 is not prime. Res64: 1F187A3B77EF8958 Time : 0.0 sec. user=mdettweiler [2013-01-21 15:23:54] 783*2^1239674-1 is not prime. Res64: 25A8DCF960E4B10B Time : 0.0 sec. user=mdettweiler [2013-01-21 15:23:56] 791*2^1239674-1 is not prime. Res64: F689FBD439296B64 Time : 0.0 sec. user=mdettweiler [2013-01-21 15:23:57] 941*2^1239674-1 is not prime. Res64: 5D810BD9EBB7CCB6 Time : 0.0 sec. user=juhehe [2013-01-21 15:34:33] 825*2^1239623-1 is not prime. Res64: C7A2083F2BBF8B52 Time : 0.0 sec. user=vaughan [2013-01-21 15:39:17] 937*2^1239673-1 is not prime. Res64: 05BDA7244BC8DAE5 Time : 0.0 sec. user=mdettweiler [2013-01-21 15:41:51] 971*2^1239674-1 is not prime. Res64: FD9C15FAC2D9E422 Time : 0.0 sec. user=mdettweiler [2013-01-21 15:41:51] 639*2^1239675-1 is not prime. Res64: B7EF092B39B1456F Time : 0.0 sec. user=mdettweiler [2013-01-21 15:41:52] 663*2^1239675-1 is not prime. Res64: F5F252D4D92C32B2 Time : 0.0 sec. user=mdettweiler [2013-01-21 15:41:52] 861*2^1239675-1 is not prime. Res64: AD67446B578BF369 Time : 0.0 sec. user=mdettweiler [2013-01-21 15:59:46] 779*2^1239676-1 is not prime. Res64: 7D1C09B7694542C1 Time : 0.0 sec. user=mdettweiler [2013-01-21 15:59:46] 843*2^1239676-1 is not prime. Res64: 55AB959266CBFD74 Time : 0.0 sec. user=mdettweiler [2013-01-21 15:59:47] 663*2^1239676-1 is not prime. Res64: 9DF5EDC91CA19958 Time : 0.0 sec. user=mdettweiler [2013-01-21 15:59:47] 693*2^1239676-1 is not prime. Res64: E79EC558C6072DD4 Time : 0.0 sec. user=juhehe [2013-01-21 16:07:49] 903*2^1239675-1 is not prime. Res64: 90EF4CA0FA0B4F3F Time : 0.0 sec. user=vaughan [2013-01-21 16:17:14] 921*2^1239675-1 is not prime. Res64: F0FFB9F6D5A79AD1 Time : 0.0 sec. user=mdettweiler [2013-01-21 16:17:44] 869*2^1239676-1 is not prime. Res64: 2AB896B5CE27BE7C Time : 0.0 sec. user=mdettweiler [2013-01-21 16:17:45] 873*2^1239676-1 is not prime. Res64: 97426DCDC0A2504B Time : 0.0 sec. user=mdettweiler [2013-01-21 16:17:46] 909*2^1239676-1 is not prime. Res64: 2040CE07CD0681D1 Time : 0.0 sec. user=mdettweiler [2013-01-21 16:17:46] 939*2^1239676-1 is not prime. Res64: 73C029307A9F48F0 Time : 0.0 sec. user=mdettweiler [2013-01-21 16:35:43] 729*2^1239677-1 is not prime. Res64: 64112AD4F3E8630E Time : 0.0 sec. user=mdettweiler [2013-01-21 16:35:43] 741*2^1239677-1 is not prime. Res64: 461388137C59DAA3 Time : 0.0 sec. user=mdettweiler [2013-01-21 16:35:48] 759*2^1239677-1 is not prime. Res64: 4C42DAFC343F2FD2 Time : 0.0 sec. user=mdettweiler [2013-01-21 16:35:48] 777*2^1239677-1 is not prime. Res64: 8A03E35D02A9609C Time : 0.0 sec. user=juhehe [2013-01-21 16:41:12] 691*2^1239677-1 is not prime. Res64: A1E803D832523200 Time : 0.0 sec. user=mdettweiler [2013-01-21 16:53:37] 831*2^1239677-1 is not prime. Res64: 18A91B4BE900F473 Time : 0.0 sec. user=mdettweiler [2013-01-21 16:53:38] 915*2^1239677-1 is not prime. Res64: 126EBD05DE4750CA Time : 0.0 sec. user=mdettweiler [2013-01-21 16:53:44] 621*2^1239678-1 is not prime. Res64: E50118DEDE43BC99 Time : 0.0 sec. user=mdettweiler [2013-01-21 16:53:44] 651*2^1239678-1 is not prime. Res64: B94F42A4601F463B Time : 0.0 sec. user=vaughan [2013-01-21 16:55:11] 711*2^1239677-1 is not prime. Res64: DAB5B2979EDAED48 Time : 0.0 sec. user=mdettweiler [2013-01-21 17:11:39] 725*2^1239678-1 is not prime. Res64: C2455D54BF3411E2 Time : 0.0 sec. user=mdettweiler [2013-01-21 17:11:40] 755*2^1239678-1 is not prime. Res64: 932DC08BB63B1292 Time : 0.0 sec. user=mdettweiler [2013-01-21 17:11:43] 777*2^1239678-1 is not prime. Res64: AE66C7DF6D8F8185 Time : 0.0 sec. user=mdettweiler [2013-01-21 17:11:44] 893*2^1239678-1 is not prime. Res64: 254D73306134F168 Time : 0.0 sec. user=juhehe [2013-01-21 17:14:20] 663*2^1239678-1 is not prime. Res64: 46265FB5773C8422 Time : 0.0 sec. user=mdettweiler [2013-01-21 17:29:30] 639*2^1239679-1 is not prime. Res64: 3A1FC5AB48D589D9 Time : 0.0 sec. user=mdettweiler [2013-01-21 17:29:30] 741*2^1239679-1 is not prime. Res64: AA0C5D0DD54462E9 Time : 0.0 sec. user=mdettweiler [2013-01-21 17:29:35] 793*2^1239679-1 is not prime. Res64: FAB53A4F6A2C3681 Time : 0.0 sec. user=mdettweiler [2013-01-21 17:29:35] 861*2^1239679-1 is not prime. Res64: 2044493F2F3BC3C5 Time : 0.0 sec. user=vaughan [2013-01-21 17:33:04] 957*2^1239678-1 is not prime. Res64: 03EED6AB470624D3 Time : 0.0 sec. user=mdettweiler [2013-01-21 17:47:18] 767*2^1239680-1 is not prime. Res64: 200DE522DCCA5779 Time : 0.0 sec. user=mdettweiler [2013-01-21 17:47:18] 843*2^1239680-1 is not prime. Res64: 2C2EB9E2AD57092D Time : 0.0 sec. user=mdettweiler [2013-01-21 17:47:22] 637*2^1239681-1 is not prime. Res64: 0C49A6248F5BC85A Time : 0.0 sec. user=mdettweiler [2013-01-21 17:47:22] 657*2^1239681-1 is not prime. Res64: 57A454B893359660 Time : 0.0 sec. user=juhehe [2013-01-21 17:47:30] 747*2^1239680-1 is not prime. Res64: 1BF83B293D3C9119 Time : 0.0 sec. user=mdettweiler [2013-01-21 18:05:09] 711*2^1239681-1 is not prime. Res64: 7A4DC9048A669BE7 Time : 0.0 sec. user=mdettweiler [2013-01-21 18:05:11] 745*2^1239681-1 is not prime. Res64: 1E53BCD0FC51AA68 Time : 0.0 sec. user=mdettweiler [2013-01-21 18:05:12] 865*2^1239681-1 is not prime. Res64: 016A02906EA3B4BC Time : 0.0 sec. user=mdettweiler [2013-01-21 18:05:13] 907*2^1239681-1 is not prime. Res64: F25CE0CF0E564969 Time : 0.0 sec. user=vaughan [2013-01-21 18:10:59] 681*2^1239681-1 is not prime. Res64: B0502CCDFFDF7F98 Time : 0.0 sec. user=mdettweiler [2013-01-21 18:23:05] 737*2^1239682-1 is not prime. Res64: 77A9DC8727E8B5F5 Time : 0.0 sec. user=mdettweiler [2013-01-21 18:23:06] 873*2^1239682-1 is not prime. Res64: 2EAB7D2234EF1C02 Time : 0.0 sec. user=mdettweiler [2013-01-21 18:23:08] 885*2^1239682-1 is not prime. Res64: 3C85240F8D079421 Time : 0.0 sec. user=mdettweiler [2013-01-21 18:23:12] 923*2^1239682-1 is not prime. Res64: 9691F94874C15ADC Time : 0.0 sec. user=mdettweiler [2013-01-21 18:41:02] 621*2^1239683-1 is not prime. Res64: BDFF16D9B1041E0F Time : 0.0 sec. user=mdettweiler [2013-01-21 18:41:02] 699*2^1239683-1 is not prime. Res64: C15553AE79F44FD8 Time : 0.0 sec. user=mdettweiler [2013-01-21 18:41:04] 715*2^1239683-1 is not prime. Res64: A8B7AECD362703A2 Time : 0.0 sec. user=mdettweiler [2013-01-21 18:41:04] 939*2^1239683-1 is not prime. Res64: 6BD538354E020BBD Time : 0.0 sec. user=vaughan [2013-01-21 18:48:57] 957*2^1239682-1 is not prime. Res64: 08643EEF84598916 Time : 0.0 sec. user=mdettweiler [2013-01-21 18:58:30] 981*2^1239683-1 is not prime. Res64: 887207BAE92D4296 Time : 0.0 sec. user=mdettweiler [2013-01-21 18:58:30] 993*2^1239683-1 is not prime. Res64: 7E8A7558EFE5F8ED Time : 0.0 sec. user=mdettweiler [2013-01-21 18:58:32] 615*2^1239684-1 is not prime. Res64: 4E7450CB1BDCB412 Time : 0.0 sec. user=mdettweiler [2013-01-21 18:58:32] 635*2^1239684-1 is not prime. Res64: A7D50817EDBF9118 Time : 0.0 sec. user=mdettweiler [2013-01-21 19:15:58] 719*2^1239684-1 is not prime. Res64: D1A4420A45D069AF Time : 0.0 sec. user=mdettweiler [2013-01-21 19:15:59] 857*2^1239684-1 is not prime. Res64: DE7EBC7DC0BCE6A2 Time : 0.0 sec. user=mdettweiler [2013-01-21 19:16:00] 899*2^1239684-1 is not prime. Res64: 90A893616CA1C190 Time : 0.0 sec. user=mdettweiler [2013-01-21 19:16:01] 915*2^1239684-1 is not prime. Res64: FDF931971AB2C5AF Time : 0.0 sec. user=vaughan [2013-01-21 19:26:53] 705*2^1239684-1 is not prime. Res64: FD30B2A997341562 Time : 0.0 sec. user=mdettweiler [2013-01-21 19:33:25] 959*2^1239684-1 is not prime. Res64: 9521A328EF7457F6 Time : 0.0 sec. user=mdettweiler [2013-01-21 19:33:26] 759*2^1239685-1 is not prime. Res64: A134A2ED80686985 Time : 0.0 sec. user=mdettweiler [2013-01-21 19:33:28] 861*2^1239685-1 is not prime. Res64: 535746A432481559 Time : 0.0 sec. user=mdettweiler [2013-01-21 19:33:29] 885*2^1239685-1 is not prime. Res64: BC7C28EC294BFD53 Time : 0.0 sec. user=mdettweiler [2013-01-21 19:50:56] 645*2^1239686-1 is not prime. Res64: 30786C9E43E95AFA Time : 0.0 sec. user=mdettweiler [2013-01-21 19:50:57] 651*2^1239686-1 is not prime. Res64: 10243D935CD4F878 Time : 0.0 sec. user=mdettweiler [2013-01-21 19:50:59] 755*2^1239686-1 is not prime. Res64: 8AFF093F95C5F1DC Time : 0.0 sec. user=mdettweiler [2013-01-21 19:51:00] 897*2^1239686-1 is not prime. Res64: 8C866896BD18E597 Time : 0.0 sec. user=vaughan [2013-01-21 20:04:47] 627*2^1239686-1 is not prime. Res64: 663D583B3C86EBD1 Time : 0.0 sec. user=mdettweiler [2013-01-21 20:08:49] 917*2^1239686-1 is not prime. Res64: 70A1823C9A50D86F Time : 0.0 sec. user=mdettweiler [2013-01-21 20:08:52] 953*2^1239686-1 is not prime. Res64: 30CF582E67FF6173 Time : 0.0 sec. user=mdettweiler [2013-01-21 20:09:10] 993*2^1239686-1 is not prime. Res64: 2E0886CD14C95F89 Time : 0.0 sec. user=mdettweiler [2013-01-21 20:09:12] 619*2^1239687-1 is not prime. Res64: 17904A49DFF52884 Time : 0.0 sec. user=mdettweiler [2013-01-21 20:26:35] 751*2^1239687-1 is not prime. Res64: 3302395C97DB003D Time : 0.0 sec. user=mdettweiler [2013-01-21 20:26:35] 823*2^1239687-1 is not prime. Res64: 753DA2C566353862 Time : 0.0 sec. user=mdettweiler [2013-01-21 20:26:42] 861*2^1239687-1 is not prime. Res64: BB565EF113FDCD01 Time : 0.0 sec. user=mdettweiler [2013-01-21 20:26:42] 865*2^1239687-1 is not prime. Res64: 71A8DE9653FC8FE8 Time : 0.0 sec. user=vaughan [2013-01-21 20:42:46] 711*2^1239687-1 is not prime. Res64: 4B7EDA41B8F97150 Time : 0.0 sec. user=mdettweiler [2013-01-21 20:44:03] 615*2^1239688-1 is not prime. Res64: ACDFD95A622E446D Time : 0.0 sec. user=mdettweiler [2013-01-21 20:44:03] 657*2^1239688-1 is not prime. Res64: 2707FD7E866A143B Time : 0.0 sec. user=mdettweiler [2013-01-21 20:44:09] 765*2^1239688-1 is not prime. Res64: 7F2191880D995A4E Time : 0.0 sec. user=mdettweiler [2013-01-21 20:44:10] 773*2^1239688-1 is not prime. Res64: BBACF31FDD71B33B Time : 0.0 sec. user=mdettweiler [2013-01-21 21:01:34] 741*2^1239689-1 is not prime. Res64: 5860EE6DAFC4DFC9 Time : 0.0 sec. user=mdettweiler [2013-01-21 21:01:36] 795*2^1239689-1 is not prime. Res64: B0C453B91E812C1D Time : 0.0 sec. user=mdettweiler [2013-01-21 21:01:40] 861*2^1239689-1 is not prime. Res64: CC9983D484D015F1 Time : 0.0 sec. user=mdettweiler [2013-01-21 21:01:42] 987*2^1239689-1 is not prime. Res64: 3D8CD05281BA4E3B Time : 0.0 sec. user=mdettweiler [2013-01-21 21:19:27] 657*2^1239690-1 is not prime. Res64: 438B7C3B980BAC78 Time : 0.0 sec. user=mdettweiler [2013-01-21 21:19:27] 851*2^1239690-1 is not prime. Res64: 92048E96C179F717 Time : 0.0 sec. user=mdettweiler [2013-01-21 21:19:32] 933*2^1239690-1 is not prime. Res64: A5DD13EA3E38BBD1 Time : 0.0 sec. user=mdettweiler [2013-01-21 21:19:33] 775*2^1239691-1 is not prime. Res64: EE501A5D42C706C4 Time : 0.0 sec. user=vaughan [2013-01-21 21:20:42] 615*2^1239689-1 is not prime. Res64: 179E7204BCE48621 Time : 0.0 sec. user=mdettweiler [2013-01-21 21:37:08] 943*2^1239691-1 is not prime. Res64: 50B8D16B30E30837 Time : 0.0 sec. user=mdettweiler [2013-01-21 21:37:08] 961*2^1239691-1 is not prime. Res64: C847B18897EC7837 Time : 0.0 sec. user=mdettweiler [2013-01-21 21:37:13] 683*2^1239692-1 is not prime. Res64: D5B2BF4A1D26141D Time : 0.0 sec. user=mdettweiler [2013-01-21 21:37:13] 767*2^1239692-1 is not prime. Res64: 842B80AB8FD587D8 Time : 0.0 sec. user=mdettweiler [2013-01-21 21:55:17] 669*2^1239693-1 is not prime. Res64: 78600DBAA0CDBEA0 Time : 0.0 sec. user=mdettweiler [2013-01-21 21:55:18] 685*2^1239693-1 is not prime. Res64: D414C956FEFEBEC9 Time : 0.0 sec. user=mdettweiler [2013-01-21 21:55:30] 843*2^1239692-1 is not prime. Res64: 5B7FFFDD1ACA0D01 Time : 0.0 sec. user=mdettweiler [2013-01-21 21:55:30] 903*2^1239692-1 is not prime. Res64: BD4CD84F003BCBFC Time : 0.0 sec. user=vaughan [2013-01-21 21:58:44] 837*2^1239692-1 is not prime. Res64: C240B2DD0B0D1908 Time : 0.0 sec. user=mdettweiler [2013-01-21 22:15:19] 817*2^1239693-1 is not prime. Res64: 711EB1CF8C95FC67 Time : 0.0 sec. user=mdettweiler [2013-01-21 22:15:19] 837*2^1239693-1 is not prime. Res64: 95190511E5B0196E Time : 0.0 sec. user=mdettweiler [2013-01-21 22:15:32] 889*2^1239693-1 is not prime. Res64: A64431941C261948 Time : 0.0 sec. user=mdettweiler [2013-01-21 22:15:32] 955*2^1239693-1 is not prime. Res64: 60FE6701D7108AF3 Time : 0.0 sec. user=mdettweiler [2013-01-21 22:34:27] 987*2^1239693-1 is not prime. Res64: F1E34D462231010B Time : 0.0 sec. user=mdettweiler [2013-01-21 22:34:28] 635*2^1239694-1 is not prime. Res64: 3D90E966207601FD Time : 0.0 sec. user=mdettweiler [2013-01-21 22:34:41] 737*2^1239694-1 is not prime. Res64: 1CA3FB3FAA4C0A2E Time : 0.0 sec. user=mdettweiler [2013-01-21 22:34:42] 825*2^1239694-1 is not prime. Res64: AA5EBDFC34EC5E3D Time : 0.0 sec. user=vaughan [2013-01-21 22:36:40] 961*2^1239693-1 is not prime. Res64: AA8CF52EEBDB52CC Time : 0.0 sec. user=mdettweiler [2013-01-21 22:51:49] 857*2^1239694-1 is not prime. Res64: 24625522D46B3DCD Time : 0.0 sec. user=mdettweiler [2013-01-21 22:51:49] 861*2^1239694-1 is not prime. Res64: 1705ECFDCFE7CC6F Time : 0.0 sec. user=mdettweiler [2013-01-21 22:52:02] 923*2^1239694-1 is not prime. Res64: 92C6B6757FEAD8A2 Time : 0.0 sec. user=mdettweiler [2013-01-21 22:52:03] 975*2^1239694-1 is not prime. Res64: F55192B44470E27A Time : 0.0 sec. user=mdettweiler [2013-01-21 23:09:11] 943*2^1239695-1 is not prime. Res64: 5C107C63A019A677 Time : 0.0 sec. user=mdettweiler [2013-01-21 23:09:12] 985*2^1239695-1 is not prime. Res64: 41E688D3FD346D29 Time : 0.0 sec. user=mdettweiler [2013-01-21 23:09:23] 991*2^1239695-1 is not prime. Res64: 0D2A5C096589DDE3 Time : 0.0 sec. user=mdettweiler [2013-01-21 23:09:24] 689*2^1239696-1 is not prime. Res64: CCBC36BFFCB356EE Time : 0.0 sec. user=vaughan [2013-01-21 23:14:34] 983*2^1239694-1 is not prime. Res64: DDD0152EBA26229D Time : 0.0 sec. user=mdettweiler [2013-01-21 23:26:34] 947*2^1239696-1 is not prime. Res64: 0EFE57E5E8E92345 Time : 0.0 sec. user=mdettweiler [2013-01-21 23:26:35] 957*2^1239696-1 is not prime. Res64: 7D10502DC0040A09 Time : 0.0 sec. user=mdettweiler [2013-01-21 23:26:45] 975*2^1239696-1 is not prime. Res64: 6CAA410EBF8D1260 Time : 0.0 sec. user=mdettweiler [2013-01-21 23:26:46] 727*2^1239697-1 is not prime. Res64: 722447D7CC425382 Time : 0.0 sec. user=mdettweiler [2013-01-21 23:43:56] 829*2^1239697-1 is not prime. Res64: B8242F312178F168 Time : 0.0 sec. user=mdettweiler [2013-01-21 23:43:56] 831*2^1239697-1 is not prime. Res64: D3BC2A0074164D4E Time : 0.0 sec. user=mdettweiler [2013-01-21 23:44:05] 945*2^1239697-1 is not prime. Res64: 10A98B09FE45F874 Time : 0.0 sec. user=mdettweiler [2013-01-21 23:44:06] 677*2^1239698-1 is not prime. Res64: 8D19182E2F4CB527 Time : 0.0 sec. user=vaughan [2013-01-21 23:52:34] 747*2^1239697-1 is not prime. Res64: 530FE49D17C4B0F3 Time : 0.0 sec.