user=mdettweiler [2013-03-22 00:04:55] 811*2^1243159-1 is not prime. Res64: 554EAF82E8CF8B12 Time : 0.0 sec. user=mdettweiler [2013-03-22 00:04:56] 973*2^1243159-1 is not prime. Res64: E54B80C01C70865E Time : 0.0 sec. user=vaughan [2013-03-22 00:13:03] 975*2^1243158-1 is not prime. Res64: 5457F76619410070 Time : 0.0 sec. user=mdettweiler [2013-03-22 00:13:40] 993*2^1243159-1 is not prime. Res64: 062416F07B61627D Time : 0.0 sec. user=mdettweiler [2013-03-22 00:13:41] 687*2^1243160-1 is not prime. Res64: CA6B3731BA4C9CB8 Time : 0.0 sec. user=mdettweiler [2013-03-22 00:22:34] 827*2^1243160-1 is not prime. Res64: A5EEEBC9D701771E Time : 0.0 sec. user=mdettweiler [2013-03-22 00:22:34] 857*2^1243160-1 is not prime. Res64: A58E00B99A28465B Time : 0.0 sec. user=juhehe [2013-03-22 00:24:47] 631*2^1243157-1 is not prime. Res64: 8F4BBAF9FB561EC6 Time : 0.0 sec. user=mdettweiler [2013-03-22 00:31:07] 893*2^1243160-1 is not prime. Res64: 37750569CB4A2157 Time : 0.0 sec. user=mdettweiler [2013-03-22 00:31:08] 681*2^1243161-1 is not prime. Res64: 166096EFADAA46E5 Time : 0.0 sec. user=mdettweiler [2013-03-22 00:40:02] 777*2^1243161-1 is not prime. Res64: 4A55810E5877C652 Time : 0.0 sec. user=mdettweiler [2013-03-22 00:40:02] 795*2^1243161-1 is not prime. Res64: 559B6883941FB25E Time : 0.0 sec. user=mdettweiler [2013-03-22 00:48:32] 807*2^1243161-1 is not prime. Res64: F0935BE70C8E332E Time : 0.0 sec. user=mdettweiler [2013-03-22 00:48:32] 861*2^1243161-1 is not prime. Res64: 5A36F4F77B4709DD Time : 0.0 sec. user=vaughan [2013-03-22 00:51:18] 879*2^1243160-1 is not prime. Res64: 6F19793C3186CA1A Time : 0.0 sec. user=mdettweiler [2013-03-22 00:57:31] 921*2^1243161-1 is not prime. Res64: 4ACAB0A0511CE7F4 Time : 0.0 sec. user=mdettweiler [2013-03-22 00:57:32] 937*2^1243161-1 is not prime. Res64: 1F00BBFB123F1AFF Time : 0.0 sec. user=mdettweiler [2013-03-22 01:06:01] 955*2^1243161-1 is not prime. Res64: C0EFA0000D9314F8 Time : 0.0 sec. user=mdettweiler [2013-03-22 01:06:02] 991*2^1243161-1 is not prime. Res64: CCBB36A32FB100E6 Time : 0.0 sec. user=mdettweiler [2013-03-22 01:14:56] 651*2^1243162-1 is not prime. Res64: 87B67649F41B8F53 Time : 0.0 sec. user=mdettweiler [2013-03-22 01:14:57] 741*2^1243162-1 is not prime. Res64: F565CE1A88E40E8E Time : 0.0 sec. user=mdettweiler [2013-03-22 01:23:26] 825*2^1243162-1 is not prime. Res64: 296E4EA4D10106AF Time : 0.0 sec. user=mdettweiler [2013-03-22 01:23:27] 881*2^1243162-1 is not prime. Res64: 1D265D1995853079 Time : 0.0 sec. user=vaughan [2013-03-22 01:29:28] 633*2^1243162-1 is not prime. Res64: 74E6399D16353CDC Time : 0.0 sec. user=mdettweiler [2013-03-22 01:32:20] 615*2^1243163-1 is not prime. Res64: CDC315DB26C2CC49 Time : 0.0 sec. user=mdettweiler [2013-03-22 01:32:21] 631*2^1243163-1 is not prime. Res64: 467A6A20824206E8 Time : 0.0 sec. user=mdettweiler [2013-03-22 01:40:50] 669*2^1243163-1 is not prime. Res64: F122CA7B1EF2AE12 Time : 0.0 sec. user=mdettweiler [2013-03-22 01:40:50] 741*2^1243163-1 is not prime. Res64: EC84C1078361FB7A Time : 0.0 sec. user=juhehe [2013-03-22 01:42:14] 901*2^1243161-1 is not prime. Res64: DA29D53F3D713294 Time : 0.0 sec. user=mdettweiler [2013-03-22 01:49:44] 705*2^1243164-1 is not prime. Res64: B1ECC1967C41D3B5 Time : 0.0 sec. user=mdettweiler [2013-03-22 01:49:45] 773*2^1243164-1 is not prime. Res64: 1900C06798036828 Time : 0.0 sec. user=mdettweiler [2013-03-22 01:58:16] 929*2^1243164-1 is not prime. Res64: 6C05B615E4F68F00 Time : 0.0 sec. user=mdettweiler [2013-03-22 01:58:16] 649*2^1243165-1 is not prime. Res64: 7A3A1400735E396F Time : 0.0 sec. user=mdettweiler [2013-03-22 02:07:09] 675*2^1243165-1 is not prime. Res64: 2FBFAF2FAEF77C21 Time : 0.0 sec. user=mdettweiler [2013-03-22 02:07:10] 789*2^1243165-1 is not prime. Res64: 6B635F509151DA96 Time : 0.0 sec. user=vaughan [2013-03-22 02:12:44] 973*2^1243163-1 is not prime. Res64: A0F7F4303C492CDB Time : 0.0 sec. user=mdettweiler [2013-03-22 02:15:40] 927*2^1243165-1 is not prime. Res64: ED1927263C2F439D Time : 0.0 sec. user=mdettweiler [2013-03-22 02:15:41] 937*2^1243165-1 is not prime. Res64: 67EE47C327456AFE Time : 0.0 sec. user=mdettweiler [2013-03-22 02:24:34] 985*2^1243165-1 is not prime. Res64: 8CE0D05D0060032D Time : 0.0 sec. user=mdettweiler [2013-03-22 02:24:35] 999*2^1243165-1 is not prime. Res64: 880B4B3A38E3BC16 Time : 0.0 sec. user=juhehe [2013-03-22 02:31:06] 921*2^1243163-1 is not prime. Res64: 1F519C91D785ED57 Time : 0.0 sec. user=mdettweiler [2013-03-22 02:33:05] 711*2^1243166-1 is not prime. Res64: 0AE29FCE139FA50F Time : 0.0 sec. user=mdettweiler [2013-03-22 02:33:06] 897*2^1243166-1 is not prime. Res64: 9BEB3B3C93D7BDE8 Time : 0.0 sec. user=mdettweiler [2013-03-22 02:42:00] 945*2^1243166-1 is not prime. Res64: 659B9CEF9F5967DA Time : 0.0 sec. user=mdettweiler [2013-03-22 02:42:01] 643*2^1243167-1 is not prime. Res64: 0F2F29CE2D4E7ECB Time : 0.0 sec. user=mdettweiler [2013-03-22 02:50:31] 859*2^1243167-1 is not prime. Res64: ABD3B07268437197 Time : 0.0 sec. user=mdettweiler [2013-03-22 02:50:32] 891*2^1243167-1 is not prime. Res64: BBC7F3AD4941B994 Time : 0.0 sec. user=vaughan [2013-03-22 02:50:56] 617*2^1243166-1 is not prime. Res64: 261D3BA4FEF7AB08 Time : 0.0 sec. user=mdettweiler [2013-03-22 02:59:27] 951*2^1243167-1 is not prime. Res64: 85BD30854C5C7920 Time : 0.0 sec. user=mdettweiler [2013-03-22 02:59:28] 955*2^1243167-1 is not prime. Res64: 4719B1152584FDB5 Time : 0.0 sec. user=mdettweiler [2013-03-22 03:07:56] 713*2^1243168-1 is not prime. Res64: E323C31A071B8CF8 Time : 0.0 sec. user=mdettweiler [2013-03-22 03:07:57] 803*2^1243168-1 is not prime. Res64: EABD6543BBCCD3EC Time : 0.0 sec. user=mdettweiler [2013-03-22 03:16:52] 849*2^1243168-1 is not prime. Res64: 2C94430F3A73206E Time : 0.0 sec. user=mdettweiler [2013-03-22 03:16:53] 869*2^1243168-1 is not prime. Res64: 54B55ABEB4E90B3B Time : 0.0 sec. user=mdettweiler [2013-03-22 03:25:22] 957*2^1243168-1 is not prime. Res64: 4443D4EC09EBBEC9 Time : 0.0 sec. user=mdettweiler [2013-03-22 03:25:22] 615*2^1243169-1 is not prime. Res64: A48F2D46342E14F2 Time : 0.0 sec. user=vaughan [2013-03-22 03:29:08] 813*2^1243168-1 is not prime. Res64: CF73E77A922FEA64 Time : 0.0 sec. user=mdettweiler [2013-03-22 03:34:17] 771*2^1243169-1 is not prime. Res64: D6242A281C1AFB1A Time : 0.0 sec. user=mdettweiler [2013-03-22 03:34:18] 787*2^1243169-1 is not prime. Res64: 9D2F38B283F05B76 Time : 0.0 sec. user=mdettweiler [2013-03-22 03:42:47] 879*2^1243169-1 is not prime. Res64: 874255BC2C3601B1 Time : 0.0 sec. user=mdettweiler [2013-03-22 03:42:47] 885*2^1243169-1 is not prime. Res64: 11EF89C1FA8A4F56 Time : 0.0 sec. user=juhehe [2013-03-22 03:49:09] 689*2^1243168-1 is not prime. Res64: F3F082691C92AA70 Time : 0.0 sec. user=mdettweiler [2013-03-22 03:51:46] 767*2^1243170-1 is not prime. Res64: 389E093E02A182D1 Time : 0.0 sec. user=mdettweiler [2013-03-22 03:51:46] 791*2^1243170-1 is not prime. Res64: 858FFFB38534D679 Time : 0.0 sec. user=mdettweiler [2013-03-22 04:00:10] 917*2^1243170-1 is not prime. Res64: 7A8CD1CC9267B230 Time : 0.0 sec. user=mdettweiler [2013-03-22 04:00:11] 923*2^1243170-1 is not prime. Res64: 80DA4FC4B2ECC36D Time : 0.0 sec. user=vaughan [2013-03-22 04:07:22] 931*2^1243169-1 is not prime. Res64: 993ADEA9A87E0E04 Time : 0.0 sec. user=mdettweiler [2013-03-22 04:09:11] 601*2^1243171-1 is not prime. Res64: C4614C950908DC81 Time : 0.0 sec. user=mdettweiler [2013-03-22 04:09:12] 775*2^1243171-1 is not prime. Res64: F79F6A2C0622B5CE Time : 0.0 sec. user=mdettweiler [2013-03-22 04:17:37] 849*2^1243171-1 is not prime. Res64: 48AF3CB47E990795 Time : 0.0 sec. user=mdettweiler [2013-03-22 04:17:37] 909*2^1243171-1 is not prime. Res64: 4D7A25805DAA8D34 Time : 0.0 sec. user=mdettweiler [2013-03-22 04:26:39] 759*2^1243172-1 is not prime. Res64: 184BCF6684E97AEE Time : 0.0 sec. user=mdettweiler [2013-03-22 04:26:39] 797*2^1243172-1 is not prime. Res64: 99643E46E26F78DB Time : 0.0 sec. user=mdettweiler [2013-03-22 04:35:02] 885*2^1243172-1 is not prime. Res64: 03A35030CE5E8316 Time : 0.0 sec. user=mdettweiler [2013-03-22 04:35:03] 609*2^1243173-1 is not prime. Res64: 42DB658028C8E948 Time : 0.0 sec. user=mdettweiler [2013-03-22 04:44:07] 669*2^1243173-1 is not prime. Res64: 74FA576422EA1DD2 Time : 0.0 sec. user=mdettweiler [2013-03-22 04:44:08] 789*2^1243173-1 is not prime. Res64: EACE7410C2A91BFB Time : 0.0 sec. user=juhehe [2013-03-22 04:44:49] 991*2^1243169-1 is not prime. Res64: 64FE1D1593CBDD82 Time : 0.0 sec. user=vaughan [2013-03-22 04:45:35] 617*2^1243172-1 is not prime. Res64: 83A3E480ADF059B7 Time : 0.0 sec. user=mdettweiler [2013-03-22 04:52:31] 805*2^1243173-1 is not prime. Res64: 5BCA49A32016A36F Time : 0.0 sec. user=mdettweiler [2013-03-22 04:52:31] 827*2^1243174-1 is not prime. Res64: CC266A1D8C88A2CE Time : 0.0 sec. user=mdettweiler [2013-03-22 05:01:32] 891*2^1243174-1 is not prime. Res64: 797118A20C737D73 Time : 0.0 sec. user=mdettweiler [2013-03-22 05:01:33] 965*2^1243174-1 is not prime. Res64: 8A440E4FCCB1870A Time : 0.0 sec. user=mdettweiler [2013-03-22 05:09:55] 705*2^1243175-1 is not prime. Res64: 187E13C4D70B14A4 Time : 0.0 sec. user=mdettweiler [2013-03-22 05:09:56] 775*2^1243175-1 is not prime. Res64: E824B42FBFD9EF08 Time : 0.0 sec. user=mdettweiler [2013-03-22 05:18:58] 789*2^1243175-1 is not prime. Res64: FEC1F043FFE95561 Time : 0.0 sec. user=mdettweiler [2013-03-22 05:18:59] 895*2^1243175-1 is not prime. Res64: 3CF8203BBDB83809 Time : 0.0 sec. user=mdettweiler [2013-03-22 05:27:25] 921*2^1243175-1 is not prime. Res64: 50263E50187F69DD Time : 0.0 sec. user=mdettweiler [2013-03-22 05:27:26] 969*2^1243175-1 is not prime. Res64: E8389488F8ACBCEA Time : 0.0 sec. user=vaughan [2013-03-22 05:28:51] 971*2^1243174-1 is not prime. Res64: 60F42F9BEF3D02D4 Time : 0.0 sec. user=mdettweiler [2013-03-22 05:36:23] 639*2^1243176-1 is not prime. Res64: F44C7F3C89533301 Time : 0.0 sec. user=mdettweiler [2013-03-22 05:36:23] 683*2^1243176-1 is not prime. Res64: BC8523DB85AD123E Time : 0.0 sec. user=mdettweiler [2013-03-22 05:44:51] 689*2^1243176-1 is not prime. Res64: 3B393347EBA79B3B Time : 0.0 sec. user=mdettweiler [2013-03-22 05:44:52] 693*2^1243176-1 is not prime. Res64: 4DF9010A4C25B672 Time : 0.0 sec. user=mdettweiler [2013-03-22 05:53:47] 849*2^1243176-1 is not prime. Res64: 15A2F80D746EC6F3 Time : 0.0 sec. user=mdettweiler [2013-03-22 05:53:48] 857*2^1243176-1 is not prime. Res64: 73C22861B4AC26BF Time : 0.0 sec. user=juhehe [2013-03-22 05:55:19] 619*2^1243175-1 is not prime. Res64: 9F23083E74F9040F Time : 0.0 sec. user=mdettweiler [2013-03-22 06:02:16] 927*2^1243176-1 is not prime. Res64: E185A35B325A3DFD Time : 0.0 sec. user=mdettweiler [2013-03-22 06:02:16] 609*2^1243177-1 is not prime. Res64: FB16468BCBC2D0D4 Time : 0.0 sec. user=vaughan [2013-03-22 06:07:04] 759*2^1243176-1 is not prime. Res64: D3C8DE9ADD0AFF62 Time : 0.0 sec. user=mdettweiler [2013-03-22 06:11:11] 691*2^1243177-1 is not prime. Res64: D8484F40932F263B Time : 0.0 sec. user=mdettweiler [2013-03-22 06:11:11] 751*2^1243177-1 is not prime. Res64: 55D99ADC27501142 Time : 0.0 sec. user=mdettweiler [2013-03-22 06:19:46] 759*2^1243177-1 is not prime. Res64: DC987721DB6E2156 Time : 0.0 sec. user=mdettweiler [2013-03-22 06:19:47] 801*2^1243177-1 is not prime. Res64: 2FE94B12B95C7512 Time : 0.0 sec. user=mdettweiler [2013-03-22 06:28:38] 605*2^1243178-1 is not prime. Res64: 4231EE1CEAAA655D Time : 0.0 sec. user=mdettweiler [2013-03-22 06:28:39] 633*2^1243178-1 is not prime. Res64: 3568E7572F4916D5 Time : 0.0 sec. user=mdettweiler [2013-03-22 06:37:18] 671*2^1243178-1 is not prime. Res64: 6B4DE57E5E07303C Time : 0.0 sec. user=mdettweiler [2013-03-22 06:37:19] 713*2^1243178-1 is not prime. Res64: F1B66FD8728B8ED3 Time : 0.0 sec. user=vaughan [2013-03-22 06:45:16] 937*2^1243177-1 is not prime. Res64: 1590D647B0F0DFE4 Time : 0.0 sec. user=mdettweiler [2013-03-22 06:46:06] 843*2^1243178-1 is not prime. Res64: 0B0A1EE283DD8A2C Time : 0.0 sec. user=mdettweiler [2013-03-22 06:46:07] 921*2^1243178-1 is not prime. Res64: BA7DE3D3438CB293 Time : 0.0 sec. user=juhehe [2013-03-22 06:50:31] 687*2^1243177-1 is not prime. Res64: 10D3AC0DCF5506FB Time : 0.0 sec. user=mdettweiler [2013-03-22 06:54:46] 935*2^1243178-1 is not prime. Res64: FC7641E1F8527474 Time : 0.0 sec. user=mdettweiler [2013-03-22 06:54:47] 977*2^1243178-1 is not prime. Res64: D36F4736B81619E3 Time : 0.0 sec. user=mdettweiler [2013-03-22 07:03:32] 705*2^1243179-1 is not prime. Res64: A39784B650695C20 Time : 0.0 sec. user=mdettweiler [2013-03-22 07:03:34] 751*2^1243179-1 is not prime. Res64: 94A607064F115604 Time : 0.0 sec. user=mdettweiler [2013-03-22 07:12:13] 789*2^1243179-1 is not prime. Res64: B642C4D0FB040A38 Time : 0.0 sec. user=mdettweiler [2013-03-22 07:12:13] 903*2^1243179-1 is not prime. Res64: F5A0F889A3858602 Time : 0.0 sec. user=mdettweiler [2013-03-22 07:21:02] 615*2^1243180-1 is not prime. Res64: DB18CFC29CD74586 Time : 0.0 sec. user=mdettweiler [2013-03-22 07:21:02] 653*2^1243180-1 is not prime. Res64: 76E442C886486D7B Time : 0.0 sec. user=vaughan [2013-03-22 07:23:26] 609*2^1243179-1 is not prime. Res64: 3498D9BAB9E9FACB Time : 0.0 sec. user=mdettweiler [2013-03-22 07:29:41] 765*2^1243180-1 is not prime. Res64: DAA899479B0562F1 Time : 0.0 sec. user=mdettweiler [2013-03-22 07:29:41] 803*2^1243180-1 is not prime. Res64: 526C6007E0E1C697 Time : 0.0 sec. user=mdettweiler [2013-03-22 07:38:27] 857*2^1243180-1 is not prime. Res64: 0872417904D69D21 Time : 0.0 sec. user=mdettweiler [2013-03-22 07:38:28] 863*2^1243180-1 is not prime. Res64: D6E18806D32AF69F Time : 0.0 sec. user=mdettweiler [2013-03-22 07:47:09] 965*2^1243180-1 is not prime. Res64: 6A48A08F299BC070 Time : 0.0 sec. user=mdettweiler [2013-03-22 07:47:10] 983*2^1243180-1 is not prime. Res64: 2595F6BB9AC579B0 Time : 0.0 sec. user=mdettweiler [2013-03-22 07:55:54] 651*2^1243181-1 is not prime. Res64: DEFB94E4C5790C42 Time : 0.0 sec. user=mdettweiler [2013-03-22 07:55:54] 657*2^1243181-1 is not prime. Res64: AFFB5C6DB8A9EADB Time : 0.0 sec. user=vaughan [2013-03-22 08:01:33] 909*2^1243180-1 is not prime. Res64: 5321EC7E6AD65DBE Time : 0.0 sec. user=mdettweiler [2013-03-22 08:04:35] 675*2^1243181-1 is not prime. Res64: C47D77E53D3ED819 Time : 0.0 sec. user=mdettweiler [2013-03-22 08:04:36] 735*2^1243181-1 is not prime. Res64: 010FD54A76676B69 Time : 0.0 sec. user=juhehe [2013-03-22 08:08:40] 985*2^1243179-1 is not prime. Res64: B74B5BFF4A015E97 Time : 0.0 sec. user=mdettweiler [2013-03-22 08:13:19] 811*2^1243181-1 is not prime. Res64: 08C20E2B71850ACD Time : 0.0 sec. user=mdettweiler [2013-03-22 08:13:20] 861*2^1243181-1 is not prime. Res64: 77C56283D9540976 Time : 0.0 sec. user=mdettweiler [2013-03-22 08:22:02] 967*2^1243181-1 is not prime. Res64: E7D88FE180BEFDE6 Time : 0.0 sec. user=mdettweiler [2013-03-22 08:22:02] 627*2^1243182-1 is not prime. Res64: F0F593EB6160B1C2 Time : 0.0 sec. user=mdettweiler [2013-03-22 08:30:45] 821*2^1243182-1 is not prime. Res64: A5A59113D4E8283D Time : 0.0 sec. user=mdettweiler [2013-03-22 08:30:46] 603*2^1243183-1 is not prime. Res64: ECA368709F10F396 Time : 0.0 sec. user=mdettweiler [2013-03-22 08:39:29] 619*2^1243183-1 is not prime. Res64: A168023F645DCF8F Time : 0.0 sec. user=mdettweiler [2013-03-22 08:39:30] 633*2^1243183-1 is not prime. Res64: 8BA667D359C8ED89 Time : 0.0 sec. user=vaughan [2013-03-22 08:39:51] 879*2^1243181-1 is not prime. Res64: 16E61ED3BF10DBB3 Time : 0.0 sec. user=mdettweiler [2013-03-22 08:48:11] 771*2^1243183-1 is not prime. Res64: 654EA5ADDFB99F2A Time : 0.0 sec. user=mdettweiler [2013-03-22 08:48:12] 889*2^1243183-1 is not prime. Res64: C0CF52200D9D278D Time : 0.0 sec. user=juhehe [2013-03-22 08:56:27] 769*2^1243181-1 is not prime. Res64: BD5E645F28C165A9 Time : 0.0 sec. user=mdettweiler [2013-03-22 08:56:55] 657*2^1243184-1 is not prime. Res64: DC66CB6FE662A981 Time : 0.0 sec. user=mdettweiler [2013-03-22 08:56:55] 659*2^1243184-1 is not prime. Res64: 0972478F0661A6E2 Time : 0.0 sec. user=mdettweiler [2013-03-22 09:05:36] 945*2^1243184-1 is not prime. Res64: ADEF096A56A249E4 Time : 0.0 sec. user=mdettweiler [2013-03-22 09:05:37] 959*2^1243184-1 is not prime. Res64: 7D2CE71C7D76F079 Time : 0.0 sec. user=mdettweiler [2013-03-22 09:14:20] 983*2^1243184-1 is not prime. Res64: 430DAB72CB649EAF Time : 0.0 sec. user=mdettweiler [2013-03-22 09:14:20] 601*2^1243185-1 is not prime. Res64: 2F0F36EF2A947301 Time : 0.0 sec. user=vaughan [2013-03-22 09:18:00] 915*2^1243184-1 is not prime. Res64: B85048B7697D799A Time : 0.0 sec. user=mdettweiler [2013-03-22 09:23:02] 691*2^1243185-1 is not prime. Res64: 6E0E23BEF5A4F53A Time : 0.0 sec. user=mdettweiler [2013-03-22 09:23:03] 699*2^1243185-1 is not prime. Res64: 0878EEEEEE62E248 Time : 0.0 sec. user=mdettweiler [2013-03-22 09:31:46] 727*2^1243185-1 is not prime. Res64: 2A0772AF1A357090 Time : 0.0 sec. user=mdettweiler [2013-03-22 09:31:46] 849*2^1243185-1 is not prime. Res64: 98F8DEE3455BC0AD Time : 0.0 sec. user=mdettweiler [2013-03-22 09:40:28] 895*2^1243185-1 is not prime. Res64: A953598EDBDF9B54 Time : 0.0 sec. user=mdettweiler [2013-03-22 09:40:29] 921*2^1243185-1 is not prime. Res64: 6D6244B0B7AB5BD7 Time : 0.0 sec. user=mdettweiler [2013-03-22 09:49:11] 951*2^1243185-1 is not prime. Res64: FB304F950151E8E9 Time : 0.0 sec. user=mdettweiler [2013-03-22 09:49:12] 651*2^1243186-1 is not prime. Res64: 67E36569012A9BBB Time : 0.0 sec. user=vaughan [2013-03-22 09:56:12] 877*2^1243185-1 is not prime. Res64: 69B201CDC2DE5F4E Time : 0.0 sec. user=mdettweiler [2013-03-22 09:57:54] 653*2^1243186-1 is not prime. Res64: 9D15CD61D3382119 Time : 0.0 sec. user=mdettweiler [2013-03-22 09:57:55] 735*2^1243186-1 is not prime. Res64: 7F4EB56B8D451C97 Time : 0.0 sec. user=mdettweiler [2013-03-22 10:06:37] 773*2^1243186-1 is not prime. Res64: 61B486E2576B9815 Time : 0.0 sec. user=mdettweiler [2013-03-22 10:06:38] 941*2^1243186-1 is not prime. Res64: 16A3F43234071D6F Time : 0.0 sec. user=juhehe [2013-03-22 10:14:45] 705*2^1243185-1 is not prime. Res64: A1DF75FCADA2E4A7 Time : 0.0 sec. user=mdettweiler [2013-03-22 10:15:24] 983*2^1243186-1 is not prime. Res64: 93ACE8E7C384BD36 Time : 0.0 sec. user=mdettweiler [2013-03-22 10:15:25] 993*2^1243186-1 is not prime. Res64: 961E9D9E7817DAC0 Time : 0.0 sec. user=mdettweiler [2013-03-22 10:24:12] 655*2^1243187-1 is not prime. Res64: D28E814E7969C3B9 Time : 0.0 sec. user=mdettweiler [2013-03-22 10:24:12] 693*2^1243187-1 is not prime. Res64: 5C0D38C66C816884 Time : 0.0 sec. user=mdettweiler [2013-03-22 10:32:59] 775*2^1243187-1 is not prime. Res64: 6833558871A998DA Time : 0.0 sec. user=mdettweiler [2013-03-22 10:33:00] 823*2^1243187-1 is not prime. Res64: 31ECD8394C01814F Time : 0.0 sec. user=vaughan [2013-03-22 10:39:49] 975*2^1243186-1 is not prime. Res64: 24B7B98DEC4F70F4 Time : 0.0 sec. user=mdettweiler [2013-03-22 10:41:46] 915*2^1243187-1 is not prime. Res64: 4784966B9F9329B4 Time : 0.0 sec. user=mdettweiler [2013-03-22 10:41:47] 931*2^1243187-1 is not prime. Res64: 89BC403E02AA2202 Time : 0.0 sec. user=mdettweiler [2013-03-22 10:50:30] 991*2^1243187-1 is not prime. Res64: 38BC96D6B275AC6F Time : 0.0 sec. user=mdettweiler [2013-03-22 10:50:30] 605*2^1243188-1 is not prime. Res64: 2A3F9D90BE5C526E Time : 0.0 sec. user=mdettweiler [2013-03-22 10:59:16] 689*2^1243188-1 is not prime. Res64: AB1671803BFB45CF Time : 0.0 sec. user=mdettweiler [2013-03-22 10:59:17] 753*2^1243188-1 is not prime. Res64: 45626BEBCAD116FD Time : 0.0 sec. user=juhehe [2013-03-22 11:02:35] 609*2^1243187-1 is not prime. Res64: 1D2E45A90228D5B3 Time : 0.0 sec. user=mdettweiler [2013-03-22 11:08:01] 783*2^1243188-1 is not prime. Res64: 65712C74F72C9654 Time : 0.0 sec. user=mdettweiler [2013-03-22 11:08:02] 879*2^1243188-1 is not prime. Res64: 1BD06CF5578D674F Time : 0.0 sec. user=mdettweiler [2013-03-22 11:16:48] 977*2^1243188-1 is not prime. Res64: 4FC2E3FC7D42C945 Time : 0.0 sec. user=mdettweiler [2013-03-22 11:16:48] 661*2^1243189-1 is not prime. Res64: 46FEB840D6AC8DAC Time : 0.0 sec. user=vaughan [2013-03-22 11:17:59] 627*2^1243188-1 is not prime. Res64: 7BBD5F00CC1F5836 Time : 0.0 sec. user=mdettweiler [2013-03-22 11:25:33] 769*2^1243189-1 is not prime. Res64: 675E0D0AEC6CC85F Time : 0.0 sec. user=mdettweiler [2013-03-22 11:25:33] 819*2^1243189-1 is not prime. Res64: 22453E6980B1A1D4 Time : 0.0 sec. user=mdettweiler [2013-03-22 11:34:17] 861*2^1243189-1 is not prime. Res64: 3E1357109FA0FB70 Time : 0.0 sec. user=mdettweiler [2013-03-22 11:34:17] 895*2^1243189-1 is not prime. Res64: 94CC56F5C9000199 Time : 0.0 sec. user=mdettweiler [2013-03-22 11:43:03] 615*2^1243190-1 is not prime. Res64: 0EB87D23E969B8C9 Time : 0.0 sec. user=mdettweiler [2013-03-22 11:43:03] 857*2^1243190-1 is not prime. Res64: F44AAF92A8974E6E Time : 0.0 sec. user=mdettweiler [2013-03-22 11:51:49] 887*2^1243190-1 is not prime. Res64: F75F99659965BAEA Time : 0.0 sec. user=mdettweiler [2013-03-22 11:51:49] 951*2^1243190-1 is not prime. Res64: 490923495214EC86 Time : 0.0 sec. user=vaughan [2013-03-22 11:56:09] 605*2^1243190-1 is not prime. Res64: AE626368BC7EF794 Time : 0.0 sec. user=mdettweiler [2013-03-22 12:00:34] 669*2^1243191-1 is not prime. Res64: E9219AC01772996A Time : 0.0 sec. user=mdettweiler [2013-03-22 12:00:35] 775*2^1243191-1 is not prime. Res64: C98EB34D4E6B7E24 Time : 0.0 sec. user=mdettweiler [2013-03-22 12:09:19] 783*2^1243191-1 is not prime. Res64: 7CAB264B4CEBAFB2 Time : 0.0 sec. user=mdettweiler [2013-03-22 12:09:20] 823*2^1243191-1 is not prime. Res64: B31E0D4C593345ED Time : 0.0 sec. user=mdettweiler [2013-03-22 12:18:06] 873*2^1243191-1 is not prime. Res64: 4A24CB543AB4462D Time : 0.0 sec. user=mdettweiler [2013-03-22 12:18:06] 885*2^1243191-1 is not prime. Res64: E6031A3D1A901447 Time : 0.0 sec. user=juhehe [2013-03-22 12:21:41] 831*2^1243189-1 is not prime. Res64: B9A7368B4A66239D Time : 0.0 sec. user=mdettweiler [2013-03-22 12:26:51] 605*2^1243192-1 is not prime. Res64: 437618C31ACEF977 Time : 0.0 sec. user=mdettweiler [2013-03-22 12:26:52] 665*2^1243192-1 is not prime. Res64: D6CE231BC41C1A79 Time : 0.0 sec. user=vaughan [2013-03-22 12:34:19] 871*2^1243191-1 is not prime. Res64: 8601A69DEC36D89C Time : 0.0 sec. user=mdettweiler [2013-03-22 12:35:37] 675*2^1243192-1 is not prime. Res64: 4678976FF023D2B1 Time : 0.0 sec. user=mdettweiler [2013-03-22 12:35:37] 803*2^1243192-1 is not prime. Res64: DDA9DB4232456528 Time : 0.0 sec. user=mdettweiler [2013-03-22 12:44:25] 875*2^1243192-1 is not prime. Res64: DD132C4426987C7C Time : 0.0 sec. user=mdettweiler [2013-03-22 12:44:25] 917*2^1243192-1 is not prime. Res64: 188F939F7F0FB70C Time : 0.0 sec. user=mdettweiler [2013-03-22 12:53:05] 747*2^1243194-1 is not prime. Res64: 6888FDF330C9013F Time : 0.0 sec. user=mdettweiler [2013-03-22 12:53:05] 807*2^1243194-1 is not prime. Res64: 01F75A1A4F2F92DD Time : 0.0 sec. user=mdettweiler [2013-03-22 13:01:50] 921*2^1243194-1 is not prime. Res64: 3415E9EFCB3F166F Time : 0.0 sec. user=mdettweiler [2013-03-22 13:01:52] 603*2^1243195-1 is not prime. Res64: 2EE3F920C7B89B1E Time : 0.0 sec. user=mdettweiler [2013-03-22 13:10:28] 789*2^1243195-1 is not prime. Res64: FBB0F422DE6014E8 Time : 0.0 sec. user=mdettweiler [2013-03-22 13:10:29] 829*2^1243195-1 is not prime. Res64: C01455A4ECF708BD Time : 0.0 sec. user=vaughan [2013-03-22 13:12:29] 725*2^1243194-1 is not prime. Res64: C96998F8C7D1601A Time : 0.0 sec. user=juhehe [2013-03-22 13:16:55] 945*2^1243191-1 is not prime. Res64: CA5663F22B6F6935 Time : 0.0 sec. user=mdettweiler [2013-03-22 13:19:20] 883*2^1243195-1 is not prime. Res64: 7D768FDAF62C8B4F Time : 0.0 sec. user=mdettweiler [2013-03-22 13:19:20] 891*2^1243195-1 is not prime. Res64: 52231E9070DE8800 Time : 0.0 sec. user=mdettweiler [2013-03-22 13:27:53] 919*2^1243195-1 is not prime. Res64: 7FF0877D849BA6A5 Time : 0.0 sec. user=mdettweiler [2013-03-22 13:27:53] 979*2^1243195-1 is not prime. Res64: A52B34F6C36B1EB9 Time : 0.0 sec. user=mdettweiler [2013-03-22 13:36:43] 755*2^1243196-1 is not prime. Res64: FD21AE6CDBC8FE2C Time : 0.0 sec. user=mdettweiler [2013-03-22 13:36:44] 843*2^1243196-1 is not prime. Res64: BA36902BBE7BF8D5 Time : 0.0 sec. user=mdettweiler [2013-03-22 13:45:18] 923*2^1243196-1 is not prime. Res64: 1B77B290686DE81A Time : 0.0 sec. user=mdettweiler [2013-03-22 13:45:18] 953*2^1243196-1 is not prime. Res64: 75C411EBE0C720D7 Time : 0.0 sec. user=vaughan [2013-03-22 13:50:41] 675*2^1243196-1 is not prime. Res64: 8A6345EB55177775 Time : 0.0 sec. user=mdettweiler [2013-03-22 13:54:07] 957*2^1243196-1 is not prime. Res64: 38B18AE5FAF5C109 Time : 0.0 sec. user=mdettweiler [2013-03-22 13:54:08] 615*2^1243197-1 is not prime. Res64: 888F2D85B3F86CC1 Time : 0.0 sec. user=mdettweiler [2013-03-22 14:02:41] 699*2^1243197-1 is not prime. Res64: 56F7F50F1A5A2431 Time : 0.0 sec. user=mdettweiler [2013-03-22 14:02:42] 741*2^1243197-1 is not prime. Res64: 99C7E46244B64C8A Time : 0.0 sec. user=mdettweiler [2013-03-22 14:11:32] 687*2^1243198-1 is not prime. Res64: 09052D3ABCD93560 Time : 0.0 sec. user=mdettweiler [2013-03-22 14:11:32] 723*2^1243198-1 is not prime. Res64: 9DCF13C586117F11 Time : 0.0 sec. user=mdettweiler [2013-03-22 14:20:05] 827*2^1243198-1 is not prime. Res64: 4EB84AC112D10D33 Time : 0.0 sec. user=mdettweiler [2013-03-22 14:20:06] 857*2^1243198-1 is not prime. Res64: 83467A893DC3E31A Time : 0.0 sec. user=vaughan [2013-03-22 14:28:52] 915*2^1243197-1 is not prime. Res64: 0644E3D8058A60BD Time : 0.0 sec. user=mdettweiler [2013-03-22 14:28:56] 863*2^1243198-1 is not prime. Res64: 3811853073C96E17 Time : 0.0 sec. user=mdettweiler [2013-03-22 14:28:57] 887*2^1243198-1 is not prime. Res64: 696FD365A775DA6A Time : 0.0 sec. user=juhehe [2013-03-22 14:29:05] 903*2^1243196-1 is not prime. Res64: 3722769B085C02B3 Time : 0.0 sec. user=mdettweiler [2013-03-22 14:37:30] 705*2^1243199-1 is not prime. Res64: 2C8666B88597F5D4 Time : 0.0 sec. user=mdettweiler [2013-03-22 14:37:31] 729*2^1243199-1 is not prime. Res64: B19EBC023DC7A9EE Time : 0.0 sec. user=mdettweiler [2013-03-22 14:46:25] 823*2^1243199-1 is not prime. Res64: A337923C2D8193F9 Time : 0.0 sec. user=mdettweiler [2013-03-22 14:46:25] 825*2^1243199-1 is not prime. Res64: 693098DE998987E8 Time : 0.0 sec. user=mdettweiler [2013-03-22 14:54:56] 943*2^1243199-1 is not prime. Res64: 7FC7BBF9BDB78D65 Time : 0.0 sec. user=mdettweiler [2013-03-22 14:54:57] 633*2^1243200-1 is not prime. Res64: 8FC338A6AB996473 Time : 0.0 sec. user=mdettweiler [2013-03-22 15:03:52] 879*2^1243200-1 is not prime. Res64: 437D2F2C051C2AA4 Time : 0.0 sec. user=mdettweiler [2013-03-22 15:03:53] 637*2^1243201-1 is not prime. Res64: 4D2C4DB79628F2B7 Time : 0.0 sec. user=vaughan [2013-03-22 15:07:03] 813*2^1243199-1 is not prime. Res64: 909D98EB3E675641 Time : 0.0 sec. user=mdettweiler [2013-03-22 15:12:21] 679*2^1243201-1 is not prime. Res64: F96DF3708D1FA6B9 Time : 0.0 sec. user=mdettweiler [2013-03-22 15:12:21] 687*2^1243201-1 is not prime. Res64: E3108F5865D8630F Time : 0.0 sec. user=mdettweiler [2013-03-22 15:21:16] 705*2^1243201-1 is not prime. Res64: 5C0FD94875AEE1DD Time : 0.0 sec. user=mdettweiler [2013-03-22 15:21:17] 717*2^1243201-1 is not prime. Res64: 218D22D6E498C4D6 Time : 0.0 sec. user=mdettweiler [2013-03-22 15:29:45] 807*2^1243201-1 is not prime. Res64: BD87BA2BF664C1EB Time : 0.0 sec. user=mdettweiler [2013-03-22 15:29:45] 603*2^1243202-1 is not prime. Res64: 0FBF7E1917EC4D07 Time : 0.0 sec. user=mdettweiler [2013-03-22 15:38:41] 711*2^1243202-1 is not prime. Res64: 12B22FF82EA35D5B Time : 0.0 sec. user=mdettweiler [2013-03-22 15:38:41] 731*2^1243202-1 is not prime. Res64: 1D6CDDB78AA9B059 Time : 0.0 sec. user=vaughan [2013-03-22 15:45:14] 805*2^1243201-1 is not prime. Res64: 798E319E53FF5747 Time : 0.0 sec. user=mdettweiler [2013-03-22 15:47:08] 755*2^1243202-1 is not prime. Res64: 1B2E47AFF1F6A8EE Time : 0.0 sec. user=mdettweiler [2013-03-22 15:47:09] 797*2^1243202-1 is not prime. Res64: 67A48027DA229752 Time : 0.0 sec. user=mdettweiler [2013-03-22 15:56:04] 935*2^1243202-1 is not prime. Res64: AB4E1A0811BDD8E1 Time : 0.0 sec. user=mdettweiler [2013-03-22 15:56:05] 951*2^1243202-1 is not prime. Res64: C97EBFE7D5E5E6FF Time : 0.0 sec. user=mdettweiler [2013-03-22 16:04:32] 663*2^1243203-1 is not prime. Res64: D90D389055A143D2 Time : 0.0 sec. user=mdettweiler [2013-03-22 16:04:34] 751*2^1243203-1 is not prime. Res64: 91FFCC226518DDC2 Time : 0.0 sec. user=mdettweiler [2013-03-22 16:13:29] 781*2^1243203-1 is not prime. Res64: 5A7A5E5A25EBB12C Time : 0.0 sec. user=mdettweiler [2013-03-22 16:13:30] 793*2^1243203-1 is not prime. Res64: 2A2262377BF43B88 Time : 0.0 sec. user=mdettweiler [2013-03-22 16:21:58] 805*2^1243203-1 is not prime. Res64: 785704EC25721DB6 Time : 0.0 sec. user=mdettweiler [2013-03-22 16:21:58] 849*2^1243203-1 is not prime. Res64: B1D915F3892791BA Time : 0.0 sec. user=vaughan [2013-03-22 16:23:26] 615*2^1243203-1 is not prime. Res64: 57624E6373FF40EA Time : 0.0 sec. user=juhehe [2013-03-22 16:24:41] 675*2^1243202-1 is not prime. Res64: 256BAB22189A89F2 Time : 0.0 sec. user=mdettweiler [2013-03-22 16:30:52] 853*2^1243203-1 is not prime. Res64: 8254CA32A553848A Time : 0.0 sec. user=mdettweiler [2013-03-22 16:30:53] 879*2^1243203-1 is not prime. Res64: F3B944028D5D5815 Time : 0.0 sec. user=juhehe [2013-03-22 16:36:26] 915*2^1243202-1 is not prime. Res64: B1152F2974ED77D3 Time : 0.0 sec. user=mdettweiler [2013-03-22 16:39:22] 615*2^1243204-1 is not prime. Res64: E12C00E56F4FAD8B Time : 0.0 sec. user=mdettweiler [2013-03-22 16:39:23] 663*2^1243204-1 is not prime. Res64: C7E10CAD2ABE50C3 Time : 0.0 sec. user=mdettweiler [2013-03-22 16:48:17] 869*2^1243204-1 is not prime. Res64: 334F5841086637CD Time : 0.0 sec. user=mdettweiler [2013-03-22 16:48:17] 905*2^1243204-1 is not prime. Res64: EE93EA60657849A2 Time : 0.0 sec. user=mdettweiler [2013-03-22 16:56:47] 655*2^1243205-1 is not prime. Res64: 668AA15F06C43BF7 Time : 0.0 sec. user=mdettweiler [2013-03-22 16:56:48] 847*2^1243205-1 is not prime. Res64: C74FEBA7EFFE4FD6 Time : 0.0 sec. user=vaughan [2013-03-22 17:01:37] 743*2^1243204-1 is not prime. Res64: 09DC5BEBA94A8513 Time : 0.0 sec. user=mdettweiler [2013-03-22 17:05:40] 707*2^1243206-1 is not prime. Res64: 43AB96EF9B0664F5 Time : 0.0 sec. user=mdettweiler [2013-03-22 17:05:41] 947*2^1243206-1 is not prime. Res64: 9E4704B6BBF71541 Time : 0.0 sec. user=mdettweiler [2013-03-22 17:14:13] 619*2^1243207-1 is not prime. Res64: 719EE22606DD0763 Time : 0.0 sec. user=mdettweiler [2013-03-22 17:14:14] 639*2^1243207-1 is not prime. Res64: E18CDBA364EEC41A Time : 0.0 sec. user=mdettweiler [2013-03-22 17:23:05] 673*2^1243207-1 is not prime. Res64: 6AB81116519B1D7F Time : 0.0 sec. user=mdettweiler [2013-03-22 17:23:06] 693*2^1243207-1 is not prime. Res64: 1350770D1580A1AE Time : 0.0 sec. user=mdettweiler [2013-03-22 17:31:39] 765*2^1243207-1 is not prime. Res64: E409B951948AEF56 Time : 0.0 sec. user=mdettweiler [2013-03-22 17:31:40] 871*2^1243207-1 is not prime. Res64: CE4DB6AE78C6DCD3 Time : 0.0 sec. user=vaughan [2013-03-22 17:39:50] 645*2^1243207-1 is not prime. Res64: B18ADED1699BD153 Time : 0.0 sec. user=mdettweiler [2013-03-22 17:40:30] 885*2^1243207-1 is not prime. Res64: 9CA148333723B8A5 Time : 0.0 sec. user=mdettweiler [2013-03-22 17:40:30] 933*2^1243207-1 is not prime. Res64: FD6C8062BD752B3C Time : 0.0 sec. user=mdettweiler [2013-03-22 17:49:04] 875*2^1243208-1 is not prime. Res64: C6C5721F39048801 Time : 0.0 sec. user=mdettweiler [2013-03-22 17:49:04] 969*2^1243208-1 is not prime. Res64: 8B70B2BCB91F1EE3 Time : 0.0 sec. user=mdettweiler [2013-03-22 17:57:54] 847*2^1243209-1 is not prime. Res64: 1C23B19C8EB27CBB Time : 0.0 sec. user=mdettweiler [2013-03-22 17:57:54] 889*2^1243209-1 is not prime. Res64: E3367B9CDA355FDA Time : 0.0 sec. user=mdettweiler [2013-03-22 18:06:30] 895*2^1243209-1 is not prime. Res64: 37BA764C8FBA56C1 Time : 0.0 sec. user=mdettweiler [2013-03-22 18:06:31] 909*2^1243209-1 is not prime. Res64: CF14B044EFDFD596 Time : 0.0 sec. user=mdettweiler [2013-03-22 18:15:18] 635*2^1243210-1 is not prime. Res64: 5DD6F57789773972 Time : 0.0 sec. user=mdettweiler [2013-03-22 18:15:19] 687*2^1243210-1 is not prime. Res64: 4E6771F95F8041C1 Time : 0.0 sec. user=vaughan [2013-03-22 18:18:01] 795*2^1243209-1 is not prime. Res64: 569F44161007F113 Time : 0.0 sec. user=mdettweiler [2013-03-22 18:23:59] 843*2^1243210-1 is not prime. Res64: BF99A0BE78461CEA Time : 0.0 sec. user=mdettweiler [2013-03-22 18:24:00] 923*2^1243210-1 is not prime. Res64: 751FFC1DB62734AD Time : 0.0 sec. user=mdettweiler [2013-03-22 18:32:43] 951*2^1243210-1 is not prime. Res64: C6FD92CB603A6DAD Time : 0.0 sec. user=mdettweiler [2013-03-22 18:32:43] 631*2^1243211-1 is not prime. Res64: 1E83B18B82AEED3F Time : 0.0 sec. user=juhehe [2013-03-22 18:38:10] 973*2^1243207-1 is not prime. Res64: 1576354EF90394FD Time : 0.0 sec. user=mdettweiler [2013-03-22 18:41:25] 705*2^1243211-1 is not prime. Res64: F9F066276DC44834 Time : 0.0 sec. user=mdettweiler [2013-03-22 18:41:25] 871*2^1243211-1 is not prime. Res64: 2F96050DD2A04126 Time : 0.0 sec. user=juhehe [2013-03-22 18:43:22] 709*2^1243209-1 is not prime. Res64: 1E9C6B44C214903E Time : 0.0 sec. user=mdettweiler [2013-03-22 18:50:06] 885*2^1243211-1 is not prime. Res64: 24A7272A78E1FA1C Time : 0.0 sec. user=mdettweiler [2013-03-22 18:50:07] 943*2^1243211-1 is not prime. Res64: 43DE6D361D092C99 Time : 0.0 sec. user=vaughan [2013-03-22 18:56:12] 703*2^1243211-1 is not prime. Res64: 6871C9E4CB4DBDD3 Time : 0.0 sec. user=mdettweiler [2013-03-22 18:58:50] 627*2^1243212-1 is not prime. Res64: 0FFEA918CB8B16F2 Time : 0.0 sec. user=mdettweiler [2013-03-22 18:58:50] 633*2^1243212-1 is not prime. Res64: 48166BE34DA9F770 Time : 0.0 sec. user=mdettweiler [2013-03-22 19:07:32] 759*2^1243212-1 is not prime. Res64: DAF67F3699B8F68B Time : 0.0 sec. user=mdettweiler [2013-03-22 19:07:33] 825*2^1243212-1 is not prime. Res64: 772A6A404E8AF069 Time : 0.0 sec. user=mdettweiler [2013-03-22 19:16:13] 915*2^1243212-1 is not prime. Res64: 202039A574B9BBB0 Time : 0.0 sec. user=mdettweiler [2013-03-22 19:16:14] 639*2^1243213-1 is not prime. Res64: BFFAB629C1629EDA Time : 0.0 sec. user=mdettweiler [2013-03-22 19:24:57] 715*2^1243213-1 is not prime. Res64: 6B0E0B416074EE53 Time : 0.0 sec. user=mdettweiler [2013-03-22 19:24:58] 915*2^1243213-1 is not prime. Res64: B943F4D0C10E2EFA Time : 0.0 sec. user=mdettweiler [2013-03-22 19:33:40] 939*2^1243213-1 is not prime. Res64: EF3805F2E02719B6 Time : 0.0 sec. user=mdettweiler [2013-03-22 19:33:40] 967*2^1243213-1 is not prime. Res64: C0CA13CC9D2EA07D Time : 0.0 sec. user=vaughan [2013-03-22 19:34:21] 909*2^1243212-1 is not prime. Res64: 52231D4F4A7866F0 Time : 0.0 sec. user=mdettweiler [2013-03-22 19:42:22] 985*2^1243213-1 is not prime. Res64: AD08355375A0C67D Time : 0.0 sec. user=mdettweiler [2013-03-22 19:42:22] 983*2^1243214-1 is not prime. Res64: CC1FBB9212904B5C Time : 0.0 sec. user=mdettweiler [2013-03-22 19:51:06] 1001*2^1243214-1 is not prime. Res64: 42C924F10E8912A0 Time : 0.0 sec. user=mdettweiler [2013-03-22 19:51:07] 663*2^1243215-1 is not prime. Res64: 2C5DB4AC16DF596B Time : 0.0 sec. user=mdettweiler [2013-03-22 19:59:48] 819*2^1243215-1 is not prime. Res64: D618F5F4B305BAB4 Time : 0.0 sec. user=mdettweiler [2013-03-22 19:59:48] 831*2^1243215-1 is not prime. Res64: FECC90DC74C47C65 Time : 0.0 sec. user=mdettweiler [2013-03-22 20:08:32] 961*2^1243215-1 is not prime. Res64: E3FA844E85A3AA0B Time : 0.0 sec. user=mdettweiler [2013-03-22 20:08:33] 675*2^1243216-1 is not prime. Res64: EBB8ADCF4DDACB6C Time : 0.0 sec. user=vaughan [2013-03-22 20:12:33] 679*2^1243215-1 is not prime. Res64: D6AF0FE0DB22EEC4 Time : 0.0 sec. user=mdettweiler [2013-03-22 20:17:11] 707*2^1243216-1 is not prime. Res64: 62EFA49A60D43F85 Time : 0.0 sec. user=mdettweiler [2013-03-22 20:17:12] 869*2^1243216-1 is not prime. Res64: D572415087C194BA Time : 0.0 sec. user=mdettweiler [2013-03-22 20:26:00] 899*2^1243216-1 is not prime. Res64: ACE31E2D45899F00 Time : 0.0 sec. user=mdettweiler [2013-03-22 20:26:00] 909*2^1243216-1 is not prime. Res64: B7CCB140AC90253D Time : 0.0 sec. user=mdettweiler [2013-03-22 20:34:36] 999*2^1243216-1 is not prime. Res64: 6BC225B5A056E0EE Time : 0.0 sec. user=mdettweiler [2013-03-22 20:34:37] 861*2^1243217-1 is not prime. Res64: E3DAC3A16FD20F12 Time : 0.0 sec. user=mdettweiler [2013-03-22 20:43:24] 867*2^1243217-1 is not prime. Res64: 4F34BC4D5009355E Time : 0.0 sec. user=mdettweiler [2013-03-22 20:43:25] 955*2^1243217-1 is not prime. Res64: 931491FA4AE2BDDD Time : 0.0 sec. user=juhehe [2013-03-22 20:44:53] 805*2^1243215-1 is not prime. Res64: 72F27D2986D3FB9A Time : 0.0 sec. user=juhehe [2013-03-22 20:49:38] 853*2^1243215-1 is not prime. Res64: A32995F0CC3A07F6 Time : 0.0 sec. user=mdettweiler [2013-03-22 20:52:04] 677*2^1243218-1 is not prime. Res64: 9BA36D89B6E23E41 Time : 0.0 sec. user=mdettweiler [2013-03-22 20:52:05] 695*2^1243218-1 is not prime. Res64: C475FAC4C2E3EBB1 Time : 0.0 sec. user=vaughan [2013-03-22 20:55:47] 969*2^1243216-1 is not prime. Res64: 0A4BB0EF807222A8 Time : 0.0 sec. user=mdettweiler [2013-03-22 21:01:10] 711*2^1243218-1 is not prime. Res64: C2F45BAC16D5216D Time : 0.0 sec. user=mdettweiler [2013-03-22 21:01:11] 731*2^1243218-1 is not prime. Res64: 80C0445F14D4882B Time : 0.0 sec. user=mdettweiler [2013-03-22 21:10:11] 735*2^1243218-1 is not prime. Res64: 30A70BF0799A22A0 Time : 0.0 sec. user=mdettweiler [2013-03-22 21:10:12] 825*2^1243218-1 is not prime. Res64: FF6F57F79D326C67 Time : 0.0 sec. user=mdettweiler [2013-03-22 21:19:31] 663*2^1243219-1 is not prime. Res64: 838FA8ACB2D61437 Time : 0.0 sec. user=mdettweiler [2013-03-22 21:19:31] 723*2^1243219-1 is not prime. Res64: 4F3EFDE32EE3D579 Time : 0.0 sec. user=mdettweiler [2013-03-22 21:28:29] 609*2^1243220-1 is not prime. Res64: 691683B7B429B01F Time : 0.0 sec. user=mdettweiler [2013-03-22 21:28:29] 687*2^1243220-1 is not prime. Res64: A9A74DF1FC52430A Time : 0.0 sec. user=vaughan [2013-03-22 21:33:58] 837*2^1243218-1 is not prime. Res64: 80E33CCDC3FAD0D3 Time : 0.0 sec. user=mdettweiler [2013-03-22 21:37:40] 735*2^1243220-1 is not prime. Res64: 3FFBF97856966E37 Time : 0.0 sec. user=mdettweiler [2013-03-22 21:37:41] 803*2^1243220-1 is not prime. Res64: DBBE36FF90D89C2A Time : 0.0 sec. user=mdettweiler [2013-03-22 21:46:42] 825*2^1243220-1 is not prime. Res64: 1259A6D6A5D22AC5 Time : 0.0 sec. user=mdettweiler [2013-03-22 21:46:42] 915*2^1243220-1 is not prime. Res64: 200D356C4046D7A7 Time : 0.0 sec. user=mdettweiler [2013-03-22 21:55:38] 935*2^1243220-1 is not prime. Res64: AF94A0D86DDC9D07 Time : 0.0 sec. user=mdettweiler [2013-03-22 21:55:39] 977*2^1243220-1 is not prime. Res64: 17ED20FAE53F59DD Time : 0.0 sec. user=mdettweiler [2013-03-22 22:04:08] 669*2^1243221-1 is not prime. Res64: 1409CA2E2FC34963 Time : 0.0 sec. user=mdettweiler [2013-03-22 22:04:09] 979*2^1243221-1 is not prime. Res64: F94ACF7041009036 Time : 0.0 sec. user=vaughan [2013-03-22 22:12:14] 927*2^1243220-1 is not prime. Res64: BD94EE7A2922ECF3 Time : 0.0 sec. user=mdettweiler [2013-03-22 22:13:03] 645*2^1243222-1 is not prime. Res64: 93C911B5C7F229EA Time : 0.0 sec. user=mdettweiler [2013-03-22 22:13:04] 651*2^1243222-1 is not prime. Res64: 83E40F8EC6B6BA4E Time : 0.0 sec. user=mdettweiler [2013-03-22 22:21:35] 785*2^1243222-1 is not prime. Res64: 5D211ED0DD9F7C8B Time : 0.0 sec. user=mdettweiler [2013-03-22 22:21:35] 867*2^1243222-1 is not prime. Res64: C26ED3A06DA17673 Time : 0.0 sec. user=mdettweiler [2013-03-22 22:30:28] 947*2^1243222-1 is not prime. Res64: F2B66F4B5FD9ACD4 Time : 0.0 sec. user=mdettweiler [2013-03-22 22:30:29] 951*2^1243222-1 is not prime. Res64: 0E6A0E727884ECDC Time : 0.0 sec. user=mdettweiler [2013-03-22 22:39:00] 861*2^1243223-1 is not prime. Res64: 9EE2ADB1C65BFD47 Time : 0.0 sec. user=mdettweiler [2013-03-22 22:39:00] 999*2^1243223-1 is not prime. Res64: 830615D4A3F9AA66 Time : 0.0 sec. user=mdettweiler [2013-03-22 22:47:53] 635*2^1243224-1 is not prime. Res64: 6DC7D558BBAB724A Time : 0.0 sec. user=mdettweiler [2013-03-22 22:47:54] 665*2^1243224-1 is not prime. Res64: E6E97763359DCD39 Time : 0.0 sec. user=vaughan [2013-03-22 22:50:25] 915*2^1243222-1 is not prime. Res64: 8B9CEAC7F058F60A Time : 0.0 sec. user=juhehe [2013-03-22 22:51:23] 657*2^1243221-1 is not prime. Res64: 6F5C7BC525B5197F Time : 0.0 sec. user=mdettweiler [2013-03-22 22:56:25] 707*2^1243224-1 is not prime. Res64: F41868CB102F1614 Time : 0.0 sec. user=mdettweiler [2013-03-22 22:56:25] 725*2^1243224-1 is not prime. Res64: 5F8D0292121565F1 Time : 0.0 sec. user=mdettweiler [2013-03-22 23:05:19] 759*2^1243224-1 is not prime. Res64: 5FFF0C01782EFB63 Time : 0.0 sec. user=mdettweiler [2013-03-22 23:05:20] 809*2^1243224-1 is not prime. Res64: 7A2B3A14AF714C3F Time : 0.0 sec. user=mdettweiler [2013-03-22 23:13:51] 909*2^1243224-1 is not prime. Res64: B1AE9DFBC06EDF59 Time : 0.0 sec. user=mdettweiler [2013-03-22 23:13:51] 927*2^1243224-1 is not prime. Res64: F5F7C8E62BDD27BE Time : 0.0 sec. user=mdettweiler [2013-03-22 23:22:46] 945*2^1243224-1 is not prime. Res64: D5A34D5AEA85F899 Time : 0.0 sec. user=mdettweiler [2013-03-22 23:22:47] 975*2^1243224-1 is not prime. Res64: D2EBD67122DB3CFD Time : 0.0 sec. user=vaughan [2013-03-22 23:28:36] 825*2^1243224-1 is not prime. Res64: B6DD5CCE03770842 Time : 0.0 sec. user=mdettweiler [2013-03-22 23:31:16] 601*2^1243225-1 is not prime. Res64: 428D73CFCD95D84F Time : 0.0 sec. user=mdettweiler [2013-03-22 23:31:16] 645*2^1243225-1 is not prime. Res64: ED72278A4D80ED8F Time : 0.0 sec. user=mdettweiler [2013-03-22 23:40:15] 831*2^1243225-1 is not prime. Res64: 5EF8F54F70FC49F9 Time : 0.0 sec. user=mdettweiler [2013-03-22 23:40:15] 925*2^1243225-1 is not prime. Res64: 21D25DDF608C00EF Time : 0.0 sec. user=mdettweiler [2013-03-22 23:48:43] 825*2^1243226-1 is not prime. Res64: 3DBEAB7AE53FA94C Time : 0.0 sec. user=mdettweiler [2013-03-22 23:48:44] 923*2^1243226-1 is not prime. Res64: 10F28D7ADB688BC5 Time : 0.0 sec. user=mdettweiler [2013-03-22 23:57:40] 983*2^1243226-1 is not prime. Res64: F9B3497F60D0B46D Time : 0.0 sec. user=mdettweiler [2013-03-22 23:57:41] 651*2^1243227-1 is not prime. Res64: 8B1874CE4E6B2AE7 Time : 0.0 sec. user=juhehe [2013-03-22 23:57:50] 843*2^1243224-1 is not prime. Res64: 5EC165298389B9D1 Time : 0.0 sec.