user=mdettweiler [2013-05-24 00:11:43] 845*2^1246198-1 is not prime. Res64: CB70CBBEF1DD2EED Time : 0.0 sec. user=mdettweiler [2013-05-24 00:28:31] 867*2^1246198-1 is not prime. Res64: D89D6825E2BDFAC2 Time : 0.0 sec. user=mdettweiler [2013-05-24 00:28:31] 891*2^1246198-1 is not prime. Res64: 9FBF8CC56CD7C6B4 Time : 0.0 sec. user=mdettweiler [2013-05-24 00:30:05] 941*2^1246198-1 is not prime. Res64: 211125D72DE562C1 Time : 0.0 sec. user=mdettweiler [2013-05-24 00:30:05] 971*2^1246198-1 is not prime. Res64: 4605D73FB151ED29 Time : 0.0 sec. user=mdettweiler [2013-05-24 00:47:44] 1001*2^1246198-1 is not prime. Res64: 281C5E80796ECE98 Time : 0.0 sec. user=mdettweiler [2013-05-24 00:47:44] 655*2^1246199-1 is not prime. Res64: 5BE4B26C227EE48F Time : 0.0 sec. user=mdettweiler [2013-05-24 00:48:22] 753*2^1246199-1 is not prime. Res64: CD7A12C25CF3ADA7 Time : 0.0 sec. user=mdettweiler [2013-05-24 00:48:23] 895*2^1246199-1 is not prime. Res64: D339E858EBD78F68 Time : 0.0 sec. user=mdettweiler [2013-05-24 01:07:00] 999*2^1246199-1 is not prime. Res64: 0B4F183622A0BAC9 Time : 0.0 sec. user=mdettweiler [2013-05-24 01:07:02] 719*2^1246200-1 is not prime. Res64: 775EACF8E83DE750 Time : 0.0 sec. user=mdettweiler [2013-05-24 01:07:02] 725*2^1246200-1 is not prime. Res64: 25CE404FBFA6381B Time : 0.0 sec. user=mdettweiler [2013-05-24 01:25:33] 737*2^1246200-1 is not prime. Res64: FAB96B371C0541FF Time : 0.0 sec. user=mdettweiler [2013-05-24 01:42:47] 615*2^1246200-1 is not prime. Res64: 36E983907AC92BBE Time : 0.0 sec. user=mdettweiler [2013-05-24 02:01:00] 843*2^1246200-1 is not prime. Res64: E670F7D99050413E Time : 0.0 sec. user=mdettweiler [2013-05-24 02:01:00] 857*2^1246200-1 is not prime. Res64: 2EC173F0D77DE7E8 Time : 0.0 sec. user=mdettweiler [2013-05-24 02:19:30] 863*2^1246200-1 is not prime. Res64: CFFC4E238E8DFEEF Time : 0.0 sec. user=mdettweiler [2013-05-24 02:19:30] 873*2^1246200-1 is not prime. Res64: D5B0C02C654D1A6F Time : 0.0 sec. user=mdettweiler [2013-05-24 02:22:46] 765*2^1246200-1 is not prime. Res64: F85023D221D93409 Time : 0.0 sec. user=mdettweiler [2013-05-24 02:37:40] 909*2^1246200-1 is not prime. Res64: E179F3DF76303150 Time : 0.0 sec. user=mdettweiler [2013-05-24 02:37:40] 975*2^1246200-1 is not prime. Res64: 85D63249CD053FC7 Time : 0.0 sec. user=mdettweiler [2013-05-24 02:40:41] 685*2^1246201-1 is not prime. Res64: B9360098CB06F1ED Time : 0.0 sec. user=mdettweiler [2013-05-24 02:41:10] 819*2^1246201-1 is not prime. Res64: F01A3050E407FE01 Time : 0.0 sec. user=mdettweiler [2013-05-24 02:56:43] 955*2^1246201-1 is not prime. Res64: CFF94D5741831DB3 Time : 0.0 sec. user=mdettweiler [2013-05-24 03:21:12] 623*2^1246202-1 is not prime. Res64: B166B6DF3122CF45 Time : 0.0 sec. user=mdettweiler [2013-05-24 03:21:13] 671*2^1246202-1 is not prime. Res64: 3773C3E0A20B7170 Time : 0.0 sec. user=mdettweiler [2013-05-24 03:34:32] 999*2^1246201-1 is not prime. Res64: 3F8C7CAC3D8AD121 Time : 0.0 sec. user=mdettweiler [2013-05-24 03:39:03] 797*2^1246202-1 is not prime. Res64: 75656374EC74463F Time : 0.0 sec. user=mdettweiler [2013-05-24 03:52:22] 831*2^1246202-1 is not prime. Res64: 9F177E86142FE0CF Time : 0.0 sec. user=mdettweiler [2013-05-24 03:52:22] 963*2^1246202-1 is not prime. Res64: 54F3CE0AE50DF02D Time : 0.0 sec. user=mdettweiler [2013-05-24 03:59:23] 801*2^1246202-1 is not prime. Res64: 1F2A91C8828F42A1 Time : 0.0 sec. user=mdettweiler [2013-05-24 04:12:23] 983*2^1246202-1 is not prime. Res64: B5F04173897CF3A2 Time : 0.0 sec. user=mdettweiler [2013-05-24 04:17:03] 723*2^1246203-1 is not prime. Res64: 03547BEE73139C3F Time : 0.0 sec. user=mdettweiler [2013-05-24 04:17:03] 751*2^1246203-1 is not prime. Res64: 13B9FD43F6AE394D Time : 0.0 sec. user=mdettweiler [2013-05-24 04:35:28] 783*2^1246203-1 is not prime. Res64: E7997012E827750B Time : 0.0 sec. user=mdettweiler [2013-05-24 04:46:55] 995*2^1246202-1 is not prime. Res64: CDFAC218DF8C8C31 Time : 0.0 sec. user=mdettweiler [2013-05-24 05:04:42] 973*2^1246203-1 is not prime. Res64: 3DCCD80F6E754658 Time : 0.0 sec. user=mdettweiler [2013-05-24 05:04:43] 705*2^1246204-1 is not prime. Res64: 09777B7286D3468A Time : 0.0 sec. user=mdettweiler [2013-05-24 05:13:15] 895*2^1246203-1 is not prime. Res64: A481BF7C16B58B00 Time : 0.0 sec. user=mdettweiler [2013-05-24 05:22:53] 743*2^1246204-1 is not prime. Res64: 1C7E18AA27503923 Time : 0.0 sec. user=mdettweiler [2013-05-24 05:22:53] 813*2^1246204-1 is not prime. Res64: AFCF43FD5C3F28FC Time : 0.0 sec. user=mdettweiler [2013-05-24 05:41:23] 863*2^1246204-1 is not prime. Res64: 2D7CD6D5CF9E91A2 Time : 0.0 sec. user=mdettweiler [2013-05-24 05:54:17] 915*2^1246204-1 is not prime. Res64: 6573F887E8FDB342 Time : 0.0 sec. user=mdettweiler [2013-05-24 05:54:17] 965*2^1246204-1 is not prime. Res64: 8D6134E405E31D7C Time : 0.0 sec. user=juhehe [2013-05-24 06:03:39] 995*2^1246204-1 is not prime. Res64: 6308072BE08DC523 Time : 0.0 sec. user=mdettweiler [2013-05-24 06:04:43] 909*2^1246204-1 is not prime. Res64: 5101E594E4F4989C Time : 0.0 sec. user=mdettweiler [2013-05-24 06:12:10] 697*2^1246205-1 is not prime. Res64: CBC719EADE5C204F Time : 0.0 sec. user=mdettweiler [2013-05-24 06:12:10] 837*2^1246205-1 is not prime. Res64: BBD05973021C9F7F Time : 0.0 sec. user=mdettweiler [2013-05-24 06:31:10] 981*2^1246205-1 is not prime. Res64: 778F6B06E5E5FAC2 Time : 0.0 sec. user=mdettweiler [2013-05-24 06:31:10] 647*2^1246206-1 is not prime. Res64: 9370F6AFA642D63B Time : 0.0 sec. user=mdettweiler [2013-05-24 06:49:02] 717*2^1246206-1 is not prime. Res64: 14A875839E94F84C Time : 0.0 sec. user=mdettweiler [2013-05-24 06:49:03] 761*2^1246206-1 is not prime. Res64: 0BB4DE0BF651706B Time : 0.0 sec. user=mdettweiler [2013-05-24 06:52:32] 861*2^1246206-1 is not prime. Res64: 6D9D1F60FD1C7707 Time : 0.0 sec. user=mdettweiler [2013-05-24 07:07:04] 947*2^1246206-1 is not prime. Res64: B909A00AD0E9EF30 Time : 0.0 sec. user=mdettweiler [2013-05-24 07:35:57] 933*2^1246206-1 is not prime. Res64: 0CB441457B0BC84D Time : 0.0 sec. user=juhehe [2013-05-24 07:45:34] 993*2^1246206-1 is not prime. Res64: 6198F044A64B646F Time : 0.0 sec. user=mdettweiler [2013-05-24 07:46:19] 975*2^1246206-1 is not prime. Res64: A9419263081FC120 Time : 0.0 sec. user=mdettweiler [2013-05-24 07:53:47] 603*2^1246207-1 is not prime. Res64: EA6A6D20F07274C1 Time : 0.0 sec. user=mdettweiler [2013-05-24 07:54:04] 645*2^1246207-1 is not prime. Res64: 10803AB6E068D7B1 Time : 0.0 sec. user=mdettweiler [2013-05-24 08:31:54] 649*2^1246207-1 is not prime. Res64: 5555B6BF4B9DEE17 Time : 0.0 sec. user=mdettweiler [2013-05-24 08:31:54] 703*2^1246207-1 is not prime. Res64: 6A6D16BA04AD3B74 Time : 0.0 sec. user=mdettweiler [2013-05-24 08:49:50] 829*2^1246207-1 is not prime. Res64: A97F4F1ECF2D795E Time : 0.0 sec. user=mdettweiler [2013-05-24 08:51:14] 861*2^1246207-1 is not prime. Res64: 6DF04AB557696502 Time : 0.0 sec. user=mdettweiler [2013-05-24 09:17:33] 885*2^1246207-1 is not prime. Res64: F8AE81C461EBCEF0 Time : 0.0 sec. user=juhehe [2013-05-24 09:23:17] 889*2^1246207-1 is not prime. Res64: B73BF09560FBB507 Time : 0.0 sec. user=mdettweiler [2013-05-24 09:29:37] 831*2^1246207-1 is not prime. Res64: 01B74E01D80734D3 Time : 0.0 sec. user=mdettweiler [2013-05-24 10:06:59] 913*2^1246207-1 is not prime. Res64: A56BAE34672B30DF Time : 0.0 sec. user=mdettweiler [2013-05-24 10:07:42] 961*2^1246207-1 is not prime. Res64: 00F977BCB23D6AF5 Time : 0.0 sec. user=mdettweiler [2013-05-24 10:40:32] 939*2^1246207-1 is not prime. Res64: 6F558ACD7BA6F149 Time : 0.0 sec. user=mdettweiler [2013-05-24 10:44:50] 973*2^1246207-1 is not prime. Res64: 358C3D4DED2F8770 Time : 0.0 sec. user=mdettweiler [2013-05-24 10:58:39] 687*2^1246208-1 is not prime. Res64: AF41852C4DAC3160 Time : 0.0 sec. user=juhehe [2013-05-24 11:01:20] 633*2^1246208-1 is not prime. Res64: 80790B173FD94498 Time : 0.0 sec. user=mdettweiler [2013-05-24 11:17:59] 713*2^1246208-1 is not prime. Res64: 7FBF75131E8E83FC Time : 0.0 sec. user=mdettweiler [2013-05-24 11:35:41] 743*2^1246208-1 is not prime. Res64: 99DB2619B11245A2 Time : 0.0 sec. user=mdettweiler [2013-05-24 11:35:41] 789*2^1246208-1 is not prime. Res64: F442524482BC0A6F Time : 0.0 sec. user=mdettweiler [2013-05-24 11:37:57] 945*2^1246208-1 is not prime. Res64: A0A0F1DAD03C41A4 Time : 0.0 sec. user=mdettweiler [2013-05-24 11:37:57] 977*2^1246208-1 is not prime. Res64: 0525C3E7187F4350 Time : 0.0 sec. user=mdettweiler [2013-05-24 11:53:34] 601*2^1246209-1 is not prime. Res64: 855DC495FBB7F288 Time : 0.0 sec. user=mdettweiler [2013-05-24 11:53:34] 615*2^1246209-1 is not prime. Res64: 3F91389343CDB658 Time : 0.0 sec. user=mdettweiler [2013-05-24 11:56:03] 625*2^1246209-1 is not prime. Res64: CA7E0C8F7379526E Time : 0.0 sec. user=mdettweiler [2013-05-24 11:56:03] 679*2^1246209-1 is not prime. Res64: 2832A67C99BE333E Time : 0.0 sec. user=mdettweiler [2013-05-24 12:11:31] 741*2^1246209-1 is not prime. Res64: 55B7CCFB86A60E6B Time : 0.0 sec. user=mdettweiler [2013-05-24 12:11:32] 765*2^1246209-1 is not prime. Res64: 1C06AFF5F0BAB48F Time : 0.0 sec. user=mdettweiler [2013-05-24 12:14:44] 861*2^1246209-1 is not prime. Res64: 5CF2E364222C376E Time : 0.0 sec. user=mdettweiler [2013-05-24 12:14:45] 999*2^1246209-1 is not prime. Res64: DA93A18F2E93F5CD Time : 0.0 sec. user=mdettweiler [2013-05-24 12:29:30] 645*2^1246210-1 is not prime. Res64: D7610DC84F0E3849 Time : 0.0 sec. user=mdettweiler [2013-05-24 12:29:30] 653*2^1246210-1 is not prime. Res64: 8432521C2DFFFD23 Time : 0.0 sec. user=mdettweiler [2013-05-24 12:32:41] 951*2^1246210-1 is not prime. Res64: 226C5618CDF3354B Time : 0.0 sec. user=mdettweiler [2013-05-24 12:32:42] 651*2^1246211-1 is not prime. Res64: 8D39A0571023193D Time : 0.0 sec. user=juhehe [2013-05-24 12:38:19] 733*2^1246211-1 is not prime. Res64: A3E6AED458DC3881 Time : 0.0 sec. user=mdettweiler [2013-05-24 12:47:08] 759*2^1246211-1 is not prime. Res64: 428F3E38AD9599F9 Time : 0.0 sec. user=mdettweiler [2013-05-24 12:47:08] 943*2^1246211-1 is not prime. Res64: 3C65BB18FEE5CF37 Time : 0.0 sec. user=mdettweiler [2013-05-24 12:50:42] 605*2^1246212-1 is not prime. Res64: BE0A43044DCD3565 Time : 0.0 sec. user=mdettweiler [2013-05-24 12:50:43] 779*2^1246212-1 is not prime. Res64: 9C16DEE1CA0928C6 Time : 0.0 sec. user=mdettweiler [2013-05-24 13:04:46] 887*2^1246212-1 is not prime. Res64: C82E033A7B912D4D Time : 0.0 sec. user=mdettweiler [2013-05-24 13:04:47] 975*2^1246212-1 is not prime. Res64: 98E665D44C3129E0 Time : 0.0 sec. user=mdettweiler [2013-05-24 13:09:10] 987*2^1246212-1 is not prime. Res64: 68981B2C0D2E419D Time : 0.0 sec. user=mdettweiler [2013-05-24 13:09:12] 699*2^1246213-1 is not prime. Res64: A9725AA9A9A9B022 Time : 0.0 sec. user=mdettweiler [2013-05-24 13:22:28] 937*2^1246213-1 is not prime. Res64: 4839BB6ACA59AE8A Time : 0.0 sec. user=mdettweiler [2013-05-24 13:22:29] 945*2^1246213-1 is not prime. Res64: 4CE9222CBB1BE5FB Time : 0.0 sec. user=mdettweiler [2013-05-24 13:27:05] 967*2^1246213-1 is not prime. Res64: 02D9BCFEE34545D1 Time : 0.0 sec. user=mdettweiler [2013-05-24 13:27:06] 635*2^1246214-1 is not prime. Res64: 8679EF64518420ED Time : 0.0 sec. user=mdettweiler [2013-05-24 13:40:36] 711*2^1246214-1 is not prime. Res64: 16DBB059CEF4BC49 Time : 0.0 sec. user=mdettweiler [2013-05-24 13:45:48] 773*2^1246214-1 is not prime. Res64: CFAA93142591B137 Time : 0.0 sec. user=mdettweiler [2013-05-24 14:01:37] 741*2^1246214-1 is not prime. Res64: 4E7DD02C1C3808C7 Time : 0.0 sec. user=mdettweiler [2013-05-24 14:08:22] 987*2^1246214-1 is not prime. Res64: B19E5B32909B308D Time : 0.0 sec. user=juhehe [2013-05-24 14:15:44] 823*2^1246215-1 is not prime. Res64: 854DFCEE11D01A8D Time : 0.0 sec. user=mdettweiler [2013-05-24 14:20:32] 979*2^1246215-1 is not prime. Res64: 14A08F0282B128FF Time : 0.0 sec. user=mdettweiler [2013-05-24 14:20:33] 675*2^1246216-1 is not prime. Res64: CBECC087A573F81A Time : 0.0 sec. user=mdettweiler [2013-05-24 14:26:04] 677*2^1246216-1 is not prime. Res64: EF67C424ED89F487 Time : 0.0 sec. user=mdettweiler [2013-05-24 14:26:05] 699*2^1246216-1 is not prime. Res64: C4A29E78688FEFAB Time : 0.0 sec. user=mdettweiler [2013-05-24 14:38:10] 833*2^1246216-1 is not prime. Res64: 75675B262DC387BC Time : 0.0 sec. user=mdettweiler [2013-05-24 14:38:11] 845*2^1246216-1 is not prime. Res64: BFBF1D258803DB85 Time : 0.0 sec. user=mdettweiler [2013-05-24 14:43:42] 909*2^1246216-1 is not prime. Res64: 43F1CC55537E46A7 Time : 0.0 sec. user=mdettweiler [2013-05-24 14:43:42] 615*2^1246217-1 is not prime. Res64: 3CDA4413E188768D Time : 0.0 sec. user=mdettweiler [2013-05-24 14:55:49] 675*2^1246217-1 is not prime. Res64: 2F3DE5A555375345 Time : 0.0 sec. user=mdettweiler [2013-05-24 14:55:50] 727*2^1246217-1 is not prime. Res64: AAB127B0B382CCB3 Time : 0.0 sec. user=mdettweiler [2013-05-24 15:01:28] 769*2^1246217-1 is not prime. Res64: 792E597B433FEB86 Time : 0.0 sec. user=mdettweiler [2013-05-24 15:13:46] 707*2^1246218-1 is not prime. Res64: 8A0025AD716DDB14 Time : 0.0 sec. user=mdettweiler [2013-05-24 15:13:47] 767*2^1246218-1 is not prime. Res64: 8286C14836297355 Time : 0.0 sec. user=mdettweiler [2013-05-24 15:23:09] 957*2^1246217-1 is not prime. Res64: BE6E17CC07EF019F Time : 0.0 sec. user=mdettweiler [2013-05-24 15:31:40] 867*2^1246218-1 is not prime. Res64: 732E2B6AB75F53EB Time : 0.0 sec. user=mdettweiler [2013-05-24 15:41:08] 945*2^1246218-1 is not prime. Res64: 24253F500D0DD5C6 Time : 0.0 sec. user=juhehe [2013-05-24 15:53:39] 691*2^1246219-1 is not prime. Res64: 5E9225A34D65CAC0 Time : 0.0 sec. user=mdettweiler [2013-05-24 15:56:31] 927*2^1246218-1 is not prime. Res64: 3DBAEA4228823B8D Time : 0.0 sec. user=mdettweiler [2013-05-24 15:59:42] 619*2^1246219-1 is not prime. Res64: 03BF3F671ECC1BC0 Time : 0.0 sec. user=juhehe [2013-05-24 16:15:58] 843*2^1246219-1 is not prime. Res64: DAFB18D4C8B2603C Time : 0.0 sec. user=mdettweiler [2013-05-24 16:17:45] 859*2^1246219-1 is not prime. Res64: AB437C0CD42D38FD Time : 0.0 sec. user=mdettweiler [2013-05-24 16:17:45] 975*2^1246219-1 is not prime. Res64: 6CE02793229A34F8 Time : 0.0 sec. user=mdettweiler [2013-05-24 16:35:25] 773*2^1246220-1 is not prime. Res64: C662B0F8C0F25444 Time : 0.0 sec. user=mdettweiler [2013-05-24 16:35:25] 795*2^1246220-1 is not prime. Res64: BF83C8CCC5145997 Time : 0.0 sec. user=juhehe [2013-05-24 16:38:20] 753*2^1246220-1 is not prime. Res64: EBFA356F2B8C4A94 Time : 0.0 sec. user=mdettweiler [2013-05-24 16:48:20] 875*2^1246220-1 is not prime. Res64: 98622430FA63248D Time : 0.0 sec. user=mdettweiler [2013-05-24 16:53:12] 669*2^1246221-1 is not prime. Res64: 3287B4D5C92B59F7 Time : 0.0 sec. user=mdettweiler [2013-05-24 17:11:47] 727*2^1246221-1 is not prime. Res64: 9E8C7824FCB056AE Time : 0.0 sec. user=mdettweiler [2013-05-24 17:18:17] 651*2^1246221-1 is not prime. Res64: 9E8CB0062EB7278D Time : 0.0 sec. user=mdettweiler [2013-05-24 17:29:54] 747*2^1246221-1 is not prime. Res64: E51397F7479769FB Time : 0.0 sec. user=mdettweiler [2013-05-24 17:58:37] 885*2^1246221-1 is not prime. Res64: 1DFA8540EA6B55AD Time : 0.0 sec. user=mdettweiler [2013-05-24 18:03:49] 921*2^1246221-1 is not prime. Res64: AF8B13FC2D6AFD5D Time : 0.0 sec. user=juhehe [2013-05-24 18:15:47] 651*2^1246222-1 is not prime. Res64: 1733C58E17D68CE5 Time : 0.0 sec. user=mdettweiler [2013-05-24 18:16:29] 717*2^1246222-1 is not prime. Res64: 8CD0F50EB715639A Time : 0.0 sec. user=mdettweiler [2013-05-24 18:22:48] 975*2^1246221-1 is not prime. Res64: 26AF4F7153E7E4CF Time : 0.0 sec. user=mdettweiler [2013-05-24 18:42:46] 765*2^1246222-1 is not prime. Res64: 52A23CD3908BD2E3 Time : 0.0 sec. user=mdettweiler [2013-05-24 19:00:24] 785*2^1246222-1 is not prime. Res64: C0088EE73852FF86 Time : 0.0 sec. user=mdettweiler [2013-05-24 19:00:25] 917*2^1246222-1 is not prime. Res64: 829BB19F34B34924 Time : 0.0 sec. user=mdettweiler [2013-05-24 19:12:04] 951*2^1246222-1 is not prime. Res64: 31AB3D91DC9ABB9A Time : 0.0 sec. user=mdettweiler [2013-05-24 19:18:22] 663*2^1246223-1 is not prime. Res64: 9D7E20ACA4C82F5C Time : 0.0 sec. user=mdettweiler [2013-05-24 19:18:23] 703*2^1246223-1 is not prime. Res64: 194FA43DA1C7AEB7 Time : 0.0 sec. user=mdettweiler [2013-05-24 19:35:52] 643*2^1246223-1 is not prime. Res64: FA570F86F532E952 Time : 0.0 sec. user=mdettweiler [2013-05-24 19:36:13] 741*2^1246223-1 is not prime. Res64: 6D0866595B18FE7F Time : 0.0 sec. user=mdettweiler [2013-05-24 19:53:42] 939*2^1246223-1 is not prime. Res64: 99C961C0872DC88F Time : 0.0 sec. user=juhehe [2013-05-24 19:53:42] 813*2^1246223-1 is not prime. Res64: FC330A586A7A2C6B Time : 0.0 sec. user=mdettweiler [2013-05-24 20:03:20] 753*2^1246223-1 is not prime. Res64: C2736DBEA86748C0 Time : 0.0 sec. user=mdettweiler [2013-05-24 20:17:08] 955*2^1246223-1 is not prime. Res64: 3B17E6438C40BB19 Time : 0.0 sec. user=mdettweiler [2013-05-24 20:48:07] 737*2^1246224-1 is not prime. Res64: 1546380E650020BD Time : 0.0 sec. user=mdettweiler [2013-05-24 20:48:07] 753*2^1246224-1 is not prime. Res64: 45A7DEEC0608B7EA Time : 0.0 sec. user=mdettweiler [2013-05-24 21:05:45] 837*2^1246224-1 is not prime. Res64: 3EC4BB6997995C29 Time : 0.0 sec. user=mdettweiler [2013-05-24 21:05:46] 915*2^1246224-1 is not prime. Res64: 3B683E05F383E89B Time : 0.0 sec. user=mdettweiler [2013-05-24 21:09:44] 607*2^1246225-1 is not prime. Res64: 7C16FD38CCEA8236 Time : 0.0 sec. user=mdettweiler [2013-05-24 21:09:46] 661*2^1246225-1 is not prime. Res64: 10F46DE20BD535BE Time : 0.0 sec. user=mdettweiler [2013-05-24 21:23:40] 777*2^1246225-1 is not prime. Res64: B560274EAB9E601B Time : 0.0 sec. user=mdettweiler [2013-05-24 21:28:17] 987*2^1246225-1 is not prime. Res64: 7ACAAA744E6EC1D3 Time : 0.0 sec. user=mdettweiler [2013-05-24 21:28:17] 651*2^1246226-1 is not prime. Res64: E0228593B4255149 Time : 0.0 sec. user=juhehe [2013-05-24 21:35:06] 975*2^1246225-1 is not prime. Res64: D84B873014F5F310 Time : 0.0 sec. user=mdettweiler [2013-05-24 21:46:04] 683*2^1246226-1 is not prime. Res64: 08BE2BD41A1CDC45 Time : 0.0 sec. user=mdettweiler [2013-05-24 21:58:12] 871*2^1246225-1 is not prime. Res64: 39B81D19D014E9C0 Time : 0.0 sec. user=mdettweiler [2013-05-24 22:07:20] 767*2^1246226-1 is not prime. Res64: E6E7BCA5BE4A818B Time : 0.0 sec. user=mdettweiler [2013-05-24 22:15:59] 813*2^1246226-1 is not prime. Res64: CDF99D8C78672174 Time : 0.0 sec. user=mdettweiler [2013-05-24 22:50:32] 903*2^1246226-1 is not prime. Res64: 56034DD9357D2A6C Time : 0.0 sec. user=mdettweiler [2013-05-24 22:51:35] 843*2^1246226-1 is not prime. Res64: 8B5AE1BE878E42EF Time : 0.0 sec. user=juhehe [2013-05-24 23:16:43] 945*2^1246226-1 is not prime. Res64: 37C8421F35A4DF2A Time : 0.0 sec. user=mdettweiler [2013-05-24 23:23:04] 911*2^1246226-1 is not prime. Res64: A128354CD8853C9D Time : 0.0 sec. user=mdettweiler [2013-05-24 23:28:41] 669*2^1246227-1 is not prime. Res64: 6C38128A0A465AFD Time : 0.0 sec. user=mdettweiler [2013-05-24 23:28:42] 885*2^1246227-1 is not prime. Res64: BA35B69A6477122C Time : 0.0 sec. user=mdettweiler [2013-05-24 23:46:21] 971*2^1246226-1 is not prime. Res64: 2A3149458F75945A Time : 0.0 sec. user=mdettweiler [2013-05-24 23:46:22] 617*2^1246228-1 is not prime. Res64: D1E006772CED1DC2 Time : 0.0 sec. user=mdettweiler [2013-05-24 23:59:36] 797*2^1246228-1 is not prime. Res64: 8DE911696566254B Time : 0.0 sec. user=mdettweiler [2013-05-24 23:59:36] 813*2^1246228-1 is not prime. Res64: C7838B94616BF654 Time : 0.0 sec.