user=mdettweiler [2012-09-11 00:02:01] 843*2^1228487-1 is not prime. Res64: 98DC7FF781A69168 Time : 0.0 sec. user=mdettweiler [2012-09-11 00:02:03] 939*2^1228487-1 is not prime. Res64: 3E8246F39527C483 Time : 0.0 sec. user=mdettweiler [2012-09-11 00:02:03] 839*2^1228488-1 is not prime. Res64: D460F2C49755AB8C Time : 0.0 sec. user=mdettweiler [2012-09-11 00:02:04] 899*2^1228488-1 is not prime. Res64: 5ABBB04BCF478C0A Time : 0.0 sec. user=mdettweiler [2012-09-11 00:22:39] 637*2^1228489-1 is not prime. Res64: 0104AA76AFBEC1C0 Time : 0.0 sec. user=mdettweiler [2012-09-11 00:22:40] 811*2^1228489-1 is not prime. Res64: 769C00E42F8E78CF Time : 0.0 sec. user=mdettweiler [2012-09-11 00:22:41] 817*2^1228489-1 is not prime. Res64: 77E3205C13F2E617 Time : 0.0 sec. user=mdettweiler [2012-09-11 00:22:42] 861*2^1228489-1 is not prime. Res64: 7CDFB9F003642D52 Time : 0.0 sec. user=mdettweiler [2012-09-11 00:43:16] 885*2^1228489-1 is not prime. Res64: 4A6291C50157E48E Time : 0.0 sec. user=mdettweiler [2012-09-11 00:43:17] 615*2^1228490-1 is not prime. Res64: 830E0928FEB8AEED Time : 0.0 sec. user=mdettweiler [2012-09-11 00:43:18] 657*2^1228490-1 is not prime. Res64: 08729A4D16EE9850 Time : 0.0 sec. user=mdettweiler [2012-09-11 00:43:19] 741*2^1228490-1 is not prime. Res64: 5D25C90BF307024F Time : 0.0 sec. user=mdettweiler [2012-09-11 01:03:52] 767*2^1228490-1 is not prime. Res64: 38C3D12BDCA209A0 Time : 0.0 sec. user=mdettweiler [2012-09-11 01:03:54] 783*2^1228490-1 is not prime. Res64: 9AD2A08B0081E570 Time : 0.0 sec. user=mdettweiler [2012-09-11 01:03:55] 797*2^1228490-1 is not prime. Res64: 9A5B9E89BDEB838C Time : 0.0 sec. user=mdettweiler [2012-09-11 01:03:57] 833*2^1228490-1 is not prime. Res64: 444145D78EFE1252 Time : 0.0 sec. user=mdettweiler [2012-09-11 01:24:41] 861*2^1228490-1 is not prime. Res64: DBEFC77A2B53FD50 Time : 0.0 sec. user=mdettweiler [2012-09-11 01:24:42] 705*2^1228491-1 is not prime. Res64: 0F39F49DEF738C16 Time : 0.0 sec. user=mdettweiler [2012-09-11 01:24:43] 709*2^1228491-1 is not prime. Res64: 06A7D89721ED36D9 Time : 0.0 sec. user=mdettweiler [2012-09-11 01:24:44] 801*2^1228491-1 is not prime. Res64: EC679C53CCE58543 Time : 0.0 sec. user=mdettweiler [2012-09-11 01:45:17] 615*2^1228492-1 is not prime. Res64: 663EAE5038DE65AC Time : 0.0 sec. user=mdettweiler [2012-09-11 01:45:18] 665*2^1228492-1 is not prime. Res64: 680745A9A246A114 Time : 0.0 sec. user=mdettweiler [2012-09-11 01:45:19] 705*2^1228492-1 is not prime. Res64: B842945F952C899A Time : 0.0 sec. user=mdettweiler [2012-09-11 01:45:21] 735*2^1228492-1 is not prime. Res64: ABED29803333A9AA Time : 0.0 sec. user=mdettweiler [2012-09-11 02:05:59] 897*2^1228492-1 is not prime. Res64: DC53004F98C80B7F Time : 0.0 sec. user=mdettweiler [2012-09-11 02:06:01] 965*2^1228492-1 is not prime. Res64: 4CB2E8688DB12FCA Time : 0.0 sec. user=mdettweiler [2012-09-11 02:06:05] 699*2^1228493-1 is not prime. Res64: 1FBA06706B361F62 Time : 0.0 sec. user=mdettweiler [2012-09-11 02:06:09] 775*2^1228493-1 is not prime. Res64: 56250EA0DF089B02 Time : 0.0 sec. user=mdettweiler [2012-09-11 02:26:58] 819*2^1228493-1 is not prime. Res64: B4012C493EF784B4 Time : 0.0 sec. user=mdettweiler [2012-09-11 02:27:00] 987*2^1228493-1 is not prime. Res64: BC7C3C13C2D74D6C Time : 0.0 sec. user=mdettweiler [2012-09-11 02:27:00] 867*2^1228493-1 is not prime. Res64: 94FBA8F55D0CB060 Time : 0.0 sec. user=mdettweiler [2012-09-11 02:27:01] 641*2^1228494-1 is not prime. Res64: 2FDB171200E7CA01 Time : 0.0 sec. user=mdettweiler [2012-09-11 02:47:47] 657*2^1228494-1 is not prime. Res64: 1D0E820B1049D705 Time : 0.0 sec. user=mdettweiler [2012-09-11 02:47:49] 951*2^1228494-1 is not prime. Res64: 03CDBEB6DDB709E3 Time : 0.0 sec. user=mdettweiler [2012-09-11 02:47:51] 891*2^1228494-1 is not prime. Res64: 5BB5EDF839666AB5 Time : 0.0 sec. user=mdettweiler [2012-09-11 02:47:52] 971*2^1228494-1 is not prime. Res64: 36DB295E78807E9F Time : 0.0 sec. user=mdettweiler [2012-09-11 03:09:02] 983*2^1228494-1 is not prime. Res64: A15B84FB95889357 Time : 0.0 sec. user=mdettweiler [2012-09-11 03:09:06] 619*2^1228495-1 is not prime. Res64: 8166509D32127B20 Time : 0.0 sec. user=mdettweiler [2012-09-11 03:09:07] 859*2^1228495-1 is not prime. Res64: 488088B800B9F482 Time : 0.0 sec. user=mdettweiler [2012-09-11 03:09:11] 913*2^1228495-1 is not prime. Res64: 82149BE6CA378299 Time : 0.0 sec. user=mdettweiler [2012-09-11 03:29:48] 919*2^1228495-1 is not prime. Res64: 4D10099807A134F4 Time : 0.0 sec. user=mdettweiler [2012-09-11 03:29:50] 961*2^1228495-1 is not prime. Res64: 2A7537741E623E2A Time : 0.0 sec. user=mdettweiler [2012-09-11 03:29:50] 985*2^1228495-1 is not prime. Res64: A097B4459714BFCB Time : 0.0 sec. user=mdettweiler [2012-09-11 03:29:52] 629*2^1228496-1 is not prime. Res64: 1FEAF4BECC4F0AB2 Time : 0.0 sec. user=mdettweiler [2012-09-11 03:50:28] 633*2^1228496-1 is not prime. Res64: 80D1F7A897A58EB7 Time : 0.0 sec. user=mdettweiler [2012-09-11 03:50:30] 735*2^1228496-1 is not prime. Res64: 37BC1171CA641A78 Time : 0.0 sec. user=mdettweiler [2012-09-11 03:50:31] 813*2^1228496-1 is not prime. Res64: 86975B148AD85501 Time : 0.0 sec. user=mdettweiler [2012-09-11 03:50:32] 825*2^1228496-1 is not prime. Res64: 1A5D57218877DBF1 Time : 0.0 sec. user=mdettweiler [2012-09-11 04:11:07] 855*2^1228496-1 is not prime. Res64: C459484430BFD52D Time : 0.0 sec. user=mdettweiler [2012-09-11 04:11:09] 893*2^1228496-1 is not prime. Res64: 17D4A1B88867D89D Time : 0.0 sec. user=mdettweiler [2012-09-11 04:11:09] 903*2^1228496-1 is not prime. Res64: 456F20CCE3CF36BF Time : 0.0 sec. user=mdettweiler [2012-09-11 04:11:10] 667*2^1228497-1 is not prime. Res64: 12FFB8EED759CE88 Time : 0.0 sec. user=mdettweiler [2012-09-11 04:31:49] 741*2^1228497-1 is not prime. Res64: EDAA0E7566359E1E Time : 0.0 sec. user=mdettweiler [2012-09-11 04:31:51] 795*2^1228497-1 is not prime. Res64: AD8E254906C4B54D Time : 0.0 sec. user=mdettweiler [2012-09-11 04:31:54] 889*2^1228497-1 is not prime. Res64: DA518160A1AE03CD Time : 0.0 sec. user=mdettweiler [2012-09-11 04:31:55] 915*2^1228497-1 is not prime. Res64: C51F13287359B02B Time : 0.0 sec. user=mdettweiler [2012-09-11 04:52:39] 955*2^1228497-1 is not prime. Res64: 974BD3DF92ECD1E1 Time : 0.0 sec. user=mdettweiler [2012-09-11 04:52:41] 665*2^1228498-1 is not prime. Res64: 55AEAAFC9DD02E61 Time : 0.0 sec. user=mdettweiler [2012-09-11 04:52:41] 687*2^1228498-1 is not prime. Res64: 55001ED53A51D003 Time : 0.0 sec. user=mdettweiler [2012-09-11 04:52:42] 723*2^1228498-1 is not prime. Res64: 48ED6A6CD848421D Time : 0.0 sec. user=mdettweiler [2012-09-11 05:13:18] 743*2^1228498-1 is not prime. Res64: 9582A64032FE0E3F Time : 0.0 sec. user=mdettweiler [2012-09-11 05:13:19] 773*2^1228498-1 is not prime. Res64: 0AE3367E14C49824 Time : 0.0 sec. user=mdettweiler [2012-09-11 05:13:23] 825*2^1228498-1 is not prime. Res64: 50BF186FE8A3A4E7 Time : 0.0 sec. user=mdettweiler [2012-09-11 05:13:24] 883*2^1228499-1 is not prime. Res64: CE29FD342F81D60B Time : 0.0 sec. user=mdettweiler [2012-09-11 05:33:58] 889*2^1228499-1 is not prime. Res64: E8F38C6E2AB4C44F Time : 0.0 sec. user=mdettweiler [2012-09-11 05:33:59] 653*2^1228500-1 is not prime. Res64: D2CFE1C2A24D56C5 Time : 0.0 sec. user=mdettweiler [2012-09-11 05:34:02] 669*2^1228500-1 is not prime. Res64: 590F490893AA66E1 Time : 0.0 sec. user=mdettweiler [2012-09-11 05:34:03] 765*2^1228500-1 is not prime. Res64: E9D80C5319E37EEF Time : 0.0 sec. user=mdettweiler [2012-09-11 05:54:38] 945*2^1228500-1 is not prime. Res64: 772497F69855D554 Time : 0.0 sec. user=mdettweiler [2012-09-11 05:54:39] 965*2^1228500-1 is not prime. Res64: 30847E095DEFCB88 Time : 0.0 sec. user=mdettweiler [2012-09-11 05:54:40] 999*2^1228500-1 is not prime. Res64: 2A62136D3CD10F73 Time : 0.0 sec. user=mdettweiler [2012-09-11 05:54:41] 639*2^1228501-1 is not prime. Res64: 5FE02FCEE3083D80 Time : 0.0 sec. user=mdettweiler [2012-09-11 06:15:15] 777*2^1228501-1 is not prime. Res64: E3B6DD943D8AB6FF Time : 0.0 sec. user=mdettweiler [2012-09-11 06:15:15] 889*2^1228501-1 is not prime. Res64: 9080FF48DB9E8E89 Time : 0.0 sec. user=mdettweiler [2012-09-11 06:15:19] 951*2^1228501-1 is not prime. Res64: 152F2358A5B65AFC Time : 0.0 sec. user=mdettweiler [2012-09-11 06:15:20] 855*2^1228501-1 is not prime. Res64: 3110C829C5838457 Time : 0.0 sec. user=mdettweiler [2012-09-11 06:36:17] 983*2^1228502-1 is not prime. Res64: 36CBCA7FD8551243 Time : 0.0 sec. user=mdettweiler [2012-09-11 06:36:18] 663*2^1228503-1 is not prime. Res64: EB6DEE4E7272E31B Time : 0.0 sec. user=mdettweiler [2012-09-11 06:36:19] 867*2^1228502-1 is not prime. Res64: AA288269F034DF0F Time : 0.0 sec. user=mdettweiler [2012-09-11 06:36:20] 887*2^1228502-1 is not prime. Res64: 99ADA61B8077E9CA Time : 0.0 sec. user=mdettweiler [2012-09-11 06:56:53] 735*2^1228503-1 is not prime. Res64: FC6E549362B39D1F Time : 0.0 sec. user=mdettweiler [2012-09-11 06:56:54] 741*2^1228503-1 is not prime. Res64: A8B31AED34633D5B Time : 0.0 sec. user=mdettweiler [2012-09-11 06:56:54] 853*2^1228503-1 is not prime. Res64: 79DF58C0EC4F3AF5 Time : 0.0 sec. user=mdettweiler [2012-09-11 06:56:55] 873*2^1228503-1 is not prime. Res64: 0ED5E5138656CBB8 Time : 0.0 sec. user=mdettweiler [2012-09-11 07:17:28] 901*2^1228503-1 is not prime. Res64: DA64AC938707A728 Time : 0.0 sec. user=mdettweiler [2012-09-11 07:17:29] 605*2^1228504-1 is not prime. Res64: DA657704EDFE7B89 Time : 0.0 sec. user=mdettweiler [2012-09-11 07:17:29] 717*2^1228504-1 is not prime. Res64: A89E8761F5C21683 Time : 0.0 sec. user=mdettweiler [2012-09-11 07:17:30] 773*2^1228504-1 is not prime. Res64: C9BE9E3A8A7FFC95 Time : 0.0 sec. user=mdettweiler [2012-09-11 07:38:06] 807*2^1228504-1 is not prime. Res64: D226BE68B451F9F0 Time : 0.0 sec. user=mdettweiler [2012-09-11 07:38:07] 863*2^1228504-1 is not prime. Res64: 8679440CBF6DE2E2 Time : 0.0 sec. user=mdettweiler [2012-09-11 07:38:09] 869*2^1228504-1 is not prime. Res64: EBD13832D12E43DF Time : 0.0 sec. user=mdettweiler [2012-09-11 07:38:11] 875*2^1228504-1 is not prime. Res64: FA78B3618DBA9C40 Time : 0.0 sec. user=mdettweiler [2012-09-11 07:58:44] 909*2^1228504-1 is not prime. Res64: 8123E759107939FB Time : 0.0 sec. user=mdettweiler [2012-09-11 07:58:47] 983*2^1228504-1 is not prime. Res64: B6327C2060E8981A Time : 0.0 sec. user=mdettweiler [2012-09-11 07:58:47] 959*2^1228504-1 is not prime. Res64: BCAB7351EFB2FF3E Time : 0.0 sec. user=mdettweiler [2012-09-11 07:58:47] 607*2^1228505-1 is not prime. Res64: D2C79A1ED4CA006B Time : 0.0 sec. user=mdettweiler [2012-09-11 08:19:20] 775*2^1228505-1 is not prime. Res64: F5EF0311FEAED52B Time : 0.0 sec. user=mdettweiler [2012-09-11 08:19:21] 837*2^1228505-1 is not prime. Res64: 19BED867FB4E1AEA Time : 0.0 sec. user=mdettweiler [2012-09-11 08:19:23] 955*2^1228505-1 is not prime. Res64: D508BFD2BE794D54 Time : 0.0 sec. user=mdettweiler [2012-09-11 08:19:24] 615*2^1228506-1 is not prime. Res64: ED499652788EB715 Time : 0.0 sec. user=juhehe [2012-09-11 08:30:34] 691*2^1228505-1 is not prime. Res64: 74CCF0C5DDFDDD86 Time : 0.0 sec. user=mdettweiler [2012-09-11 08:39:58] 717*2^1228506-1 is not prime. Res64: 3CBB25757BDC7A2C Time : 0.0 sec. user=mdettweiler [2012-09-11 08:39:59] 801*2^1228506-1 is not prime. Res64: B8C1796A9BEE6A84 Time : 0.0 sec. user=mdettweiler [2012-09-11 08:40:01] 803*2^1228506-1 is not prime. Res64: 266D505669C4BBE3 Time : 0.0 sec. user=mdettweiler [2012-09-11 08:40:02] 893*2^1228506-1 is not prime. Res64: 86C79CA1736295D1 Time : 0.0 sec. user=mdettweiler [2012-09-11 09:00:37] 973*2^1228507-1 is not prime. Res64: F04AF980182C204D Time : 0.0 sec. user=mdettweiler [2012-09-11 09:00:37] 675*2^1228507-1 is not prime. Res64: C8E162140774BFB9 Time : 0.0 sec. user=mdettweiler [2012-09-11 09:00:38] 647*2^1228508-1 is not prime. Res64: 3D4AD12C08C73FBC Time : 0.0 sec. user=mdettweiler [2012-09-11 09:00:39] 741*2^1228507-1 is not prime. Res64: 42BF0BE9A436FDF0 Time : 0.0 sec. user=juhehe [2012-09-11 09:13:25] 1001*2^1228506-1 is not prime. Res64: 9566F379B24C20DF Time : 0.0 sec. user=mdettweiler [2012-09-11 09:21:33] 725*2^1228508-1 is not prime. Res64: 7DCC6631286D4893 Time : 0.0 sec. user=mdettweiler [2012-09-11 09:21:34] 867*2^1228508-1 is not prime. Res64: D5C08150AFE543E6 Time : 0.0 sec. user=mdettweiler [2012-09-11 09:21:34] 897*2^1228508-1 is not prime. Res64: 9106DDD8924764EA Time : 0.0 sec. user=mdettweiler [2012-09-11 09:21:36] 957*2^1228508-1 is not prime. Res64: A07C506B9D0CBB05 Time : 0.0 sec. user=mdettweiler [2012-09-11 09:42:15] 999*2^1228508-1 is not prime. Res64: 8CFF0C972B9EE2C3 Time : 0.0 sec. user=mdettweiler [2012-09-11 09:42:16] 685*2^1228509-1 is not prime. Res64: 84368A58F9A7C82C Time : 0.0 sec. user=mdettweiler [2012-09-11 09:42:16] 691*2^1228509-1 is not prime. Res64: 6C92E6D8666E02AF Time : 0.0 sec. user=mdettweiler [2012-09-11 09:42:18] 735*2^1228509-1 is not prime. Res64: EA0C49E52604B033 Time : 0.0 sec. user=juhehe [2012-09-11 09:57:01] 993*2^1228508-1 is not prime. Res64: 916E2B20A4F2D1AB Time : 0.0 sec. user=mdettweiler [2012-09-11 10:02:54] 781*2^1228509-1 is not prime. Res64: 877F3ACEF26322A2 Time : 0.0 sec. user=mdettweiler [2012-09-11 10:02:56] 861*2^1228509-1 is not prime. Res64: 1577F72EAF17FBF0 Time : 0.0 sec. user=mdettweiler [2012-09-11 10:02:58] 945*2^1228509-1 is not prime. Res64: 7EDF02A6C91A584E Time : 0.0 sec. user=mdettweiler [2012-09-11 10:03:00] 997*2^1228509-1 is not prime. Res64: 88DF315D3325A570 Time : 0.0 sec. user=mdettweiler [2012-09-11 10:23:43] 777*2^1228510-1 is not prime. Res64: 5F14D1B5B47BB492 Time : 0.0 sec. user=mdettweiler [2012-09-11 10:23:45] 785*2^1228510-1 is not prime. Res64: 0029DE8F40BCBB73 Time : 0.0 sec. user=mdettweiler [2012-09-11 10:23:46] 717*2^1228510-1 is not prime. Res64: 9BB24561A96BA11D Time : 0.0 sec. user=mdettweiler [2012-09-11 10:23:48] 801*2^1228510-1 is not prime. Res64: B04641FE4CBEB62F Time : 0.0 sec. user=juhehe [2012-09-11 10:39:36] 603*2^1228510-1 is not prime. Res64: CFE7847EC44A6A95 Time : 0.0 sec. user=mdettweiler [2012-09-11 10:44:38] 861*2^1228510-1 is not prime. Res64: B2B05850D19836BA Time : 0.0 sec. user=mdettweiler [2012-09-11 10:44:39] 917*2^1228510-1 is not prime. Res64: CC8B11EC74C73F5B Time : 0.0 sec. user=mdettweiler [2012-09-11 10:44:41] 975*2^1228510-1 is not prime. Res64: EB93EFD5EC99BFCB Time : 0.0 sec. user=mdettweiler [2012-09-11 10:44:43] 619*2^1228511-1 is not prime. Res64: 1B87D9B5757BD4AC Time : 0.0 sec. user=mdettweiler [2012-09-11 11:05:17] 819*2^1228511-1 is not prime. Res64: AEC169FA53C7B172 Time : 0.0 sec. user=mdettweiler [2012-09-11 11:05:20] 753*2^1228511-1 is not prime. Res64: E2ED3BF0E15C47B4 Time : 0.0 sec. user=mdettweiler [2012-09-11 11:05:21] 843*2^1228511-1 is not prime. Res64: BED2060DEBC2792F Time : 0.0 sec. user=mdettweiler [2012-09-11 11:05:22] 813*2^1228511-1 is not prime. Res64: 53DC7BFDC1F3C4ED Time : 0.0 sec. user=juhehe [2012-09-11 11:23:40] 661*2^1228511-1 is not prime. Res64: FCD626175407926A Time : 0.0 sec. user=mdettweiler [2012-09-11 11:26:21] 683*2^1228512-1 is not prime. Res64: FF63F668A64457E1 Time : 0.0 sec. user=mdettweiler [2012-09-11 11:26:25] 717*2^1228512-1 is not prime. Res64: 7D0A2E1D4385F595 Time : 0.0 sec. user=mdettweiler [2012-09-11 11:26:27] 665*2^1228512-1 is not prime. Res64: B0E6C45B4CA4DE0F Time : 0.0 sec. user=mdettweiler [2012-09-11 11:26:30] 719*2^1228512-1 is not prime. Res64: 0F2FCBCDAA6778CF Time : 0.0 sec. user=mdettweiler [2012-09-11 11:47:40] 737*2^1228512-1 is not prime. Res64: 8DBAC1E4EA0E1F2E Time : 0.0 sec. user=mdettweiler [2012-09-11 11:47:41] 753*2^1228512-1 is not prime. Res64: DF43A69206B17EC9 Time : 0.0 sec. user=mdettweiler [2012-09-11 11:47:44] 875*2^1228512-1 is not prime. Res64: 4F7C1E3C7BF995D8 Time : 0.0 sec. user=mdettweiler [2012-09-11 11:47:45] 887*2^1228512-1 is not prime. Res64: 5C65DA0D1F0745D8 Time : 0.0 sec. user=mdettweiler [2012-09-11 12:08:19] 609*2^1228513-1 is not prime. Res64: 1A6A601D0977E441 Time : 0.0 sec. user=mdettweiler [2012-09-11 12:08:20] 699*2^1228513-1 is not prime. Res64: C401A38CFB506908 Time : 0.0 sec. user=mdettweiler [2012-09-11 12:08:22] 639*2^1228513-1 is not prime. Res64: 3528B922EFC0C1D3 Time : 0.0 sec. user=mdettweiler [2012-09-11 12:08:24] 855*2^1228513-1 is not prime. Res64: 0F4CCFB95A11D892 Time : 0.0 sec. user=mdettweiler [2012-09-11 12:29:11] 885*2^1228513-1 is not prime. Res64: 4ED484625DFCFEB2 Time : 0.0 sec. user=mdettweiler [2012-09-11 12:29:12] 939*2^1228513-1 is not prime. Res64: 675EF172B821CF74 Time : 0.0 sec. user=mdettweiler [2012-09-11 12:29:13] 945*2^1228513-1 is not prime. Res64: A7BFEBD80BDA1939 Time : 0.0 sec. user=mdettweiler [2012-09-11 12:29:15] 985*2^1228513-1 is not prime. Res64: 250355764FFE9FDD Time : 0.0 sec. user=mdettweiler [2012-09-11 12:49:50] 657*2^1228514-1 is not prime. Res64: B2DF4E61B0619AD1 Time : 0.0 sec. user=mdettweiler [2012-09-11 12:49:51] 671*2^1228514-1 is not prime. Res64: A1EBFB58D4546ABA Time : 0.0 sec. user=mdettweiler [2012-09-11 12:49:52] 815*2^1228514-1 is not prime. Res64: B7DEBF296981D218 Time : 0.0 sec. user=mdettweiler [2012-09-11 12:49:52] 691*2^1228515-1 is not prime. Res64: 1B5B628A5D07FDBE Time : 0.0 sec. user=mdettweiler [2012-09-11 13:10:23] 849*2^1228515-1 is not prime. Res64: 0A9702ACB8E254AB Time : 0.0 sec. user=mdettweiler [2012-09-11 13:10:25] 943*2^1228515-1 is not prime. Res64: 6EBCBEF45CEDD30E Time : 0.0 sec. user=mdettweiler [2012-09-11 13:10:25] 617*2^1228516-1 is not prime. Res64: C777E1C227B5270B Time : 0.0 sec. user=mdettweiler [2012-09-11 13:10:27] 623*2^1228516-1 is not prime. Res64: C00F46169274A469 Time : 0.0 sec. user=juhehe [2012-09-11 13:25:48] 823*2^1228515-1 is not prime. Res64: B37ACEDCFD37E95C Time : 0.0 sec. user=mdettweiler [2012-09-11 13:31:03] 639*2^1228516-1 is not prime. Res64: 7639B380810F6B44 Time : 0.0 sec. user=mdettweiler [2012-09-11 13:31:04] 677*2^1228516-1 is not prime. Res64: 333F7F992AD9DF3E Time : 0.0 sec. user=mdettweiler [2012-09-11 13:31:06] 695*2^1228516-1 is not prime. Res64: 31EA9A47B9A28CB5 Time : 0.0 sec. user=mdettweiler [2012-09-11 13:31:07] 719*2^1228516-1 is not prime. Res64: B49BA3C90C8AD542 Time : 0.0 sec. user=mdettweiler [2012-09-11 13:51:46] 975*2^1228516-1 is not prime. Res64: A6A6A52ECE565604 Time : 0.0 sec. user=mdettweiler [2012-09-11 13:51:47] 607*2^1228517-1 is not prime. Res64: 41221C8B2390734B Time : 0.0 sec. user=mdettweiler [2012-09-11 13:51:50] 615*2^1228517-1 is not prime. Res64: 697703ED3794C488 Time : 0.0 sec. user=mdettweiler [2012-09-11 13:51:50] 757*2^1228517-1 is not prime. Res64: 953E1D688ECA5443 Time : 0.0 sec. user=mdettweiler [2012-09-11 14:12:33] 937*2^1228517-1 is not prime. Res64: B143432768707267 Time : 0.0 sec. user=mdettweiler [2012-09-11 14:12:35] 945*2^1228517-1 is not prime. Res64: 2362191C045B56E7 Time : 0.0 sec. user=mdettweiler [2012-09-11 14:12:36] 621*2^1228518-1 is not prime. Res64: 0C1614C304721744 Time : 0.0 sec. user=mdettweiler [2012-09-11 14:12:39] 641*2^1228518-1 is not prime. Res64: 92930D3B63A66FA3 Time : 0.0 sec. user=mdettweiler [2012-09-11 14:33:16] 657*2^1228518-1 is not prime. Res64: FA40F1A15BD6CFC6 Time : 0.0 sec. user=mdettweiler [2012-09-11 14:33:17] 677*2^1228518-1 is not prime. Res64: 453F117848A9C260 Time : 0.0 sec. user=mdettweiler [2012-09-11 14:33:23] 711*2^1228518-1 is not prime. Res64: 914A83CB0430FF46 Time : 0.0 sec. user=mdettweiler [2012-09-11 14:33:24] 755*2^1228518-1 is not prime. Res64: A50CB22A01736F9C Time : 0.0 sec. user=mdettweiler [2012-09-11 14:53:59] 765*2^1228518-1 is not prime. Res64: 81DA9E7923404C78 Time : 0.0 sec. user=mdettweiler [2012-09-11 14:54:00] 927*2^1228518-1 is not prime. Res64: 108094AA5A07261A Time : 0.0 sec. user=mdettweiler [2012-09-11 14:54:01] 933*2^1228518-1 is not prime. Res64: 749B95002BF6EE63 Time : 0.0 sec. user=mdettweiler [2012-09-11 14:54:01] 601*2^1228519-1 is not prime. Res64: 3A16B97606A4DA79 Time : 0.0 sec. user=mdettweiler [2012-09-11 15:14:48] 685*2^1228519-1 is not prime. Res64: E59DD29F4D96751C Time : 0.0 sec. user=mdettweiler [2012-09-11 15:14:50] 811*2^1228519-1 is not prime. Res64: BB0362220DFD923E Time : 0.0 sec. user=mdettweiler [2012-09-11 15:14:51] 841*2^1228519-1 is not prime. Res64: 42643B865FFD986E Time : 0.0 sec. user=mdettweiler [2012-09-11 15:14:52] 645*2^1228520-1 is not prime. Res64: 087EE54FDCB250E4 Time : 0.0 sec. user=juhehe [2012-09-11 15:29:40] 645*2^1228519-1 is not prime. Res64: 64E5571D3ECE65E7 Time : 0.0 sec. user=mdettweiler [2012-09-11 15:36:30] 665*2^1228520-1 is not prime. Res64: 4A7FCF5490AA4841 Time : 0.0 sec. user=mdettweiler [2012-09-11 15:36:31] 743*2^1228520-1 is not prime. Res64: 226921EAD382564B Time : 0.0 sec. user=mdettweiler [2012-09-11 15:36:33] 789*2^1228520-1 is not prime. Res64: 73B120387DC2781F Time : 0.0 sec. user=mdettweiler [2012-09-11 15:36:33] 825*2^1228520-1 is not prime. Res64: 7B7FD485B7593DF4 Time : 0.0 sec. user=mdettweiler [2012-09-11 15:57:52] 705*2^1228521-1 is not prime. Res64: AFE2FC8936B69614 Time : 0.0 sec. user=mdettweiler [2012-09-11 15:57:52] 711*2^1228521-1 is not prime. Res64: B39E542944E1488B Time : 0.0 sec. user=mdettweiler [2012-09-11 15:57:53] 833*2^1228520-1 is not prime. Res64: CCAE2B26D70DF08D Time : 0.0 sec. user=mdettweiler [2012-09-11 15:57:53] 839*2^1228520-1 is not prime. Res64: B7F2976262237EB2 Time : 0.0 sec. user=mdettweiler [2012-09-11 16:19:04] 717*2^1228521-1 is not prime. Res64: 005578608D9F0380 Time : 0.0 sec. user=mdettweiler [2012-09-11 16:19:05] 727*2^1228521-1 is not prime. Res64: AB02C4E54098748C Time : 0.0 sec. user=mdettweiler [2012-09-11 16:19:05] 849*2^1228521-1 is not prime. Res64: 47752D97AF4AD6BE Time : 0.0 sec. user=mdettweiler [2012-09-11 16:19:06] 865*2^1228521-1 is not prime. Res64: AFB8691936A3DE2C Time : 0.0 sec. user=mdettweiler [2012-09-11 16:40:17] 999*2^1228521-1 is not prime. Res64: E63854F6DC8AB601 Time : 0.0 sec. user=mdettweiler [2012-09-11 16:40:18] 825*2^1228522-1 is not prime. Res64: E2AB099650537B39 Time : 0.0 sec. user=mdettweiler [2012-09-11 16:40:19] 857*2^1228522-1 is not prime. Res64: 47C66B2C15FECB39 Time : 0.0 sec. user=mdettweiler [2012-09-11 16:40:20] 911*2^1228522-1 is not prime. Res64: AE7605C971ED167B Time : 0.0 sec. user=mdettweiler [2012-09-11 17:01:12] 923*2^1228522-1 is not prime. Res64: CCB5FF05CAF669C6 Time : 0.0 sec. user=mdettweiler [2012-09-11 17:01:14] 945*2^1228522-1 is not prime. Res64: 99C4320C064B91B6 Time : 0.0 sec. user=mdettweiler [2012-09-11 17:01:15] 951*2^1228522-1 is not prime. Res64: 580DBCD7150E1DFD Time : 0.0 sec. user=mdettweiler [2012-09-11 17:01:17] 609*2^1228523-1 is not prime. Res64: 49B32B1ECEEE1977 Time : 0.0 sec. user=mdettweiler [2012-09-11 17:22:02] 631*2^1228523-1 is not prime. Res64: 728EEF2CEEA8397A Time : 0.0 sec. user=mdettweiler [2012-09-11 17:22:03] 693*2^1228523-1 is not prime. Res64: 09BC119F450BE216 Time : 0.0 sec. user=mdettweiler [2012-09-11 17:22:06] 735*2^1228523-1 is not prime. Res64: 30F09BC096B92919 Time : 0.0 sec. user=mdettweiler [2012-09-11 17:22:07] 825*2^1228523-1 is not prime. Res64: 5A927DBA952AF13C Time : 0.0 sec. user=mdettweiler [2012-09-11 17:42:43] 861*2^1228523-1 is not prime. Res64: BE6776FB82865733 Time : 0.0 sec. user=mdettweiler [2012-09-11 17:42:43] 885*2^1228523-1 is not prime. Res64: 30D38439EA0CA070 Time : 0.0 sec. user=mdettweiler [2012-09-11 17:42:43] 871*2^1228523-1 is not prime. Res64: A8095499E0BFB802 Time : 0.0 sec. user=mdettweiler [2012-09-11 17:42:44] 627*2^1228524-1 is not prime. Res64: F63541ACBD8E7CA8 Time : 0.0 sec. user=mdettweiler [2012-09-11 18:03:17] 789*2^1228524-1 is not prime. Res64: A7D877717D40D798 Time : 0.0 sec. user=mdettweiler [2012-09-11 18:03:19] 717*2^1228525-1 is not prime. Res64: 4CE5BF51CECD39FD Time : 0.0 sec. user=mdettweiler [2012-09-11 18:03:21] 843*2^1228524-1 is not prime. Res64: 022DF86F8670EE85 Time : 0.0 sec. user=mdettweiler [2012-09-11 18:03:22] 885*2^1228525-1 is not prime. Res64: 7AEE11DF187966B9 Time : 0.0 sec. user=mdettweiler [2012-09-11 18:24:28] 985*2^1228525-1 is not prime. Res64: 3FF41D5C0A814BCB Time : 0.0 sec. user=mdettweiler [2012-09-11 18:24:30] 641*2^1228526-1 is not prime. Res64: C80C4EAD42EC97E5 Time : 0.0 sec. user=mdettweiler [2012-09-11 18:24:32] 713*2^1228526-1 is not prime. Res64: 40945451E1D554ED Time : 0.0 sec. user=mdettweiler [2012-09-11 18:24:33] 945*2^1228526-1 is not prime. Res64: 063C995057956D2C Time : 0.0 sec. user=mdettweiler [2012-09-11 18:45:20] 963*2^1228526-1 is not prime. Res64: B10E69B2BC4BFD29 Time : 0.0 sec. user=mdettweiler [2012-09-11 18:45:21] 965*2^1228526-1 is not prime. Res64: CCC8BE4E8FADBD92 Time : 0.0 sec. user=mdettweiler [2012-09-11 18:45:23] 981*2^1228526-1 is not prime. Res64: 7FA6F8423A63CC44 Time : 0.0 sec. user=mdettweiler [2012-09-11 18:45:24] 649*2^1228527-1 is not prime. Res64: 91C29A161BA0EC92 Time : 0.0 sec. user=mdettweiler [2012-09-11 19:05:59] 829*2^1228527-1 is not prime. Res64: 9252B44AB4876B0D Time : 0.0 sec. user=mdettweiler [2012-09-11 19:06:02] 975*2^1228527-1 is not prime. Res64: 8176F001F143B9AA Time : 0.0 sec. user=mdettweiler [2012-09-11 19:06:06] 951*2^1228527-1 is not prime. Res64: 669AB1AF9A184094 Time : 0.0 sec. user=mdettweiler [2012-09-11 19:06:08] 629*2^1228528-1 is not prime. Res64: EF6F75676C759EAB Time : 0.0 sec. user=mdettweiler [2012-09-11 19:27:01] 665*2^1228528-1 is not prime. Res64: 17CEC1578C7021A8 Time : 0.0 sec. user=mdettweiler [2012-09-11 19:27:03] 833*2^1228528-1 is not prime. Res64: 5D11C14578180692 Time : 0.0 sec. user=mdettweiler [2012-09-11 19:27:03] 747*2^1228528-1 is not prime. Res64: 631B97704E15CD31 Time : 0.0 sec. user=mdettweiler [2012-09-11 19:27:04] 869*2^1228528-1 is not prime. Res64: 316825C95F342483 Time : 0.0 sec. user=mdettweiler [2012-09-11 19:47:48] 875*2^1228528-1 is not prime. Res64: 5870062C9CDBD174 Time : 0.0 sec. user=mdettweiler [2012-09-11 19:47:49] 601*2^1228529-1 is not prime. Res64: 979C7AA5393CBF9E Time : 0.0 sec. user=mdettweiler [2012-09-11 19:47:50] 631*2^1228529-1 is not prime. Res64: 3A34D72DD54CBF2F Time : 0.0 sec. user=mdettweiler [2012-09-11 19:47:50] 645*2^1228529-1 is not prime. Res64: DAD8620E985B0EEB Time : 0.0 sec. user=mdettweiler [2012-09-11 20:08:21] 727*2^1228529-1 is not prime. Res64: 62138C36D7F7E8DA Time : 0.0 sec. user=mdettweiler [2012-09-11 20:08:22] 789*2^1228529-1 is not prime. Res64: FBE92551224DB6B9 Time : 0.0 sec. user=mdettweiler [2012-09-11 20:08:23] 747*2^1228529-1 is not prime. Res64: BA09CEBFFEF1005A Time : 0.0 sec. user=mdettweiler [2012-09-11 20:08:24] 855*2^1228529-1 is not prime. Res64: DA09834EBC07A38A Time : 0.0 sec. user=mdettweiler [2012-09-11 20:29:11] 861*2^1228529-1 is not prime. Res64: 6CADA47AB80D9075 Time : 0.0 sec. user=mdettweiler [2012-09-11 20:29:12] 867*2^1228529-1 is not prime. Res64: 60AAA012C798D482 Time : 0.0 sec. user=mdettweiler [2012-09-11 20:29:13] 955*2^1228529-1 is not prime. Res64: 61C59F0969681670 Time : 0.0 sec. user=mdettweiler [2012-09-11 20:29:14] 991*2^1228529-1 is not prime. Res64: 033CCC1338628505 Time : 0.0 sec. user=mdettweiler [2012-09-11 20:49:55] 611*2^1228530-1 is not prime. Res64: 3790AB74D91F6248 Time : 0.0 sec. user=mdettweiler [2012-09-11 20:49:56] 711*2^1228530-1 is not prime. Res64: 06F3FEBED008EB01 Time : 0.0 sec. user=mdettweiler [2012-09-11 20:49:57] 755*2^1228530-1 is not prime. Res64: 4BE15F817D852A75 Time : 0.0 sec. user=mdettweiler [2012-09-11 20:49:58] 801*2^1228530-1 is not prime. Res64: 9AD4D017F2274BD4 Time : 0.0 sec. user=mdettweiler [2012-09-11 21:10:45] 887*2^1228530-1 is not prime. Res64: 0B35FE0C0654E03D Time : 0.0 sec. user=mdettweiler [2012-09-11 21:10:46] 951*2^1228530-1 is not prime. Res64: 91BDA2CC827D5B27 Time : 0.0 sec. user=mdettweiler [2012-09-11 21:10:51] 945*2^1228530-1 is not prime. Res64: 0B4801DC4673E7B8 Time : 0.0 sec. user=mdettweiler [2012-09-11 21:10:51] 625*2^1228531-1 is not prime. Res64: E594CA70FA01EE94 Time : 0.0 sec. user=mdettweiler [2012-09-11 21:32:13] 673*2^1228531-1 is not prime. Res64: 076C9DAE27D25C33 Time : 0.0 sec. user=mdettweiler [2012-09-11 21:32:14] 679*2^1228531-1 is not prime. Res64: 4506BEB5E3758F3E Time : 0.0 sec. user=mdettweiler [2012-09-11 21:32:18] 709*2^1228531-1 is not prime. Res64: 6CA29132CAD6BD00 Time : 0.0 sec. user=mdettweiler [2012-09-11 21:32:19] 885*2^1228531-1 is not prime. Res64: A7A2A3107C09813F Time : 0.0 sec. user=mdettweiler [2012-09-11 21:53:03] 975*2^1228531-1 is not prime. Res64: 327D79A86D9FE229 Time : 0.0 sec. user=mdettweiler [2012-09-11 21:53:03] 999*2^1228531-1 is not prime. Res64: BC853AFDA7E2880B Time : 0.0 sec. user=mdettweiler [2012-09-11 21:53:04] 603*2^1228532-1 is not prime. Res64: 3479FBC9E495BCD8 Time : 0.0 sec. user=mdettweiler [2012-09-11 21:53:05] 617*2^1228532-1 is not prime. Res64: F34F8CC855FED401 Time : 0.0 sec. user=mdettweiler [2012-09-11 22:13:35] 665*2^1228532-1 is not prime. Res64: 9DE90606218432F8 Time : 0.0 sec. user=mdettweiler [2012-09-11 22:13:36] 837*2^1228532-1 is not prime. Res64: 5065908A1DE96DC9 Time : 0.0 sec. user=mdettweiler [2012-09-11 22:13:38] 855*2^1228532-1 is not prime. Res64: 86B89767B8BA5E92 Time : 0.0 sec. user=mdettweiler [2012-09-11 22:13:39] 873*2^1228532-1 is not prime. Res64: 2F5B88EC3269B1D0 Time : 0.0 sec. user=mdettweiler [2012-09-11 22:34:52] 903*2^1228532-1 is not prime. Res64: 477F36606972B781 Time : 0.0 sec. user=mdettweiler [2012-09-11 22:34:53] 957*2^1228532-1 is not prime. Res64: BA4C2CB588E6DF16 Time : 0.0 sec. user=mdettweiler [2012-09-11 22:34:56] 691*2^1228533-1 is not prime. Res64: 4DC3EC40889F17AF Time : 0.0 sec. user=mdettweiler [2012-09-11 22:34:57] 737*2^1228534-1 is not prime. Res64: 228E193056B57CEA Time : 0.0 sec. user=mdettweiler [2012-09-11 22:55:44] 831*2^1228534-1 is not prime. Res64: 2F3D733BB3204D05 Time : 0.0 sec. user=mdettweiler [2012-09-11 22:55:45] 861*2^1228534-1 is not prime. Res64: 1F73FE64A405F5AB Time : 0.0 sec. user=mdettweiler [2012-09-11 22:55:47] 603*2^1228535-1 is not prime. Res64: 9DBC0F1C39D04EB6 Time : 0.0 sec. user=mdettweiler [2012-09-11 22:55:48] 609*2^1228535-1 is not prime. Res64: DAEFF66349025B55 Time : 0.0 sec. user=mdettweiler [2012-09-11 23:16:31] 651*2^1228535-1 is not prime. Res64: B10AF11CD2F292FA Time : 0.0 sec. user=mdettweiler [2012-09-11 23:16:31] 619*2^1228535-1 is not prime. Res64: 0AC28DF982A16B15 Time : 0.0 sec. user=mdettweiler [2012-09-11 23:45:47] 679*2^1228535-1 is not prime. Res64: 1A3F5F478D802ED9 Time : 0.0 sec. user=mdettweiler [2012-09-11 23:57:39] 643*2^1228535-1 is not prime. Res64: D2D68BAEB8E6C9E7 Time : 0.0 sec.