user=mdettweiler [2013-06-21 00:10:45] 747*2^1247112-1 is not prime. Res64: 8E44F4E6E64108B1 Time : 0.0 sec. user=mdettweiler [2013-06-21 00:11:51] 615*2^1247113-1 is not prime. Res64: D11CB0F5EB6DBB4E Time : 0.0 sec. user=mdettweiler [2013-06-21 00:11:52] 649*2^1247113-1 is not prime. Res64: 0DA44463E4A19195 Time : 0.0 sec. user=mdettweiler [2013-06-21 00:29:19] 729*2^1247113-1 is not prime. Res64: 0696FA9B5A650CB7 Time : 0.0 sec. user=vaughan [2013-06-21 00:31:12] 955*2^1247111-1 is not prime. Res64: 68017946C8B693CB Time : 0.0 sec. user=mdettweiler [2013-06-21 00:33:26] 977*2^1247112-1 is not prime. Res64: F022D668E2E8CD85 Time : 0.0 sec. user=mdettweiler [2013-06-21 01:06:25] 741*2^1247113-1 is not prime. Res64: 3A4D8870E740531A Time : 0.0 sec. user=mdettweiler [2013-06-21 01:24:23] 747*2^1247113-1 is not prime. Res64: 522A125E62FC3BE3 Time : 0.0 sec. user=mdettweiler [2013-06-21 01:24:41] 835*2^1247113-1 is not prime. Res64: 52FED92463DDF2F5 Time : 0.0 sec. user=mdettweiler [2013-06-21 01:32:59] 967*2^1247113-1 is not prime. Res64: C92637F5E2CFCA02 Time : 0.0 sec. user=mdettweiler [2013-06-21 01:33:00] 987*2^1247113-1 is not prime. Res64: E5870A98E1BDC28D Time : 0.0 sec. user=mdettweiler [2013-06-21 01:50:46] 633*2^1247114-1 is not prime. Res64: A9292E8637639F23 Time : 0.0 sec. user=vaughan [2013-06-21 01:52:33] 951*2^1247113-1 is not prime. Res64: 8CAA3F1A2559FE77 Time : 0.0 sec. user=mdettweiler [2013-06-21 02:07:01] 741*2^1247114-1 is not prime. Res64: 0FFE1495C53B9532 Time : 0.0 sec. user=mdettweiler [2013-06-21 02:20:00] 665*2^1247114-1 is not prime. Res64: A8159DC90650ADF5 Time : 0.0 sec. user=mdettweiler [2013-06-21 02:42:59] 797*2^1247114-1 is not prime. Res64: D00BF41BF8D446EB Time : 0.0 sec. user=vaughan [2013-06-21 03:08:43] 827*2^1247114-1 is not prime. Res64: 66416A59A65ADE8C Time : 0.0 sec. user=mdettweiler [2013-06-21 03:21:55] 927*2^1247114-1 is not prime. Res64: 067641DEA35A5D48 Time : 0.0 sec. user=mdettweiler [2013-06-21 03:21:55] 935*2^1247114-1 is not prime. Res64: 1880C4D956DCE98B Time : 0.0 sec. user=mdettweiler [2013-06-21 03:34:55] 781*2^1247115-1 is not prime. Res64: 072668B689AA7849 Time : 0.0 sec. user=mdettweiler [2013-06-21 03:34:56] 783*2^1247115-1 is not prime. Res64: 7A674536A7291D65 Time : 0.0 sec. user=mdettweiler [2013-06-21 03:39:33] 853*2^1247115-1 is not prime. Res64: 77A0B4AFFF25C738 Time : 0.0 sec. user=mdettweiler [2013-06-21 03:39:34] 871*2^1247115-1 is not prime. Res64: 13864CC1E4CC6EC5 Time : 0.0 sec. user=vaughan [2013-06-21 03:51:44] 983*2^1247114-1 is not prime. Res64: E7DF834382270F98 Time : 0.0 sec. user=mdettweiler [2013-06-21 03:53:01] 951*2^1247115-1 is not prime. Res64: 5452185F1862D894 Time : 0.0 sec. user=mdettweiler [2013-06-21 03:57:16] 759*2^1247116-1 is not prime. Res64: A271CFAEEF688370 Time : 0.0 sec. user=vaughan [2013-06-21 04:30:23] 855*2^1247116-1 is not prime. Res64: E7FF03FBAF287162 Time : 0.0 sec. user=mdettweiler [2013-06-21 04:32:55] 717*2^1247116-1 is not prime. Res64: 30238687FCECA069 Time : 0.0 sec. user=mdettweiler [2013-06-21 04:41:00] 773*2^1247116-1 is not prime. Res64: 4A2CF0B014A56812 Time : 0.0 sec. user=mdettweiler [2013-06-21 05:17:16] 923*2^1247116-1 is not prime. Res64: 64E7152BF31337CD Time : 0.0 sec. user=mdettweiler [2013-06-21 05:17:17] 619*2^1247117-1 is not prime. Res64: C5303D69A1689D23 Time : 0.0 sec. user=mdettweiler [2013-06-21 05:34:56] 699*2^1247117-1 is not prime. Res64: BE4583FAFA1FFB80 Time : 0.0 sec. user=mdettweiler [2013-06-21 05:35:18] 741*2^1247117-1 is not prime. Res64: 2374DDB31514CBFA Time : 0.0 sec. user=vaughan [2013-06-21 05:47:00] 697*2^1247117-1 is not prime. Res64: ED508110E8C86F6E Time : 0.0 sec. user=mdettweiler [2013-06-21 06:03:05] 805*2^1247117-1 is not prime. Res64: 64B14B2716C656DF Time : 0.0 sec. user=mdettweiler [2013-06-21 06:12:12] 711*2^1247117-1 is not prime. Res64: DAB98C9C5497E7FF Time : 0.0 sec. user=mdettweiler [2013-06-21 06:20:53] 927*2^1247117-1 is not prime. Res64: FC5CC01B26D9B95F Time : 0.0 sec. user=mdettweiler [2013-06-21 06:20:53] 957*2^1247117-1 is not prime. Res64: 44B7A5EABE475482 Time : 0.0 sec. user=vaughan [2013-06-21 06:25:02] 867*2^1247117-1 is not prime. Res64: D49C3CCDF7E6CE26 Time : 0.0 sec. user=mdettweiler [2013-06-21 06:38:42] 681*2^1247118-1 is not prime. Res64: DD68EB1CE28416D8 Time : 0.0 sec. user=mdettweiler [2013-06-21 06:38:43] 921*2^1247118-1 is not prime. Res64: E781CBADFAFFE5B9 Time : 0.0 sec. user=mdettweiler [2013-06-21 06:51:58] 765*2^1247119-1 is not prime. Res64: 644286CACE1D447A Time : 0.0 sec. user=mdettweiler [2013-06-21 06:51:59] 853*2^1247119-1 is not prime. Res64: 5928BDB79612B07F Time : 0.0 sec. user=mdettweiler [2013-06-21 06:56:23] 859*2^1247119-1 is not prime. Res64: FB6DCB9D0756581C Time : 0.0 sec. user=mdettweiler [2013-06-21 06:56:23] 913*2^1247119-1 is not prime. Res64: 8CDAD3FFDD597D9C Time : 0.0 sec. user=vaughan [2013-06-21 07:08:05] 945*2^1247118-1 is not prime. Res64: 821B40F7FAD482A4 Time : 0.0 sec. user=mdettweiler [2013-06-21 07:11:06] 975*2^1247119-1 is not prime. Res64: DEB84BE799F28080 Time : 0.0 sec. user=mdettweiler [2013-06-21 07:14:00] 743*2^1247120-1 is not prime. Res64: 3648CCB2716BC79E Time : 0.0 sec. user=mdettweiler [2013-06-21 07:14:00] 803*2^1247120-1 is not prime. Res64: 1D6626317A6127DC Time : 0.0 sec. user=mdettweiler [2013-06-21 07:32:50] 677*2^1247120-1 is not prime. Res64: 6CD225EBEE3183DD Time : 0.0 sec. user=mdettweiler [2013-06-21 07:32:50] 845*2^1247120-1 is not prime. Res64: 2A132F794F27E596 Time : 0.0 sec. user=vaughan [2013-06-21 07:47:17] 879*2^1247120-1 is not prime. Res64: F1EA5625B555918E Time : 0.0 sec. user=mdettweiler [2013-06-21 08:10:56] 977*2^1247120-1 is not prime. Res64: A7D6E728FA179D70 Time : 0.0 sec. user=mdettweiler [2013-06-21 08:17:16] 795*2^1247121-1 is not prime. Res64: 357CF7456FF65162 Time : 0.0 sec. user=mdettweiler [2013-06-21 08:28:35] 895*2^1247121-1 is not prime. Res64: 9C8EEE15C269C5EC Time : 0.0 sec. user=mdettweiler [2013-06-21 08:28:36] 907*2^1247121-1 is not prime. Res64: 9CCC0584F6643395 Time : 0.0 sec. user=mdettweiler [2013-06-21 08:46:23] 653*2^1247122-1 is not prime. Res64: 03872493AB1D4E15 Time : 0.0 sec. user=mdettweiler [2013-06-21 08:46:24] 701*2^1247122-1 is not prime. Res64: 11089C3E377B2115 Time : 0.0 sec. user=mdettweiler [2013-06-21 08:53:37] 811*2^1247121-1 is not prime. Res64: 2A8CD244D7C85243 Time : 0.0 sec. user=mdettweiler [2013-06-21 09:04:14] 723*2^1247122-1 is not prime. Res64: 88EBE570517ABBD0 Time : 0.0 sec. user=mdettweiler [2013-06-21 09:04:15] 609*2^1247123-1 is not prime. Res64: 977241F322CDE803 Time : 0.0 sec. user=vaughan [2013-06-21 09:08:35] 979*2^1247121-1 is not prime. Res64: D5E2AE858F815E4B Time : 0.0 sec. user=mdettweiler [2013-06-21 09:22:16] 775*2^1247123-1 is not prime. Res64: 99D57D92956E66DB Time : 0.0 sec. user=mdettweiler [2013-06-21 09:40:47] 879*2^1247123-1 is not prime. Res64: AFC07410D046F64C Time : 0.0 sec. user=mdettweiler [2013-06-21 09:41:43] 963*2^1247123-1 is not prime. Res64: 22985434BBC2A644 Time : 0.0 sec. user=mdettweiler [2013-06-21 09:41:44] 981*2^1247123-1 is not prime. Res64: F93EB836B14F8E63 Time : 0.0 sec. user=vaughan [2013-06-21 09:51:48] 921*2^1247123-1 is not prime. Res64: 91AC5DB45F879369 Time : 0.0 sec. user=mdettweiler [2013-06-21 09:59:08] 999*2^1247123-1 is not prime. Res64: 72CD99E8C00514C7 Time : 0.0 sec. user=mdettweiler [2013-06-21 09:59:08] 635*2^1247124-1 is not prime. Res64: A4438159265D55C0 Time : 0.0 sec. user=mdettweiler [2013-06-21 09:59:30] 663*2^1247124-1 is not prime. Res64: E977DB61A3867252 Time : 0.0 sec. user=mdettweiler [2013-06-21 10:16:43] 749*2^1247124-1 is not prime. Res64: 66A55C366E9B3078 Time : 0.0 sec. user=mdettweiler [2013-06-21 10:16:43] 753*2^1247124-1 is not prime. Res64: 0A878DD65D583D7E Time : 0.0 sec. user=vaughan [2013-06-21 10:30:06] 689*2^1247124-1 is not prime. Res64: 60279A4D9A5AA12F Time : 0.0 sec. user=mdettweiler [2013-06-21 10:33:02] 675*2^1247124-1 is not prime. Res64: FA05B96FCDFB27EB Time : 0.0 sec. user=mdettweiler [2013-06-21 10:34:25] 795*2^1247124-1 is not prime. Res64: FA818582EA3ACA29 Time : 0.0 sec. user=mdettweiler [2013-06-21 10:50:52] 857*2^1247124-1 is not prime. Res64: DA3E74E6043A8D03 Time : 0.0 sec. user=mdettweiler [2013-06-21 10:50:52] 929*2^1247124-1 is not prime. Res64: F75C94BC8E7E6903 Time : 0.0 sec. user=mdettweiler [2013-06-21 10:53:09] 837*2^1247124-1 is not prime. Res64: E12E4E4597502960 Time : 0.0 sec. user=mdettweiler [2013-06-21 11:09:13] 965*2^1247124-1 is not prime. Res64: 63760BF4B4411345 Time : 0.0 sec. user=mdettweiler [2013-06-21 11:09:13] 789*2^1247125-1 is not prime. Res64: A1F2DF29B8D726C9 Time : 0.0 sec. user=mdettweiler [2013-06-21 11:10:42] 927*2^1247125-1 is not prime. Res64: D98E851724DE9ADA Time : 0.0 sec. user=mdettweiler [2013-06-21 11:10:43] 615*2^1247126-1 is not prime. Res64: 5877A0DA2005736A Time : 0.0 sec. user=mdettweiler [2013-06-21 11:27:02] 911*2^1247126-1 is not prime. Res64: 6619B4DBF57A6D3C Time : 0.0 sec. user=mdettweiler [2013-06-21 11:27:03] 941*2^1247126-1 is not prime. Res64: 530344EFF3DE69B7 Time : 0.0 sec. user=mdettweiler [2013-06-21 11:28:32] 633*2^1247127-1 is not prime. Res64: DA442C3C90DB3B12 Time : 0.0 sec. user=mdettweiler [2013-06-21 11:28:33] 751*2^1247127-1 is not prime. Res64: 88489F547EB268D4 Time : 0.0 sec. user=mdettweiler [2013-06-21 11:44:48] 823*2^1247127-1 is not prime. Res64: EB440D6DFC00224C Time : 0.0 sec. user=mdettweiler [2013-06-21 11:46:13] 873*2^1247127-1 is not prime. Res64: DB538CDFD952AED5 Time : 0.0 sec. user=mdettweiler [2013-06-21 11:46:13] 885*2^1247127-1 is not prime. Res64: 546F2CD9A701C6D3 Time : 0.0 sec. user=vaughan [2013-06-21 11:46:56] 707*2^1247126-1 is not prime. Res64: 46DDAF977A6EB83C Time : 0.0 sec. user=mdettweiler [2013-06-21 12:04:09] 913*2^1247127-1 is not prime. Res64: 242832F2564B484B Time : 0.0 sec. user=mdettweiler [2013-06-21 12:13:06] 861*2^1247127-1 is not prime. Res64: F106613B23C13918 Time : 0.0 sec. user=mdettweiler [2013-06-21 12:30:52] 665*2^1247128-1 is not prime. Res64: 8FD9EE76CE7EA580 Time : 0.0 sec. user=mdettweiler [2013-06-21 12:30:53] 695*2^1247128-1 is not prime. Res64: 03A48231F115B58A Time : 0.0 sec. user=mdettweiler [2013-06-21 12:37:38] 605*2^1247128-1 is not prime. Res64: 8B1C398EC145BE83 Time : 0.0 sec. user=mdettweiler [2013-06-21 12:48:36] 899*2^1247128-1 is not prime. Res64: 6C54AC8F5F8CD0D3 Time : 0.0 sec. user=mdettweiler [2013-06-21 12:55:47] 631*2^1247129-1 is not prime. Res64: 97BCEDD4D86E51EE Time : 0.0 sec. user=vaughan [2013-06-21 13:03:23] 747*2^1247128-1 is not prime. Res64: 239350A203089BE3 Time : 0.0 sec. user=mdettweiler [2013-06-21 13:21:13] 699*2^1247129-1 is not prime. Res64: 16A69C92A9E61E00 Time : 0.0 sec. user=mdettweiler [2013-06-21 13:39:01] 745*2^1247129-1 is not prime. Res64: 862D95B6DF3AFBEF Time : 0.0 sec. user=mdettweiler [2013-06-21 13:39:01] 747*2^1247129-1 is not prime. Res64: 81114B269BDBC48A Time : 0.0 sec. user=vaughan [2013-06-21 13:41:49] 735*2^1247129-1 is not prime. Res64: 1BF35BB2CDC31F49 Time : 0.0 sec. user=mdettweiler [2013-06-21 13:54:59] 905*2^1247128-1 is not prime. Res64: D791A9825DC9C985 Time : 0.0 sec. user=mdettweiler [2013-06-21 13:56:48] 789*2^1247129-1 is not prime. Res64: 4291C715C984029A Time : 0.0 sec. user=mdettweiler [2013-06-21 14:20:17] 829*2^1247129-1 is not prime. Res64: F94BB67DB4EC05E7 Time : 0.0 sec. user=mdettweiler [2013-06-21 14:38:37] 861*2^1247129-1 is not prime. Res64: 12A85697600DD7D7 Time : 0.0 sec. user=mdettweiler [2013-06-21 14:38:37] 939*2^1247129-1 is not prime. Res64: 248FCB909713DB22 Time : 0.0 sec. user=mdettweiler [2013-06-21 14:51:47] 611*2^1247130-1 is not prime. Res64: 8EE4FCEC9809CD3E Time : 0.0 sec. user=mdettweiler [2013-06-21 14:56:52] 741*2^1247130-1 is not prime. Res64: 85BC1D0AF5F063C5 Time : 0.0 sec. user=vaughan [2013-06-21 14:58:33] 831*2^1247129-1 is not prime. Res64: 8BD685DC84B05B66 Time : 0.0 sec. user=mdettweiler [2013-06-21 15:16:28] 677*2^1247130-1 is not prime. Res64: 28F1BC3675910F11 Time : 0.0 sec. user=mdettweiler [2013-06-21 15:22:58] 843*2^1247130-1 is not prime. Res64: D82A83CCBCB9B81D Time : 0.0 sec. user=mdettweiler [2013-06-21 15:34:42] 845*2^1247130-1 is not prime. Res64: 00E330AA01274C5F Time : 0.0 sec. user=mdettweiler [2013-06-21 15:41:00] 735*2^1247131-1 is not prime. Res64: 88F1F4AB8B29E889 Time : 0.0 sec. user=mdettweiler [2013-06-21 15:41:00] 895*2^1247131-1 is not prime. Res64: 9093905448033FCB Time : 0.0 sec. user=mdettweiler [2013-06-21 15:59:05] 669*2^1247132-1 is not prime. Res64: B785CBA1C20998AD Time : 0.0 sec. user=mdettweiler [2013-06-21 15:59:06] 677*2^1247132-1 is not prime. Res64: C6DEA6EC49BD61CF Time : 0.0 sec. user=vaughan [2013-06-21 16:15:07] 635*2^1247132-1 is not prime. Res64: A8A4854E834A3CC9 Time : 0.0 sec. user=mdettweiler [2013-06-21 16:17:20] 755*2^1247132-1 is not prime. Res64: A56F10DCEEE6F53B Time : 0.0 sec. user=mdettweiler [2013-06-21 16:40:24] 685*2^1247131-1 is not prime. Res64: 858F982C92D27633 Time : 0.0 sec. user=mdettweiler [2013-06-21 16:40:24] 777*2^1247132-1 is not prime. Res64: 9C991A228D227B66 Time : 0.0 sec. user=vaughan [2013-06-21 16:53:27] 855*2^1247132-1 is not prime. Res64: 09E0F6E60BCA7F2B Time : 0.0 sec. user=mdettweiler [2013-06-21 16:58:21] 679*2^1247133-1 is not prime. Res64: 9B49E674EB4191F0 Time : 0.0 sec. user=mdettweiler [2013-06-21 16:58:22] 735*2^1247133-1 is not prime. Res64: 9D0B94BD0ED2CB47 Time : 0.0 sec. user=mdettweiler [2013-06-21 17:16:34] 817*2^1247133-1 is not prime. Res64: 696EDE73F9F498E9 Time : 0.0 sec. user=mdettweiler [2013-06-21 17:16:35] 937*2^1247133-1 is not prime. Res64: 2B79EE360ADA8034 Time : 0.0 sec. user=mdettweiler [2013-06-21 17:26:46] 961*2^1247133-1 is not prime. Res64: 90ADFB212E51BC60 Time : 0.0 sec. user=mdettweiler [2013-06-21 17:26:46] 815*2^1247134-1 is not prime. Res64: 7D7ED3C245F6F1AD Time : 0.0 sec. user=mdettweiler [2013-06-21 17:34:30] 891*2^1247134-1 is not prime. Res64: EA3442558D0860B0 Time : 0.0 sec. user=mdettweiler [2013-06-21 17:34:30] 917*2^1247134-1 is not prime. Res64: 9E98C39D1221C19F Time : 0.0 sec. user=mdettweiler [2013-06-21 17:45:34] 957*2^1247134-1 is not prime. Res64: 0E22F4B6394AB118 Time : 0.0 sec. user=mdettweiler [2013-06-21 17:45:34] 987*2^1247134-1 is not prime. Res64: DC8916A27D18167B Time : 0.0 sec. user=mdettweiler [2013-06-21 17:53:08] 693*2^1247135-1 is not prime. Res64: BEA3FA0D31CB85B7 Time : 0.0 sec. user=vaughan [2013-06-21 18:14:51] 1001*2^1247134-1 is not prime. Res64: C3DCB55BB33DB0C3 Time : 0.0 sec. user=mdettweiler [2013-06-21 18:21:15] 771*2^1247135-1 is not prime. Res64: 59E7095CB0495174 Time : 0.0 sec. user=mdettweiler [2013-06-21 18:24:10] 831*2^1247135-1 is not prime. Res64: CEFFBD25CA5CACD0 Time : 0.0 sec. user=mdettweiler [2013-06-21 18:39:11] 633*2^1247136-1 is not prime. Res64: 9946B4AD4918CDCA Time : 0.0 sec. user=mdettweiler [2013-06-21 18:39:11] 857*2^1247136-1 is not prime. Res64: 01B56874C49D9590 Time : 0.0 sec. user=mdettweiler [2013-06-21 18:53:01] 973*2^1247135-1 is not prime. Res64: AAE83EF4C2D71002 Time : 0.0 sec. user=mdettweiler [2013-06-21 18:57:21] 867*2^1247136-1 is not prime. Res64: 2EC7B55CDCE8D5C7 Time : 0.0 sec. user=mdettweiler [2013-06-21 18:57:22] 873*2^1247136-1 is not prime. Res64: 9C9161485BB24A44 Time : 0.0 sec. user=vaughan [2013-06-21 18:58:02] 979*2^1247135-1 is not prime. Res64: A73EED9084BE8720 Time : 0.0 sec. user=mdettweiler [2013-06-21 19:12:17] 893*2^1247136-1 is not prime. Res64: 286A0FF4A46228A1 Time : 0.0 sec. user=mdettweiler [2013-06-21 19:12:18] 975*2^1247136-1 is not prime. Res64: D86C5DD7593CD7B6 Time : 0.0 sec. user=mdettweiler [2013-06-21 19:15:16] 601*2^1247137-1 is not prime. Res64: 2AFD50436263F7BA Time : 0.0 sec. user=mdettweiler [2013-06-21 19:15:17] 625*2^1247137-1 is not prime. Res64: 5A2C0B4D300120DE Time : 0.0 sec. user=mdettweiler [2013-06-21 19:30:15] 799*2^1247137-1 is not prime. Res64: 3C331DA60615B890 Time : 0.0 sec. user=mdettweiler [2013-06-21 19:30:16] 945*2^1247137-1 is not prime. Res64: 8D2CE9F7F0B27DB9 Time : 0.0 sec. user=mdettweiler [2013-06-21 19:33:40] 641*2^1247138-1 is not prime. Res64: B33CB47C7A0007B5 Time : 0.0 sec. user=vaughan [2013-06-21 19:36:30] 639*2^1247137-1 is not prime. Res64: 82696F26ABA5F325 Time : 0.0 sec. user=mdettweiler [2013-06-21 19:48:51] 797*2^1247138-1 is not prime. Res64: FE5F34DA2A3FF598 Time : 0.0 sec. user=mdettweiler [2013-06-21 19:56:38] 677*2^1247138-1 is not prime. Res64: 08DFC24AD8255187 Time : 0.0 sec. user=mdettweiler [2013-06-21 20:15:08] 893*2^1247138-1 is not prime. Res64: A397A8D2BD92C9AE Time : 0.0 sec. user=mdettweiler [2013-06-21 20:50:30] 823*2^1247139-1 is not prime. Res64: 7564A8D7E26B72A8 Time : 0.0 sec. user=mdettweiler [2013-06-21 20:50:30] 853*2^1247139-1 is not prime. Res64: F4CBD54F99A2A001 Time : 0.0 sec. user=vaughan [2013-06-21 20:58:01] 953*2^1247138-1 is not prime. Res64: 705D3BF2D5CAB2B1 Time : 0.0 sec. user=mdettweiler [2013-06-21 21:09:43] 891*2^1247139-1 is not prime. Res64: B91A4F3AE1128AF1 Time : 0.0 sec. user=mdettweiler [2013-06-21 21:10:48] 603*2^1247140-1 is not prime. Res64: 4C42ACE2D75D61E9 Time : 0.0 sec. user=vaughan [2013-06-21 21:36:15] 689*2^1247140-1 is not prime. Res64: 596513BAD6041CB7 Time : 0.0 sec. user=mdettweiler [2013-06-21 21:49:05] 991*2^1247139-1 is not prime. Res64: DDBAEE7F478974F4 Time : 0.0 sec. user=mdettweiler [2013-06-21 21:51:54] 653*2^1247140-1 is not prime. Res64: 04B3DC1E2BD1E206 Time : 0.0 sec. user=mdettweiler [2013-06-21 22:07:02] 765*2^1247140-1 is not prime. Res64: 3DE4E8863465AC06 Time : 0.0 sec. user=mdettweiler [2013-06-21 22:07:03] 783*2^1247140-1 is not prime. Res64: E56329923AF1477C Time : 0.0 sec. user=mdettweiler [2013-06-21 22:26:22] 939*2^1247140-1 is not prime. Res64: 63BDFFE5D109FEE5 Time : 0.0 sec. user=mdettweiler [2013-06-21 22:35:42] 649*2^1247141-1 is not prime. Res64: 2EBCCDBB7F81774E Time : 0.0 sec. user=mdettweiler [2013-06-21 22:35:43] 657*2^1247141-1 is not prime. Res64: 922AC8A395154587 Time : 0.0 sec. user=vaughan [2013-06-21 22:52:42] 631*2^1247141-1 is not prime. Res64: AD453365EFA3A5C1 Time : 0.0 sec. user=mdettweiler [2013-06-21 22:54:49] 789*2^1247141-1 is not prime. Res64: 8DE7CFF977EBB06B Time : 0.0 sec. user=mdettweiler [2013-06-21 22:55:56] 995*2^1247140-1 is not prime. Res64: 57E18DA45114D093 Time : 0.0 sec. user=mdettweiler [2013-06-21 23:14:04] 725*2^1247142-1 is not prime. Res64: 88A738A8D5E846DD Time : 0.0 sec. user=mdettweiler [2013-06-21 23:14:05] 777*2^1247142-1 is not prime. Res64: 1DC219147BA8BB80 Time : 0.0 sec. user=mdettweiler [2013-06-21 23:20:13] 981*2^1247141-1 is not prime. Res64: 06FF496E902CD10E Time : 0.0 sec. user=vaughan [2013-06-21 23:30:47] 621*2^1247142-1 is not prime. Res64: 2B7403E0EEDACDD0 Time : 0.0 sec. user=mdettweiler [2013-06-21 23:32:27] 821*2^1247142-1 is not prime. Res64: 83B1CD0EE9249285 Time : 0.0 sec.