user=mdettweiler [2012-08-14 00:09:38] 895*2^1226387-1 is not prime. Res64: CEAB51D6ADACA940 Time : 0.0 sec. user=mdettweiler [2012-08-14 00:09:41] 973*2^1226387-1 is not prime. Res64: A123FCA74ADB7E10 Time : 0.0 sec. user=mdettweiler [2012-08-14 00:09:45] 979*2^1226387-1 is not prime. Res64: E0A155E644836672 Time : 0.0 sec. user=mdettweiler [2012-08-14 00:09:46] 695*2^1226388-1 is not prime. Res64: 43CE1A4871AF7077 Time : 0.0 sec. user=mdettweiler [2012-08-14 00:18:53] 885*2^1226387-1 is not prime. Res64: D37D81B66DDD90EA Time : 0.0 sec. user=mdettweiler [2012-08-14 00:26:13] 737*2^1226388-1 is not prime. Res64: 3F3D9163A94158BB Time : 0.0 sec. user=mdettweiler [2012-08-14 00:30:35] 783*2^1226388-1 is not prime. Res64: 1732237884A40134 Time : 0.0 sec. user=mdettweiler [2012-08-14 00:30:36] 797*2^1226388-1 is not prime. Res64: 47677778C0092632 Time : 0.0 sec. user=mdettweiler [2012-08-14 00:30:38] 839*2^1226388-1 is not prime. Res64: A53A9C029484A07C Time : 0.0 sec. user=mdettweiler [2012-08-14 00:30:38] 845*2^1226388-1 is not prime. Res64: DC012032DC654339 Time : 0.0 sec. user=vaughan [2012-08-14 00:37:13] 765*2^1226388-1 is not prime. Res64: 32A95D00653062CA Time : 0.0 sec. user=gd_barnes [2012-08-14 00:38:05] 923*2^1226388-1 is not prime. Res64: B7A45C5D924334A9 Time : 0.0 sec. user=gd_barnes [2012-08-14 00:39:43] 927*2^1226388-1 is not prime. Res64: 1E41BC3362CAAEE5 Time : 0.0 sec. user=gd_barnes [2012-08-14 00:39:52] 999*2^1226388-1 is not prime. Res64: F4FB5658915BD217 Time : 0.0 sec. user=gd_barnes [2012-08-14 00:42:30] 899*2^1226388-1 is not prime. Res64: 9FAF7CDF9599DFE2 Time : 0.0 sec. user=gd_barnes [2012-08-14 00:42:46] 601*2^1226389-1 is not prime. Res64: 1BCD30C4D7239419 Time : 0.0 sec. user=gd_barnes [2012-08-14 00:42:52] 975*2^1226388-1 is not prime. Res64: A9381361B9F83FE7 Time : 0.0 sec. user=mdettweiler [2012-08-14 00:51:28] 861*2^1226389-1 is not prime. Res64: 4C30C1204B37CB2C Time : 0.0 sec. user=mdettweiler [2012-08-14 00:51:29] 939*2^1226389-1 is not prime. Res64: FC6A83FF467D74B8 Time : 0.0 sec. user=mdettweiler [2012-08-14 00:51:31] 955*2^1226389-1 is not prime. Res64: A605C846BEC1FF37 Time : 0.0 sec. user=mdettweiler [2012-08-14 00:51:31] 999*2^1226389-1 is not prime. Res64: 7F55B68ED8BDD3AC Time : 0.0 sec. user=mdettweiler [2012-08-14 00:51:53] 675*2^1226389-1 is not prime. Res64: A0F013925A3EA706 Time : 0.0 sec. user=mdettweiler [2012-08-14 00:59:06] 721*2^1226389-1 is not prime. Res64: E7D9345EE9016C62 Time : 0.0 sec. user=mdettweiler [2012-08-14 01:12:12] 665*2^1226390-1 is not prime. Res64: AE527DB516F072C6 Time : 0.0 sec. user=mdettweiler [2012-08-14 01:12:15] 825*2^1226390-1 is not prime. Res64: 8D690E2543152DDF Time : 0.0 sec. user=mdettweiler [2012-08-14 01:12:15] 755*2^1226390-1 is not prime. Res64: 02C7D38237209D5B Time : 0.0 sec. user=mdettweiler [2012-08-14 01:12:16] 977*2^1226390-1 is not prime. Res64: E3801C97EC9BC8DE Time : 0.0 sec. user=vaughan [2012-08-14 01:14:32] 663*2^1226390-1 is not prime. Res64: 3A01757F669BB424 Time : 0.0 sec. user=mdettweiler [2012-08-14 01:31:49] 1001*2^1226390-1 is not prime. Res64: 19F9684390969C44 Time : 0.0 sec. user=mdettweiler [2012-08-14 01:32:58] 859*2^1226391-1 is not prime. Res64: 6FD8A62DE108BC02 Time : 0.0 sec. user=mdettweiler [2012-08-14 01:32:58] 975*2^1226391-1 is not prime. Res64: 857D72FD95BBF7C6 Time : 0.0 sec. user=mdettweiler [2012-08-14 01:33:04] 603*2^1226392-1 is not prime. Res64: 8DFF7E7271D07932 Time : 0.0 sec. user=mdettweiler [2012-08-14 01:33:05] 609*2^1226392-1 is not prime. Res64: B3216002EE3DFAA1 Time : 0.0 sec. user=gd_barnes [2012-08-14 01:36:08] 735*2^1226391-1 is not prime. Res64: 15DC442ABAB33515 Time : 0.0 sec. user=gd_barnes [2012-08-14 01:36:48] 739*2^1226391-1 is not prime. Res64: B93AE6FCF48DA5FA Time : 0.0 sec. user=mdettweiler [2012-08-14 01:37:23] 643*2^1226391-1 is not prime. Res64: 03984C995A417845 Time : 0.0 sec. user=gd_barnes [2012-08-14 01:40:22] 819*2^1226391-1 is not prime. Res64: 4B33A35477E85819 Time : 0.0 sec. user=gd_barnes [2012-08-14 01:44:04] 653*2^1226392-1 is not prime. Res64: F308D667C6781152 Time : 0.0 sec. user=gd_barnes [2012-08-14 01:44:21] 735*2^1226392-1 is not prime. Res64: A671ACFE2A8F890B Time : 0.0 sec. user=gd_barnes [2012-08-14 01:44:29] 717*2^1226392-1 is not prime. Res64: 0DAD83862D4C0463 Time : 0.0 sec. user=vaughan [2012-08-14 01:51:51] 623*2^1226392-1 is not prime. Res64: 9534A984FFC7CC05 Time : 0.0 sec. user=mdettweiler [2012-08-14 01:53:38] 975*2^1226392-1 is not prime. Res64: 08EEED5B437A9D9E Time : 0.0 sec. user=mdettweiler [2012-08-14 01:53:38] 983*2^1226392-1 is not prime. Res64: 7A19576F00D73DDB Time : 0.0 sec. user=mdettweiler [2012-08-14 01:53:47] 649*2^1226393-1 is not prime. Res64: 9F08CCF5C1D7ABF5 Time : 0.0 sec. user=mdettweiler [2012-08-14 01:53:47] 651*2^1226393-1 is not prime. Res64: CE4D235BDF953B5E Time : 0.0 sec. user=juhehe [2012-08-14 01:59:53] 639*2^1226359-1 is not prime. Res64: 72C60637D6A1E58D Time : 0.0 sec. user=mdettweiler [2012-08-14 02:07:39] 797*2^1226392-1 is not prime. Res64: A154E039902A3AB2 Time : 0.0 sec. user=mdettweiler [2012-08-14 02:14:09] 691*2^1226393-1 is not prime. Res64: 90493FE377E58A83 Time : 0.0 sec. user=mdettweiler [2012-08-14 02:14:16] 715*2^1226393-1 is not prime. Res64: F0E489748F22DD64 Time : 0.0 sec. user=mdettweiler [2012-08-14 02:14:19] 759*2^1226393-1 is not prime. Res64: BEBFF2F2F4CC37AF Time : 0.0 sec. user=mdettweiler [2012-08-14 02:14:25] 915*2^1226393-1 is not prime. Res64: 7EDE387B67AAF853 Time : 0.0 sec. user=mdettweiler [2012-08-14 02:14:28] 991*2^1226393-1 is not prime. Res64: AFFD136BB0635511 Time : 0.0 sec. user=vaughan [2012-08-14 02:29:09] 697*2^1226393-1 is not prime. Res64: 55CC964ED02DC402 Time : 0.0 sec. user=mdettweiler [2012-08-14 02:35:09] 691*2^1226395-1 is not prime. Res64: B7494C7FA5CE5302 Time : 0.0 sec. user=mdettweiler [2012-08-14 02:35:11] 709*2^1226395-1 is not prime. Res64: 0912A5E48E2E7675 Time : 0.0 sec. user=mdettweiler [2012-08-14 02:35:15] 805*2^1226395-1 is not prime. Res64: 2246D39D5DB3DB44 Time : 0.0 sec. user=mdettweiler [2012-08-14 02:35:17] 859*2^1226395-1 is not prime. Res64: F8709E3F0E9FDB7D Time : 0.0 sec. user=gd_barnes [2012-08-14 02:37:17] 683*2^1226394-1 is not prime. Res64: B9F646D702E0381E Time : 0.0 sec. user=gd_barnes [2012-08-14 02:41:11] 803*2^1226394-1 is not prime. Res64: D023AC0BDF77B329 Time : 0.0 sec. user=mdettweiler [2012-08-14 02:43:36] 651*2^1226394-1 is not prime. Res64: 027A6FEF78C0C642 Time : 0.0 sec. user=mdettweiler [2012-08-14 02:52:00] 891*2^1226394-1 is not prime. Res64: AEE445CD1858EB88 Time : 0.0 sec. user=mdettweiler [2012-08-14 02:56:33] 895*2^1226395-1 is not prime. Res64: E7F23F81D6C98984 Time : 0.0 sec. user=mdettweiler [2012-08-14 02:56:34] 985*2^1226395-1 is not prime. Res64: 0BF3B69A5F57D37F Time : 0.0 sec. user=mdettweiler [2012-08-14 02:56:36] 657*2^1226396-1 is not prime. Res64: 0FCE2865F0F2291F Time : 0.0 sec. user=mdettweiler [2012-08-14 02:56:37] 719*2^1226396-1 is not prime. Res64: 4CFA55D8E663A480 Time : 0.0 sec. user=gd_barnes [2012-08-14 02:58:53] 885*2^1226395-1 is not prime. Res64: B869951654132083 Time : 0.0 sec. user=gd_barnes [2012-08-14 03:01:57] 873*2^1226396-1 is not prime. Res64: E281672D19843B6C Time : 0.0 sec. user=gd_barnes [2012-08-14 03:04:19] 869*2^1226396-1 is not prime. Res64: 279FE744FCA41C3D Time : 0.0 sec. user=gd_barnes [2012-08-14 03:05:22] 953*2^1226396-1 is not prime. Res64: 2D409BBBDAA9AB87 Time : 0.0 sec. user=vaughan [2012-08-14 03:06:40] 861*2^1226395-1 is not prime. Res64: 4402391033EC515C Time : 0.0 sec. user=mdettweiler [2012-08-14 03:17:15] 717*2^1226397-1 is not prime. Res64: 3EBA3072FA5643DA Time : 0.0 sec. user=mdettweiler [2012-08-14 03:17:26] 727*2^1226397-1 is not prime. Res64: A1E29CCB6EE246E5 Time : 0.0 sec. user=mdettweiler [2012-08-14 03:17:27] 769*2^1226397-1 is not prime. Res64: 46DF9AA0E81041A7 Time : 0.0 sec. user=mdettweiler [2012-08-14 03:19:17] 621*2^1226397-1 is not prime. Res64: AD3220C34BDCDA83 Time : 0.0 sec. user=gd_barnes [2012-08-14 03:25:44] 945*2^1226397-1 is not prime. Res64: F5B1429422584AE7 Time : 0.0 sec. user=gd_barnes [2012-08-14 03:28:05] 871*2^1226397-1 is not prime. Res64: 7B7BFC46C49C7B0C Time : 0.0 sec. user=gd_barnes [2012-08-14 03:33:25] 955*2^1226397-1 is not prime. Res64: F9BCB4014DB00D80 Time : 0.0 sec. user=vaughan [2012-08-14 03:44:12] 611*2^1226398-1 is not prime. Res64: CAB6F4CBDA41F76D Time : 0.0 sec. user=mdettweiler [2012-08-14 03:51:25] 657*2^1226398-1 is not prime. Res64: E2DD5394D1E32EC9 Time : 0.0 sec. user=mdettweiler [2012-08-14 03:51:25] 713*2^1226398-1 is not prime. Res64: E8BA64F808513923 Time : 0.0 sec. user=mdettweiler [2012-08-14 03:51:26] 623*2^1226398-1 is not prime. Res64: 31DBC7830142A11B Time : 0.0 sec. user=mdettweiler [2012-08-14 03:51:27] 815*2^1226398-1 is not prime. Res64: 42E80AB4C72AF373 Time : 0.0 sec. user=mdettweiler [2012-08-14 03:52:56] 897*2^1226398-1 is not prime. Res64: A1FC1EA8F696E165 Time : 0.0 sec. user=mdettweiler [2012-08-14 04:12:02] 735*2^1226399-1 is not prime. Res64: 07555848A1039189 Time : 0.0 sec. user=mdettweiler [2012-08-14 04:12:04] 841*2^1226399-1 is not prime. Res64: AD0547FA020CD7DB Time : 0.0 sec. user=mdettweiler [2012-08-14 04:12:07] 861*2^1226399-1 is not prime. Res64: F42D42B0601491B7 Time : 0.0 sec. user=mdettweiler [2012-08-14 04:12:09] 943*2^1226399-1 is not prime. Res64: 7956B682E4C2E9DD Time : 0.0 sec. user=vaughan [2012-08-14 04:21:31] 705*2^1226399-1 is not prime. Res64: 30ADB9882F17231C Time : 0.0 sec. user=mdettweiler [2012-08-14 04:32:55] 723*2^1226400-1 is not prime. Res64: C39048C9EFC6EEB0 Time : 0.0 sec. user=mdettweiler [2012-08-14 04:32:56] 857*2^1226400-1 is not prime. Res64: 208C492CE4FA2975 Time : 0.0 sec. user=mdettweiler [2012-08-14 04:32:59] 875*2^1226400-1 is not prime. Res64: CCCB5BD52C6E7612 Time : 0.0 sec. user=mdettweiler [2012-08-14 04:33:01] 909*2^1226400-1 is not prime. Res64: 99297645A7DD11B0 Time : 0.0 sec. user=gd_barnes [2012-08-14 04:39:24] 835*2^1226401-1 is not prime. Res64: 6F30ECB2E6AEFBA7 Time : 0.0 sec. user=gd_barnes [2012-08-14 04:39:46] 855*2^1226401-1 is not prime. Res64: 1EA224AC2BD56C2C Time : 0.0 sec. user=gd_barnes [2012-08-14 04:39:55] 677*2^1226402-1 is not prime. Res64: 3E112BBB60F2FF09 Time : 0.0 sec. user=gd_barnes [2012-08-14 04:40:58] 683*2^1226402-1 is not prime. Res64: 65E9EC859F108CA2 Time : 0.0 sec. user=gd_barnes [2012-08-14 04:41:19] 747*2^1226401-1 is not prime. Res64: 8436B8B48CA9B47A Time : 0.0 sec. user=gd_barnes [2012-08-14 04:41:25] 875*2^1226402-1 is not prime. Res64: 300162701F50EDCA Time : 0.0 sec. user=gd_barnes [2012-08-14 04:41:45] 827*2^1226402-1 is not prime. Res64: 436A9520007A069C Time : 0.0 sec. user=gd_barnes [2012-08-14 04:43:06] 771*2^1226401-1 is not prime. Res64: 112A59A625C1E8E2 Time : 0.0 sec. user=gd_barnes [2012-08-14 04:43:11] 931*2^1226401-1 is not prime. Res64: 7DE44DC202B3653A Time : 0.0 sec. user=gd_barnes [2012-08-14 04:43:14] 997*2^1226401-1 is not prime. Res64: 983B86F3B8E886F5 Time : 0.0 sec. user=gd_barnes [2012-08-14 04:43:26] 979*2^1226401-1 is not prime. Res64: 139BC3C1376C0238 Time : 0.0 sec. user=gd_barnes [2012-08-14 04:43:43] 625*2^1226401-1 is not prime. Res64: 0BF1E64C850FD338 Time : 0.0 sec. user=gd_barnes [2012-08-14 04:45:14] 887*2^1226402-1 is not prime. Res64: D54134361FDC3029 Time : 0.0 sec. user=gd_barnes [2012-08-14 04:46:09] 731*2^1226402-1 is not prime. Res64: 40E6BA030CCFDC7B Time : 0.0 sec. user=gd_barnes [2012-08-14 04:47:42] 953*2^1226402-1 is not prime. Res64: E64905890A766C1D Time : 0.0 sec. user=mdettweiler [2012-08-14 04:53:48] 675*2^1226403-1 is not prime. Res64: 98627C0E24C360E9 Time : 0.0 sec. user=mdettweiler [2012-08-14 04:53:49] 691*2^1226403-1 is not prime. Res64: 311E53BCF98EED69 Time : 0.0 sec. user=mdettweiler [2012-08-14 04:53:50] 735*2^1226403-1 is not prime. Res64: 98FB9DBC9763240C Time : 0.0 sec. user=mdettweiler [2012-08-14 04:53:51] 769*2^1226403-1 is not prime. Res64: F3048BA1B607C428 Time : 0.0 sec. user=vaughan [2012-08-14 04:58:51] 977*2^1226402-1 is not prime. Res64: EC2B60821DD09B54 Time : 0.0 sec. user=mdettweiler [2012-08-14 05:12:10] 955*2^1226399-1 is not prime. Res64: 1F4AF88D8DE9DE3C Time : 0.0 sec. user=mdettweiler [2012-08-14 05:14:29] 793*2^1226403-1 is not prime. Res64: 50F78CB5F96AF818 Time : 0.0 sec. user=mdettweiler [2012-08-14 05:14:30] 825*2^1226403-1 is not prime. Res64: 7675DAC6066A6331 Time : 0.0 sec. user=mdettweiler [2012-08-14 05:14:31] 945*2^1226403-1 is not prime. Res64: ED1AA887EDAC93C5 Time : 0.0 sec. user=mdettweiler [2012-08-14 05:14:32] 963*2^1226403-1 is not prime. Res64: 120C09A580F4EEEB Time : 0.0 sec. user=mdettweiler [2012-08-14 05:35:08] 987*2^1226404-1 is not prime. Res64: 7BE6E90E812FE52F Time : 0.0 sec. user=mdettweiler [2012-08-14 05:35:09] 825*2^1226405-1 is not prime. Res64: 77D488B9C04EA7A4 Time : 0.0 sec. user=mdettweiler [2012-08-14 05:35:11] 847*2^1226405-1 is not prime. Res64: 89753BC1633290A5 Time : 0.0 sec. user=mdettweiler [2012-08-14 05:35:12] 939*2^1226405-1 is not prime. Res64: 3E44E6FCE7F3A7F2 Time : 0.0 sec. user=vaughan [2012-08-14 05:36:09] 623*2^1226404-1 is not prime. Res64: 927E8963E19D169B Time : 0.0 sec. user=gd_barnes [2012-08-14 05:38:27] 927*2^1226404-1 is not prime. Res64: 8742D2F9583383CC Time : 0.0 sec. user=gd_barnes [2012-08-14 05:38:27] 903*2^1226404-1 is not prime. Res64: 64E78F741245756D Time : 0.0 sec. user=gd_barnes [2012-08-14 05:40:20] 677*2^1226404-1 is not prime. Res64: C682B04DBFA2141E Time : 0.0 sec. user=gd_barnes [2012-08-14 05:44:05] 975*2^1226404-1 is not prime. Res64: 75B23AD04426840A Time : 0.0 sec. user=mdettweiler [2012-08-14 05:52:51] 639*2^1226404-1 is not prime. Res64: CE7CF46D36C7B7D3 Time : 0.0 sec. user=mdettweiler [2012-08-14 05:55:46] 981*2^1226405-1 is not prime. Res64: EC2634372ACF0596 Time : 0.0 sec. user=mdettweiler [2012-08-14 05:55:47] 671*2^1226406-1 is not prime. Res64: CA593A92EB6C7147 Time : 0.0 sec. user=mdettweiler [2012-08-14 06:06:30] 713*2^1226406-1 is not prime. Res64: 201F6EAC7D729E64 Time : 0.0 sec. user=mdettweiler [2012-08-14 06:06:31] 765*2^1226406-1 is not prime. Res64: 9A7B9C8FE92E718F Time : 0.0 sec. user=vaughan [2012-08-14 06:13:26] 707*2^1226406-1 is not prime. Res64: 5D312B4BA9D0D7F7 Time : 0.0 sec. user=mdettweiler [2012-08-14 06:13:51] 649*2^1226397-1 is not prime. Res64: B2F7228D86615429 Time : 0.0 sec. user=mdettweiler [2012-08-14 06:27:20] 887*2^1226406-1 is not prime. Res64: 76C4C9A95CD0AC83 Time : 0.0 sec. user=mdettweiler [2012-08-14 06:27:21] 893*2^1226406-1 is not prime. Res64: 70DDBEE041A27C67 Time : 0.0 sec. user=mdettweiler [2012-08-14 06:33:58] 821*2^1226406-1 is not prime. Res64: C10346E21C3F357A Time : 0.0 sec. user=gd_barnes [2012-08-14 06:40:38] 675*2^1226407-1 is not prime. Res64: 9C8B6C070242D018 Time : 0.0 sec. user=mdettweiler [2012-08-14 06:48:19] 759*2^1226407-1 is not prime. Res64: F61861830117C67C Time : 0.0 sec. user=mdettweiler [2012-08-14 06:48:20] 805*2^1226407-1 is not prime. Res64: C26613DCC30552AB Time : 0.0 sec. user=vaughan [2012-08-14 06:50:46] 971*2^1226406-1 is not prime. Res64: 3134C08050D3297F Time : 0.0 sec. user=mdettweiler [2012-08-14 06:52:18] 673*2^1226407-1 is not prime. Res64: CDA1781F77EFC63F Time : 0.0 sec. user=mdettweiler [2012-08-14 06:52:35] 851*2^1226406-1 is not prime. Res64: 7A077F0AE72F9512 Time : 0.0 sec. user=mdettweiler [2012-08-14 06:52:38] 861*2^1226406-1 is not prime. Res64: 97A4F8BAFA3E5B24 Time : 0.0 sec. user=mdettweiler [2012-08-14 07:08:57] 665*2^1226408-1 is not prime. Res64: F7E034DEFE709DD3 Time : 0.0 sec. user=mdettweiler [2012-08-14 07:08:58] 713*2^1226408-1 is not prime. Res64: B0B86FA28639760D Time : 0.0 sec. user=mdettweiler [2012-08-14 07:09:23] 933*2^1226407-1 is not prime. Res64: CEDDD6D10E427E3B Time : 0.0 sec. user=mdettweiler [2012-08-14 07:13:14] 797*2^1226408-1 is not prime. Res64: 6632D344CE8E5A00 Time : 0.0 sec. user=mdettweiler [2012-08-14 07:13:17] 825*2^1226408-1 is not prime. Res64: 735A30FBEEE67C60 Time : 0.0 sec. user=vaughan [2012-08-14 07:28:04] 759*2^1226408-1 is not prime. Res64: C0DCEB4463B071F3 Time : 0.0 sec. user=mdettweiler [2012-08-14 07:29:42] 827*2^1226408-1 is not prime. Res64: D7D4D065980A4C22 Time : 0.0 sec. user=mdettweiler [2012-08-14 07:29:43] 923*2^1226408-1 is not prime. Res64: 364DA0243F50AAAA Time : 0.0 sec. user=mdettweiler [2012-08-14 07:33:59] 709*2^1226409-1 is not prime. Res64: 05B5BD90309C5753 Time : 0.0 sec. user=mdettweiler [2012-08-14 07:34:00] 835*2^1226409-1 is not prime. Res64: ABF8EF2D3454A73D Time : 0.0 sec. user=mdettweiler [2012-08-14 07:34:46] 789*2^1226408-1 is not prime. Res64: FBB44822B5C9E74B Time : 0.0 sec. user=gd_barnes [2012-08-14 07:40:55] 625*2^1226409-1 is not prime. Res64: 84E5DB153433A67F Time : 0.0 sec. user=gd_barnes [2012-08-14 07:41:43] 609*2^1226409-1 is not prime. Res64: 16733651F0975FE3 Time : 0.0 sec. user=gd_barnes [2012-08-14 07:41:44] 681*2^1226409-1 is not prime. Res64: 7B5A936EE8AEF9B7 Time : 0.0 sec. user=mdettweiler [2012-08-14 07:48:02] 929*2^1226408-1 is not prime. Res64: E934077A5D918E79 Time : 0.0 sec. user=mdettweiler [2012-08-14 07:50:19] 889*2^1226409-1 is not prime. Res64: 7D3BA196F05005D6 Time : 0.0 sec. user=mdettweiler [2012-08-14 07:50:19] 623*2^1226410-1 is not prime. Res64: 023AF458347CCED1 Time : 0.0 sec. user=mdettweiler [2012-08-14 07:54:39] 665*2^1226410-1 is not prime. Res64: 92C0DDB8BB80E112 Time : 0.0 sec. user=mdettweiler [2012-08-14 07:54:40] 695*2^1226410-1 is not prime. Res64: FE60686D05122D22 Time : 0.0 sec. user=vaughan [2012-08-14 08:05:25] 865*2^1226409-1 is not prime. Res64: 092D668044E72B59 Time : 0.0 sec. user=mdettweiler [2012-08-14 08:10:55] 743*2^1226410-1 is not prime. Res64: A92E68F8E96C30F9 Time : 0.0 sec. user=mdettweiler [2012-08-14 08:10:58] 861*2^1226410-1 is not prime. Res64: 2048F06A833EB737 Time : 0.0 sec. user=mdettweiler [2012-08-14 08:13:51] 701*2^1226410-1 is not prime. Res64: 37649F58ACF0141E Time : 0.0 sec. user=mdettweiler [2012-08-14 08:15:18] 951*2^1226410-1 is not prime. Res64: 47CE2C0CAEC754D6 Time : 0.0 sec. user=mdettweiler [2012-08-14 08:15:21] 975*2^1226410-1 is not prime. Res64: 503AD9BDAD1C158B Time : 0.0 sec. user=gd_barnes [2012-08-14 08:24:36] 981*2^1226410-1 is not prime. Res64: F005FAEB829E83FF Time : 0.0 sec. user=gd_barnes [2012-08-14 08:24:46] 735*2^1226411-1 is not prime. Res64: 61E521DA0875D0BC Time : 0.0 sec. user=mdettweiler [2012-08-14 08:26:40] 735*2^1226410-1 is not prime. Res64: 7CE02F63F0F30B1F Time : 0.0 sec. user=gd_barnes [2012-08-14 08:29:46] 993*2^1226411-1 is not prime. Res64: 8A30BA7055391D52 Time : 0.0 sec. user=gd_barnes [2012-08-14 08:29:58] 741*2^1226411-1 is not prime. Res64: 5569B54CD3E3D699 Time : 0.0 sec. user=gd_barnes [2012-08-14 08:30:34] 749*2^1226412-1 is not prime. Res64: 6AD66E8B8F6BD543 Time : 0.0 sec. user=mdettweiler [2012-08-14 08:31:53] 867*2^1226412-1 is not prime. Res64: 396C1FC3FE68CB45 Time : 0.0 sec. user=mdettweiler [2012-08-14 08:31:53] 879*2^1226412-1 is not prime. Res64: 8A99A967C7646058 Time : 0.0 sec. user=gd_barnes [2012-08-14 08:33:27] 621*2^1226411-1 is not prime. Res64: 576BC63C6DF6F40E Time : 0.0 sec. user=gd_barnes [2012-08-14 08:34:05] 693*2^1226412-1 is not prime. Res64: D14952310A80C396 Time : 0.0 sec. user=mdettweiler [2012-08-14 08:36:03] 983*2^1226412-1 is not prime. Res64: 25BBD317725ECDA5 Time : 0.0 sec. user=mdettweiler [2012-08-14 08:36:04] 615*2^1226413-1 is not prime. Res64: 74D7E47D3A86B003 Time : 0.0 sec. user=vaughan [2012-08-14 08:42:46] 803*2^1226412-1 is not prime. Res64: 8395C968349CFC35 Time : 0.0 sec. user=mdettweiler [2012-08-14 08:49:17] 923*2^1226412-1 is not prime. Res64: 531BBBE87497F04A Time : 0.0 sec. user=mdettweiler [2012-08-14 08:52:28] 651*2^1226413-1 is not prime. Res64: 4F93294473193CA1 Time : 0.0 sec. user=mdettweiler [2012-08-14 08:52:28] 699*2^1226413-1 is not prime. Res64: 692378C1F9B1F6D1 Time : 0.0 sec. user=mdettweiler [2012-08-14 08:56:45] 847*2^1226413-1 is not prime. Res64: C88DEC985F241C8C Time : 0.0 sec. user=mdettweiler [2012-08-14 08:56:46] 889*2^1226413-1 is not prime. Res64: 8DE805C0331E081D Time : 0.0 sec. user=mdettweiler [2012-08-14 09:00:38] 625*2^1226413-1 is not prime. Res64: 8A9197670CA22824 Time : 0.0 sec. user=mdettweiler [2012-08-14 09:13:09] 617*2^1226414-1 is not prime. Res64: 5397B9CE55756172 Time : 0.0 sec. user=mdettweiler [2012-08-14 09:13:10] 645*2^1226414-1 is not prime. Res64: 1DAC782307A2334A Time : 0.0 sec. user=mdettweiler [2012-08-14 09:17:27] 711*2^1226414-1 is not prime. Res64: BEA4F527799E4098 Time : 0.0 sec. user=mdettweiler [2012-08-14 09:17:29] 741*2^1226414-1 is not prime. Res64: 6102C1F61B5EDC3B Time : 0.0 sec. user=vaughan [2012-08-14 09:20:01] 961*2^1226413-1 is not prime. Res64: A0C3D58DE17957EB Time : 0.0 sec. user=mdettweiler [2012-08-14 09:22:38] 967*2^1226413-1 is not prime. Res64: D1F926A64DF67D3C Time : 0.0 sec. user=mdettweiler [2012-08-14 09:33:43] 827*2^1226414-1 is not prime. Res64: 835F25BEC69D216F Time : 0.0 sec. user=mdettweiler [2012-08-14 09:34:00] 625*2^1226415-1 is not prime. Res64: A503F73CD42BDBFC Time : 0.0 sec. user=mdettweiler [2012-08-14 09:34:01] 669*2^1226415-1 is not prime. Res64: 946FFC1C96236E75 Time : 0.0 sec. user=gd_barnes [2012-08-14 09:36:41] 833*2^1226414-1 is not prime. Res64: EAA7AF35EF9A7720 Time : 0.0 sec. user=mdettweiler [2012-08-14 09:38:14] 685*2^1226415-1 is not prime. Res64: FF44DE00B5429E5A Time : 0.0 sec. user=mdettweiler [2012-08-14 09:38:15] 705*2^1226415-1 is not prime. Res64: B613E67B7BD55A4A Time : 0.0 sec. user=gd_barnes [2012-08-14 09:39:20] 987*2^1226414-1 is not prime. Res64: 38F9B806CF357429 Time : 0.0 sec. user=gd_barnes [2012-08-14 09:40:41] 945*2^1226414-1 is not prime. Res64: DBDC801164545A38 Time : 0.0 sec. user=gd_barnes [2012-08-14 09:40:44] 983*2^1226414-1 is not prime. Res64: 55F7E02996896418 Time : 0.0 sec. user=mdettweiler [2012-08-14 09:54:44] 999*2^1226415-1 is not prime. Res64: 209C9CB8E73F1D58 Time : 0.0 sec. user=mdettweiler [2012-08-14 09:54:46] 639*2^1226416-1 is not prime. Res64: 07B30F5923CF17B9 Time : 0.0 sec. user=mdettweiler [2012-08-14 09:55:58] 861*2^1226415-1 is not prime. Res64: 1639381BC1CE0AA3 Time : 0.0 sec. user=vaughan [2012-08-14 09:57:24] 849*2^1226415-1 is not prime. Res64: 32B00ACE7C2ED463 Time : 0.0 sec. user=mdettweiler [2012-08-14 09:58:56] 717*2^1226416-1 is not prime. Res64: 0D9F9CF9DFD86FF6 Time : 0.0 sec. user=mdettweiler [2012-08-14 09:58:57] 735*2^1226416-1 is not prime. Res64: 046A3664482BD21F Time : 0.0 sec. user=mdettweiler [2012-08-14 10:06:47] 991*2^1226415-1 is not prime. Res64: FE18B2C14C1DD952 Time : 0.0 sec. user=juhehe [2012-08-14 10:10:25] 919*2^1226415-1 is not prime. Res64: 4EE046E1842FBF49 Time : 0.0 sec. user=mdettweiler [2012-08-14 10:15:32] 803*2^1226416-1 is not prime. Res64: B795EFFB5BE74554 Time : 0.0 sec. user=mdettweiler [2012-08-14 10:15:35] 875*2^1226416-1 is not prime. Res64: D001B3BD88B1CF44 Time : 0.0 sec. user=mdettweiler [2012-08-14 10:19:38] 699*2^1226417-1 is not prime. Res64: 52DD4FB5A8C4D1CF Time : 0.0 sec. user=mdettweiler [2012-08-14 10:19:39] 735*2^1226417-1 is not prime. Res64: 3BBC6D3D6BDA180B Time : 0.0 sec. user=mdettweiler [2012-08-14 10:29:06] 601*2^1226417-1 is not prime. Res64: 39BDD9DBA50CD0DE Time : 0.0 sec. user=vaughan [2012-08-14 10:34:43] 669*2^1226417-1 is not prime. Res64: 4444071DFF36ACF5 Time : 0.0 sec. user=mdettweiler [2012-08-14 10:36:37] 937*2^1226417-1 is not prime. Res64: 1717870B452FF43C Time : 0.0 sec. user=mdettweiler [2012-08-14 10:36:38] 957*2^1226417-1 is not prime. Res64: F4A6CF17501E065F Time : 0.0 sec. user=mdettweiler [2012-08-14 10:40:10] 841*2^1226417-1 is not prime. Res64: 796B9732878A699D Time : 0.0 sec. user=mdettweiler [2012-08-14 10:40:19] 737*2^1226418-1 is not prime. Res64: 8BC862206B330F43 Time : 0.0 sec. user=mdettweiler [2012-08-14 10:40:21] 747*2^1226418-1 is not prime. Res64: 82ABD07704D93666 Time : 0.0 sec. user=gd_barnes [2012-08-14 10:41:29] 725*2^1226418-1 is not prime. Res64: 9B3E4719FF390614 Time : 0.0 sec. user=gd_barnes [2012-08-14 10:45:12] 997*2^1226417-1 is not prime. Res64: 1165CE28761FA38D Time : 0.0 sec. user=mdettweiler [2012-08-14 10:57:21] 733*2^1226419-1 is not prime. Res64: 6C29DF19C8C1A253 Time : 0.0 sec. user=mdettweiler [2012-08-14 10:57:22] 853*2^1226419-1 is not prime. Res64: F0A06C08C2D27C02 Time : 0.0 sec. user=mdettweiler [2012-08-14 11:01:01] 999*2^1226419-1 is not prime. Res64: BAEDC86C10631C55 Time : 0.0 sec. user=mdettweiler [2012-08-14 11:01:03] 893*2^1226420-1 is not prime. Res64: 4B9D126726C44863 Time : 0.0 sec. user=mdettweiler [2012-08-14 11:01:58] 765*2^1226418-1 is not prime. Res64: B639B4BA0A61B8DB Time : 0.0 sec. user=vaughan [2012-08-14 11:12:01] 709*2^1226419-1 is not prime. Res64: D1CCC5E592CD8886 Time : 0.0 sec. user=juhehe [2012-08-14 11:13:24] 901*2^1226417-1 is not prime. Res64: 93DABBE6E16BD606 Time : 0.0 sec. user=mdettweiler [2012-08-14 11:14:45] 925*2^1226419-1 is not prime. Res64: 34A0E65EBA4A0F0C Time : 0.0 sec. user=mdettweiler [2012-08-14 11:18:02] 899*2^1226420-1 is not prime. Res64: B7E9E6BB36AC0921 Time : 0.0 sec. user=mdettweiler [2012-08-14 11:18:04] 909*2^1226420-1 is not prime. Res64: 3951786502D0043A Time : 0.0 sec. user=mdettweiler [2012-08-14 11:21:44] 963*2^1226420-1 is not prime. Res64: A52B27B3A53A0AC7 Time : 0.0 sec. user=mdettweiler [2012-08-14 11:21:45] 983*2^1226420-1 is not prime. Res64: E188B3354B9BFB35 Time : 0.0 sec. user=gd_barnes [2012-08-14 11:30:28] 661*2^1226421-1 is not prime. Res64: F7723F95335DDAA8 Time : 0.0 sec. user=gd_barnes [2012-08-14 11:34:20] 777*2^1226421-1 is not prime. Res64: 8C601F8C971F57F7 Time : 0.0 sec. user=mdettweiler [2012-08-14 11:34:51] 649*2^1226421-1 is not prime. Res64: C205C17EA1415C18 Time : 0.0 sec. user=gd_barnes [2012-08-14 11:34:53] 735*2^1226421-1 is not prime. Res64: 408E354C75723C21 Time : 0.0 sec. user=gd_barnes [2012-08-14 11:35:12] 745*2^1226421-1 is not prime. Res64: CC46ED8DFF5CF56C Time : 0.0 sec. user=mdettweiler [2012-08-14 11:38:56] 951*2^1226422-1 is not prime. Res64: 23F029E1CF4C6616 Time : 0.0 sec. user=mdettweiler [2012-08-14 11:38:57] 957*2^1226422-1 is not prime. Res64: 43635D589506562D Time : 0.0 sec. user=mdettweiler [2012-08-14 11:42:21] 975*2^1226422-1 is not prime. Res64: 9092D5C88BF57F7D Time : 0.0 sec. user=mdettweiler [2012-08-14 11:42:22] 735*2^1226423-1 is not prime. Res64: 657148FC6DFEE8EE Time : 0.0 sec. user=mdettweiler [2012-08-14 11:49:12] 923*2^1226422-1 is not prime. Res64: F208DD4BAF9DB6C0 Time : 0.0 sec. user=vaughan [2012-08-14 11:49:22] 849*2^1226421-1 is not prime. Res64: E823821EB36F0202 Time : 0.0 sec. user=mdettweiler [2012-08-14 11:59:38] 859*2^1226423-1 is not prime. Res64: E08347DB35EC476D Time : 0.0 sec. user=mdettweiler [2012-08-14 11:59:40] 939*2^1226423-1 is not prime. Res64: 58AD49DB2799C0DA Time : 0.0 sec. user=mdettweiler [2012-08-14 12:03:01] 969*2^1226423-1 is not prime. Res64: 2D79D7C9F589899B Time : 0.0 sec. user=mdettweiler [2012-08-14 12:03:02] 985*2^1226423-1 is not prime. Res64: 35D9E58E2E5462C4 Time : 0.0 sec. user=mdettweiler [2012-08-14 12:08:51] 771*2^1226423-1 is not prime. Res64: 81FCD6D808865A07 Time : 0.0 sec. user=juhehe [2012-08-14 12:09:23] 665*2^1226422-1 is not prime. Res64: 6C0E1BD65F2B7218 Time : 0.0 sec. user=mdettweiler [2012-08-14 12:20:19] 723*2^1226424-1 is not prime. Res64: 891D1BE38562EECC Time : 0.0 sec. user=mdettweiler [2012-08-14 12:20:20] 661*2^1226425-1 is not prime. Res64: CA454904F4EA4243 Time : 0.0 sec. user=mdettweiler [2012-08-14 12:22:53] 623*2^1226424-1 is not prime. Res64: 21F06354769855FD Time : 0.0 sec. user=mdettweiler [2012-08-14 12:23:46] 777*2^1226425-1 is not prime. Res64: F48FB4261A65A0B7 Time : 0.0 sec. user=mdettweiler [2012-08-14 12:23:47] 805*2^1226425-1 is not prime. Res64: 782C068914D48559 Time : 0.0 sec. user=vaughan [2012-08-14 12:26:41] 705*2^1226424-1 is not prime. Res64: 60B0E26F7FB56CEC Time : 0.0 sec. user=gd_barnes [2012-08-14 12:32:41] 831*2^1226425-1 is not prime. Res64: AA20814E6F7B340C Time : 0.0 sec. user=mdettweiler [2012-08-14 12:41:05] 683*2^1226426-1 is not prime. Res64: 4A489A8901069DE3 Time : 0.0 sec. user=mdettweiler [2012-08-14 12:41:06] 743*2^1226426-1 is not prime. Res64: 0F30EDD24CEA073E Time : 0.0 sec. user=mdettweiler [2012-08-14 12:44:28] 941*2^1226426-1 is not prime. Res64: 620D3ECE845931AA Time : 0.0 sec. user=mdettweiler [2012-08-14 12:44:30] 945*2^1226426-1 is not prime. Res64: 66869A55E5BDD3C1 Time : 0.0 sec. user=mdettweiler [2012-08-14 12:45:06] 885*2^1226425-1 is not prime. Res64: 11D3CB33507EB430 Time : 0.0 sec. user=juhehe [2012-08-14 12:53:51] 623*2^1226426-1 is not prime. Res64: E6631855A7D382D8 Time : 0.0 sec. user=mdettweiler [2012-08-14 12:59:05] 887*2^1226426-1 is not prime. Res64: D1B3BCA243185D7A Time : 0.0 sec. user=mdettweiler [2012-08-14 13:01:45] 903*2^1226427-1 is not prime. Res64: D7E51691ADF7EA20 Time : 0.0 sec. user=mdettweiler [2012-08-14 13:01:47] 931*2^1226427-1 is not prime. Res64: 9D944DCB55825F1D Time : 0.0 sec. user=vaughan [2012-08-14 13:04:17] 1001*2^1226426-1 is not prime. Res64: 89A659C2D4AC7B57 Time : 0.0 sec. user=mdettweiler [2012-08-14 13:05:08] 797*2^1226428-1 is not prime. Res64: E2E988037524256D Time : 0.0 sec. user=mdettweiler [2012-08-14 13:05:10] 855*2^1226428-1 is not prime. Res64: CBE908B14DEB093B Time : 0.0 sec. user=mdettweiler [2012-08-14 13:21:40] 887*2^1226428-1 is not prime. Res64: 17FAE23BD589FB5D Time : 0.0 sec. user=mdettweiler [2012-08-14 13:22:52] 975*2^1226428-1 is not prime. Res64: 617F66C094E64A7B Time : 0.0 sec. user=mdettweiler [2012-08-14 13:22:54] 759*2^1226429-1 is not prime. Res64: BD3933413422A03B Time : 0.0 sec. user=mdettweiler [2012-08-14 13:25:59] 855*2^1226429-1 is not prime. Res64: F76A4ECBFA534BEF Time : 0.0 sec. user=mdettweiler [2012-08-14 13:26:02] 867*2^1226429-1 is not prime. Res64: D322B66150CB3A1B Time : 0.0 sec. user=mdettweiler [2012-08-14 13:35:09] 957*2^1226428-1 is not prime. Res64: AEE492A595FDD841 Time : 0.0 sec. user=vaughan [2012-08-14 13:41:43] 789*2^1226429-1 is not prime. Res64: F00620C2AA0C87A2 Time : 0.0 sec. user=mdettweiler [2012-08-14 13:44:02] 641*2^1226430-1 is not prime. Res64: EC42F5A326601A46 Time : 0.0 sec. user=mdettweiler [2012-08-14 13:44:03] 707*2^1226430-1 is not prime. Res64: AA9C19D12B907B14 Time : 0.0 sec. user=mdettweiler [2012-08-14 13:47:08] 773*2^1226430-1 is not prime. Res64: 6B8DF025D5AD2414 Time : 0.0 sec. user=mdettweiler [2012-08-14 13:47:09] 795*2^1226430-1 is not prime. Res64: 0592441BD643A1EE Time : 0.0 sec. user=mdettweiler [2012-08-14 13:57:48] 967*2^1226429-1 is not prime. Res64: 8340EEE6CBD75500 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:04:56] 855*2^1226431-1 is not prime. Res64: 828D5E56B7B40525 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:05:01] 883*2^1226431-1 is not prime. Res64: 8EF1F0CC4FC72664 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:07:56] 885*2^1226431-1 is not prime. Res64: 5F861795B99C1296 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:08:00] 901*2^1226431-1 is not prime. Res64: C0BDEDBF8569F838 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:11:21] 639*2^1226431-1 is not prime. Res64: 407083FF4C335E7A Time : 0.0 sec. user=vaughan [2012-08-14 14:19:03] 679*2^1226431-1 is not prime. Res64: ECDFD5CFDC2F92F4 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:25:56] 645*2^1226432-1 is not prime. Res64: 5D6E6EBAC4F0E7E7 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:25:57] 657*2^1226432-1 is not prime. Res64: 0818282B72E76443 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:28:47] 699*2^1226432-1 is not prime. Res64: EA4A2C979B2BD710 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:28:48] 825*2^1226432-1 is not prime. Res64: C13690D965F79E24 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:33:45] 975*2^1226431-1 is not prime. Res64: EF84C2C536A01FDB Time : 0.0 sec. user=mdettweiler [2012-08-14 14:46:44] 835*2^1226433-1 is not prime. Res64: 62A53FB2F9ECA4F2 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:46:45] 681*2^1226434-1 is not prime. Res64: CD785253F79BE780 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:48:03] 649*2^1226433-1 is not prime. Res64: E8656EB8AE8547A6 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:49:37] 723*2^1226434-1 is not prime. Res64: B85BE3C59299E2E6 Time : 0.0 sec. user=mdettweiler [2012-08-14 14:49:37] 741*2^1226434-1 is not prime. Res64: 76301F2E0D709469 Time : 0.0 sec. user=vaughan [2012-08-14 14:56:22] 781*2^1226433-1 is not prime. Res64: 9FE4E61DDFD669DA Time : 0.0 sec. user=juhehe [2012-08-14 14:59:38] 747*2^1226433-1 is not prime. Res64: 6B3F34EC324DEFA9 Time : 0.0 sec. user=mdettweiler [2012-08-14 15:07:35] 813*2^1226434-1 is not prime. Res64: 3E649651C4860024 Time : 0.0 sec. user=mdettweiler [2012-08-14 15:07:36] 825*2^1226434-1 is not prime. Res64: 889E073463FDC601 Time : 0.0 sec. user=mdettweiler [2012-08-14 15:09:05] 803*2^1226434-1 is not prime. Res64: 958F532DF02AF169 Time : 0.0 sec. user=mdettweiler [2012-08-14 15:10:31] 603*2^1226435-1 is not prime. Res64: FA06CCD0B937B1D1 Time : 0.0 sec. user=mdettweiler [2012-08-14 15:10:35] 939*2^1226435-1 is not prime. Res64: A56E9EC1714623E2 Time : 0.0 sec. user=mdettweiler [2012-08-14 15:21:08] 917*2^1226434-1 is not prime. Res64: 3088ED81B032361A Time : 0.0 sec. user=mdettweiler [2012-08-14 15:28:26] 839*2^1226436-1 is not prime. Res64: 7647195E1868C5DF Time : 0.0 sec. user=mdettweiler [2012-08-14 15:28:28] 875*2^1226436-1 is not prime. Res64: 1EAD39285B6D071F Time : 0.0 sec. user=mdettweiler [2012-08-14 15:31:25] 685*2^1226437-1 is not prime. Res64: 0399F7F70EC67B0C Time : 0.0 sec. user=mdettweiler [2012-08-14 15:31:26] 687*2^1226437-1 is not prime. Res64: BF3C7B70D9A9A170 Time : 0.0 sec. user=vaughan [2012-08-14 15:33:40] 639*2^1226436-1 is not prime. Res64: 5772165C19876468 Time : 0.0 sec. user=mdettweiler [2012-08-14 15:42:22] 975*2^1226436-1 is not prime. Res64: A84FA961B21C6CC4 Time : 0.0 sec. user=mdettweiler [2012-08-14 15:52:13] 859*2^1226437-1 is not prime. Res64: F0DEBA62F4AFBC53 Time : 0.0 sec. user=mdettweiler [2012-08-14 15:52:14] 861*2^1226437-1 is not prime. Res64: BEDAD15C50BAE88B Time : 0.0 sec. user=mdettweiler [2012-08-14 15:54:33] 717*2^1226437-1 is not prime. Res64: 12B5A9EEDEB8E35F Time : 0.0 sec. user=mdettweiler [2012-08-14 15:59:47] 939*2^1226437-1 is not prime. Res64: 0CD1771E9B2CD110 Time : 0.0 sec. user=mdettweiler [2012-08-14 15:59:48] 623*2^1226438-1 is not prime. Res64: 2D5F60C4AA4C8CD6 Time : 0.0 sec. user=vaughan [2012-08-14 16:10:56] 895*2^1226437-1 is not prime. Res64: 98CEDA35B5829360 Time : 0.0 sec. user=mdettweiler [2012-08-14 16:13:02] 641*2^1226438-1 is not prime. Res64: 0156835AB96E842B Time : 0.0 sec. user=mdettweiler [2012-08-14 16:13:06] 683*2^1226438-1 is not prime. Res64: 3D6DC49815D35FD7 Time : 0.0 sec. user=mdettweiler [2012-08-14 16:17:20] 627*2^1226438-1 is not prime. Res64: 8BF65FFDC5985C1F Time : 0.0 sec. user=mdettweiler [2012-08-14 16:20:42] 813*2^1226438-1 is not prime. Res64: 306AD617D1B7F4D4 Time : 0.0 sec. user=mdettweiler [2012-08-14 16:20:43] 867*2^1226438-1 is not prime. Res64: 11EDBE672368B7FE Time : 0.0 sec. user=mdettweiler [2012-08-14 16:29:49] 705*2^1226438-1 is not prime. Res64: 222218123E04B408 Time : 0.0 sec. user=mdettweiler [2012-08-14 16:34:02] 669*2^1226439-1 is not prime. Res64: 0279D6C941996C62 Time : 0.0 sec. user=mdettweiler [2012-08-14 16:34:02] 675*2^1226439-1 is not prime. Res64: 926A0FB939DF0D24 Time : 0.0 sec. user=gd_barnes [2012-08-14 16:41:09] 661*2^1226439-1 is not prime. Res64: 9E9CB076160F2135 Time : 0.0 sec. user=mdettweiler [2012-08-14 16:41:31] 741*2^1226439-1 is not prime. Res64: 0C68D262680A1BEF Time : 0.0 sec. user=mdettweiler [2012-08-14 16:41:32] 763*2^1226439-1 is not prime. Res64: DB82FA904FD8419B Time : 0.0 sec. user=vaughan [2012-08-14 16:48:33] 995*2^1226438-1 is not prime. Res64: 44BA3574139FC5F8 Time : 0.0 sec. user=mdettweiler [2012-08-14 16:50:49] 723*2^1226439-1 is not prime. Res64: 15E3DBC785D0ACBE Time : 0.0 sec. user=mdettweiler [2012-08-14 16:54:45] 677*2^1226440-1 is not prime. Res64: 563DED1B45ABC9E9 Time : 0.0 sec. user=mdettweiler [2012-08-14 16:54:46] 755*2^1226440-1 is not prime. Res64: 299CC2FB19F72C93 Time : 0.0 sec. user=mdettweiler [2012-08-14 17:02:16] 785*2^1226440-1 is not prime. Res64: ED7EF7E19F4BF600 Time : 0.0 sec. user=mdettweiler [2012-08-14 17:02:17] 819*2^1226440-1 is not prime. Res64: 96D0FD382D83F557 Time : 0.0 sec. user=mdettweiler [2012-08-14 17:03:11] 629*2^1226440-1 is not prime. Res64: 6F6D509624D5E80A Time : 0.0 sec. user=mdettweiler [2012-08-14 17:15:37] 871*2^1226441-1 is not prime. Res64: 89D36D86155A0CCA Time : 0.0 sec. user=mdettweiler [2012-08-14 17:15:38] 879*2^1226441-1 is not prime. Res64: FC8B837F515439EA Time : 0.0 sec. user=mdettweiler [2012-08-14 17:23:08] 937*2^1226441-1 is not prime. Res64: A4849EE01DB588D8 Time : 0.0 sec. user=mdettweiler [2012-08-14 17:23:09] 951*2^1226441-1 is not prime. Res64: CC7CEB5516793B28 Time : 0.0 sec. user=mdettweiler [2012-08-14 17:23:41] 805*2^1226441-1 is not prime. Res64: 1B1D916D35DFA00A Time : 0.0 sec. user=vaughan [2012-08-14 17:25:51] 631*2^1226441-1 is not prime. Res64: 7439A642E76CC5EE Time : 0.0 sec. user=mdettweiler [2012-08-14 17:36:31] 981*2^1226441-1 is not prime. Res64: 4BD0A7D4FF6646ED Time : 0.0 sec. user=mdettweiler [2012-08-14 17:36:39] 651*2^1226442-1 is not prime. Res64: E3AD824BE638238E Time : 0.0 sec. user=mdettweiler [2012-08-14 17:36:40] 705*2^1226442-1 is not prime. Res64: 9C6655B0245B0801 Time : 0.0 sec. user=mdettweiler [2012-08-14 17:44:04] 717*2^1226442-1 is not prime. Res64: 1991003E85E87834 Time : 0.0 sec. user=mdettweiler [2012-08-14 17:44:05] 765*2^1226442-1 is not prime. Res64: 67386E16D7C5B7EC Time : 0.0 sec. user=gd_barnes [2012-08-14 17:44:06] 997*2^1226441-1 is not prime. Res64: 84B8682A1CB66FA0 Time : 0.0 sec. user=mdettweiler [2012-08-14 17:57:18] 693*2^1226443-1 is not prime. Res64: B1DC994795905A64 Time : 0.0 sec. user=mdettweiler [2012-08-14 17:57:27] 755*2^1226444-1 is not prime. Res64: 407296FA983CA0C2 Time : 0.0 sec. user=mdettweiler [2012-08-14 17:57:28] 759*2^1226444-1 is not prime. Res64: 20CBD3111550A29A Time : 0.0 sec. user=vaughan [2012-08-14 18:03:10] 745*2^1226443-1 is not prime. Res64: 81B07A4705C57D31 Time : 0.0 sec. user=mdettweiler [2012-08-14 18:04:56] 827*2^1226444-1 is not prime. Res64: B42E6861CF78BEDE Time : 0.0 sec. user=mdettweiler [2012-08-14 18:04:57] 857*2^1226444-1 is not prime. Res64: 58208EEBC3146573 Time : 0.0 sec. user=mdettweiler [2012-08-14 18:18:14] 929*2^1226444-1 is not prime. Res64: 78FE17DCD6B1A095 Time : 0.0 sec. user=mdettweiler [2012-08-14 18:18:16] 649*2^1226445-1 is not prime. Res64: FA951987745595AE Time : 0.0 sec. user=mdettweiler [2012-08-14 18:18:59] 891*2^1226443-1 is not prime. Res64: BCF7CDC0F418E5CF Time : 0.0 sec. user=mdettweiler [2012-08-14 18:30:25] 885*2^1226444-1 is not prime. Res64: E7CE20E3FFA7F731 Time : 0.0 sec. user=mdettweiler [2012-08-14 18:37:22] 847*2^1226445-1 is not prime. Res64: 6DE1D6B8A3CEBBA6 Time : 0.0 sec. user=mdettweiler [2012-08-14 18:37:23] 695*2^1226446-1 is not prime. Res64: C02E3C52AF4390F5 Time : 0.0 sec. user=mdettweiler [2012-08-14 18:39:04] 755*2^1226446-1 is not prime. Res64: CA29FE9CD6B4D40A Time : 0.0 sec. user=mdettweiler [2012-08-14 18:39:04] 765*2^1226446-1 is not prime. Res64: CD7D07E0DEC37E5D Time : 0.0 sec. user=vaughan [2012-08-14 18:40:43] 751*2^1226445-1 is not prime. Res64: 11850A17D8BE0659 Time : 0.0 sec. user=mdettweiler [2012-08-14 18:54:11] 801*2^1226446-1 is not prime. Res64: E46E9535A36C4628 Time : 0.0 sec. user=mdettweiler [2012-08-14 18:58:14] 857*2^1226446-1 is not prime. Res64: AC408F68F15EA0ED Time : 0.0 sec. user=mdettweiler [2012-08-14 18:58:14] 891*2^1226446-1 is not prime. Res64: B3BD410657DD89A7 Time : 0.0 sec. user=mdettweiler [2012-08-14 18:59:52] 917*2^1226446-1 is not prime. Res64: BB2783CE0C695160 Time : 0.0 sec. user=mdettweiler [2012-08-14 18:59:53] 933*2^1226446-1 is not prime. Res64: 34B8E454AE3D7F01 Time : 0.0 sec. user=mdettweiler [2012-08-14 19:05:38] 815*2^1226446-1 is not prime. Res64: 69D778C211299C89 Time : 0.0 sec. user=vaughan [2012-08-14 19:18:06] 947*2^1226446-1 is not prime. Res64: 7621C02F322E1175 Time : 0.0 sec. user=mdettweiler [2012-08-14 19:19:25] 693*2^1226447-1 is not prime. Res64: F672435D54CA2EDD Time : 0.0 sec. user=mdettweiler [2012-08-14 19:19:26] 735*2^1226447-1 is not prime. Res64: 7C25636EF7042306 Time : 0.0 sec. user=mdettweiler [2012-08-14 19:21:07] 759*2^1226447-1 is not prime. Res64: 5FD0A679F6C7C46C Time : 0.0 sec. user=mdettweiler [2012-08-14 19:21:08] 843*2^1226447-1 is not prime. Res64: DA8C6C099CB347D9 Time : 0.0 sec. user=mdettweiler [2012-08-14 19:27:42] 987*2^1226446-1 is not prime. Res64: 7E4933EDB8183D49 Time : 0.0 sec. user=mdettweiler [2012-08-14 19:38:55] 979*2^1226447-1 is not prime. Res64: 3DE519B3D3F7B6D9 Time : 0.0 sec. user=mdettweiler [2012-08-14 19:40:44] 737*2^1226448-1 is not prime. Res64: 6A572655757E0347 Time : 0.0 sec. user=mdettweiler [2012-08-14 19:40:44] 759*2^1226448-1 is not prime. Res64: B66CC914ADA195B4 Time : 0.0 sec. user=mdettweiler [2012-08-14 19:42:28] 765*2^1226448-1 is not prime. Res64: 9DBC66980AA352AC Time : 0.0 sec. user=mdettweiler [2012-08-14 19:42:29] 843*2^1226448-1 is not prime. Res64: 6614C025CCB2EB38 Time : 0.0 sec. user=gd_barnes [2012-08-14 19:42:46] 705*2^1226448-1 is not prime. Res64: D655B507E5AB07A6 Time : 0.0 sec. user=gd_barnes [2012-08-14 19:45:13] 699*2^1226448-1 is not prime. Res64: 2DAF05AC286B3919 Time : 0.0 sec. user=vaughan [2012-08-14 19:55:26] 725*2^1226448-1 is not prime. Res64: AEF63D06764A4A90 Time : 0.0 sec. user=mdettweiler [2012-08-14 20:02:05] 729*2^1226449-1 is not prime. Res64: DD15800430373C8A Time : 0.0 sec. user=mdettweiler [2012-08-14 20:02:07] 801*2^1226449-1 is not prime. Res64: EF708BB607E8A752 Time : 0.0 sec. user=mdettweiler [2012-08-14 20:02:57] 845*2^1226448-1 is not prime. Res64: 1F88AD6F6D4D80A8 Time : 0.0 sec. user=mdettweiler [2012-08-14 20:03:45] 847*2^1226449-1 is not prime. Res64: 06D49F03239FF89C Time : 0.0 sec. user=mdettweiler [2012-08-14 20:03:47] 909*2^1226449-1 is not prime. Res64: 320FBC2A1595D197 Time : 0.0 sec. user=mdettweiler [2012-08-14 20:11:34] 661*2^1226449-1 is not prime. Res64: 0E11ADFD52DC8642 Time : 0.0 sec. user=mdettweiler [2012-08-14 20:23:30] 857*2^1226450-1 is not prime. Res64: 7EA3E230C347725F Time : 0.0 sec. user=mdettweiler [2012-08-14 20:23:31] 867*2^1226450-1 is not prime. Res64: E730BFA7AE6CDA81 Time : 0.0 sec. user=mdettweiler [2012-08-14 20:25:06] 921*2^1226450-1 is not prime. Res64: 6B0C12180ED00587 Time : 0.0 sec. user=mdettweiler [2012-08-14 20:25:07] 995*2^1226450-1 is not prime. Res64: BF9EBBFD8778B3D6 Time : 0.0 sec. user=vaughan [2012-08-14 20:32:45] 711*2^1226450-1 is not prime. Res64: F029F35993DB6AF7 Time : 0.0 sec. user=mdettweiler [2012-08-14 20:36:28] 911*2^1226450-1 is not prime. Res64: 19E0DCB0FA052DE4 Time : 0.0 sec. user=mdettweiler [2012-08-14 20:44:54] 677*2^1226452-1 is not prime. Res64: 360F59E65AE54EFB Time : 0.0 sec. user=mdettweiler [2012-08-14 20:44:54] 891*2^1226451-1 is not prime. Res64: E987006D184DE0A1 Time : 0.0 sec. user=mdettweiler [2012-08-14 20:44:55] 765*2^1226452-1 is not prime. Res64: 22DA1947D2AE5427 Time : 0.0 sec. user=mdettweiler [2012-08-14 20:46:24] 825*2^1226452-1 is not prime. Res64: 9A797BFC9CBBB0B6 Time : 0.0 sec. user=mdettweiler [2012-08-14 20:46:25] 873*2^1226452-1 is not prime. Res64: 2B50FED2C833D5DA Time : 0.0 sec. user=mdettweiler [2012-08-14 21:06:18] 741*2^1226453-1 is not prime. Res64: C495F78F87F4ED07 Time : 0.0 sec. user=mdettweiler [2012-08-14 21:06:19] 745*2^1226453-1 is not prime. Res64: B1B17F34F1F2F056 Time : 0.0 sec. user=mdettweiler [2012-08-14 21:07:47] 925*2^1226453-1 is not prime. Res64: A2E22BD155670A38 Time : 0.0 sec. user=mdettweiler [2012-08-14 21:07:50] 945*2^1226453-1 is not prime. Res64: 8BE19FA5B7D2E078 Time : 0.0 sec. user=vaughan [2012-08-14 21:10:04] 939*2^1226452-1 is not prime. Res64: 2F7E1398054ACEDD Time : 0.0 sec. user=mdettweiler [2012-08-14 21:13:50] 983*2^1226452-1 is not prime. Res64: 274429FC3EBB23A5 Time : 0.0 sec. user=mdettweiler [2012-08-14 21:17:53] 805*2^1226453-1 is not prime. Res64: 218305125D71706A Time : 0.0 sec. user=mdettweiler [2012-08-14 21:27:55] 605*2^1226454-1 is not prime. Res64: 1F4FADA69A6A264F Time : 0.0 sec. user=mdettweiler [2012-08-14 21:27:56] 635*2^1226454-1 is not prime. Res64: ED1C59499CBB953E Time : 0.0 sec. user=mdettweiler [2012-08-14 21:29:13] 681*2^1226454-1 is not prime. Res64: 057A9CBA8A6FD14E Time : 0.0 sec. user=mdettweiler [2012-08-14 21:29:14] 737*2^1226454-1 is not prime. Res64: 8D2B6522EA960091 Time : 0.0 sec. user=mdettweiler [2012-08-14 21:47:13] 601*2^1226455-1 is not prime. Res64: 6F6312E7237EF863 Time : 0.0 sec. user=vaughan [2012-08-14 21:47:23] 881*2^1226454-1 is not prime. Res64: 015C9DE3A61F7DA6 Time : 0.0 sec. user=mdettweiler [2012-08-14 21:48:50] 673*2^1226455-1 is not prime. Res64: CF8C52EFF94DA298 Time : 0.0 sec. user=mdettweiler [2012-08-14 21:48:52] 679*2^1226455-1 is not prime. Res64: 2097910E84C529BD Time : 0.0 sec. user=mdettweiler [2012-08-14 21:50:05] 709*2^1226455-1 is not prime. Res64: C110A724BEB7358F Time : 0.0 sec. user=mdettweiler [2012-08-14 21:50:06] 909*2^1226455-1 is not prime. Res64: 15FD151F015BA64D Time : 0.0 sec. user=mdettweiler [2012-08-14 21:52:53] 609*2^1226455-1 is not prime. Res64: B7C4DC421A51D993 Time : 0.0 sec. user=mdettweiler [2012-08-14 22:09:56] 735*2^1226456-1 is not prime. Res64: EA003DCA4C6EACBE Time : 0.0 sec. user=mdettweiler [2012-08-14 22:09:58] 747*2^1226456-1 is not prime. Res64: 0E86DFE9944E388A Time : 0.0 sec. user=mdettweiler [2012-08-14 22:11:25] 803*2^1226456-1 is not prime. Res64: F2CDF9C9DC5460CF Time : 0.0 sec. user=mdettweiler [2012-08-14 22:11:29] 923*2^1226456-1 is not prime. Res64: 9B526E8803B127F4 Time : 0.0 sec. user=mdettweiler [2012-08-14 22:21:34] 635*2^1226456-1 is not prime. Res64: 444B1431D68E81E6 Time : 0.0 sec. user=vaughan [2012-08-14 22:24:42] 683*2^1226456-1 is not prime. Res64: E484838A88A45ECF Time : 0.0 sec. user=mdettweiler [2012-08-14 22:27:21] 935*2^1226456-1 is not prime. Res64: 37FA289D4647850A Time : 0.0 sec. user=mdettweiler [2012-08-14 22:31:09] 639*2^1226457-1 is not prime. Res64: 6717873991458751 Time : 0.0 sec. user=mdettweiler [2012-08-14 22:31:09] 675*2^1226457-1 is not prime. Res64: A6C62DC6BA571542 Time : 0.0 sec. user=mdettweiler [2012-08-14 22:32:46] 747*2^1226457-1 is not prime. Res64: 6D76727941A05178 Time : 0.0 sec. user=mdettweiler [2012-08-14 22:32:47] 781*2^1226457-1 is not prime. Res64: 7A54AF5832763B0B Time : 0.0 sec. user=gd_barnes [2012-08-14 22:35:15] 627*2^1226457-1 is not prime. Res64: 7534AE96868DF004 Time : 0.0 sec. user=gd_barnes [2012-08-14 22:38:01] 941*2^1226458-1 is not prime. Res64: 66493D116877E108 Time : 0.0 sec. user=gd_barnes [2012-08-14 22:38:07] 803*2^1226458-1 is not prime. Res64: 29917770FB86EAE7 Time : 0.0 sec. user=gd_barnes [2012-08-14 22:40:29] 677*2^1226458-1 is not prime. Res64: F34F9F278419AA37 Time : 0.0 sec. user=gd_barnes [2012-08-14 22:42:19] 911*2^1226458-1 is not prime. Res64: 330BD075E8D54552 Time : 0.0 sec. user=gd_barnes [2012-08-14 22:44:45] 985*2^1226457-1 is not prime. Res64: E1B6E0A779B3E124 Time : 0.0 sec. user=gd_barnes [2012-08-14 22:45:11] 603*2^1226458-1 is not prime. Res64: 25E6526E3B96DE0E Time : 0.0 sec. user=gd_barnes [2012-08-14 22:46:12] 987*2^1226458-1 is not prime. Res64: 9D976464090296F3 Time : 0.0 sec. user=gd_barnes [2012-08-14 22:48:11] 633*2^1226459-1 is not prime. Res64: 7485E082C45CBCD7 Time : 0.0 sec. user=gd_barnes [2012-08-14 22:50:18] 631*2^1226459-1 is not prime. Res64: CA8C5F53F6F46757 Time : 0.0 sec. user=mdettweiler [2012-08-14 22:52:22] 719*2^1226460-1 is not prime. Res64: E1B434643B82124B Time : 0.0 sec. user=mdettweiler [2012-08-14 22:52:22] 725*2^1226460-1 is not prime. Res64: 441201E0D386B41D Time : 0.0 sec. user=mdettweiler [2012-08-14 22:53:55] 735*2^1226460-1 is not prime. Res64: D5F539DF8A84911B Time : 0.0 sec. user=mdettweiler [2012-08-14 22:53:56] 783*2^1226460-1 is not prime. Res64: FBB223EE54F0AD88 Time : 0.0 sec. user=mdettweiler [2012-08-14 22:55:43] 859*2^1226459-1 is not prime. Res64: 221407DECF4AC352 Time : 0.0 sec. user=mdettweiler [2012-08-14 23:01:53] 623*2^1226460-1 is not prime. Res64: E8BB1D24EA68530D Time : 0.0 sec. user=vaughan [2012-08-14 23:02:01] 909*2^1226459-1 is not prime. Res64: 6D9786C515D5C49C Time : 0.0 sec. user=mdettweiler [2012-08-14 23:13:47] 819*2^1226460-1 is not prime. Res64: 7F4E0BE20DD80B62 Time : 0.0 sec. user=mdettweiler [2012-08-14 23:13:51] 893*2^1226460-1 is not prime. Res64: B25E0CB5DAA1A356 Time : 0.0 sec. user=mdettweiler [2012-08-14 23:15:28] 615*2^1226461-1 is not prime. Res64: E563CAAF03F75004 Time : 0.0 sec. user=mdettweiler [2012-08-14 23:31:32] 801*2^1226461-1 is not prime. Res64: B173DDB5752278EE Time : 0.0 sec. user=mdettweiler [2012-08-14 23:36:42] 623*2^1226462-1 is not prime. Res64: 5B96C235F863A5A2 Time : 0.0 sec. user=mdettweiler [2012-08-14 23:36:42] 635*2^1226462-1 is not prime. Res64: 44376276B4AAAAD7 Time : 0.0 sec. user=vaughan [2012-08-14 23:39:38] 859*2^1226461-1 is not prime. Res64: 7173714DDF1D6A22 Time : 0.0 sec. user=mdettweiler [2012-08-14 23:39:57] 825*2^1226461-1 is not prime. Res64: 4DD2A7E60D21360C Time : 0.0 sec. user=mdettweiler [2012-08-14 23:42:17] 649*2^1226461-1 is not prime. Res64: F33DE2F939161318 Time : 0.0 sec.