user=mdettweiler [2013-06-30 00:14:45] 963*2^1247300-1 is not prime. Res64: DC0651F9052BF9DB Time : 0.0 sec. user=mdettweiler [2013-06-30 00:14:47] 999*2^1247300-1 is not prime. Res64: A6907ABF1BBD1E8F Time : 0.0 sec. user=mdettweiler [2013-06-30 00:32:06] 639*2^1247301-1 is not prime. Res64: D5719DF94D3E7D8F Time : 0.0 sec. user=mdettweiler [2013-06-30 00:53:45] 685*2^1247301-1 is not prime. Res64: 259C0078C338C6D1 Time : 0.0 sec. user=mdettweiler [2013-06-30 01:11:08] 805*2^1247301-1 is not prime. Res64: 4C77B689F17300FA Time : 0.0 sec. user=mdettweiler [2013-06-30 01:11:09] 861*2^1247301-1 is not prime. Res64: CB001D29F418F205 Time : 0.0 sec. user=mdettweiler [2013-06-30 01:28:28] 623*2^1247302-1 is not prime. Res64: E5195194BF8D5CF7 Time : 0.0 sec. user=mdettweiler [2013-06-30 01:28:29] 681*2^1247302-1 is not prime. Res64: F4DFC1ED892EE5A0 Time : 0.0 sec. user=mdettweiler [2013-06-30 01:45:47] 801*2^1247302-1 is not prime. Res64: 6CA23F7292D14DA4 Time : 0.0 sec. user=mdettweiler [2013-06-30 01:45:48] 813*2^1247302-1 is not prime. Res64: 2041A2751ABF2515 Time : 0.0 sec. user=mdettweiler [2013-06-30 02:02:50] 833*2^1247302-1 is not prime. Res64: B50DB8C6A5D7F06C Time : 0.0 sec. user=mdettweiler [2013-06-30 02:02:51] 885*2^1247302-1 is not prime. Res64: BD0EC88219BE66C8 Time : 0.0 sec. user=mdettweiler [2013-06-30 02:21:04] 917*2^1247302-1 is not prime. Res64: 2A80BAAD18EFE944 Time : 0.0 sec. user=mdettweiler [2013-06-30 02:21:05] 975*2^1247302-1 is not prime. Res64: B3F6A415C2CD3DF9 Time : 0.0 sec. user=mdettweiler [2013-06-30 02:40:14] 983*2^1247302-1 is not prime. Res64: 73D42FC621E48D02 Time : 0.0 sec. user=mdettweiler [2013-06-30 03:16:19] 987*2^1247302-1 is not prime. Res64: 5AD6E0ACE4AEFB3B Time : 0.0 sec. user=mdettweiler [2013-06-30 04:10:32] 995*2^1247302-1 is not prime. Res64: 3E7AC787A6ADDC20 Time : 0.0 sec. user=mdettweiler [2013-06-30 04:10:33] 619*2^1247303-1 is not prime. Res64: 12B5F16AD2F700BB Time : 0.0 sec. user=mdettweiler [2013-06-30 04:29:27] 775*2^1247303-1 is not prime. Res64: DD2318051899BE7B Time : 0.0 sec. user=mdettweiler [2013-06-30 04:46:35] 973*2^1247303-1 is not prime. Res64: D90BD7D962ADBFAF Time : 0.0 sec. user=mdettweiler [2013-06-30 05:04:58] 991*2^1247303-1 is not prime. Res64: 5E368F2451C79984 Time : 0.0 sec. user=mdettweiler [2013-06-30 05:05:00] 623*2^1247304-1 is not prime. Res64: 23D7B3B1270F0492 Time : 0.0 sec. user=mdettweiler [2013-06-30 05:22:06] 629*2^1247304-1 is not prime. Res64: AE84E63ED0DCD680 Time : 0.0 sec. user=mdettweiler [2013-06-30 05:22:06] 657*2^1247304-1 is not prime. Res64: 8BDD554C083C155B Time : 0.0 sec. user=mdettweiler [2013-06-30 05:39:35] 665*2^1247304-1 is not prime. Res64: 6EEB588FB8347E2A Time : 0.0 sec. user=mdettweiler [2013-06-30 06:11:43] 719*2^1247304-1 is not prime. Res64: B8F7AA1AE5969522 Time : 0.0 sec. user=mdettweiler [2013-06-30 06:47:04] 737*2^1247304-1 is not prime. Res64: 37CCE2DD81F2F111 Time : 0.0 sec. user=mdettweiler [2013-06-30 06:47:05] 773*2^1247304-1 is not prime. Res64: 131D08CE6360482F Time : 0.0 sec. user=mdettweiler [2013-06-30 07:04:06] 815*2^1247304-1 is not prime. Res64: 39129DECE5D86185 Time : 0.0 sec. user=mdettweiler [2013-06-30 07:04:07] 837*2^1247304-1 is not prime. Res64: E9CFAC98F2618049 Time : 0.0 sec. user=mdettweiler [2013-06-30 07:21:37] 857*2^1247304-1 is not prime. Res64: 8B175C05C6F1D964 Time : 0.0 sec. user=mdettweiler [2013-06-30 07:56:43] 601*2^1247305-1 is not prime. Res64: 6805C824330443EF Time : 0.0 sec. user=mdettweiler [2013-06-30 08:13:49] 661*2^1247305-1 is not prime. Res64: 7C1F977E11C56C35 Time : 0.0 sec. user=mdettweiler [2013-06-30 08:13:50] 603*2^1247306-1 is not prime. Res64: E8AD593DA0479BC4 Time : 0.0 sec. user=mdettweiler [2013-06-30 08:30:51] 683*2^1247306-1 is not prime. Res64: 3E833A86556D0FF3 Time : 0.0 sec. user=mdettweiler [2013-06-30 08:30:52] 831*2^1247306-1 is not prime. Res64: D1BCE65323731DE8 Time : 0.0 sec. user=mdettweiler [2013-06-30 08:48:07] 837*2^1247306-1 is not prime. Res64: 5BDD150D16CBAC03 Time : 0.0 sec. user=mdettweiler [2013-06-30 09:15:02] 857*2^1247306-1 is not prime. Res64: A0F653372A66FE47 Time : 0.0 sec. user=mdettweiler [2013-06-30 09:53:37] 643*2^1247307-1 is not prime. Res64: 0854FF0A496474EB Time : 0.0 sec. user=mdettweiler [2013-06-30 10:19:40] 669*2^1247307-1 is not prime. Res64: B28267F5610B3A8C Time : 0.0 sec. user=mdettweiler [2013-06-30 10:36:57] 765*2^1247307-1 is not prime. Res64: EBEE52C78940CD26 Time : 0.0 sec. user=mdettweiler [2013-06-30 10:36:57] 781*2^1247307-1 is not prime. Res64: DAE07D0DAEB2B14C Time : 0.0 sec. user=mdettweiler [2013-06-30 10:54:22] 835*2^1247307-1 is not prime. Res64: B2BD26AD14548F3A Time : 0.0 sec. user=mdettweiler [2013-06-30 10:54:22] 945*2^1247307-1 is not prime. Res64: 3F1BFA4EEAC63B2C Time : 0.0 sec. user=mdettweiler [2013-06-30 11:12:14] 961*2^1247307-1 is not prime. Res64: DCC393C059DF2C96 Time : 0.0 sec. user=mdettweiler [2013-06-30 11:12:14] 605*2^1247308-1 is not prime. Res64: 932640104969756C Time : 0.0 sec. user=mdettweiler [2013-06-30 11:30:07] 617*2^1247308-1 is not prime. Res64: 984DF81A800DA3B8 Time : 0.0 sec. user=mdettweiler [2013-06-30 11:30:07] 623*2^1247308-1 is not prime. Res64: A5E802E6DD3EB34F Time : 0.0 sec. user=mdettweiler [2013-06-30 11:47:48] 657*2^1247308-1 is not prime. Res64: 60392EA4C7FE501C Time : 0.0 sec. user=mdettweiler [2013-06-30 11:47:48] 687*2^1247308-1 is not prime. Res64: 500C124F736A3373 Time : 0.0 sec. user=mdettweiler [2013-06-30 12:06:43] 845*2^1247308-1 is not prime. Res64: 7450D853DDC52DBA Time : 0.0 sec. user=mdettweiler [2013-06-30 12:29:58] 999*2^1247308-1 is not prime. Res64: 6438B3902E4164E7 Time : 0.0 sec. user=mdettweiler [2013-06-30 12:47:58] 741*2^1247309-1 is not prime. Res64: 19B8C3D7B4E92486 Time : 0.0 sec. user=mdettweiler [2013-06-30 13:12:01] 811*2^1247309-1 is not prime. Res64: 0ECCB6D281277289 Time : 0.0 sec. user=mdettweiler [2013-06-30 13:29:43] 855*2^1247309-1 is not prime. Res64: A01242A489D04FFC Time : 0.0 sec. user=mdettweiler [2013-06-30 13:48:18] 867*2^1247309-1 is not prime. Res64: CDEBD1A4FC1DC820 Time : 0.0 sec. user=mdettweiler [2013-06-30 14:05:53] 927*2^1247309-1 is not prime. Res64: C68BA2F48B2A8467 Time : 0.0 sec. user=mdettweiler [2013-06-30 14:05:54] 635*2^1247310-1 is not prime. Res64: C4723FD3F5E36EA6 Time : 0.0 sec. user=mdettweiler [2013-06-30 14:23:47] 693*2^1247310-1 is not prime. Res64: FB3C8B184DD39A96 Time : 0.0 sec. user=mdettweiler [2013-06-30 14:23:48] 821*2^1247310-1 is not prime. Res64: 7B38408EFADCD4F5 Time : 0.0 sec. user=mdettweiler [2013-06-30 14:41:18] 851*2^1247310-1 is not prime. Res64: D04AB025052E00D5 Time : 0.0 sec. user=mdettweiler [2013-06-30 14:41:19] 703*2^1247311-1 is not prime. Res64: 26556923DB7F10B8 Time : 0.0 sec. user=mdettweiler [2013-06-30 14:59:02] 741*2^1247311-1 is not prime. Res64: 679DAB714682DA99 Time : 0.0 sec. user=mdettweiler [2013-06-30 15:26:57] 861*2^1247311-1 is not prime. Res64: 06280352D2504118 Time : 0.0 sec. user=mdettweiler [2013-06-30 16:15:21] 933*2^1247311-1 is not prime. Res64: 4B5C61890723A132 Time : 0.0 sec. user=mdettweiler [2013-06-30 16:40:16] 961*2^1247311-1 is not prime. Res64: 6DA6EB0BA5932956 Time : 0.0 sec. user=mdettweiler [2013-06-30 16:58:05] 743*2^1247312-1 is not prime. Res64: 64A03CA4F17985EC Time : 0.0 sec. user=mdettweiler [2013-06-30 17:16:51] 767*2^1247312-1 is not prime. Res64: 12EDA8AC763D9FDE Time : 0.0 sec. user=mdettweiler [2013-06-30 18:07:18] 797*2^1247312-1 is not prime. Res64: AB832C2B944CA2EE Time : 0.0 sec. user=mdettweiler [2013-06-30 18:07:18] 893*2^1247312-1 is not prime. Res64: 64C1A7CB23680B25 Time : 0.0 sec. user=mdettweiler [2013-06-30 18:26:15] 861*2^1247313-1 is not prime. Res64: 527CC78E49F838CB Time : 0.0 sec. user=mdettweiler [2013-06-30 18:26:33] 991*2^1247313-1 is not prime. Res64: BD4053A320427296 Time : 0.0 sec. user=mdettweiler [2013-06-30 19:21:44] 717*2^1247314-1 is not prime. Res64: 987016D4DBF23574 Time : 0.0 sec. user=mdettweiler [2013-06-30 20:00:05] 755*2^1247314-1 is not prime. Res64: 3CCD5CF25568D5D3 Time : 0.0 sec. user=mdettweiler [2013-06-30 20:17:56] 891*2^1247314-1 is not prime. Res64: A1C05F48FFC3A9D2 Time : 0.0 sec. user=mdettweiler [2013-06-30 20:42:43] 951*2^1247314-1 is not prime. Res64: DB1F3CE4699A4DEC Time : 0.0 sec. user=mdettweiler [2013-06-30 21:22:22] 651*2^1247315-1 is not prime. Res64: D571A9733A4F95D7 Time : 0.0 sec. user=mdettweiler [2013-06-30 21:22:23] 685*2^1247315-1 is not prime. Res64: 422D88C4D3D763E1 Time : 0.0 sec. user=mdettweiler [2013-06-30 21:39:47] 705*2^1247315-1 is not prime. Res64: 3C478B3FFD6B26CB Time : 0.0 sec. user=mdettweiler [2013-06-30 21:39:47] 783*2^1247315-1 is not prime. Res64: 9107741194AA7096 Time : 0.0 sec. user=mdettweiler [2013-06-30 21:57:20] 913*2^1247315-1 is not prime. Res64: 20C56DCF49D7868F Time : 0.0 sec. user=mdettweiler [2013-06-30 22:19:55] 949*2^1247315-1 is not prime. Res64: 0B362CFE8A36E019 Time : 0.0 sec. user=mdettweiler [2013-06-30 22:38:04] 963*2^1247315-1 is not prime. Res64: 2FE08A5A1D8A45FB Time : 0.0 sec. user=mdettweiler [2013-06-30 22:38:04] 615*2^1247316-1 is not prime. Res64: D288D523993FF6FE Time : 0.0 sec. user=mdettweiler [2013-06-30 22:55:06] 735*2^1247316-1 is not prime. Res64: D4F43651E1CA1C43 Time : 0.0 sec. user=mdettweiler [2013-06-30 22:55:23] 789*2^1247316-1 is not prime. Res64: 1C343FFE0A79A7DB Time : 0.0 sec. user=mdettweiler [2013-06-30 23:49:23] 873*2^1247316-1 is not prime. Res64: B2EDDDEAC83C2AE2 Time : 0.0 sec. user=mdettweiler [2013-06-30 23:49:23] 609*2^1247317-1 is not prime. Res64: 085B217532157B6B Time : 0.0 sec.