user=mdettweiler [2012-09-15 00:01:41] 753*2^1228680-1 is not prime. Res64: 96C1C3D72F04DB70 Time : 0.0 sec. user=mdettweiler [2012-09-15 00:01:41] 795*2^1228680-1 is not prime. Res64: 18FFF995862A3C24 Time : 0.0 sec. user=juhehe [2012-09-15 00:02:32] 973*2^1228679-1 is not prime. Res64: 2F3E987BC6095E2A Time : 0.0 sec. user=mdettweiler [2012-09-15 00:16:13] 819*2^1228680-1 is not prime. Res64: A96D07C4F3E6C68A Time : 0.0 sec. user=mdettweiler [2012-09-15 00:16:14] 905*2^1228680-1 is not prime. Res64: 9CF328D1567C5192 Time : 0.0 sec. user=mdettweiler [2012-09-15 00:22:22] 929*2^1228680-1 is not prime. Res64: 2F2E7F7C05744861 Time : 0.0 sec. user=mdettweiler [2012-09-15 00:22:23] 619*2^1228681-1 is not prime. Res64: EFE37E0A7CA314BC Time : 0.0 sec. user=mdettweiler [2012-09-15 00:36:55] 799*2^1228681-1 is not prime. Res64: FEBAC2C81BB403E4 Time : 0.0 sec. user=mdettweiler [2012-09-15 00:36:55] 867*2^1228681-1 is not prime. Res64: 47D1DE25398A09D2 Time : 0.0 sec. user=mdettweiler [2012-09-15 00:42:57] 945*2^1228681-1 is not prime. Res64: 95D51BE9BD73363D Time : 0.0 sec. user=mdettweiler [2012-09-15 00:42:57] 967*2^1228681-1 is not prime. Res64: 58C408698F646E91 Time : 0.0 sec. user=juhehe [2012-09-15 00:46:35] 679*2^1228681-1 is not prime. Res64: 6C5914A9469E3B45 Time : 0.0 sec. user=mdettweiler [2012-09-15 00:57:27] 633*2^1228682-1 is not prime. Res64: 366DDCA55B2DBCD7 Time : 0.0 sec. user=mdettweiler [2012-09-15 00:57:27] 675*2^1228682-1 is not prime. Res64: 5011570A887ADEE4 Time : 0.0 sec. user=mdettweiler [2012-09-15 01:03:28] 705*2^1228682-1 is not prime. Res64: 3D05DDD62CFCFC7C Time : 0.0 sec. user=mdettweiler [2012-09-15 01:03:30] 767*2^1228682-1 is not prime. Res64: 5B3501384269A364 Time : 0.0 sec. user=mdettweiler [2012-09-15 01:17:58] 771*2^1228682-1 is not prime. Res64: 8DFF2E7A5F6AE2B2 Time : 0.0 sec. user=mdettweiler [2012-09-15 01:17:59] 875*2^1228682-1 is not prime. Res64: 6C02CDA103119A80 Time : 0.0 sec. user=mdettweiler [2012-09-15 01:24:02] 885*2^1228682-1 is not prime. Res64: A1D8BA8466AF1ECC Time : 0.0 sec. user=mdettweiler [2012-09-15 01:24:03] 945*2^1228682-1 is not prime. Res64: 9BD44EA4CBC997F0 Time : 0.0 sec. user=mdettweiler [2012-09-15 01:38:36] 663*2^1228683-1 is not prime. Res64: 841639FD9D542007 Time : 0.0 sec. user=mdettweiler [2012-09-15 01:38:37] 795*2^1228683-1 is not prime. Res64: 576EC67D745C2431 Time : 0.0 sec. user=mdettweiler [2012-09-15 01:44:34] 801*2^1228683-1 is not prime. Res64: 77101E19F8957C70 Time : 0.0 sec. user=mdettweiler [2012-09-15 01:44:35] 609*2^1228684-1 is not prime. Res64: B8CD2294F2AD5886 Time : 0.0 sec. user=mdettweiler [2012-09-15 01:59:15] 677*2^1228684-1 is not prime. Res64: 129CBC317EE71583 Time : 0.0 sec. user=mdettweiler [2012-09-15 01:59:15] 717*2^1228684-1 is not prime. Res64: 3C590F23871A0D87 Time : 0.0 sec. user=mdettweiler [2012-09-15 02:05:06] 743*2^1228684-1 is not prime. Res64: D29E2FC11504D877 Time : 0.0 sec. user=mdettweiler [2012-09-15 02:05:07] 813*2^1228684-1 is not prime. Res64: D763EEB05053CD46 Time : 0.0 sec. user=juhehe [2012-09-15 02:12:32] 617*2^1228684-1 is not prime. Res64: 64E73DDFA98A1688 Time : 0.0 sec. user=mdettweiler [2012-09-15 02:19:46] 873*2^1228684-1 is not prime. Res64: 5998B4E40537BE9B Time : 0.0 sec. user=mdettweiler [2012-09-15 02:19:46] 909*2^1228684-1 is not prime. Res64: 15D6952CF4042BE1 Time : 0.0 sec. user=mdettweiler [2012-09-15 02:25:43] 619*2^1228685-1 is not prime. Res64: B72E1DF53EF16B81 Time : 0.0 sec. user=mdettweiler [2012-09-15 02:25:43] 675*2^1228685-1 is not prime. Res64: 35AAEFB60A00FD59 Time : 0.0 sec. user=mdettweiler [2012-09-15 02:40:21] 757*2^1228685-1 is not prime. Res64: 1933329245F73326 Time : 0.0 sec. user=mdettweiler [2012-09-15 02:40:23] 781*2^1228685-1 is not prime. Res64: EF66459E96C7FA37 Time : 0.0 sec. user=mdettweiler [2012-09-15 02:46:14] 885*2^1228685-1 is not prime. Res64: 39D4F57EFA9B1E62 Time : 0.0 sec. user=mdettweiler [2012-09-15 02:46:15] 937*2^1228685-1 is not prime. Res64: 0E5C3BAD989C7118 Time : 0.0 sec. user=mdettweiler [2012-09-15 03:01:09] 755*2^1228686-1 is not prime. Res64: 16C6CD7CA1ED9D33 Time : 0.0 sec. user=mdettweiler [2012-09-15 03:06:50] 783*2^1228686-1 is not prime. Res64: E5465E4A312E0D86 Time : 0.0 sec. user=mdettweiler [2012-09-15 03:06:51] 941*2^1228686-1 is not prime. Res64: D558843FE429A4D4 Time : 0.0 sec. user=mdettweiler [2012-09-15 03:27:33] 983*2^1228686-1 is not prime. Res64: 4C5B2D3570F5C692 Time : 0.0 sec. user=mdettweiler [2012-09-15 03:27:34] 619*2^1228687-1 is not prime. Res64: 54B7D0EAAAC4C6FB Time : 0.0 sec. user=mdettweiler [2012-09-15 03:30:07] 765*2^1228686-1 is not prime. Res64: C87D5BDC334949D7 Time : 0.0 sec. user=mdettweiler [2012-09-15 03:48:08] 621*2^1228687-1 is not prime. Res64: AFF961C4EDA3CE9D Time : 0.0 sec. user=mdettweiler [2012-09-15 03:48:09] 681*2^1228687-1 is not prime. Res64: 8DB8FD31F5F28070 Time : 0.0 sec. user=mdettweiler [2012-09-15 03:50:51] 729*2^1228687-1 is not prime. Res64: 68AA0219CB21063E Time : 0.0 sec. user=mdettweiler [2012-09-15 03:50:51] 861*2^1228687-1 is not prime. Res64: 4F6887D049F93B4C Time : 0.0 sec. user=mdettweiler [2012-09-15 04:08:57] 925*2^1228687-1 is not prime. Res64: CFEF2CE8E6546657 Time : 0.0 sec. user=mdettweiler [2012-09-15 04:08:59] 939*2^1228687-1 is not prime. Res64: 30B5B03259055577 Time : 0.0 sec. user=mdettweiler [2012-09-15 04:11:22] 975*2^1228687-1 is not prime. Res64: 72A3CFAAE566EE9E Time : 0.0 sec. user=mdettweiler [2012-09-15 04:11:24] 617*2^1228688-1 is not prime. Res64: CD3E375F8FD2BD32 Time : 0.0 sec. user=juhehe [2012-09-15 04:21:26] 909*2^1228687-1 is not prime. Res64: D5E315047CE732E1 Time : 0.0 sec. user=mdettweiler [2012-09-15 04:29:49] 699*2^1228688-1 is not prime. Res64: 2E6AE944910BFF37 Time : 0.0 sec. user=mdettweiler [2012-09-15 04:29:49] 897*2^1228688-1 is not prime. Res64: 69C2394B42AC9C10 Time : 0.0 sec. user=mdettweiler [2012-09-15 04:32:01] 999*2^1228688-1 is not prime. Res64: F4F8EA38B9249A14 Time : 0.0 sec. user=mdettweiler [2012-09-15 04:32:02] 639*2^1228689-1 is not prime. Res64: A922605A46C55750 Time : 0.0 sec. user=mdettweiler [2012-09-15 04:50:21] 649*2^1228689-1 is not prime. Res64: F4488D2DB748CBC0 Time : 0.0 sec. user=mdettweiler [2012-09-15 04:50:22] 685*2^1228689-1 is not prime. Res64: 9A190650B5666F1B Time : 0.0 sec. user=mdettweiler [2012-09-15 04:52:38] 705*2^1228689-1 is not prime. Res64: C815794171F57F70 Time : 0.0 sec. user=mdettweiler [2012-09-15 04:52:38] 861*2^1228689-1 is not prime. Res64: 4D890A2FB0687269 Time : 0.0 sec. user=mdettweiler [2012-09-15 05:10:55] 909*2^1228689-1 is not prime. Res64: 4CBF87556972D717 Time : 0.0 sec. user=mdettweiler [2012-09-15 05:10:57] 951*2^1228689-1 is not prime. Res64: 764B40D3D2AB366B Time : 0.0 sec. user=mdettweiler [2012-09-15 05:13:08] 999*2^1228689-1 is not prime. Res64: 885DD331711FC146 Time : 0.0 sec. user=mdettweiler [2012-09-15 05:13:09] 635*2^1228690-1 is not prime. Res64: 283648075CB3E533 Time : 0.0 sec. user=mdettweiler [2012-09-15 05:31:31] 681*2^1228690-1 is not prime. Res64: 1595D345C5965853 Time : 0.0 sec. user=mdettweiler [2012-09-15 05:31:32] 887*2^1228690-1 is not prime. Res64: 29E5F2A32516843C Time : 0.0 sec. user=mdettweiler [2012-09-15 05:33:40] 951*2^1228690-1 is not prime. Res64: 1ED8B644AB950570 Time : 0.0 sec. user=mdettweiler [2012-09-15 05:33:41] 619*2^1228691-1 is not prime. Res64: 1C17E492170D76B7 Time : 0.0 sec. user=mdettweiler [2012-09-15 05:52:05] 669*2^1228691-1 is not prime. Res64: 0C1141E4155C0C49 Time : 0.0 sec. user=mdettweiler [2012-09-15 05:52:06] 783*2^1228691-1 is not prime. Res64: 93B98834614E525B Time : 0.0 sec. user=mdettweiler [2012-09-15 05:54:11] 689*2^1228692-1 is not prime. Res64: 0A0C778135152650 Time : 0.0 sec. user=mdettweiler [2012-09-15 05:54:11] 749*2^1228692-1 is not prime. Res64: 2D44581826F4EF83 Time : 0.0 sec. user=mdettweiler [2012-09-15 06:12:36] 983*2^1228692-1 is not prime. Res64: 41D78F9A49139A0D Time : 0.0 sec. user=mdettweiler [2012-09-15 06:12:38] 757*2^1228693-1 is not prime. Res64: 91E86E7B5319AA29 Time : 0.0 sec. user=mdettweiler [2012-09-15 06:14:42] 765*2^1228693-1 is not prime. Res64: D8BBB326121E1317 Time : 0.0 sec. user=mdettweiler [2012-09-15 06:14:44] 801*2^1228693-1 is not prime. Res64: 96EAEA7D8AA8BFC8 Time : 0.0 sec. user=juhehe [2012-09-15 06:27:19] 863*2^1228692-1 is not prime. Res64: EB1DF828EF83396F Time : 0.0 sec. user=mdettweiler [2012-09-15 06:33:15] 847*2^1228693-1 is not prime. Res64: 64B3CEC0BD1EBC9C Time : 0.0 sec. user=mdettweiler [2012-09-15 06:33:16] 889*2^1228693-1 is not prime. Res64: 633DEA3D7CB3E971 Time : 0.0 sec. user=mdettweiler [2012-09-15 06:35:16] 987*2^1228693-1 is not prime. Res64: C5899C322C4E8306 Time : 0.0 sec. user=mdettweiler [2012-09-15 06:35:17] 617*2^1228694-1 is not prime. Res64: B3FFFDB75277F118 Time : 0.0 sec. user=mdettweiler [2012-09-15 06:53:48] 657*2^1228694-1 is not prime. Res64: DCDE88EA3649F29A Time : 0.0 sec. user=mdettweiler [2012-09-15 06:53:49] 675*2^1228694-1 is not prime. Res64: 206EC2731267C6A9 Time : 0.0 sec. user=mdettweiler [2012-09-15 06:55:48] 707*2^1228694-1 is not prime. Res64: A715C2E1CAE26843 Time : 0.0 sec. user=mdettweiler [2012-09-15 06:55:48] 663*2^1228695-1 is not prime. Res64: EF21317F390DCA9B Time : 0.0 sec. user=mdettweiler [2012-09-15 07:14:19] 783*2^1228695-1 is not prime. Res64: 38FD7360F11EF2CA Time : 0.0 sec. user=mdettweiler [2012-09-15 07:14:22] 853*2^1228695-1 is not prime. Res64: FDF8421B085F1A06 Time : 0.0 sec. user=mdettweiler [2012-09-15 07:16:19] 859*2^1228695-1 is not prime. Res64: 5B2786E7749E3C9C Time : 0.0 sec. user=mdettweiler [2012-09-15 07:16:19] 865*2^1228695-1 is not prime. Res64: F17B105B9FA6DE22 Time : 0.0 sec. user=mdettweiler [2012-09-15 07:35:00] 933*2^1228695-1 is not prime. Res64: DD6969869C4470A8 Time : 0.0 sec. user=mdettweiler [2012-09-15 07:35:01] 615*2^1228696-1 is not prime. Res64: 28CD62D5A77630BE Time : 0.0 sec. user=mdettweiler [2012-09-15 07:36:52] 705*2^1228696-1 is not prime. Res64: 850A4C05D33D6061 Time : 0.0 sec. user=mdettweiler [2012-09-15 07:36:56] 747*2^1228696-1 is not prime. Res64: 1AD660F5F88899E4 Time : 0.0 sec. user=gd_barnes [2012-09-15 07:45:03] 871*2^1228695-1 is not prime. Res64: 7E1644F8CF9CA5DE Time : 0.0 sec. user=mdettweiler [2012-09-15 07:55:35] 833*2^1228696-1 is not prime. Res64: 9DDA20BC60535289 Time : 0.0 sec. user=mdettweiler [2012-09-15 07:55:36] 845*2^1228696-1 is not prime. Res64: C1CDCF066DD6B41F Time : 0.0 sec. user=mdettweiler [2012-09-15 07:57:31] 903*2^1228696-1 is not prime. Res64: 2EF15BE3263C3CE8 Time : 0.0 sec. user=mdettweiler [2012-09-15 07:57:32] 923*2^1228696-1 is not prime. Res64: 4E9120259FA91BAB Time : 0.0 sec. user=mdettweiler [2012-09-15 08:16:10] 983*2^1228696-1 is not prime. Res64: 90DAA63BBF2E6988 Time : 0.0 sec. user=mdettweiler [2012-09-15 08:16:11] 615*2^1228697-1 is not prime. Res64: A9BC946B4DAA1886 Time : 0.0 sec. user=mdettweiler [2012-09-15 08:18:06] 645*2^1228697-1 is not prime. Res64: 79826FF350BF336A Time : 0.0 sec. user=mdettweiler [2012-09-15 08:18:07] 777*2^1228697-1 is not prime. Res64: EA8A91799C6AC5A5 Time : 0.0 sec. user=mdettweiler [2012-09-15 08:37:00] 861*2^1228697-1 is not prime. Res64: 4A98976C47FEC82B Time : 0.0 sec. user=mdettweiler [2012-09-15 08:37:00] 915*2^1228697-1 is not prime. Res64: E1FFFEB47A59071D Time : 0.0 sec. user=mdettweiler [2012-09-15 08:38:37] 681*2^1228698-1 is not prime. Res64: 6C553F8291C92C1B Time : 0.0 sec. user=mdettweiler [2012-09-15 08:38:38] 791*2^1228698-1 is not prime. Res64: 01F8479327F19CE8 Time : 0.0 sec. user=vaughan [2012-09-15 08:41:38] 665*2^1228562-1 is not prime. Res64: D9223594293E056E Time : 0.0 sec. user=mdettweiler [2012-09-15 08:57:31] 821*2^1228698-1 is not prime. Res64: 852584EF5AC27B8E Time : 0.0 sec. user=mdettweiler [2012-09-15 08:57:32] 843*2^1228698-1 is not prime. Res64: 946FC730538B69AB Time : 0.0 sec. user=mdettweiler [2012-09-15 08:59:08] 681*2^1228699-1 is not prime. Res64: 0F53F66D7160E9DD Time : 0.0 sec. user=mdettweiler [2012-09-15 08:59:09] 693*2^1228699-1 is not prime. Res64: 427833951B253A1F Time : 0.0 sec. user=juhehe [2012-09-15 09:12:25] 797*2^1228698-1 is not prime. Res64: 362FCC6911819928 Time : 0.0 sec. user=mdettweiler [2012-09-15 09:18:02] 741*2^1228699-1 is not prime. Res64: A8D000405153FA93 Time : 0.0 sec. user=mdettweiler [2012-09-15 09:18:02] 759*2^1228699-1 is not prime. Res64: BD6AE9482D048381 Time : 0.0 sec. user=vaughan [2012-09-15 09:19:13] 723*2^1228699-1 is not prime. Res64: D1917BD9BC2B8711 Time : 0.0 sec. user=mdettweiler [2012-09-15 09:19:39] 813*2^1228699-1 is not prime. Res64: F5798CF4B03EA70F Time : 0.0 sec. user=mdettweiler [2012-09-15 09:19:40] 859*2^1228699-1 is not prime. Res64: D76AC7A3258CDAA7 Time : 0.0 sec. user=mdettweiler [2012-09-15 09:38:35] 931*2^1228699-1 is not prime. Res64: 604317ABB9599ABC Time : 0.0 sec. user=mdettweiler [2012-09-15 09:38:36] 855*2^1228700-1 is not prime. Res64: 733C99384775523B Time : 0.0 sec. user=mdettweiler [2012-09-15 09:40:11] 661*2^1228701-1 is not prime. Res64: A2CF803442CAA21F Time : 0.0 sec. user=mdettweiler [2012-09-15 09:40:11] 669*2^1228701-1 is not prime. Res64: D7F694D493CD27B8 Time : 0.0 sec. user=vaughan [2012-09-15 09:56:53] 627*2^1228701-1 is not prime. Res64: 41FF692D90E22574 Time : 0.0 sec. user=mdettweiler [2012-09-15 09:59:06] 685*2^1228701-1 is not prime. Res64: 22F8C485998B23E1 Time : 0.0 sec. user=mdettweiler [2012-09-15 09:59:07] 777*2^1228701-1 is not prime. Res64: A0B0EA75A70F2778 Time : 0.0 sec. user=mdettweiler [2012-09-15 10:00:42] 885*2^1228701-1 is not prime. Res64: 03FD83D14C746AE9 Time : 0.0 sec. user=mdettweiler [2012-09-15 10:00:43] 889*2^1228701-1 is not prime. Res64: 9EB7DB7F5BEF5065 Time : 0.0 sec. user=mdettweiler [2012-09-15 10:19:37] 657*2^1228702-1 is not prime. Res64: 68F85C03AFDA5E1A Time : 0.0 sec. user=mdettweiler [2012-09-15 10:19:38] 827*2^1228702-1 is not prime. Res64: 24E1054CB1E56ED5 Time : 0.0 sec. user=mdettweiler [2012-09-15 10:21:13] 833*2^1228702-1 is not prime. Res64: 3DB62195A0058F12 Time : 0.0 sec. user=mdettweiler [2012-09-15 10:21:14] 843*2^1228702-1 is not prime. Res64: 43FE0D122C9A240F Time : 0.0 sec. user=vaughan [2012-09-15 10:34:30] 651*2^1228702-1 is not prime. Res64: 6642D39FD5D3FDEA Time : 0.0 sec. user=juhehe [2012-09-15 10:36:52] 621*2^1228702-1 is not prime. Res64: 800DB22F3D8088B7 Time : 0.0 sec. user=mdettweiler [2012-09-15 10:40:12] 915*2^1228702-1 is not prime. Res64: D75714280EDAF2D1 Time : 0.0 sec. user=mdettweiler [2012-09-15 10:40:12] 941*2^1228702-1 is not prime. Res64: C4AD1B2431455D3B Time : 0.0 sec. user=mdettweiler [2012-09-15 10:41:44] 609*2^1228703-1 is not prime. Res64: 95E08ED90D333D26 Time : 0.0 sec. user=mdettweiler [2012-09-15 10:41:45] 669*2^1228703-1 is not prime. Res64: 86355811E662F355 Time : 0.0 sec. user=mdettweiler [2012-09-15 11:00:42] 855*2^1228703-1 is not prime. Res64: 84D601B8E5BE5C56 Time : 0.0 sec. user=mdettweiler [2012-09-15 11:00:44] 895*2^1228703-1 is not prime. Res64: D563239ADE68FFE9 Time : 0.0 sec. user=mdettweiler [2012-09-15 11:02:15] 985*2^1228703-1 is not prime. Res64: FC2CE1DA4C95D00D Time : 0.0 sec. user=mdettweiler [2012-09-15 11:02:17] 875*2^1228704-1 is not prime. Res64: 2ABB78486BC7539E Time : 0.0 sec. user=vaughan [2012-09-15 11:12:05] 813*2^1228703-1 is not prime. Res64: 17B2221B96A9F7D7 Time : 0.0 sec. user=mdettweiler [2012-09-15 11:21:31] 899*2^1228704-1 is not prime. Res64: 2B95CD00D5C65F9B Time : 0.0 sec. user=mdettweiler [2012-09-15 11:21:32] 915*2^1228704-1 is not prime. Res64: 52252B02D0B51251 Time : 0.0 sec. user=mdettweiler [2012-09-15 11:22:51] 975*2^1228704-1 is not prime. Res64: 9CD0123B01B8ADD7 Time : 0.0 sec. user=mdettweiler [2012-09-15 11:22:51] 983*2^1228704-1 is not prime. Res64: F1B771765F340D78 Time : 0.0 sec. user=mdettweiler [2012-09-15 11:42:05] 765*2^1228705-1 is not prime. Res64: 02062057A8759B83 Time : 0.0 sec. user=mdettweiler [2012-09-15 11:42:06] 831*2^1228705-1 is not prime. Res64: E7B4EA7F854FF1DE Time : 0.0 sec. user=mdettweiler [2012-09-15 11:43:22] 885*2^1228705-1 is not prime. Res64: 49CBA908A7D9D043 Time : 0.0 sec. user=mdettweiler [2012-09-15 11:43:22] 987*2^1228705-1 is not prime. Res64: 6040BC137AC9EB1E Time : 0.0 sec. user=vaughan [2012-09-15 11:49:47] 607*2^1228705-1 is not prime. Res64: 4640B26D228E5DC0 Time : 0.0 sec. user=mdettweiler [2012-09-15 12:02:45] 633*2^1228706-1 is not prime. Res64: 277D96919B9CF2B2 Time : 0.0 sec. user=mdettweiler [2012-09-15 12:02:46] 675*2^1228706-1 is not prime. Res64: 3284C73EF00D439B Time : 0.0 sec. user=mdettweiler [2012-09-15 12:04:00] 717*2^1228706-1 is not prime. Res64: A75F6B5096B949B4 Time : 0.0 sec. user=mdettweiler [2012-09-15 12:04:01] 843*2^1228706-1 is not prime. Res64: 16D27932D911A59D Time : 0.0 sec. user=mdettweiler [2012-09-15 12:23:52] 963*2^1228706-1 is not prime. Res64: DA80E784D215DE5C Time : 0.0 sec. user=mdettweiler [2012-09-15 12:23:52] 669*2^1228707-1 is not prime. Res64: 6A8BA030CE22AEF5 Time : 0.0 sec. user=mdettweiler [2012-09-15 12:24:51] 735*2^1228707-1 is not prime. Res64: CD2E4777DC45A9F0 Time : 0.0 sec. user=mdettweiler [2012-09-15 12:24:51] 801*2^1228707-1 is not prime. Res64: 63DC2396F07FDFF8 Time : 0.0 sec. user=vaughan [2012-09-15 12:27:21] 903*2^1228706-1 is not prime. Res64: 3561AE098CE13DD4 Time : 0.0 sec. user=gd_barnes [2012-09-15 12:44:35] 901*2^1228707-1 is not prime. Res64: 5BFC9477BCED4484 Time : 0.0 sec. user=gd_barnes [2012-09-15 12:44:35] 849*2^1228707-1 is not prime. Res64: E684CC01B58A3732 Time : 0.0 sec. user=mdettweiler [2012-09-15 12:45:03] 963*2^1228707-1 is not prime. Res64: 26F8E525268089D6 Time : 0.0 sec. user=mdettweiler [2012-09-15 12:45:03] 699*2^1228708-1 is not prime. Res64: 18F88A5D17DA3117 Time : 0.0 sec. user=mdettweiler [2012-09-15 12:45:56] 729*2^1228708-1 is not prime. Res64: E11B0295CB1C0EC8 Time : 0.0 sec. user=mdettweiler [2012-09-15 12:45:57] 777*2^1228708-1 is not prime. Res64: 184B89DB5C230B33 Time : 0.0 sec. user=vaughan [2012-09-15 13:04:57] 825*2^1228708-1 is not prime. Res64: C382865A1BBB3E8F Time : 0.0 sec. user=mdettweiler [2012-09-15 13:06:32] 875*2^1228708-1 is not prime. Res64: 5131DE1A901FB8E6 Time : 0.0 sec. user=mdettweiler [2012-09-15 13:06:35] 887*2^1228708-1 is not prime. Res64: 2DA54C4EFCE36547 Time : 0.0 sec. user=mdettweiler [2012-09-15 13:07:23] 691*2^1228709-1 is not prime. Res64: AED1046E0CBDF322 Time : 0.0 sec. user=mdettweiler [2012-09-15 13:07:25] 747*2^1228709-1 is not prime. Res64: 7DE8106FD63579D7 Time : 0.0 sec. user=mdettweiler [2012-09-15 13:27:33] 771*2^1228709-1 is not prime. Res64: 59B736AD4AEFBE70 Time : 0.0 sec. user=mdettweiler [2012-09-15 13:27:35] 795*2^1228709-1 is not prime. Res64: 491C9A68466459CC Time : 0.0 sec. user=mdettweiler [2012-09-15 13:28:32] 713*2^1228710-1 is not prime. Res64: 418D0FB1D5CF5E35 Time : 0.0 sec. user=mdettweiler [2012-09-15 13:28:33] 747*2^1228710-1 is not prime. Res64: 5EAE5571F04682CD Time : 0.0 sec. user=vaughan [2012-09-15 13:42:56] 759*2^1228709-1 is not prime. Res64: D769ACB8EB35E5A9 Time : 0.0 sec. user=mdettweiler [2012-09-15 13:48:51] 777*2^1228710-1 is not prime. Res64: 538C50DD6EF20F96 Time : 0.0 sec. user=mdettweiler [2012-09-15 13:48:51] 891*2^1228710-1 is not prime. Res64: 5974A094D424152C Time : 0.0 sec. user=mdettweiler [2012-09-15 13:49:33] 893*2^1228710-1 is not prime. Res64: 86DD9B4979F3E339 Time : 0.0 sec. user=mdettweiler [2012-09-15 13:49:33] 977*2^1228710-1 is not prime. Res64: F045E8EC59F86385 Time : 0.0 sec. user=mdettweiler [2012-09-15 14:09:45] 619*2^1228711-1 is not prime. Res64: E7603B3D9935FDD2 Time : 0.0 sec. user=mdettweiler [2012-09-15 14:09:47] 649*2^1228711-1 is not prime. Res64: 8498EDA022DA1AB3 Time : 0.0 sec. user=mdettweiler [2012-09-15 14:10:27] 651*2^1228711-1 is not prime. Res64: 19CA39031A3F6533 Time : 0.0 sec. user=mdettweiler [2012-09-15 14:10:29] 763*2^1228711-1 is not prime. Res64: BEDDCD7BFDC98945 Time : 0.0 sec. user=vaughan [2012-09-15 14:20:32] 615*2^1228711-1 is not prime. Res64: 470CB9705B84DADE Time : 0.0 sec. user=mdettweiler [2012-09-15 14:31:31] 931*2^1228711-1 is not prime. Res64: 08B53D8A5E0B2509 Time : 0.0 sec. user=mdettweiler [2012-09-15 14:31:31] 933*2^1228711-1 is not prime. Res64: CC174F02546AA796 Time : 0.0 sec. user=mdettweiler [2012-09-15 14:31:36] 975*2^1228711-1 is not prime. Res64: 9516C4FB53F7FAF1 Time : 0.0 sec. user=mdettweiler [2012-09-15 14:31:36] 979*2^1228711-1 is not prime. Res64: 798DB77F86921C56 Time : 0.0 sec. user=gd_barnes [2012-09-15 14:48:17] 993*2^1228711-1 is not prime. Res64: B839A1E6D4FCB851 Time : 0.0 sec. user=mdettweiler [2012-09-15 14:52:28] 687*2^1228712-1 is not prime. Res64: 3D6BFE57E7E04B0F Time : 0.0 sec. user=mdettweiler [2012-09-15 14:52:28] 983*2^1228712-1 is not prime. Res64: 5810A2DB9F0DEA28 Time : 0.0 sec. user=mdettweiler [2012-09-15 14:52:32] 995*2^1228712-1 is not prime. Res64: B02FEE1AE19EFAE9 Time : 0.0 sec. user=mdettweiler [2012-09-15 14:52:32] 867*2^1228713-1 is not prime. Res64: 2EC005B8D36B8083 Time : 0.0 sec. user=vaughan [2012-09-15 14:58:07] 609*2^1228712-1 is not prime. Res64: D4DAED04730C555B Time : 0.0 sec. user=mdettweiler [2012-09-15 15:13:15] 885*2^1228713-1 is not prime. Res64: 1B9E79C0D9CFD1ED Time : 0.0 sec. user=mdettweiler [2012-09-15 15:13:16] 991*2^1228713-1 is not prime. Res64: A26D2460F152AF6D Time : 0.0 sec. user=mdettweiler [2012-09-15 15:13:18] 621*2^1228714-1 is not prime. Res64: 201883AEC8786F08 Time : 0.0 sec. user=mdettweiler [2012-09-15 15:13:19] 651*2^1228714-1 is not prime. Res64: 7BA99369C910FB95 Time : 0.0 sec. user=mdettweiler [2012-09-15 15:34:23] 747*2^1228714-1 is not prime. Res64: 20D9079491950C75 Time : 0.0 sec. user=mdettweiler [2012-09-15 15:34:24] 803*2^1228714-1 is not prime. Res64: B79343CA03617DF6 Time : 0.0 sec. user=mdettweiler [2012-09-15 15:34:26] 825*2^1228714-1 is not prime. Res64: 3D4C6E5F9D9CE4D1 Time : 0.0 sec. user=mdettweiler [2012-09-15 15:34:26] 857*2^1228714-1 is not prime. Res64: 758C376BBDF8E916 Time : 0.0 sec. user=vaughan [2012-09-15 15:35:41] 675*2^1228714-1 is not prime. Res64: FBBBBF825309C357 Time : 0.0 sec. user=mdettweiler [2012-09-15 15:55:12] 941*2^1228714-1 is not prime. Res64: 697A691F8AF471B3 Time : 0.0 sec. user=mdettweiler [2012-09-15 15:55:12] 945*2^1228714-1 is not prime. Res64: C9A885AC00762C3A Time : 0.0 sec. user=mdettweiler [2012-09-15 15:55:12] 649*2^1228715-1 is not prime. Res64: 31E6FC764C6C6A73 Time : 0.0 sec. user=mdettweiler [2012-09-15 15:55:13] 679*2^1228715-1 is not prime. Res64: 27DCAA15BB773017 Time : 0.0 sec. user=vaughan [2012-09-15 16:13:15] 685*2^1228715-1 is not prime. Res64: 1B956129D306750C Time : 0.0 sec. user=mdettweiler [2012-09-15 16:15:57] 775*2^1228715-1 is not prime. Res64: CB1F15A03477D0C8 Time : 0.0 sec. user=mdettweiler [2012-09-15 16:15:57] 909*2^1228715-1 is not prime. Res64: 153BF534A271D7C5 Time : 0.0 sec. user=mdettweiler [2012-09-15 16:15:57] 623*2^1228716-1 is not prime. Res64: EEE6772F8A7E0938 Time : 0.0 sec. user=mdettweiler [2012-09-15 16:15:58] 705*2^1228716-1 is not prime. Res64: 259C1BE702452D89 Time : 0.0 sec. user=mdettweiler [2012-09-15 16:36:42] 879*2^1228716-1 is not prime. Res64: 54340C037E5042C1 Time : 0.0 sec. user=mdettweiler [2012-09-15 16:36:42] 927*2^1228716-1 is not prime. Res64: 7C63B03482622188 Time : 0.0 sec. user=mdettweiler [2012-09-15 16:36:43] 945*2^1228716-1 is not prime. Res64: 6A4130CFB4640002 Time : 0.0 sec. user=mdettweiler [2012-09-15 16:36:43] 947*2^1228716-1 is not prime. Res64: 34729F44CA29C79F Time : 0.0 sec. user=vaughan [2012-09-15 16:50:55] 845*2^1228716-1 is not prime. Res64: 34F31E51B4EA207D Time : 0.0 sec. user=mdettweiler [2012-09-15 16:57:29] 757*2^1228717-1 is not prime. Res64: CA9CA7C08A130489 Time : 0.0 sec. user=mdettweiler [2012-09-15 16:57:30] 799*2^1228717-1 is not prime. Res64: 86A8FB37D37ED5A5 Time : 0.0 sec. user=mdettweiler [2012-09-15 16:57:30] 825*2^1228717-1 is not prime. Res64: C565CEF9EC1FF4F1 Time : 0.0 sec. user=mdettweiler [2012-09-15 16:57:31] 861*2^1228717-1 is not prime. Res64: 61F0233A09CC0D37 Time : 0.0 sec. user=mdettweiler [2012-09-15 17:18:15] 663*2^1228718-1 is not prime. Res64: 614B0B46E4C4186F Time : 0.0 sec. user=mdettweiler [2012-09-15 17:18:17] 911*2^1228718-1 is not prime. Res64: 3F5BD8C908A42198 Time : 0.0 sec. user=mdettweiler [2012-09-15 17:18:18] 773*2^1228718-1 is not prime. Res64: 330DD930E5E30FBC Time : 0.0 sec. user=mdettweiler [2012-09-15 17:18:19] 619*2^1228719-1 is not prime. Res64: FAB57A05AEDFCE1C Time : 0.0 sec. user=vaughan [2012-09-15 17:28:29] 895*2^1228717-1 is not prime. Res64: 9DF4587AFAD2C4DB Time : 0.0 sec. user=mdettweiler [2012-09-15 17:39:33] 633*2^1228719-1 is not prime. Res64: 2D90007FB79D0FCD Time : 0.0 sec. user=mdettweiler [2012-09-15 17:39:33] 693*2^1228719-1 is not prime. Res64: 3DC132ECC5902C7F Time : 0.0 sec. user=mdettweiler [2012-09-15 17:39:34] 709*2^1228719-1 is not prime. Res64: 50CFC6076829F053 Time : 0.0 sec. user=mdettweiler [2012-09-15 17:39:35] 909*2^1228719-1 is not prime. Res64: E7ED8CD531EA4308 Time : 0.0 sec. user=mdettweiler [2012-09-15 18:00:19] 677*2^1228720-1 is not prime. Res64: DBD0CA2DECF4D574 Time : 0.0 sec. user=mdettweiler [2012-09-15 18:00:20] 759*2^1228720-1 is not prime. Res64: 53D5794C627B8B2A Time : 0.0 sec. user=mdettweiler [2012-09-15 18:00:20] 723*2^1228720-1 is not prime. Res64: 6A9874ACF31CB55F Time : 0.0 sec. user=mdettweiler [2012-09-15 18:00:21] 813*2^1228720-1 is not prime. Res64: E2C405D37B31FDE6 Time : 0.0 sec. user=vaughan [2012-09-15 18:06:04] 605*2^1228720-1 is not prime. Res64: 67E9EA5DCAA81331 Time : 0.0 sec. user=juhehe [2012-09-15 18:15:47] 615*2^1228720-1 is not prime. Res64: B0CB06E01130D786 Time : 0.0 sec. user=mdettweiler [2012-09-15 18:21:11] 939*2^1228720-1 is not prime. Res64: 4767C4122AEA35A0 Time : 0.0 sec. user=mdettweiler [2012-09-15 18:21:11] 601*2^1228721-1 is not prime. Res64: 41CC9F64A5E72BA0 Time : 0.0 sec. user=mdettweiler [2012-09-15 18:21:11] 619*2^1228721-1 is not prime. Res64: E0D08723DFA88175 Time : 0.0 sec. user=mdettweiler [2012-09-15 18:21:12] 631*2^1228721-1 is not prime. Res64: 751E8AD69C50A2D0 Time : 0.0 sec. user=mdettweiler [2012-09-15 18:41:42] 957*2^1228721-1 is not prime. Res64: A2F6A16D1EDA2EE7 Time : 0.0 sec. user=mdettweiler [2012-09-15 18:41:42] 635*2^1228722-1 is not prime. Res64: 02234DF67A6C9B1C Time : 0.0 sec. user=mdettweiler [2012-09-15 18:41:42] 653*2^1228722-1 is not prime. Res64: 79DDD6237A6F5AFB Time : 0.0 sec. user=mdettweiler [2012-09-15 18:41:43] 705*2^1228722-1 is not prime. Res64: B3BCB3C13DD55D86 Time : 0.0 sec. user=vaughan [2012-09-15 18:43:40] 717*2^1228721-1 is not prime. Res64: CB9C315A46DA432A Time : 0.0 sec. user=juhehe [2012-09-15 18:59:53] 735*2^1228721-1 is not prime. Res64: 223BF59CD90CFB58 Time : 0.0 sec. user=mdettweiler [2012-09-15 19:02:22] 815*2^1228722-1 is not prime. Res64: A0194CD4820F3A83 Time : 0.0 sec. user=mdettweiler [2012-09-15 19:02:22] 887*2^1228722-1 is not prime. Res64: AB996C432D55035A Time : 0.0 sec. user=mdettweiler [2012-09-15 19:02:23] 873*2^1228722-1 is not prime. Res64: C5E0B5D203BAFB15 Time : 0.0 sec. user=mdettweiler [2012-09-15 19:02:24] 947*2^1228722-1 is not prime. Res64: D9FB13980B2D0F4A Time : 0.0 sec. user=vaughan [2012-09-15 19:21:15] 603*2^1228723-1 is not prime. Res64: ED1D09D69EDDD581 Time : 0.0 sec. user=mdettweiler [2012-09-15 19:23:38] 691*2^1228723-1 is not prime. Res64: A3BF8D3B3C28FB8B Time : 0.0 sec. user=mdettweiler [2012-09-15 19:23:38] 783*2^1228723-1 is not prime. Res64: 2959D802615E9666 Time : 0.0 sec. user=mdettweiler [2012-09-15 19:23:41] 789*2^1228723-1 is not prime. Res64: 39FFC60414DD527D Time : 0.0 sec. user=mdettweiler [2012-09-15 19:23:42] 853*2^1228723-1 is not prime. Res64: D1C2DBD909578D7E Time : 0.0 sec. user=juhehe [2012-09-15 19:43:58] 625*2^1228723-1 is not prime. Res64: A6CC0D7FBD11A894 Time : 0.0 sec. user=mdettweiler [2012-09-15 19:45:18] 605*2^1228724-1 is not prime. Res64: 91CBA253A56FE77A Time : 0.0 sec. user=mdettweiler [2012-09-15 19:45:19] 743*2^1228724-1 is not prime. Res64: A758F76770008E6F Time : 0.0 sec. user=mdettweiler [2012-09-15 19:45:21] 753*2^1228724-1 is not prime. Res64: 0074ECF59351973F Time : 0.0 sec. user=mdettweiler [2012-09-15 19:45:21] 773*2^1228724-1 is not prime. Res64: 69A17B88B8AE5657 Time : 0.0 sec. user=vaughan [2012-09-15 19:58:53] 919*2^1228723-1 is not prime. Res64: 36BBCC1CBB53A261 Time : 0.0 sec. user=mdettweiler [2012-09-15 20:06:05] 819*2^1228724-1 is not prime. Res64: D869377638BEE6CA Time : 0.0 sec. user=mdettweiler [2012-09-15 20:06:08] 837*2^1228724-1 is not prime. Res64: F5CEC88C6B7FB4CB Time : 0.0 sec. user=mdettweiler [2012-09-15 20:06:09] 843*2^1228724-1 is not prime. Res64: 94DB475300097508 Time : 0.0 sec. user=mdettweiler [2012-09-15 20:06:11] 909*2^1228724-1 is not prime. Res64: AF5D539F66539CBC Time : 0.0 sec. user=juhehe [2012-09-15 20:27:44] 785*2^1228724-1 is not prime. Res64: DDD0607C3B6DE3BF Time : 0.0 sec. user=mdettweiler [2012-09-15 20:27:46] 983*2^1228724-1 is not prime. Res64: 9778A0A46899D484 Time : 0.0 sec. user=mdettweiler [2012-09-15 20:27:47] 609*2^1228725-1 is not prime. Res64: F38FDA59CC8F5BC1 Time : 0.0 sec. user=mdettweiler [2012-09-15 20:27:47] 651*2^1228725-1 is not prime. Res64: F7C3FE8784D339D2 Time : 0.0 sec. user=mdettweiler [2012-09-15 20:27:48] 751*2^1228725-1 is not prime. Res64: 913E866C7E94D663 Time : 0.0 sec. user=vaughan [2012-09-15 20:36:30] 953*2^1228724-1 is not prime. Res64: 3FED857B14791A27 Time : 0.0 sec. user=mdettweiler [2012-09-15 20:49:14] 837*2^1228725-1 is not prime. Res64: 59445BEAAFF222F5 Time : 0.0 sec. user=mdettweiler [2012-09-15 20:49:14] 921*2^1228725-1 is not prime. Res64: 45284B3F71D8A1EB Time : 0.0 sec. user=mdettweiler [2012-09-15 20:49:16] 755*2^1228726-1 is not prime. Res64: B5677C25C304019F Time : 0.0 sec. user=mdettweiler [2012-09-15 20:49:16] 833*2^1228726-1 is not prime. Res64: 88D53FD5C5C14036 Time : 0.0 sec. user=mdettweiler [2012-09-15 21:10:24] 609*2^1228727-1 is not prime. Res64: F66F6E5B78D102D5 Time : 0.0 sec. user=mdettweiler [2012-09-15 21:10:26] 621*2^1228727-1 is not prime. Res64: 7B7B04ED71B05CFE Time : 0.0 sec. user=mdettweiler [2012-09-15 21:10:30] 645*2^1228727-1 is not prime. Res64: A4939C27CFCA5BBD Time : 0.0 sec. user=mdettweiler [2012-09-15 21:10:33] 661*2^1228727-1 is not prime. Res64: 7A9F7F0D1378F780 Time : 0.0 sec. user=vaughan [2012-09-15 21:14:05] 975*2^1228726-1 is not prime. Res64: FB4140C8B1814AC7 Time : 0.0 sec. user=mdettweiler [2012-09-15 21:31:41] 675*2^1228727-1 is not prime. Res64: F89DDABA4CB574EA Time : 0.0 sec. user=mdettweiler [2012-09-15 21:31:41] 993*2^1228727-1 is not prime. Res64: 8D5A801758F3FDCA Time : 0.0 sec. user=mdettweiler [2012-09-15 21:31:45] 605*2^1228728-1 is not prime. Res64: A95A860D9C0B576C Time : 0.0 sec. user=mdettweiler [2012-09-15 21:31:46] 627*2^1228728-1 is not prime. Res64: 6523A9D207C07616 Time : 0.0 sec. user=vaughan [2012-09-15 21:51:42] 661*2^1228729-1 is not prime. Res64: 60355DC174614A4E Time : 0.0 sec. user=mdettweiler [2012-09-15 21:52:51] 691*2^1228729-1 is not prime. Res64: 60811EEC975A0C94 Time : 0.0 sec. user=mdettweiler [2012-09-15 21:52:51] 765*2^1228729-1 is not prime. Res64: 125B4757305AAE7E Time : 0.0 sec. user=mdettweiler [2012-09-15 21:52:53] 807*2^1228729-1 is not prime. Res64: CDA29D1A482248CA Time : 0.0 sec. user=mdettweiler [2012-09-15 21:52:53] 999*2^1228729-1 is not prime. Res64: 10D4B89E0A3771E2 Time : 0.0 sec. user=mdettweiler [2012-09-15 22:13:52] 797*2^1228730-1 is not prime. Res64: 89A0A50CC9ECC76B Time : 0.0 sec. user=mdettweiler [2012-09-15 22:13:55] 825*2^1228730-1 is not prime. Res64: CC40A60C6178BC91 Time : 0.0 sec. user=mdettweiler [2012-09-15 22:13:58] 851*2^1228730-1 is not prime. Res64: FF7C469BA267F855 Time : 0.0 sec. user=mdettweiler [2012-09-15 22:14:03] 957*2^1228730-1 is not prime. Res64: 306A1E50BA2B4304 Time : 0.0 sec. user=vaughan [2012-09-15 22:29:15] 755*2^1228730-1 is not prime. Res64: B6F811B382CA2B7D Time : 0.0 sec. user=juhehe [2012-09-15 22:32:32] 735*2^1228730-1 is not prime. Res64: 06988EE960E19074 Time : 0.0 sec. user=mdettweiler [2012-09-15 22:35:19] 741*2^1228731-1 is not prime. Res64: E58F17D2B9184E9B Time : 0.0 sec. user=mdettweiler [2012-09-15 22:35:20] 913*2^1228731-1 is not prime. Res64: 51BBB7C3042F3C41 Time : 0.0 sec. user=mdettweiler [2012-09-15 22:55:48] 689*2^1228732-1 is not prime. Res64: AD20682961094D42 Time : 0.0 sec. user=mdettweiler [2012-09-15 22:55:48] 819*2^1228732-1 is not prime. Res64: 8608FE703F3D44FA Time : 0.0 sec. user=vaughan [2012-09-15 23:06:51] 961*2^1228731-1 is not prime. Res64: 722DDA2E191BFF39 Time : 0.0 sec. user=mdettweiler [2012-09-15 23:12:51] 857*2^1228732-1 is not prime. Res64: D5CD59250CDA9E34 Time : 0.0 sec. user=mdettweiler [2012-09-15 23:12:53] 923*2^1228732-1 is not prime. Res64: 9719C7666CF3EDA0 Time : 0.0 sec. user=mdettweiler [2012-09-15 23:16:16] 607*2^1228733-1 is not prime. Res64: 9F47FAB859B1A85B Time : 0.0 sec. user=mdettweiler [2012-09-15 23:16:17] 685*2^1228733-1 is not prime. Res64: 60523BAF489A6510 Time : 0.0 sec. user=mdettweiler [2012-09-15 23:33:42] 861*2^1228733-1 is not prime. Res64: 45815301650CD31D Time : 0.0 sec. user=mdettweiler [2012-09-15 23:33:43] 991*2^1228733-1 is not prime. Res64: 99C667D486A5229D Time : 0.0 sec. user=mdettweiler [2012-09-15 23:37:01] 657*2^1228734-1 is not prime. Res64: 61F87C98806F4CDC Time : 0.0 sec. user=mdettweiler [2012-09-15 23:37:01] 807*2^1228734-1 is not prime. Res64: F86165823D877FB8 Time : 0.0 sec. user=vaughan [2012-09-15 23:44:28] 847*2^1228733-1 is not prime. Res64: 2DFFDC114A7C15C5 Time : 0.0 sec. user=mdettweiler [2012-09-15 23:54:10] 927*2^1228734-1 is not prime. Res64: 1DAA14132A1F5697 Time : 0.0 sec. user=mdettweiler [2012-09-15 23:54:11] 649*2^1228735-1 is not prime. Res64: 6C386F9326FECBE6 Time : 0.0 sec. user=mdettweiler [2012-09-15 23:57:29] 709*2^1228735-1 is not prime. Res64: 0CE077712617E459 Time : 0.0 sec. user=mdettweiler [2012-09-15 23:57:29] 849*2^1228735-1 is not prime. Res64: 34CC818099805975 Time : 0.0 sec.