user=mdettweiler [2013-08-29 00:03:44] 751*2^1252089-1 is not prime. Res64: 0A2A1932B304431E Time : 0.0 sec. user=mdettweiler [2013-08-29 00:03:45] 817*2^1252089-1 is not prime. Res64: D2BA5D5CEB6B79E2 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:09:55] 985*2^1252089-1 is not prime. Res64: 6358DB8A198D354F Time : 0.0 sec. user=mdettweiler [2013-08-29 00:09:56] 633*2^1252090-1 is not prime. Res64: 7F8C6D04F1930AEB Time : 0.0 sec. user=mdettweiler [2013-08-29 00:10:12] 653*2^1252090-1 is not prime. Res64: B60DEC49BC15AF11 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:10:13] 701*2^1252090-1 is not prime. Res64: 852421764FF50829 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:16:33] 707*2^1252090-1 is not prime. Res64: 430D32E264DA1C1D Time : 0.0 sec. user=mdettweiler [2013-08-29 00:16:34] 717*2^1252090-1 is not prime. Res64: 379530972FE32EA4 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:24:09] 735*2^1252090-1 is not prime. Res64: 23E57DAE7172EE86 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:24:09] 747*2^1252090-1 is not prime. Res64: 3B5BF416687E3C16 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:31:02] 827*2^1252090-1 is not prime. Res64: 652D6D963AAC6A9C Time : 0.0 sec. user=mdettweiler [2013-08-29 00:31:03] 957*2^1252090-1 is not prime. Res64: BA32B9DA4E726B27 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:31:15] 1001*2^1252090-1 is not prime. Res64: 3C726FBA3EC6B3E3 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:31:16] 615*2^1252091-1 is not prime. Res64: C2EBC2C5AA8919BB Time : 0.0 sec. user=mdettweiler [2013-08-29 00:36:43] 645*2^1252091-1 is not prime. Res64: 3B90C4C143DC3513 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:36:43] 663*2^1252091-1 is not prime. Res64: F04E4769F4AFAE49 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:44:16] 669*2^1252091-1 is not prime. Res64: CF0C54ABBC5A2044 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:44:17] 735*2^1252091-1 is not prime. Res64: C7C93C77D7A572B4 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:51:08] 789*2^1252091-1 is not prime. Res64: 3608206C3297E489 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:51:09] 801*2^1252091-1 is not prime. Res64: E73FFF7B1EA205B2 Time : 0.0 sec. user=mdettweiler [2013-08-29 00:51:19] 879*2^1252091-1 is not prime. Res64: 05A73C236ADF25DA Time : 0.0 sec. user=mdettweiler [2013-08-29 00:51:19] 883*2^1252091-1 is not prime. Res64: 5990D3C412C0A15B Time : 0.0 sec. user=mdettweiler [2013-08-29 00:56:43] 605*2^1252092-1 is not prime. Res64: 7927164CD845BA3E Time : 0.0 sec. user=mdettweiler [2013-08-29 00:56:44] 609*2^1252092-1 is not prime. Res64: 9B8A77969EB262D2 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:04:25] 693*2^1252092-1 is not prime. Res64: 35EF43F93E7BDDE6 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:04:26] 809*2^1252092-1 is not prime. Res64: 157973051B694725 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:11:28] 679*2^1252093-1 is not prime. Res64: 11840E47368B82FE Time : 0.0 sec. user=mdettweiler [2013-08-29 01:11:29] 687*2^1252093-1 is not prime. Res64: 1D927BE7E16CE3BA Time : 0.0 sec. user=mdettweiler [2013-08-29 01:13:10] 983*2^1252092-1 is not prime. Res64: 487218F57AAC2891 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:13:11] 987*2^1252092-1 is not prime. Res64: 48CE37B05705BB52 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:16:50] 727*2^1252093-1 is not prime. Res64: 0258620755F87A32 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:16:51] 747*2^1252093-1 is not prime. Res64: 2FEA5E07C8943FFF Time : 0.0 sec. user=mdettweiler [2013-08-29 01:25:32] 919*2^1252093-1 is not prime. Res64: 6A28F19FFF018767 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:25:33] 635*2^1252094-1 is not prime. Res64: 1BC2567C7DB85E3E Time : 0.0 sec. user=mdettweiler [2013-08-29 01:31:39] 711*2^1252094-1 is not prime. Res64: 94672EA3FEB464E8 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:31:39] 731*2^1252094-1 is not prime. Res64: E407BFE21289803C Time : 0.0 sec. user=mdettweiler [2013-08-29 01:33:17] 743*2^1252094-1 is not prime. Res64: 84A76A2D74E80FB0 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:33:17] 857*2^1252094-1 is not prime. Res64: BE4BC61899932291 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:38:55] 885*2^1252094-1 is not prime. Res64: B3AEFAF1205EC5E4 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:38:55] 923*2^1252094-1 is not prime. Res64: 803A29BACA175553 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:45:37] 735*2^1252095-1 is not prime. Res64: F329D0BE22FCE323 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:45:38] 873*2^1252095-1 is not prime. Res64: A7A7063C1E9773F9 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:53:36] 885*2^1252095-1 is not prime. Res64: 3D15C03D8D64AA04 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:53:37] 919*2^1252095-1 is not prime. Res64: 8591DB6198553558 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:54:18] 999*2^1252095-1 is not prime. Res64: 3DBCD1DBA14A424D Time : 0.0 sec. user=mdettweiler [2013-08-29 01:54:18] 677*2^1252096-1 is not prime. Res64: 2829A50616D0E7F9 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:58:53] 785*2^1252096-1 is not prime. Res64: D59644A35DE4A365 Time : 0.0 sec. user=mdettweiler [2013-08-29 01:58:53] 843*2^1252096-1 is not prime. Res64: 1AD300B2A1CCD2E6 Time : 0.0 sec. user=mdettweiler [2013-08-29 02:05:36] 845*2^1252096-1 is not prime. Res64: C015DAFBB47EE30A Time : 0.0 sec. user=mdettweiler [2013-08-29 02:05:38] 873*2^1252096-1 is not prime. Res64: 1A31DFF44909499A Time : 0.0 sec. user=mdettweiler [2013-08-29 02:13:42] 619*2^1252097-1 is not prime. Res64: 6026AB39D5F993E2 Time : 0.0 sec. user=mdettweiler [2013-08-29 02:13:43] 831*2^1252097-1 is not prime. Res64: 0C468E4A934EDE4E Time : 0.0 sec. user=mdettweiler [2013-08-29 02:15:17] 867*2^1252097-1 is not prime. Res64: 2D4B0AD897456706 Time : 0.0 sec. user=mdettweiler [2013-08-29 02:15:18] 915*2^1252097-1 is not prime. Res64: B40D4EF32280560A Time : 0.0 sec. user=mdettweiler [2013-08-29 02:19:49] 931*2^1252097-1 is not prime. Res64: A606846CF44E7EDF Time : 0.0 sec. user=mdettweiler [2013-08-29 02:19:49] 621*2^1252098-1 is not prime. Res64: 671C5AA4E175396F Time : 0.0 sec. user=juhehe [2013-08-29 02:22:25] 975*2^1252096-1 is not prime. Res64: 9B19E7E57005918A Time : 0.0 sec. user=mdettweiler [2013-08-29 02:26:45] 773*2^1252098-1 is not prime. Res64: F377C36E7869BB9A Time : 0.0 sec. user=mdettweiler [2013-08-29 02:26:45] 893*2^1252098-1 is not prime. Res64: C7CC309735D30786 Time : 0.0 sec. user=mdettweiler [2013-08-29 02:35:21] 615*2^1252099-1 is not prime. Res64: 380AAB409BEC1761 Time : 0.0 sec. user=mdettweiler [2013-08-29 02:35:23] 685*2^1252099-1 is not prime. Res64: 06F1A87F2DBD1B2F Time : 0.0 sec. user=mdettweiler [2013-08-29 02:35:40] 927*2^1252098-1 is not prime. Res64: 22E55AEE187C890D Time : 0.0 sec. user=mdettweiler [2013-08-29 02:35:41] 977*2^1252098-1 is not prime. Res64: 385D614E3416FAA4 Time : 0.0 sec. user=mdettweiler [2013-08-29 02:41:49] 925*2^1252099-1 is not prime. Res64: A3EB423DE3052357 Time : 0.0 sec. user=mdettweiler [2013-08-29 02:41:51] 939*2^1252099-1 is not prime. Res64: F891A88638D78BF5 Time : 0.0 sec. user=mdettweiler [2013-08-29 02:46:46] 651*2^1252101-1 is not prime. Res64: 0C2347EB530B4181 Time : 0.0 sec. user=mdettweiler [2013-08-29 02:46:47] 709*2^1252101-1 is not prime. Res64: D5ADE3D7AA7D9690 Time : 0.0 sec. user=mdettweiler [2013-08-29 02:55:25] 717*2^1252101-1 is not prime. Res64: D7AB51FCE7BEEB44 Time : 0.0 sec. user=mdettweiler [2013-08-29 02:55:26] 745*2^1252101-1 is not prime. Res64: ACC0ADA057D2B77C Time : 0.0 sec. user=mdettweiler [2013-08-29 02:56:40] 861*2^1252101-1 is not prime. Res64: 2F52E2AB1C49DFE1 Time : 0.0 sec. user=mdettweiler [2013-08-29 02:56:40] 895*2^1252101-1 is not prime. Res64: 053E697F574E098D Time : 0.0 sec. user=juhehe [2013-08-29 02:59:54] 999*2^1252100-1 is not prime. Res64: F73575326ACFC9C4 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:02:15] 827*2^1252102-1 is not prime. Res64: 6E4A68E568E7F43D Time : 0.0 sec. user=mdettweiler [2013-08-29 03:02:16] 833*2^1252102-1 is not prime. Res64: 3E5B93B47D823FC9 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:06:50] 855*2^1252102-1 is not prime. Res64: F6D95EC194E34BAD Time : 0.0 sec. user=mdettweiler [2013-08-29 03:06:51] 873*2^1252102-1 is not prime. Res64: F50B8C0658811BED Time : 0.0 sec. user=mdettweiler [2013-08-29 03:17:23] 885*2^1252102-1 is not prime. Res64: 7BE995F0132ADCB1 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:17:23] 951*2^1252102-1 is not prime. Res64: 0ABE6E0077C97B88 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:17:42] 983*2^1252102-1 is not prime. Res64: 7678D3C3F9D5AD29 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:17:43] 663*2^1252103-1 is not prime. Res64: A3097229E5C39E40 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:22:25] 679*2^1252103-1 is not prime. Res64: E10D4BF4CFFD9921 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:22:26] 685*2^1252103-1 is not prime. Res64: 8AD23BF5AA787DBA Time : 0.0 sec. user=mdettweiler [2013-08-29 03:26:53] 693*2^1252103-1 is not prime. Res64: 83123678C9A1B693 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:26:53] 703*2^1252103-1 is not prime. Res64: 99E159DD63ADFBE2 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:37:36] 805*2^1252103-1 is not prime. Res64: 0F3D85DAF9E253F3 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:37:36] 615*2^1252104-1 is not prime. Res64: 0DE624EC9D58B385 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:37:54] 759*2^1252104-1 is not prime. Res64: 8DBE5707BA477E10 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:37:54] 773*2^1252104-1 is not prime. Res64: 31DDB45F970D06B0 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:42:28] 795*2^1252104-1 is not prime. Res64: C1847DBCC1E74B16 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:42:28] 857*2^1252104-1 is not prime. Res64: F43573E67D96E790 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:47:55] 903*2^1252104-1 is not prime. Res64: 8BAD1A8DA20F4C1E Time : 0.0 sec. user=mdettweiler [2013-08-29 03:47:56] 625*2^1252105-1 is not prime. Res64: 3A7C821167013DB4 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:57:38] 651*2^1252105-1 is not prime. Res64: 0991D87DBC42A76B Time : 0.0 sec. user=mdettweiler [2013-08-29 03:57:39] 741*2^1252105-1 is not prime. Res64: F588BACEC9FD37BF Time : 0.0 sec. user=mdettweiler [2013-08-29 03:57:59] 831*2^1252105-1 is not prime. Res64: 3AE9D81662F184A9 Time : 0.0 sec. user=mdettweiler [2013-08-29 03:57:59] 877*2^1252105-1 is not prime. Res64: 26C0C7E196BFF83F Time : 0.0 sec. user=mdettweiler [2013-08-29 04:04:27] 919*2^1252105-1 is not prime. Res64: 257DAC8039DA13A8 Time : 0.0 sec. user=mdettweiler [2013-08-29 04:04:29] 981*2^1252105-1 is not prime. Res64: DD0E7A1614574B23 Time : 0.0 sec. user=mdettweiler [2013-08-29 04:07:59] 657*2^1252106-1 is not prime. Res64: CCD1025C45715E1A Time : 0.0 sec. user=mdettweiler [2013-08-29 04:08:00] 783*2^1252106-1 is not prime. Res64: 182BCF658457B441 Time : 0.0 sec. user=mdettweiler [2013-08-29 04:18:36] 837*2^1252106-1 is not prime. Res64: AC7688C59842B818 Time : 0.0 sec. user=mdettweiler [2013-08-29 04:18:36] 903*2^1252106-1 is not prime. Res64: 5089C91FB20B691F Time : 0.0 sec. user=mdettweiler [2013-08-29 04:19:55] 923*2^1252106-1 is not prime. Res64: 67B822176924A72E Time : 0.0 sec. user=mdettweiler [2013-08-29 04:19:55] 945*2^1252106-1 is not prime. Res64: 4D0FF8B8BD53513D Time : 0.0 sec. user=mdettweiler [2013-08-29 04:24:32] 615*2^1252107-1 is not prime. Res64: C0439CBFFD4D596F Time : 0.0 sec. user=mdettweiler [2013-08-29 04:24:33] 769*2^1252107-1 is not prime. Res64: 02A69F9008DA8A84 Time : 0.0 sec. user=mdettweiler [2013-08-29 04:28:09] 843*2^1252107-1 is not prime. Res64: 3E6F1B0E9DEEF37F Time : 0.0 sec. user=mdettweiler [2013-08-29 04:28:09] 689*2^1252108-1 is not prime. Res64: 74E4056351A7F561 Time : 0.0 sec. user=mdettweiler [2013-08-29 04:39:43] 843*2^1252108-1 is not prime. Res64: 7CAFD63BBE92986E Time : 0.0 sec. user=mdettweiler [2013-08-29 04:39:44] 953*2^1252108-1 is not prime. Res64: FDB5C55F7E8FBC1C Time : 0.0 sec. user=mdettweiler [2013-08-29 04:41:02] 999*2^1252108-1 is not prime. Res64: 2710D4EA4807A527 Time : 0.0 sec. user=mdettweiler [2013-08-29 04:41:03] 631*2^1252109-1 is not prime. Res64: 54FD617DBAC6D530 Time : 0.0 sec. user=mdettweiler [2013-08-29 04:44:44] 795*2^1252110-1 is not prime. Res64: DEF3DDD884198083 Time : 0.0 sec. user=mdettweiler [2013-08-29 04:44:45] 851*2^1252110-1 is not prime. Res64: 3ED5844B6EF81022 Time : 0.0 sec. user=mdettweiler [2013-08-29 04:50:10] 927*2^1252110-1 is not prime. Res64: 825B40B647F9AC34 Time : 0.0 sec. user=mdettweiler [2013-08-29 04:50:10] 971*2^1252110-1 is not prime. Res64: E81682DB87E45D88 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:00:41] 1001*2^1252110-1 is not prime. Res64: 6DF31E51C9C0D2BF Time : 0.0 sec. user=mdettweiler [2013-08-29 05:00:42] 649*2^1252111-1 is not prime. Res64: 6D474BDF3B14E80B Time : 0.0 sec. user=mdettweiler [2013-08-29 05:01:08] 769*2^1252111-1 is not prime. Res64: 501FD0399D43526C Time : 0.0 sec. user=mdettweiler [2013-08-29 05:01:09] 819*2^1252111-1 is not prime. Res64: C068BE695BACA987 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:04:44] 735*2^1252112-1 is not prime. Res64: 874682CA000C21F7 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:04:45] 753*2^1252112-1 is not prime. Res64: 920059116F50C050 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:10:10] 797*2^1252112-1 is not prime. Res64: 157980A7AD05E0B6 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:10:10] 855*2^1252112-1 is not prime. Res64: AF5B3F59A0DB96BB Time : 0.0 sec. user=mdettweiler [2013-08-29 05:21:10] 651*2^1252113-1 is not prime. Res64: 4C8764C7B0E92E74 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:21:11] 721*2^1252113-1 is not prime. Res64: F6ED1CF606ECA233 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:21:56] 873*2^1252112-1 is not prime. Res64: 7437711910BF4166 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:21:57] 945*2^1252112-1 is not prime. Res64: 34843ACE185A8CDD Time : 0.0 sec. user=mdettweiler [2013-08-29 05:24:47] 805*2^1252113-1 is not prime. Res64: 108DCF616B82F5DD Time : 0.0 sec. user=mdettweiler [2013-08-29 05:24:47] 817*2^1252113-1 is not prime. Res64: E378D408CE8D716D Time : 0.0 sec. user=mdettweiler [2013-08-29 05:30:24] 829*2^1252113-1 is not prime. Res64: 8C9F774BA35E1B63 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:30:25] 837*2^1252113-1 is not prime. Res64: 979012D2C5CC58C3 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:42:02] 617*2^1252114-1 is not prime. Res64: A2E9F784C70D3988 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:42:02] 663*2^1252114-1 is not prime. Res64: 286B2A483D60F66D Time : 0.0 sec. user=mdettweiler [2013-08-29 05:42:10] 937*2^1252113-1 is not prime. Res64: 7DC46DFDBF3B3298 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:42:10] 611*2^1252114-1 is not prime. Res64: B0A3FA4CCCD82312 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:45:50] 671*2^1252114-1 is not prime. Res64: 585DFFC089D45505 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:45:51] 903*2^1252114-1 is not prime. Res64: BA37B415798B0AB1 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:52:22] 915*2^1252114-1 is not prime. Res64: ACD7C1B924A98BB3 Time : 0.0 sec. user=mdettweiler [2013-08-29 05:52:23] 945*2^1252114-1 is not prime. Res64: E01770347694694A Time : 0.0 sec. user=mdettweiler [2013-08-29 06:02:16] 679*2^1252115-1 is not prime. Res64: ADF5EF071002CF15 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:02:17] 843*2^1252115-1 is not prime. Res64: 9B6674C62A95487B Time : 0.0 sec. user=mdettweiler [2013-08-29 06:03:00] 987*2^1252114-1 is not prime. Res64: 55EB10A636BC563C Time : 0.0 sec. user=mdettweiler [2013-08-29 06:03:02] 619*2^1252115-1 is not prime. Res64: 5C3502343C8DF363 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:06:54] 859*2^1252115-1 is not prime. Res64: 08A91B9B09AEC368 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:06:55] 903*2^1252115-1 is not prime. Res64: 689F12B7B6AA7D29 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:13:27] 981*2^1252115-1 is not prime. Res64: 8BF42D3C0EF3FF22 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:13:28] 693*2^1252116-1 is not prime. Res64: 92CB1D4085971385 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:22:30] 749*2^1252116-1 is not prime. Res64: 87C68920AD3E8960 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:22:30] 765*2^1252116-1 is not prime. Res64: BBEB15343B07529D Time : 0.0 sec. user=mdettweiler [2013-08-29 06:23:59] 845*2^1252116-1 is not prime. Res64: 2B3AC42484A6FE99 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:24:00] 903*2^1252116-1 is not prime. Res64: F832D25E00B7F132 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:29:00] 945*2^1252116-1 is not prime. Res64: 9EEB9E5007C0F53E Time : 0.0 sec. user=mdettweiler [2013-08-29 06:29:00] 947*2^1252116-1 is not prime. Res64: 8E904F25D614E95E Time : 0.0 sec. user=mdettweiler [2013-08-29 06:34:26] 975*2^1252116-1 is not prime. Res64: 230079371ADDE34C Time : 0.0 sec. user=mdettweiler [2013-08-29 06:34:26] 639*2^1252117-1 is not prime. Res64: 181C463BB87771FB Time : 0.0 sec. user=mdettweiler [2013-08-29 06:42:34] 687*2^1252117-1 is not prime. Res64: 5B69FCDDD641712F Time : 0.0 sec. user=mdettweiler [2013-08-29 06:42:35] 775*2^1252117-1 is not prime. Res64: E01D5B7615C2DAD9 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:44:59] 859*2^1252117-1 is not prime. Res64: BD8E901CCDE15DC6 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:44:59] 967*2^1252117-1 is not prime. Res64: BA662E8974D99BCB Time : 0.0 sec. user=mdettweiler [2013-08-29 06:49:03] 617*2^1252118-1 is not prime. Res64: 3021A6E4C351ED3A Time : 0.0 sec. user=mdettweiler [2013-08-29 06:49:03] 773*2^1252118-1 is not prime. Res64: 89334607C9AF50E4 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:56:25] 885*2^1252118-1 is not prime. Res64: 401A3A78A2C9E291 Time : 0.0 sec. user=mdettweiler [2013-08-29 06:56:25] 935*2^1252118-1 is not prime. Res64: 1650CF2F2C630FE7 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:03:32] 971*2^1252118-1 is not prime. Res64: A7F9D77E4464235B Time : 0.0 sec. user=mdettweiler [2013-08-29 07:03:33] 663*2^1252119-1 is not prime. Res64: EE967F2A6D6D52A9 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:05:06] 735*2^1252119-1 is not prime. Res64: 0031726F43D63078 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:05:07] 825*2^1252119-1 is not prime. Res64: 4B4501A8CA1A4A25 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:10:04] 861*2^1252119-1 is not prime. Res64: 9D119DF4298BA77A Time : 0.0 sec. user=mdettweiler [2013-08-29 07:10:06] 951*2^1252119-1 is not prime. Res64: DE7DBC8CFA28BE7B Time : 0.0 sec. user=mdettweiler [2013-08-29 07:16:33] 605*2^1252120-1 is not prime. Res64: 85354C3C7822FD07 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:16:34] 623*2^1252120-1 is not prime. Res64: 4FCEA87B80F3C5F1 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:23:40] 635*2^1252120-1 is not prime. Res64: 14F33DD7A97A4B0D Time : 0.0 sec. user=mdettweiler [2013-08-29 07:23:41] 653*2^1252120-1 is not prime. Res64: 2D664158A729A589 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:25:11] 765*2^1252120-1 is not prime. Res64: BD27993F5F92B139 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:25:11] 803*2^1252120-1 is not prime. Res64: 0887D8A088D61683 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:30:11] 833*2^1252120-1 is not prime. Res64: 420EB65542A710ED Time : 0.0 sec. user=mdettweiler [2013-08-29 07:30:11] 839*2^1252120-1 is not prime. Res64: 967E89E33C1503F4 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:37:32] 843*2^1252120-1 is not prime. Res64: 0B744D9EF102C09D Time : 0.0 sec. user=mdettweiler [2013-08-29 07:37:32] 917*2^1252120-1 is not prime. Res64: E26ECB40DD3B40EF Time : 0.0 sec. user=mdettweiler [2013-08-29 07:45:16] 657*2^1252121-1 is not prime. Res64: FE5A2D456C99C108 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:45:16] 769*2^1252121-1 is not prime. Res64: FAB8CDD687147774 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:45:40] 927*2^1252120-1 is not prime. Res64: 2EE7629E3A353AD8 Time : 0.0 sec. user=mdettweiler [2013-08-29 07:45:40] 983*2^1252120-1 is not prime. Res64: 7E0C563581FB92BE Time : 0.0 sec. user=mdettweiler [2013-08-29 07:52:11] 931*2^1252121-1 is not prime. Res64: 02803699D4E3799B Time : 0.0 sec. user=mdettweiler [2013-08-29 07:52:12] 981*2^1252121-1 is not prime. Res64: 3166C7D2A78468DF Time : 0.0 sec. user=mdettweiler [2013-08-29 07:57:32] 681*2^1252122-1 is not prime. Res64: EF1483CE5C926F1D Time : 0.0 sec. user=mdettweiler [2013-08-29 07:57:33] 731*2^1252122-1 is not prime. Res64: 726F433BA35CCA86 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:06:14] 747*2^1252122-1 is not prime. Res64: B95D87B79E4B1D2E Time : 0.0 sec. user=mdettweiler [2013-08-29 08:06:15] 891*2^1252122-1 is not prime. Res64: C930DBBD58CE597D Time : 0.0 sec. user=mdettweiler [2013-08-29 08:06:34] 977*2^1252122-1 is not prime. Res64: D3AA27CB273C07C3 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:06:35] 615*2^1252123-1 is not prime. Res64: 01241C45B92A3C9A Time : 0.0 sec. user=mdettweiler [2013-08-29 08:12:16] 673*2^1252123-1 is not prime. Res64: 6F35036AAA70CD68 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:12:16] 741*2^1252123-1 is not prime. Res64: 0D0E4551BEC38683 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:18:28] 789*2^1252123-1 is not prime. Res64: 4E225F3BE63A7C48 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:18:28] 901*2^1252123-1 is not prime. Res64: C1A1CFEB77F044F0 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:26:13] 605*2^1252124-1 is not prime. Res64: A1A6C8F74041E8E8 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:26:13] 635*2^1252124-1 is not prime. Res64: 2412B17ABA0F43FF Time : 0.0 sec. user=mdettweiler [2013-08-29 08:26:37] 657*2^1252124-1 is not prime. Res64: 0B1AECD61AC8444C Time : 0.0 sec. user=mdettweiler [2013-08-29 08:26:37] 665*2^1252124-1 is not prime. Res64: 292BDC73A1BB77B8 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:32:22] 719*2^1252124-1 is not prime. Res64: 0424B441ED515E48 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:32:22] 767*2^1252124-1 is not prime. Res64: DCFDFC43A3364103 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:39:26] 957*2^1252124-1 is not prime. Res64: 7A000A0366E438D2 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:39:26] 627*2^1252125-1 is not prime. Res64: 78657D598D337663 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:46:37] 649*2^1252125-1 is not prime. Res64: 42D065BC34B7BE3C Time : 0.0 sec. user=mdettweiler [2013-08-29 08:46:37] 717*2^1252125-1 is not prime. Res64: A01EDCC406CCB993 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:47:11] 789*2^1252125-1 is not prime. Res64: 7D296A2EC7A34CCD Time : 0.0 sec. user=mdettweiler [2013-08-29 08:47:12] 831*2^1252125-1 is not prime. Res64: A59894C02F9A5E34 Time : 0.0 sec. user=mdettweiler [2013-08-29 08:53:58] 867*2^1252125-1 is not prime. Res64: 64D24A5488FE70FF Time : 0.0 sec. user=mdettweiler [2013-08-29 08:53:59] 889*2^1252125-1 is not prime. Res64: A037BC2100A4C6D7 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:02:36] 891*2^1252125-1 is not prime. Res64: 8EABE4D11D847803 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:02:37] 997*2^1252125-1 is not prime. Res64: 2CDE817D726E2ED4 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:07:17] 663*2^1252126-1 is not prime. Res64: EF0EC7D7BC8E2154 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:07:18] 765*2^1252126-1 is not prime. Res64: 2221994EB0797C87 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:08:51] 801*2^1252126-1 is not prime. Res64: 2ED8570931B2742B Time : 0.0 sec. user=mdettweiler [2013-08-29 09:08:52] 941*2^1252126-1 is not prime. Res64: 833B2A45115E6EE5 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:16:43] 975*2^1252126-1 is not prime. Res64: 5308899392E1FAE7 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:16:43] 987*2^1252126-1 is not prime. Res64: 1AFDE64A8A71C969 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:23:28] 619*2^1252127-1 is not prime. Res64: 993B0885792DBDB6 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:23:29] 705*2^1252127-1 is not prime. Res64: 7E751E1F62F1C267 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:27:53] 715*2^1252127-1 is not prime. Res64: CD3200ABF1BD78C8 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:27:54] 739*2^1252127-1 is not prime. Res64: 15C099D0A23F9AFE Time : 0.0 sec. user=mdettweiler [2013-08-29 09:29:24] 753*2^1252127-1 is not prime. Res64: F2FF738762E29757 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:29:24] 883*2^1252127-1 is not prime. Res64: 1B196011027EB07B Time : 0.0 sec. user=mdettweiler [2013-08-29 09:39:00] 895*2^1252127-1 is not prime. Res64: C24846DE5B154402 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:39:01] 909*2^1252127-1 is not prime. Res64: 8059666EA2924CAD Time : 0.0 sec. user=mdettweiler [2013-08-29 09:43:48] 657*2^1252128-1 is not prime. Res64: FA7C99FB45AB8C90 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:43:49] 665*2^1252128-1 is not prime. Res64: A3947A8A978B100A Time : 0.0 sec. user=mdettweiler [2013-08-29 09:48:06] 705*2^1252128-1 is not prime. Res64: A5F1A47CB630D1B9 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:48:06] 759*2^1252128-1 is not prime. Res64: E61EA8D56EC7F709 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:50:27] 797*2^1252128-1 is not prime. Res64: B4952D1A7B853D14 Time : 0.0 sec. user=mdettweiler [2013-08-29 09:50:28] 887*2^1252128-1 is not prime. Res64: 8C3F870814BD4E17 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:00:59] 893*2^1252128-1 is not prime. Res64: 0B9D01F619608F86 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:01:00] 929*2^1252128-1 is not prime. Res64: B54E2F1A524C1B4A Time : 0.0 sec. user=mdettweiler [2013-08-29 10:03:56] 667*2^1252129-1 is not prime. Res64: 59A41672AEA91875 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:03:57] 681*2^1252129-1 is not prime. Res64: A6E1E019259F4028 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:08:15] 741*2^1252129-1 is not prime. Res64: 3F457A119EF508CE Time : 0.0 sec. user=mdettweiler [2013-08-29 10:08:16] 747*2^1252129-1 is not prime. Res64: 68339012498C9ECC Time : 0.0 sec. user=mdettweiler [2013-08-29 10:12:25] 885*2^1252129-1 is not prime. Res64: 0983513E9A5187CB Time : 0.0 sec. user=mdettweiler [2013-08-29 10:12:25] 919*2^1252129-1 is not prime. Res64: 82AE444B3690812C Time : 0.0 sec. user=mdettweiler [2013-08-29 10:23:13] 951*2^1252129-1 is not prime. Res64: 3C1106E4E445FC17 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:23:14] 979*2^1252129-1 is not prime. Res64: B0AF0CF4708F0905 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:24:13] 615*2^1252130-1 is not prime. Res64: 01CE39760D3CC225 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:24:13] 711*2^1252130-1 is not prime. Res64: C7CA9785BB8455E6 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:28:23] 767*2^1252130-1 is not prime. Res64: EA61FB41092D4D80 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:28:24] 861*2^1252130-1 is not prime. Res64: 09BF36A6F4C4D3DD Time : 0.0 sec. user=mdettweiler [2013-08-29 10:34:26] 911*2^1252130-1 is not prime. Res64: FCE382DF4FED645B Time : 0.0 sec. user=mdettweiler [2013-08-29 10:34:26] 971*2^1252130-1 is not prime. Res64: 695FD3090A822DD1 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:43:23] 651*2^1252131-1 is not prime. Res64: 00272886ED975E62 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:43:23] 705*2^1252131-1 is not prime. Res64: FB33B7E7265C2CBB Time : 0.0 sec. user=mdettweiler [2013-08-29 10:45:23] 735*2^1252131-1 is not prime. Res64: D9E099A54CF6E97C Time : 0.0 sec. user=mdettweiler [2013-08-29 10:45:24] 903*2^1252131-1 is not prime. Res64: 3CE167A21C121EA1 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:49:40] 961*2^1252131-1 is not prime. Res64: 0DF5EE7AEDE578FE Time : 0.0 sec. user=mdettweiler [2013-08-29 10:49:40] 657*2^1252132-1 is not prime. Res64: 744C762E636D75DA Time : 0.0 sec. user=mdettweiler [2013-08-29 10:54:50] 705*2^1252132-1 is not prime. Res64: E22D88CC9B728E56 Time : 0.0 sec. user=mdettweiler [2013-08-29 10:54:51] 855*2^1252132-1 is not prime. Res64: 67088153249FAE89 Time : 0.0 sec. user=mdettweiler [2013-08-29 11:04:35] 863*2^1252132-1 is not prime. Res64: 5BCB7DE712205450 Time : 0.0 sec. user=mdettweiler [2013-08-29 11:04:37] 965*2^1252132-1 is not prime. Res64: 12453AD2C0E727EF Time : 0.0 sec. user=mdettweiler [2013-08-29 11:05:43] 691*2^1252133-1 is not prime. Res64: 37F8A0135524AF27 Time : 0.0 sec. user=mdettweiler [2013-08-29 11:05:44] 721*2^1252133-1 is not prime. Res64: 35934B02BF8EAF7B Time : 0.0 sec. user=mdettweiler [2013-08-29 11:11:03] 745*2^1252133-1 is not prime. Res64: 271DE60AFF502F6C Time : 0.0 sec. user=mdettweiler [2013-08-29 11:11:04] 981*2^1252133-1 is not prime. Res64: B930AC10604DE6DD Time : 0.0 sec. user=mdettweiler [2013-08-29 11:15:59] 987*2^1252133-1 is not prime. Res64: EB8E8D49F66FAF42 Time : 0.0 sec. user=mdettweiler [2013-08-29 11:15:59] 615*2^1252134-1 is not prime. Res64: EDFE575B7392A62F Time : 0.0 sec. user=mdettweiler [2013-08-29 11:24:51] 641*2^1252134-1 is not prime. Res64: 35CD3261C8EBBDFF Time : 0.0 sec. user=mdettweiler [2013-08-29 11:24:51] 695*2^1252134-1 is not prime. Res64: D2D0366CDDCEC0C6 Time : 0.0 sec. user=mdettweiler [2013-08-29 11:26:00] 705*2^1252134-1 is not prime. Res64: 479D0B635AE35127 Time : 0.0 sec. user=mdettweiler [2013-08-29 11:26:00] 797*2^1252134-1 is not prime. Res64: 9F0D9DAA51004A04 Time : 0.0 sec. user=mdettweiler [2013-08-29 11:32:18] 807*2^1252134-1 is not prime. Res64: 2304F4667CF09C82 Time : 0.0 sec. user=mdettweiler [2013-08-29 11:32:19] 893*2^1252134-1 is not prime. Res64: A73CF296E7F4D93F Time : 0.0 sec. user=mdettweiler [2013-08-29 11:38:09] 915*2^1252134-1 is not prime. Res64: 06FADE7638D2CD10 Time : 0.0 sec. user=mdettweiler [2013-08-29 11:38:09] 965*2^1252134-1 is not prime. Res64: F48BB90613423CA9 Time : 0.0 sec. user=mdettweiler [2013-08-29 11:45:05] 603*2^1252135-1 is not prime. Res64: 50B76E72BFBF54F6 Time : 0.0 sec. user=mdettweiler [2013-08-29 11:45:05] 763*2^1252135-1 is not prime. Res64: 97749C8EE56C4F4A Time : 0.0 sec. user=mdettweiler [2013-08-29 11:46:18] 855*2^1252135-1 is not prime. Res64: 0E108DE17272C19B Time : 0.0 sec. user=mdettweiler [2013-08-29 11:46:18] 871*2^1252135-1 is not prime. Res64: E43E9E956B21E1CB Time : 0.0 sec. user=mdettweiler [2013-08-29 11:53:32] 951*2^1252135-1 is not prime. Res64: A86E6111B07B9D2C Time : 0.0 sec. user=mdettweiler [2013-08-29 11:53:32] 657*2^1252136-1 is not prime. Res64: 7E26CFABCA0CB90A Time : 0.0 sec. user=mdettweiler [2013-08-29 11:59:01] 669*2^1252136-1 is not prime. Res64: 5A17FA431BE088E9 Time : 0.0 sec. user=mdettweiler [2013-08-29 11:59:01] 717*2^1252136-1 is not prime. Res64: 88D35A8DF77D3C77 Time : 0.0 sec. user=mdettweiler [2013-08-29 12:07:03] 843*2^1252136-1 is not prime. Res64: 50F4393A9F0ED92A Time : 0.0 sec. user=mdettweiler [2013-08-29 12:07:04] 969*2^1252136-1 is not prime. Res64: 0E6711B4CA4B24F4 Time : 0.0 sec. user=mdettweiler [2013-08-29 12:07:22] 709*2^1252137-1 is not prime. Res64: 3631D5A3C6EBC30C Time : 0.0 sec. user=mdettweiler [2013-08-29 12:07:23] 781*2^1252137-1 is not prime. Res64: 7035642BA4ADC0EE Time : 0.0 sec. user=mdettweiler [2013-08-29 12:16:32] 945*2^1252137-1 is not prime. Res64: 3695ECE9095BA17E Time : 0.0 sec. user=mdettweiler [2013-08-29 12:16:33] 979*2^1252137-1 is not prime. Res64: 15E89BBBA5C96DDD Time : 0.0 sec. user=mdettweiler [2013-08-29 12:19:32] 603*2^1252138-1 is not prime. Res64: 248A5D9CEFBDC931 Time : 0.0 sec. user=mdettweiler [2013-08-29 12:19:32] 755*2^1252138-1 is not prime. Res64: CF455027A14394F5 Time : 0.0 sec. user=mdettweiler [2013-08-29 12:27:29] 615*2^1252139-1 is not prime. Res64: 277B5A7A8DD5C316 Time : 0.0 sec. user=mdettweiler [2013-08-29 12:27:29] 675*2^1252139-1 is not prime. Res64: 181AFAED9FDE6315 Time : 0.0 sec. user=mdettweiler [2013-08-29 12:27:50] 745*2^1252139-1 is not prime. Res64: A52FA4BAEE81287B Time : 0.0 sec. user=mdettweiler [2013-08-29 12:27:51] 775*2^1252139-1 is not prime. Res64: 62DE8BB3D1EE4F7E Time : 0.0 sec. user=mdettweiler [2013-08-29 12:38:07] 861*2^1252139-1 is not prime. Res64: 32CE090F4B292F47 Time : 0.0 sec. user=mdettweiler [2013-08-29 12:38:08] 895*2^1252139-1 is not prime. Res64: C6D9B0E4681B2C72 Time : 0.0 sec. user=mdettweiler [2013-08-29 12:40:03] 753*2^1252140-1 is not prime. Res64: AA3885F9BCC5293A Time : 0.0 sec. user=mdettweiler [2013-08-29 12:40:03] 797*2^1252140-1 is not prime. Res64: 0718FD93EEEB5DEA Time : 0.0 sec. user=mdettweiler [2013-08-29 12:48:03] 857*2^1252140-1 is not prime. Res64: 436EC788FC0C6F3E Time : 0.0 sec. user=mdettweiler [2013-08-29 12:48:03] 867*2^1252140-1 is not prime. Res64: A62B3E5223CC1DD6 Time : 0.0 sec. user=mdettweiler [2013-08-29 12:48:25] 639*2^1252141-1 is not prime. Res64: 099AA115A75D987F Time : 0.0 sec. user=mdettweiler [2013-08-29 12:48:25] 757*2^1252141-1 is not prime. Res64: 3B62C4B20FEA352B Time : 0.0 sec. user=mdettweiler [2013-08-29 12:59:34] 817*2^1252141-1 is not prime. Res64: C75EF82A7B8F6E2B Time : 0.0 sec. user=mdettweiler [2013-08-29 12:59:34] 895*2^1252141-1 is not prime. Res64: 805DB4E738B95D1B Time : 0.0 sec. user=mdettweiler [2013-08-29 13:02:34] 981*2^1252141-1 is not prime. Res64: 2E20D6CFC209CCEB Time : 0.0 sec. user=mdettweiler [2013-08-29 13:02:35] 997*2^1252141-1 is not prime. Res64: E87382DB3F91807C Time : 0.0 sec. user=mdettweiler [2013-08-29 13:08:27] 623*2^1252142-1 is not prime. Res64: 721E8BEF89931A35 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:08:27] 713*2^1252142-1 is not prime. Res64: DC738292BAFF3DDB Time : 0.0 sec. user=mdettweiler [2013-08-29 13:08:50] 743*2^1252142-1 is not prime. Res64: A7B6C30413F66E2C Time : 0.0 sec. user=mdettweiler [2013-08-29 13:08:50] 761*2^1252142-1 is not prime. Res64: 49DB08C1B322DE52 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:21:53] 963*2^1252142-1 is not prime. Res64: B664860549E38FA7 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:21:54] 965*2^1252142-1 is not prime. Res64: 9EB5DF3BF6AD62A5 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:23:01] 609*2^1252143-1 is not prime. Res64: 8799CF5AB426A267 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:23:02] 679*2^1252143-1 is not prime. Res64: 39ED69F34BFEC736 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:28:51] 741*2^1252143-1 is not prime. Res64: BE68C1DA26F843D3 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:28:52] 859*2^1252143-1 is not prime. Res64: 5B91D7452113B541 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:30:07] 861*2^1252143-1 is not prime. Res64: 099FF72AC85424F8 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:30:07] 901*2^1252143-1 is not prime. Res64: 85D1A5A4C4F0B523 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:43:34] 985*2^1252143-1 is not prime. Res64: BD824A9E46B1CC79 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:43:34] 705*2^1252144-1 is not prime. Res64: B06B22FEF117E759 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:43:42] 685*2^1252145-1 is not prime. Res64: CDD8F77132BA3BE7 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:43:43] 837*2^1252145-1 is not prime. Res64: BD7C4223020C641F Time : 0.0 sec. user=mdettweiler [2013-08-29 13:49:29] 851*2^1252146-1 is not prime. Res64: 4FB7AC237FB919DA Time : 0.0 sec. user=mdettweiler [2013-08-29 13:49:29] 875*2^1252146-1 is not prime. Res64: 860BF9C5F7586E25 Time : 0.0 sec. user=mdettweiler [2013-08-29 13:52:36] 887*2^1252146-1 is not prime. Res64: 886FAA5732A4671E Time : 0.0 sec. user=mdettweiler [2013-08-29 13:52:36] 891*2^1252146-1 is not prime. Res64: 4429BCE284762B40 Time : 0.0 sec. user=juhehe [2013-08-29 13:53:33] 861*2^1252145-1 is not prime. Res64: 2C1A1C33C80DD5E7 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:04:52] 963*2^1252146-1 is not prime. Res64: 3BAC0EF0952B94CD Time : 0.0 sec. user=mdettweiler [2013-08-29 14:04:53] 619*2^1252147-1 is not prime. Res64: C2CFB1326868177A Time : 0.0 sec. user=mdettweiler [2013-08-29 14:05:47] 917*2^1252146-1 is not prime. Res64: C234D1DA662021D5 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:05:49] 945*2^1252146-1 is not prime. Res64: F2E45E7EE6F91396 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:09:43] 675*2^1252147-1 is not prime. Res64: 9609A5B5C4C8F5B9 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:09:44] 693*2^1252147-1 is not prime. Res64: F7EDA57E66DDE9C8 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:13:39] 759*2^1252147-1 is not prime. Res64: 1A12F2E399B7345B Time : 0.0 sec. user=mdettweiler [2013-08-29 14:13:40] 973*2^1252147-1 is not prime. Res64: A1E9E73A628948BF Time : 0.0 sec. user=juhehe [2013-08-29 14:23:13] 707*2^1252148-1 is not prime. Res64: C3EA0B1ED8E75875 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:25:56] 649*2^1252149-1 is not prime. Res64: 9E67775DFB5E31A9 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:25:56] 655*2^1252149-1 is not prime. Res64: 58DB085C3D71D436 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:25:57] 963*2^1252148-1 is not prime. Res64: EB65FF6C6BBEB16A Time : 0.0 sec. user=mdettweiler [2013-08-29 14:25:58] 609*2^1252149-1 is not prime. Res64: 92A481D7E8A6C9C8 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:29:51] 681*2^1252149-1 is not prime. Res64: F938324FCCADE374 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:29:52] 709*2^1252149-1 is not prime. Res64: 22A36AE4B1DD5AA1 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:33:44] 735*2^1252149-1 is not prime. Res64: 0CC930B1AB1898B7 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:33:44] 847*2^1252149-1 is not prime. Res64: D8FB7469953E8C00 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:46:12] 695*2^1252150-1 is not prime. Res64: FBE058899BCD42DC Time : 0.0 sec. user=mdettweiler [2013-08-29 14:46:12] 731*2^1252150-1 is not prime. Res64: A6FFB983FDBC236B Time : 0.0 sec. user=mdettweiler [2013-08-29 14:48:09] 889*2^1252149-1 is not prime. Res64: C2A03DDA5F2E3820 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:48:09] 895*2^1252149-1 is not prime. Res64: 743CCDAC02D5FF8B Time : 0.0 sec. user=mdettweiler [2013-08-29 14:50:05] 785*2^1252150-1 is not prime. Res64: 705AB7D82859CC0B Time : 0.0 sec. user=mdettweiler [2013-08-29 14:50:05] 863*2^1252150-1 is not prime. Res64: 159EC6C760F8EDA2 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:55:54] 951*2^1252150-1 is not prime. Res64: CC87F5D5A9F6F0F0 Time : 0.0 sec. user=mdettweiler [2013-08-29 14:55:54] 975*2^1252150-1 is not prime. Res64: 6190C75A073012BD Time : 0.0 sec. user=mdettweiler [2013-08-29 15:08:19] 679*2^1252151-1 is not prime. Res64: BA5A71F0EB75B6EB Time : 0.0 sec. user=mdettweiler [2013-08-29 15:08:20] 753*2^1252151-1 is not prime. Res64: 68DA862E9A2E1E97 Time : 0.0 sec. user=mdettweiler [2013-08-29 15:10:29] 823*2^1252151-1 is not prime. Res64: 84C94CBDE35ECEF6 Time : 0.0 sec. user=mdettweiler [2013-08-29 15:10:30] 859*2^1252151-1 is not prime. Res64: F9892620A901B9F0 Time : 0.0 sec. user=mdettweiler [2013-08-29 15:14:38] 913*2^1252151-1 is not prime. Res64: 20C3DE6FA7B8FB2F Time : 0.0 sec. user=mdettweiler [2013-08-29 15:14:38] 993*2^1252151-1 is not prime. Res64: 9871971463E7519F Time : 0.0 sec. user=mdettweiler [2013-08-29 15:19:28] 999*2^1252151-1 is not prime. Res64: 94133B44FDE8B301 Time : 0.0 sec. user=mdettweiler [2013-08-29 15:19:28] 657*2^1252152-1 is not prime. Res64: C49EBC53AE60B421 Time : 0.0 sec. user=mdettweiler [2013-08-29 15:28:52] 675*2^1252152-1 is not prime. Res64: 2F4A22F0B270E2B3 Time : 0.0 sec. user=mdettweiler [2013-08-29 15:28:53] 693*2^1252152-1 is not prime. Res64: 8F4DBBC2BF3B48F1 Time : 0.0 sec. user=mdettweiler [2013-08-29 15:30:59] 695*2^1252152-1 is not prime. Res64: 8994F86C6B64242E Time : 0.0 sec. user=mdettweiler [2013-08-29 15:31:00] 879*2^1252152-1 is not prime. Res64: A9CB2123DD51509D Time : 0.0 sec. user=mdettweiler [2013-08-29 15:36:50] 899*2^1252152-1 is not prime. Res64: A775B6DCA51A22FA Time : 0.0 sec. user=mdettweiler [2013-08-29 15:36:50] 909*2^1252152-1 is not prime. Res64: 038F37600996231E Time : 0.0 sec. user=mdettweiler [2013-08-29 15:41:37] 929*2^1252152-1 is not prime. Res64: 4D82053D8801E244 Time : 0.0 sec. user=mdettweiler [2013-08-29 15:41:37] 959*2^1252152-1 is not prime. Res64: 191526D91AA18D12 Time : 0.0 sec. user=mdettweiler [2013-08-29 15:49:18] 619*2^1252153-1 is not prime. Res64: EE5B37B2089743DB Time : 0.0 sec. user=mdettweiler [2013-08-29 15:49:18] 801*2^1252153-1 is not prime. Res64: FFFE0480916DA00D Time : 0.0 sec. user=mdettweiler [2013-08-29 15:51:31] 819*2^1252153-1 is not prime. Res64: ACDD9F1C98560288 Time : 0.0 sec. user=mdettweiler [2013-08-29 15:51:32] 815*2^1252154-1 is not prime. Res64: 2E7945E6B9773815 Time : 0.0 sec. user=mdettweiler [2013-08-29 15:58:22] 873*2^1252154-1 is not prime. Res64: D5719D271EC5F2A9 Time : 0.0 sec. user=mdettweiler [2013-08-29 15:58:22] 945*2^1252154-1 is not prime. Res64: B911E5471FE1C7C8 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:02:27] 663*2^1252155-1 is not prime. Res64: 70D64CB2117CADB2 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:02:28] 679*2^1252155-1 is not prime. Res64: E4DD1B0999B9B44E Time : 0.0 sec. user=mdettweiler [2013-08-29 16:10:53] 775*2^1252155-1 is not prime. Res64: 41235B5E9F6DFE75 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:10:54] 919*2^1252155-1 is not prime. Res64: D7A124A4F0B5CD60 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:13:14] 979*2^1252155-1 is not prime. Res64: C94363795E19DF84 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:13:14] 603*2^1252156-1 is not prime. Res64: 1CFD7D45B7143AD5 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:19:02] 615*2^1252156-1 is not prime. Res64: 53AD2774DFA1100E Time : 0.0 sec. user=mdettweiler [2013-08-29 16:19:02] 617*2^1252156-1 is not prime. Res64: EF3FE6B18D465EB1 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:23:36] 693*2^1252156-1 is not prime. Res64: 13100A917BE01AD0 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:23:36] 699*2^1252156-1 is not prime. Res64: 3D62F0CA32B3ED4F Time : 0.0 sec. user=mdettweiler [2013-08-29 16:32:14] 719*2^1252156-1 is not prime. Res64: D61D9AF5E0D7B23A Time : 0.0 sec. user=mdettweiler [2013-08-29 16:32:14] 755*2^1252156-1 is not prime. Res64: 5748AC201B3ED667 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:34:27] 845*2^1252156-1 is not prime. Res64: 62361527B33F21F7 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:34:27] 607*2^1252157-1 is not prime. Res64: 083FB636F1D7326E Time : 0.0 sec. user=mdettweiler [2013-08-29 16:41:05] 615*2^1252157-1 is not prime. Res64: 5A1DB4A3E7B942F8 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:41:06] 621*2^1252157-1 is not prime. Res64: 0C70F37E4FC87682 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:47:53] 927*2^1252157-1 is not prime. Res64: CCAC93B4389F2888 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:47:53] 949*2^1252157-1 is not prime. Res64: 86359DAB12690971 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:55:44] 955*2^1252157-1 is not prime. Res64: 261C7D758042E8C2 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:55:44] 611*2^1252158-1 is not prime. Res64: 64EA0437A44AD99C Time : 0.0 sec. user=mdettweiler [2013-08-29 16:57:03] 627*2^1252158-1 is not prime. Res64: 096234C41FFCA862 Time : 0.0 sec. user=mdettweiler [2013-08-29 16:57:04] 711*2^1252158-1 is not prime. Res64: D33A7A93057A6913 Time : 0.0 sec. user=mdettweiler [2013-08-29 17:03:33] 713*2^1252158-1 is not prime. Res64: CD64EF5F4FE3F5D5 Time : 0.0 sec. user=mdettweiler [2013-08-29 17:03:39] 881*2^1252158-1 is not prime. Res64: 3116F0AA94194E90 Time : 0.0 sec. user=mdettweiler [2013-08-29 17:11:07] 971*2^1252158-1 is not prime. Res64: 15D5B1B81F50FE35 Time : 0.0 sec. user=mdettweiler [2013-08-29 17:11:08] 649*2^1252159-1 is not prime. Res64: 55D8102A4ADE5224 Time : 0.0 sec. user=mdettweiler [2013-08-29 17:18:10] 679*2^1252159-1 is not prime. Res64: C15BD89FE6FB675F Time : 0.0 sec. user=mdettweiler [2013-08-29 17:18:11] 769*2^1252159-1 is not prime. Res64: 74DB977E7AB2D6EA Time : 0.0 sec. user=mdettweiler [2013-08-29 17:19:27] 829*2^1252159-1 is not prime. Res64: FC8A204C29F41202 Time : 0.0 sec. user=mdettweiler [2013-08-29 17:19:28] 861*2^1252159-1 is not prime. Res64: 811570B71C2CC8AE Time : 0.0 sec. user=mdettweiler [2013-08-29 17:27:32] 873*2^1252159-1 is not prime. Res64: F4ACB9A3B20B162A Time : 0.0 sec. user=mdettweiler [2013-08-29 17:27:32] 961*2^1252159-1 is not prime. Res64: 15ACE1D798658DF0 Time : 0.0 sec. user=mdettweiler [2013-08-29 17:33:08] 725*2^1252160-1 is not prime. Res64: 3394112080232E8A Time : 0.0 sec. user=mdettweiler [2013-08-29 17:33:08] 759*2^1252160-1 is not prime. Res64: 571F2E824A35F9E1 Time : 0.0 sec. user=mdettweiler [2013-08-29 17:40:34] 773*2^1252160-1 is not prime. Res64: D62872B309130233 Time : 0.0 sec. user=mdettweiler [2013-08-29 17:40:34] 963*2^1252160-1 is not prime. Res64: F8B55CB89C47489B Time : 0.0 sec. user=mdettweiler [2013-08-29 17:40:44] 685*2^1252161-1 is not prime. Res64: C971A8DB5A65217A Time : 0.0 sec. user=mdettweiler [2013-08-29 17:40:45] 705*2^1252161-1 is not prime. Res64: 8EF73245AED01905 Time : 0.0 sec. user=mdettweiler [2013-08-29 17:48:08] 727*2^1252161-1 is not prime. Res64: AF127B8696DB8743 Time : 0.0 sec. user=mdettweiler [2013-08-29 17:48:08] 777*2^1252161-1 is not prime. Res64: 852E270A51A85FA2 Time : 0.0 sec. user=mdettweiler [2013-08-29 17:55:08] 795*2^1252161-1 is not prime. Res64: F3A673ACE3DF2ABF Time : 0.0 sec. user=mdettweiler [2013-08-29 17:55:08] 907*2^1252161-1 is not prime. Res64: E81A1E34277C36C5 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:01:36] 695*2^1252162-1 is not prime. Res64: 1ADFDC6897E72A6D Time : 0.0 sec. user=mdettweiler [2013-08-29 18:01:38] 621*2^1252163-1 is not prime. Res64: C5640FAEDEF579DB Time : 0.0 sec. user=mdettweiler [2013-08-29 18:03:28] 975*2^1252161-1 is not prime. Res64: 704F0CCD9F3BD5BF Time : 0.0 sec. user=mdettweiler [2013-08-29 18:03:29] 999*2^1252161-1 is not prime. Res64: 51157F0BFEB8C432 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:08:55] 693*2^1252163-1 is not prime. Res64: 1CC75810C93C7358 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:08:56] 753*2^1252163-1 is not prime. Res64: 822B9E2552C5D8DC Time : 0.0 sec. user=mdettweiler [2013-08-29 18:15:38] 627*2^1252164-1 is not prime. Res64: D2EC4098D960317D Time : 0.0 sec. user=mdettweiler [2013-08-29 18:15:38] 663*2^1252164-1 is not prime. Res64: 40A67FCD62413DB9 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:23:10] 683*2^1252164-1 is not prime. Res64: 8478839CA907B565 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:23:10] 899*2^1252164-1 is not prime. Res64: AB719E88E94DE5F5 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:23:55] 661*2^1252165-1 is not prime. Res64: 1C0115FA6F029B35 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:23:55] 667*2^1252165-1 is not prime. Res64: 3A9591D5D8859968 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:29:32] 721*2^1252165-1 is not prime. Res64: 66B8B64F228EDAC7 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:29:32] 789*2^1252165-1 is not prime. Res64: 3536C1D9401E0833 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:37:08] 861*2^1252165-1 is not prime. Res64: C64D6273FC46EA59 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:37:08] 897*2^1252165-1 is not prime. Res64: 3B03C8EF170FA2C6 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:45:26] 975*2^1252165-1 is not prime. Res64: 7D49762A10F9F30A Time : 0.0 sec. user=mdettweiler [2013-08-29 18:45:26] 617*2^1252166-1 is not prime. Res64: 2D1ADB932935D0F2 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:45:43] 919*2^1252165-1 is not prime. Res64: 4EDF32E4F70AE029 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:45:44] 961*2^1252165-1 is not prime. Res64: 6FEE395695827430 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:50:00] 641*2^1252166-1 is not prime. Res64: 6C35FA56F38EB842 Time : 0.0 sec. user=mdettweiler [2013-08-29 18:50:00] 645*2^1252166-1 is not prime. Res64: 51D93EA86FDC3EBC Time : 0.0 sec. user=mdettweiler [2013-08-29 18:57:45] 671*2^1252166-1 is not prime. Res64: 2631462D61A983AC Time : 0.0 sec. user=mdettweiler [2013-08-29 18:57:45] 675*2^1252166-1 is not prime. Res64: 3DED715E8E5B1659 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:08:01] 897*2^1252166-1 is not prime. Res64: 58B61CF48DFD9964 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:08:02] 911*2^1252166-1 is not prime. Res64: A6D1EC3036B5A4CC Time : 0.0 sec. user=mdettweiler [2013-08-29 19:08:13] 945*2^1252166-1 is not prime. Res64: 992656FC25A3C70A Time : 0.0 sec. user=mdettweiler [2013-08-29 19:08:14] 963*2^1252166-1 is not prime. Res64: E8F9BEEEBC6ADC69 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:10:35] 735*2^1252167-1 is not prime. Res64: 0D9699A1C634A8C8 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:10:36] 865*2^1252167-1 is not prime. Res64: 6E46168CA27BC195 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:20:12] 891*2^1252167-1 is not prime. Res64: 936A3116A04EF0BC Time : 0.0 sec. user=mdettweiler [2013-08-29 19:20:12] 961*2^1252167-1 is not prime. Res64: E91AB7770FA2C1B5 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:28:46] 657*2^1252168-1 is not prime. Res64: 484EA751111A0393 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:28:46] 665*2^1252168-1 is not prime. Res64: 364D6A766B973A09 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:29:27] 975*2^1252167-1 is not prime. Res64: BA385FFBBD0740BC Time : 0.0 sec. user=mdettweiler [2013-08-29 19:29:27] 617*2^1252168-1 is not prime. Res64: AE91D6C03049AC2A Time : 0.0 sec. user=mdettweiler [2013-08-29 19:31:07] 797*2^1252168-1 is not prime. Res64: 9CE618FDB9CF14A7 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:31:07] 833*2^1252168-1 is not prime. Res64: CC4474B763076AAA Time : 0.0 sec. user=mdettweiler [2013-08-29 19:41:39] 989*2^1252168-1 is not prime. Res64: 4422CA199849FC78 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:41:39] 615*2^1252169-1 is not prime. Res64: 7A112C843F199B87 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:50:15] 657*2^1252169-1 is not prime. Res64: 71F00EAA5F20DFDA Time : 0.0 sec. user=mdettweiler [2013-08-29 19:50:15] 931*2^1252169-1 is not prime. Res64: 5DB0553A4461D2B0 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:51:34] 741*2^1252170-1 is not prime. Res64: DA482D5200CDFB3D Time : 0.0 sec. user=mdettweiler [2013-08-29 19:51:34] 783*2^1252170-1 is not prime. Res64: 4DADAD18D6542849 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:52:01] 949*2^1252169-1 is not prime. Res64: FBC2863F5F65E475 Time : 0.0 sec. user=mdettweiler [2013-08-29 19:52:01] 957*2^1252169-1 is not prime. Res64: 74278C275C013B2B Time : 0.0 sec. user=mdettweiler [2013-08-29 20:04:11] 921*2^1252170-1 is not prime. Res64: 0BBCE0B98A012AC1 Time : 0.0 sec. user=mdettweiler [2013-08-29 20:04:12] 923*2^1252170-1 is not prime. Res64: 606C970A6E058F7F Time : 0.0 sec. user=mdettweiler [2013-08-29 20:10:52] 639*2^1252171-1 is not prime. Res64: 5BBDAED5B55DCA5B Time : 0.0 sec. user=mdettweiler [2013-08-29 20:10:53] 703*2^1252171-1 is not prime. Res64: 4E4B218F35DBD968 Time : 0.0 sec. user=mdettweiler [2013-08-29 20:13:18] 733*2^1252171-1 is not prime. Res64: E3F3BE2CAF973834 Time : 0.0 sec. user=mdettweiler [2013-08-29 20:14:26] 939*2^1252171-1 is not prime. Res64: 32A37594D2A4CDA2 Time : 0.0 sec. user=mdettweiler [2013-08-29 20:14:27] 973*2^1252171-1 is not prime. Res64: 4095F6E96B025422 Time : 0.0 sec. user=mdettweiler [2013-08-29 20:24:52] 819*2^1252172-1 is not prime. Res64: 44DDB6120F16E35A Time : 0.0 sec. user=mdettweiler [2013-08-29 20:24:53] 873*2^1252172-1 is not prime. Res64: D5DBB2D8785A9804 Time : 0.0 sec. user=mdettweiler [2013-08-29 20:33:32] 885*2^1252172-1 is not prime. Res64: 27AFA055BBB81171 Time : 0.0 sec. user=mdettweiler [2013-08-29 20:33:32] 909*2^1252172-1 is not prime. Res64: 0E13189436FEA308 Time : 0.0 sec. user=mdettweiler [2013-08-29 20:35:14] 627*2^1252173-1 is not prime. Res64: EC5AF67660CEC74D Time : 0.0 sec. user=mdettweiler [2013-08-29 20:35:14] 649*2^1252173-1 is not prime. Res64: 0AE4D89ADC2B1711 Time : 0.0 sec. user=mdettweiler [2013-08-29 20:45:40] 787*2^1252173-1 is not prime. Res64: 1C90D6DA68CC461F Time : 0.0 sec. user=mdettweiler [2013-08-29 20:45:41] 849*2^1252173-1 is not prime. Res64: 12F13CDCAD63F2A5 Time : 0.0 sec. user=mdettweiler [2013-08-29 20:56:41] 919*2^1252173-1 is not prime. Res64: 0DF4FA226CACF17F Time : 0.0 sec. user=mdettweiler [2013-08-29 20:56:41] 921*2^1252173-1 is not prime. Res64: 5ACDD1A4ABED1182 Time : 0.0 sec. user=mdettweiler [2013-08-29 20:58:15] 927*2^1252173-1 is not prime. Res64: 8E76044B636D6641 Time : 0.0 sec. user=mdettweiler [2013-08-29 20:58:15] 961*2^1252173-1 is not prime. Res64: 77EF58328903F93A Time : 0.0 sec. user=mdettweiler [2013-08-29 21:07:39] 999*2^1252173-1 is not prime. Res64: B6B586A4E91531E3 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:07:40] 707*2^1252174-1 is not prime. Res64: 884E1DFE7F021819 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:17:37] 717*2^1252174-1 is not prime. Res64: 84AADFA8546DC7D0 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:17:37] 723*2^1252174-1 is not prime. Res64: C73FF00284A94894 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:19:01] 731*2^1252174-1 is not prime. Res64: 78BD2E42C2F22500 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:19:02] 773*2^1252174-1 is not prime. Res64: 5FAB07C33BCB1255 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:21:59] 925*2^1252171-1 is not prime. Res64: 908570C8834BD180 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:28:30] 813*2^1252174-1 is not prime. Res64: E690DA92A61CADF6 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:28:31] 827*2^1252174-1 is not prime. Res64: 88CD7B5D17E08FE0 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:39:27] 857*2^1252174-1 is not prime. Res64: 764E97C3C4D0F183 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:39:28] 957*2^1252174-1 is not prime. Res64: 09F599F3FF3E6802 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:41:42] 983*2^1252174-1 is not prime. Res64: F412A624ABEAB563 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:41:42] 949*2^1252175-1 is not prime. Res64: 6069CD44681EAF22 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:44:37] 979*2^1252175-1 is not prime. Res64: 7E36780A4DCF5327 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:44:38] 985*2^1252175-1 is not prime. Res64: AB97DE0B0BF91C89 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:49:09] 623*2^1252176-1 is not prime. Res64: A68C55F3BEEAAAE1 Time : 0.0 sec. user=mdettweiler [2013-08-29 21:49:09] 633*2^1252176-1 is not prime. Res64: B6EFBAF9AA8291DE Time : 0.0 sec. user=mdettweiler [2013-08-29 22:00:01] 669*2^1252176-1 is not prime. Res64: 44C26E32DB3986D4 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:00:01] 759*2^1252176-1 is not prime. Res64: C99815B002D87A29 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:02:13] 839*2^1252176-1 is not prime. Res64: F135CB3AF1ED935E Time : 0.0 sec. user=mdettweiler [2013-08-29 22:02:13] 843*2^1252176-1 is not prime. Res64: 005D160A795F081B Time : 0.0 sec. user=mdettweiler [2013-08-29 22:07:06] 899*2^1252176-1 is not prime. Res64: 7059F1ECEC92BF86 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:07:07] 945*2^1252176-1 is not prime. Res64: 0FD7787AF66A3904 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:09:40] 625*2^1252177-1 is not prime. Res64: 6E34E6AA1993D4D2 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:09:41] 771*2^1252177-1 is not prime. Res64: 2454A92D64C15E02 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:21:37] 867*2^1252177-1 is not prime. Res64: 231623F930AAF960 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:21:37] 915*2^1252177-1 is not prime. Res64: 24C28E580425E227 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:24:38] 937*2^1252177-1 is not prime. Res64: 0FAD1E2C26120B04 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:24:38] 999*2^1252177-1 is not prime. Res64: ACB6C8319BAC690D Time : 0.0 sec. user=mdettweiler [2013-08-29 22:27:33] 641*2^1252178-1 is not prime. Res64: 41CBF25CC5CEBC0F Time : 0.0 sec. user=mdettweiler [2013-08-29 22:27:34] 711*2^1252178-1 is not prime. Res64: 961EC6FB656A8F51 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:31:15] 921*2^1252178-1 is not prime. Res64: F1914D0E2AC2FE49 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:31:16] 709*2^1252179-1 is not prime. Res64: D44C56CAEF2D4890 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:42:18] 775*2^1252179-1 is not prime. Res64: A4326953358DDD02 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:42:18] 843*2^1252179-1 is not prime. Res64: C8B7571CDEE80DAC Time : 0.0 sec. user=mdettweiler [2013-08-29 22:46:25] 903*2^1252179-1 is not prime. Res64: 0F3BB5B14793137B Time : 0.0 sec. user=mdettweiler [2013-08-29 22:46:25] 623*2^1252180-1 is not prime. Res64: 4BE452AD61086592 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:48:21] 687*2^1252180-1 is not prime. Res64: 0651B5DF58689C0A Time : 0.0 sec. user=mdettweiler [2013-08-29 22:48:22] 773*2^1252180-1 is not prime. Res64: 0E276A198EF15C7C Time : 0.0 sec. user=mdettweiler [2013-08-29 22:52:06] 783*2^1252180-1 is not prime. Res64: A136A402305E1AF3 Time : 0.0 sec. user=mdettweiler [2013-08-29 22:52:06] 627*2^1252181-1 is not prime. Res64: 76585F8C98E50F03 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:02:41] 669*2^1252181-1 is not prime. Res64: 11DDD0AC13F976FA Time : 0.0 sec. user=mdettweiler [2013-08-29 23:02:42] 769*2^1252181-1 is not prime. Res64: 791D080EFE416F20 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:07:35] 837*2^1252181-1 is not prime. Res64: D01F246C581B68BE Time : 0.0 sec. user=mdettweiler [2013-08-29 23:07:36] 889*2^1252181-1 is not prime. Res64: 2EA7DD5781EA4737 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:09:32] 925*2^1252181-1 is not prime. Res64: D41C368E24E3214F Time : 0.0 sec. user=mdettweiler [2013-08-29 23:09:34] 627*2^1252182-1 is not prime. Res64: 3C1AF9F44CEF8708 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:12:17] 657*2^1252182-1 is not prime. Res64: 28C6E634A95F4D52 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:12:17] 683*2^1252182-1 is not prime. Res64: 4133F1C1F3F1BC89 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:23:27] 723*2^1252182-1 is not prime. Res64: DEEC47F78D010180 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:23:27] 765*2^1252182-1 is not prime. Res64: D85072232012DB4D Time : 0.0 sec. user=mdettweiler [2013-08-29 23:29:55] 887*2^1252182-1 is not prime. Res64: 94FD08AB1B9BBB81 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:29:56] 891*2^1252182-1 is not prime. Res64: 7355CC9705093D19 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:31:50] 903*2^1252182-1 is not prime. Res64: E4372B71C5C4853E Time : 0.0 sec. user=mdettweiler [2013-08-29 23:31:51] 917*2^1252182-1 is not prime. Res64: B734EF3D79AC8C35 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:33:34] 941*2^1252182-1 is not prime. Res64: 47EC32CF1F1F1616 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:33:34] 609*2^1252183-1 is not prime. Res64: 7EAB42C2D0454D17 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:43:39] 685*2^1252183-1 is not prime. Res64: 1ED8B154288C2086 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:43:39] 693*2^1252183-1 is not prime. Res64: 58BBEF2609980066 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:50:01] 609*2^1252184-1 is not prime. Res64: BF370F4BAF494FCA Time : 0.0 sec. user=mdettweiler [2013-08-29 23:50:01] 629*2^1252184-1 is not prime. Res64: B031C06A5CFBD029 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:51:56] 729*2^1252184-1 is not prime. Res64: 7A40E885DD24FFD2 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:51:57] 755*2^1252184-1 is not prime. Res64: 03CB2774D7EB3C1D Time : 0.0 sec. user=mdettweiler [2013-08-29 23:54:41] 767*2^1252184-1 is not prime. Res64: D1442CDEFE34D624 Time : 0.0 sec. user=mdettweiler [2013-08-29 23:54:41] 917*2^1252184-1 is not prime. Res64: F3C25BBCD126BC91 Time : 0.0 sec. user=juhehe [2013-08-29 23:57:20] 861*2^1252183-1 is not prime. Res64: C7EACF77A45E1C2B Time : 0.0 sec.