user=mdettweiler [2012-12-05 00:02:13] 917*2^1236842-1 is not prime. Res64: AD6E7BA761BF72E5 Time : 0.0 sec. user=mdettweiler [2012-12-05 00:02:13] 945*2^1236842-1 is not prime. Res64: DE26893990D922D8 Time : 0.0 sec. user=gd_barnes [2012-12-05 00:04:14] 875*2^1236842-1 is not prime. Res64: 78F7D60FE4540E64 Time : 0.0 sec. user=mdettweiler [2012-12-05 00:13:27] 853*2^1236843-1 is not prime. Res64: DC1DFA1F3F578499 Time : 0.0 sec. user=mdettweiler [2012-12-05 00:13:28] 951*2^1236843-1 is not prime. Res64: 32A4A6872715C5AF Time : 0.0 sec. user=gd_barnes [2012-12-05 00:17:08] 679*2^1236843-1 is not prime. Res64: AD9D703FEC83F0CC Time : 0.0 sec. user=mdettweiler [2012-12-05 00:19:52] 985*2^1236843-1 is not prime. Res64: 3B04E0AFCA172A54 Time : 0.0 sec. user=mdettweiler [2012-12-05 00:19:52] 705*2^1236844-1 is not prime. Res64: B53A95B6395F2110 Time : 0.0 sec. user=gd_barnes [2012-12-05 00:19:58] 619*2^1236843-1 is not prime. Res64: BF806130C3979775 Time : 0.0 sec. user=mdettweiler [2012-12-05 00:30:49] 719*2^1236844-1 is not prime. Res64: 292D34CBE361B7B2 Time : 0.0 sec. user=mdettweiler [2012-12-05 00:30:50] 827*2^1236844-1 is not prime. Res64: 0F45F8A5F527E84D Time : 0.0 sec. user=mdettweiler [2012-12-05 00:34:46] 769*2^1236843-1 is not prime. Res64: E614F56E3F9C2BD4 Time : 0.0 sec. user=mdettweiler [2012-12-05 00:37:13] 923*2^1236844-1 is not prime. Res64: C35837201F686243 Time : 0.0 sec. user=mdettweiler [2012-12-05 00:37:14] 627*2^1236845-1 is not prime. Res64: 5CDE6498720077BE Time : 0.0 sec. user=mdettweiler [2012-12-05 00:48:12] 651*2^1236845-1 is not prime. Res64: 5FF325780849BFDB Time : 0.0 sec. user=mdettweiler [2012-12-05 00:48:12] 655*2^1236845-1 is not prime. Res64: 0045A2AAC7B3D378 Time : 0.0 sec. user=mdettweiler [2012-12-05 00:54:38] 657*2^1236845-1 is not prime. Res64: 90936C193F477178 Time : 0.0 sec. user=mdettweiler [2012-12-05 00:54:39] 691*2^1236845-1 is not prime. Res64: FC69D35647B65226 Time : 0.0 sec. user=mdettweiler [2012-12-05 01:05:49] 715*2^1236845-1 is not prime. Res64: 5F4B39D18631FACD Time : 0.0 sec. user=mdettweiler [2012-12-05 01:05:50] 721*2^1236845-1 is not prime. Res64: 15C90E27DBCBF849 Time : 0.0 sec. user=mdettweiler [2012-12-05 01:12:14] 775*2^1236845-1 is not prime. Res64: 4DD1067649D78FE5 Time : 0.0 sec. user=mdettweiler [2012-12-05 01:12:15] 805*2^1236845-1 is not prime. Res64: 00547D27E87CE6F2 Time : 0.0 sec. user=mdettweiler [2012-12-05 01:23:13] 861*2^1236845-1 is not prime. Res64: ECECA0307C8420C4 Time : 0.0 sec. user=mdettweiler [2012-12-05 01:23:14] 949*2^1236845-1 is not prime. Res64: 2C16611B62C9A883 Time : 0.0 sec. user=mdettweiler [2012-12-05 01:29:39] 951*2^1236845-1 is not prime. Res64: 7AEA7998A1E7DB7B Time : 0.0 sec. user=mdettweiler [2012-12-05 01:29:40] 969*2^1236845-1 is not prime. Res64: 4F87DC144AF49F74 Time : 0.0 sec. user=mdettweiler [2012-12-05 01:40:41] 861*2^1236846-1 is not prime. Res64: 42E5097F2B585003 Time : 0.0 sec. user=mdettweiler [2012-12-05 01:40:41] 891*2^1236846-1 is not prime. Res64: 4FB35EBA61D53914 Time : 0.0 sec. user=mdettweiler [2012-12-05 01:47:27] 933*2^1236846-1 is not prime. Res64: C0E22DFF1C42F6E1 Time : 0.0 sec. user=mdettweiler [2012-12-05 01:47:27] 705*2^1236847-1 is not prime. Res64: 23192628D21F6BC0 Time : 0.0 sec. user=mdettweiler [2012-12-05 02:04:58] 885*2^1236847-1 is not prime. Res64: EC9079A5730DFE9E Time : 0.0 sec. user=mdettweiler [2012-12-05 02:05:07] 633*2^1236848-1 is not prime. Res64: 23BA91C03B58A81F Time : 0.0 sec. user=mdettweiler [2012-12-05 02:07:17] 841*2^1236847-1 is not prime. Res64: 5F999F72291D6616 Time : 0.0 sec. user=mdettweiler [2012-12-05 02:10:17] 845*2^1236848-1 is not prime. Res64: 3D83F5EB212503E3 Time : 0.0 sec. user=mdettweiler [2012-12-05 02:50:34] 795*2^1236849-1 is not prime. Res64: 5966F0320696EF19 Time : 0.0 sec. user=mdettweiler [2012-12-05 02:52:10] 609*2^1236849-1 is not prime. Res64: 8531689832F6BC51 Time : 0.0 sec. user=gd_barnes [2012-12-05 02:53:41] 915*2^1236848-1 is not prime. Res64: C61E4E2ECF82E742 Time : 0.0 sec. user=mdettweiler [2012-12-05 02:56:25] 861*2^1236847-1 is not prime. Res64: 9D86988D9E83E3E3 Time : 0.0 sec. user=mdettweiler [2012-12-05 02:59:44] 879*2^1236848-1 is not prime. Res64: 338C1500C8BD6DFD Time : 0.0 sec. user=gd_barnes [2012-12-05 03:03:36] 963*2^1236848-1 is not prime. Res64: 08F6E262F200D3B3 Time : 0.0 sec. user=gd_barnes [2012-12-05 03:06:30] 751*2^1236849-1 is not prime. Res64: 0DB08B7917F0260C Time : 0.0 sec. user=mdettweiler [2012-12-05 03:15:06] 747*2^1236849-1 is not prime. Res64: 8EF94CDECEEC58B8 Time : 0.0 sec. user=gd_barnes [2012-12-05 03:21:32] 847*2^1236849-1 is not prime. Res64: 3036094D7ABCFAC0 Time : 0.0 sec. user=gd_barnes [2012-12-05 03:29:00] 865*2^1236849-1 is not prime. Res64: 5DFB4766B9F4F0DA Time : 0.0 sec. user=mdettweiler [2012-12-05 03:42:35] 885*2^1236849-1 is not prime. Res64: 3E408117D8254316 Time : 0.0 sec. user=mdettweiler [2012-12-05 04:02:04] 917*2^1236850-1 is not prime. Res64: EDFA0FC11B37DCB7 Time : 0.0 sec. user=mdettweiler [2012-12-05 04:02:05] 775*2^1236851-1 is not prime. Res64: 837E93EB4940739C Time : 0.0 sec. user=gd_barnes [2012-12-05 04:04:58] 845*2^1236850-1 is not prime. Res64: 7A1125D53957470B Time : 0.0 sec. user=gd_barnes [2012-12-05 04:05:56] 825*2^1236850-1 is not prime. Res64: 515F26DD262F761E Time : 0.0 sec. user=mdettweiler [2012-12-05 04:07:48] 603*2^1236850-1 is not prime. Res64: 806F1B0A1B3431DC Time : 0.0 sec. user=gd_barnes [2012-12-05 04:17:54] 979*2^1236851-1 is not prime. Res64: 70C13FB9609411BA Time : 0.0 sec. user=mdettweiler [2012-12-05 04:19:23] 999*2^1236851-1 is not prime. Res64: DE1D619E3C054D92 Time : 0.0 sec. user=mdettweiler [2012-12-05 04:19:23] 689*2^1236852-1 is not prime. Res64: 5CC52788AB801553 Time : 0.0 sec. user=mdettweiler [2012-12-05 04:25:06] 765*2^1236852-1 is not prime. Res64: FD1A529F01213E4F Time : 0.0 sec. user=mdettweiler [2012-12-05 04:25:07] 843*2^1236852-1 is not prime. Res64: 1273326BA8B68222 Time : 0.0 sec. user=mdettweiler [2012-12-05 04:36:41] 857*2^1236852-1 is not prime. Res64: 810881D908AFD800 Time : 0.0 sec. user=mdettweiler [2012-12-05 04:36:42] 929*2^1236852-1 is not prime. Res64: 418087767DE1EE02 Time : 0.0 sec. user=mdettweiler [2012-12-05 04:42:24] 957*2^1236852-1 is not prime. Res64: 6A9D515A72ED216B Time : 0.0 sec. user=mdettweiler [2012-12-05 04:42:25] 987*2^1236852-1 is not prime. Res64: 9F41EC13DC2FD9F6 Time : 0.0 sec. user=mdettweiler [2012-12-05 04:53:59] 607*2^1236853-1 is not prime. Res64: 7DFD1AB1036047D6 Time : 0.0 sec. user=mdettweiler [2012-12-05 04:53:59] 625*2^1236853-1 is not prime. Res64: 82BB0CBCA10D0961 Time : 0.0 sec. user=mdettweiler [2012-12-05 04:59:42] 639*2^1236853-1 is not prime. Res64: FD0BBC68C7AF3B37 Time : 0.0 sec. user=mdettweiler [2012-12-05 04:59:42] 747*2^1236853-1 is not prime. Res64: 5D9F10455E00FF04 Time : 0.0 sec. user=mdettweiler [2012-12-05 05:11:17] 805*2^1236853-1 is not prime. Res64: 610824CC74DFBB53 Time : 0.0 sec. user=mdettweiler [2012-12-05 05:11:18] 817*2^1236853-1 is not prime. Res64: E1FC89F7E9FB7564 Time : 0.0 sec. user=mdettweiler [2012-12-05 05:17:00] 829*2^1236853-1 is not prime. Res64: 6C04645E61F64B97 Time : 0.0 sec. user=mdettweiler [2012-12-05 05:17:01] 797*2^1236854-1 is not prime. Res64: 1A103F69D928F635 Time : 0.0 sec. user=mdettweiler [2012-12-05 05:28:41] 851*2^1236854-1 is not prime. Res64: 20767BB7FCD8A6DF Time : 0.0 sec. user=mdettweiler [2012-12-05 05:34:35] 875*2^1236854-1 is not prime. Res64: E5CE6C76D93A7D0D Time : 0.0 sec. user=mdettweiler [2012-12-05 05:50:18] 861*2^1236854-1 is not prime. Res64: 15103DB108B30692 Time : 0.0 sec. user=mdettweiler [2012-12-05 05:51:47] 649*2^1236855-1 is not prime. Res64: 5B98A5124FEC53F9 Time : 0.0 sec. user=mdettweiler [2012-12-05 05:58:02] 897*2^1236854-1 is not prime. Res64: 5FD4CD74F7D7239A Time : 0.0 sec. user=mdettweiler [2012-12-05 06:07:48] 709*2^1236855-1 is not prime. Res64: E0D141885021C715 Time : 0.0 sec. user=mdettweiler [2012-12-05 06:13:26] 625*2^1236855-1 is not prime. Res64: 18659FB6F22E672A Time : 0.0 sec. user=mdettweiler [2012-12-05 06:17:44] 853*2^1236855-1 is not prime. Res64: 077F80EB3725B344 Time : 0.0 sec. user=gd_barnes [2012-12-05 06:24:49] 969*2^1236855-1 is not prime. Res64: 7F3D36AE9DA8C1CF Time : 0.0 sec. user=gd_barnes [2012-12-05 06:28:14] 999*2^1236855-1 is not prime. Res64: A3857B380F60623F Time : 0.0 sec. user=gd_barnes [2012-12-05 06:33:05] 875*2^1236856-1 is not prime. Res64: 8B247B1E0D705983 Time : 0.0 sec. user=gd_barnes [2012-12-05 06:35:17] 759*2^1236856-1 is not prime. Res64: E7FB72ECE9F63EF9 Time : 0.0 sec. user=gd_barnes [2012-12-05 06:36:26] 803*2^1236856-1 is not prime. Res64: 3EDB5B5A2EF9A368 Time : 0.0 sec. user=mdettweiler [2012-12-05 06:42:10] 675*2^1236857-1 is not prime. Res64: 73A23BD2327EC505 Time : 0.0 sec. user=gd_barnes [2012-12-05 06:53:39] 771*2^1236857-1 is not prime. Res64: 286CECC9C5FA0F17 Time : 0.0 sec. user=gd_barnes [2012-12-05 07:08:22] 891*2^1236858-1 is not prime. Res64: 44F50B1883DB9C4A Time : 0.0 sec. user=gd_barnes [2012-12-05 07:10:34] 997*2^1236857-1 is not prime. Res64: 142320999714CEA3 Time : 0.0 sec. user=mdettweiler [2012-12-05 07:16:13] 711*2^1236857-1 is not prime. Res64: BF4E3418B4EFE544 Time : 0.0 sec. user=gd_barnes [2012-12-05 07:18:49] 769*2^1236859-1 is not prime. Res64: E871DD76F3494E58 Time : 0.0 sec. user=mdettweiler [2012-12-05 07:21:54] 731*2^1236858-1 is not prime. Res64: F0E75F8B28933A98 Time : 0.0 sec. user=mdettweiler [2012-12-05 07:26:42] 871*2^1236857-1 is not prime. Res64: 3F8AA915AEBAB679 Time : 0.0 sec. user=mdettweiler [2012-12-05 07:30:11] 815*2^1236858-1 is not prime. Res64: D48406D3D6A3E1C8 Time : 0.0 sec. user=gd_barnes [2012-12-05 07:33:59] 773*2^1236860-1 is not prime. Res64: D85BE6673CC39AFF Time : 0.0 sec. user=gd_barnes [2012-12-05 07:45:00] 671*2^1236862-1 is not prime. Res64: BA1C7C083C5BFD1F Time : 0.0 sec. user=mdettweiler [2012-12-05 07:46:41] 703*2^1236863-1 is not prime. Res64: DE70E3689D639C04 Time : 0.0 sec. user=gd_barnes [2012-12-05 07:48:20] 855*2^1236862-1 is not prime. Res64: F5BB7B69C78F2162 Time : 0.0 sec. user=gd_barnes [2012-12-05 07:50:08] 863*2^1236862-1 is not prime. Res64: 07E542EF2A72CC46 Time : 0.0 sec. user=gd_barnes [2012-12-05 07:53:26] 621*2^1236863-1 is not prime. Res64: A1E40C28BD666DF4 Time : 0.0 sec. user=mdettweiler [2012-12-05 07:58:51] 735*2^1236863-1 is not prime. Res64: 25573894C3A5BE31 Time : 0.0 sec. user=mdettweiler [2012-12-05 07:58:52] 775*2^1236863-1 is not prime. Res64: BF3F08A944D4D442 Time : 0.0 sec. user=gd_barnes [2012-12-05 08:01:21] 885*2^1236862-1 is not prime. Res64: E176C977D035512F Time : 0.0 sec. user=mdettweiler [2012-12-05 08:02:16] 879*2^1236863-1 is not prime. Res64: E96525279D6655F7 Time : 0.0 sec. user=mdettweiler [2012-12-05 08:02:16] 915*2^1236863-1 is not prime. Res64: 5901722241C1C47F Time : 0.0 sec. user=gd_barnes [2012-12-05 08:02:21] 827*2^1236860-1 is not prime. Res64: A082B9F88FC74EAB Time : 0.0 sec. user=gd_barnes [2012-12-05 08:05:20] 705*2^1236863-1 is not prime. Res64: AE6A1C0B5786E125 Time : 0.0 sec. user=gd_barnes [2012-12-05 08:14:56] 783*2^1236863-1 is not prime. Res64: 81087F7595079808 Time : 0.0 sec. user=mdettweiler [2012-12-05 08:16:11] 759*2^1236864-1 is not prime. Res64: 4B330A0EBA24D17A Time : 0.0 sec. user=mdettweiler [2012-12-05 08:16:14] 905*2^1236864-1 is not prime. Res64: 0C5B01668908B8E0 Time : 0.0 sec. user=mdettweiler [2012-12-05 08:19:35] 975*2^1236864-1 is not prime. Res64: 517321F411638A61 Time : 0.0 sec. user=mdettweiler [2012-12-05 08:19:36] 649*2^1236865-1 is not prime. Res64: 4B6E146940B649F7 Time : 0.0 sec. user=gd_barnes [2012-12-05 08:20:13] 985*2^1236855-1 is not prime. Res64: 8FA9A238AB113E9C Time : 0.0 sec. user=gd_barnes [2012-12-05 08:21:08] 657*2^1236864-1 is not prime. Res64: D053899A0796539C Time : 0.0 sec. user=gd_barnes [2012-12-05 08:21:25] 665*2^1236864-1 is not prime. Res64: 24512D67DF5193C8 Time : 0.0 sec. user=mdettweiler [2012-12-05 08:32:49] 609*2^1236864-1 is not prime. Res64: CB82ABD5FFD0BDC5 Time : 0.0 sec. user=mdettweiler [2012-12-05 08:33:43] 771*2^1236865-1 is not prime. Res64: 779A9E54EC5C7236 Time : 0.0 sec. user=mdettweiler [2012-12-05 08:33:44] 805*2^1236865-1 is not prime. Res64: 7E73DC6419573F26 Time : 0.0 sec. user=mdettweiler [2012-12-05 08:36:59] 937*2^1236865-1 is not prime. Res64: 96BBD62D14466D29 Time : 0.0 sec. user=mdettweiler [2012-12-05 08:37:00] 955*2^1236865-1 is not prime. Res64: 1FFECE0E65EC160E Time : 0.0 sec. user=mdettweiler [2012-12-05 08:51:07] 975*2^1236865-1 is not prime. Res64: 579DCE221F1C2DFB Time : 0.0 sec. user=mdettweiler [2012-12-05 08:51:08] 671*2^1236866-1 is not prime. Res64: 8DAD08FDCDC47090 Time : 0.0 sec. user=mdettweiler [2012-12-05 08:54:18] 773*2^1236866-1 is not prime. Res64: 7EA7EC39C390E813 Time : 0.0 sec. user=mdettweiler [2012-12-05 08:54:19] 783*2^1236866-1 is not prime. Res64: 48922E68673B0D3C Time : 0.0 sec. user=gd_barnes [2012-12-05 09:02:23] 825*2^1236861-1 is not prime. Res64: 01420B4497DD21AC Time : 0.0 sec. user=mdettweiler [2012-12-05 09:06:05] 961*2^1236859-1 is not prime. Res64: DB7B59E385D0A0A9 Time : 0.0 sec. user=mdettweiler [2012-12-05 09:08:43] 785*2^1236866-1 is not prime. Res64: F7CDBCBCA0150487 Time : 0.0 sec. user=mdettweiler [2012-12-05 09:08:44] 843*2^1236866-1 is not prime. Res64: 212C71D42EDBBFD2 Time : 0.0 sec. user=mdettweiler [2012-12-05 09:11:38] 893*2^1236866-1 is not prime. Res64: 6CAB1124C966FFC1 Time : 0.0 sec. user=mdettweiler [2012-12-05 09:11:40] 923*2^1236866-1 is not prime. Res64: EEAC9D4927D00F13 Time : 0.0 sec. user=mdettweiler [2012-12-05 09:26:04] 781*2^1236867-1 is not prime. Res64: AA985EC9390DA0CC Time : 0.0 sec. user=mdettweiler [2012-12-05 09:26:05] 639*2^1236868-1 is not prime. Res64: 60511B31B6FAC643 Time : 0.0 sec. user=mdettweiler [2012-12-05 09:29:00] 677*2^1236868-1 is not prime. Res64: AB0FA61C7B241B54 Time : 0.0 sec. user=mdettweiler [2012-12-05 09:29:01] 689*2^1236868-1 is not prime. Res64: F4D9B73816161E54 Time : 0.0 sec. user=mdettweiler [2012-12-05 09:43:27] 695*2^1236868-1 is not prime. Res64: 489B24C14DE8C842 Time : 0.0 sec. user=mdettweiler [2012-12-05 09:43:32] 863*2^1236868-1 is not prime. Res64: 4349302C7B6C3945 Time : 0.0 sec. user=mdettweiler [2012-12-05 09:46:20] 909*2^1236868-1 is not prime. Res64: 55E0620E1DC241E0 Time : 0.0 sec. user=mdettweiler [2012-12-05 09:46:21] 601*2^1236869-1 is not prime. Res64: E24A8B8433789F50 Time : 0.0 sec. user=mdettweiler [2012-12-05 10:01:15] 691*2^1236869-1 is not prime. Res64: 09183CD88D9CC1BB Time : 0.0 sec. user=mdettweiler [2012-12-05 10:01:17] 931*2^1236869-1 is not prime. Res64: 4132FE9F634DC25A Time : 0.0 sec. user=mdettweiler [2012-12-05 10:03:41] 987*2^1236869-1 is not prime. Res64: B6ED1196B9CF3D3B Time : 0.0 sec. user=mdettweiler [2012-12-05 10:03:43] 725*2^1236870-1 is not prime. Res64: 765061E43EBE6242 Time : 0.0 sec. user=mdettweiler [2012-12-05 10:19:02] 843*2^1236870-1 is not prime. Res64: 57D9C963FE029161 Time : 0.0 sec. user=mdettweiler [2012-12-05 10:19:03] 851*2^1236870-1 is not prime. Res64: FDC16C488647717A Time : 0.0 sec. user=mdettweiler [2012-12-05 10:21:04] 861*2^1236870-1 is not prime. Res64: A6CE7ADB69A3FDD5 Time : 0.0 sec. user=mdettweiler [2012-12-05 10:21:06] 891*2^1236870-1 is not prime. Res64: D0351A2EE49E2877 Time : 0.0 sec. user=mdettweiler [2012-12-05 10:36:32] 601*2^1236871-1 is not prime. Res64: D43A512DDB5A2FE2 Time : 0.0 sec. user=mdettweiler [2012-12-05 10:36:34] 709*2^1236871-1 is not prime. Res64: 5BDBCACB14187D26 Time : 0.0 sec. user=mdettweiler [2012-12-05 10:38:26] 813*2^1236871-1 is not prime. Res64: B180D22C7CE81E82 Time : 0.0 sec. user=mdettweiler [2012-12-05 10:38:28] 841*2^1236871-1 is not prime. Res64: B747D4CE1A126E58 Time : 0.0 sec. user=mdettweiler [2012-12-05 10:54:18] 885*2^1236871-1 is not prime. Res64: 0B5EE93EDF18EEF8 Time : 0.0 sec. user=mdettweiler [2012-12-05 10:54:19] 753*2^1236872-1 is not prime. Res64: E68317C82B3E9A8E Time : 0.0 sec. user=mdettweiler [2012-12-05 10:55:50] 767*2^1236872-1 is not prime. Res64: C654503876C0C1C5 Time : 0.0 sec. user=mdettweiler [2012-12-05 10:55:51] 873*2^1236872-1 is not prime. Res64: 2C660BC51D059A05 Time : 0.0 sec. user=mdettweiler [2012-12-05 11:11:38] 893*2^1236872-1 is not prime. Res64: 0094BEF254408259 Time : 0.0 sec. user=mdettweiler [2012-12-05 11:11:41] 903*2^1236872-1 is not prime. Res64: 1DA03931FEDC725A Time : 0.0 sec. user=mdettweiler [2012-12-05 11:13:09] 681*2^1236873-1 is not prime. Res64: DD7D6D93A2C7ED20 Time : 0.0 sec. user=mdettweiler [2012-12-05 11:13:10] 745*2^1236873-1 is not prime. Res64: DABF8ADE6720CA3A Time : 0.0 sec. user=mdettweiler [2012-12-05 11:29:09] 759*2^1236873-1 is not prime. Res64: 7B00EB43138837F9 Time : 0.0 sec. user=mdettweiler [2012-12-05 11:29:10] 781*2^1236873-1 is not prime. Res64: 1AADA24B688A48EE Time : 0.0 sec. user=mdettweiler [2012-12-05 11:30:30] 861*2^1236873-1 is not prime. Res64: FF0123A48A5A8137 Time : 0.0 sec. user=mdettweiler [2012-12-05 11:30:31] 889*2^1236873-1 is not prime. Res64: D62B2A1BCEFFD8CE Time : 0.0 sec. user=mdettweiler [2012-12-05 11:46:43] 901*2^1236873-1 is not prime. Res64: 3585141BC59C5D12 Time : 0.0 sec. user=mdettweiler [2012-12-05 11:46:44] 951*2^1236873-1 is not prime. Res64: 16F733146669A33A Time : 0.0 sec. user=mdettweiler [2012-12-05 11:48:00] 605*2^1236874-1 is not prime. Res64: 2924D545B9BB379F Time : 0.0 sec. user=mdettweiler [2012-12-05 11:48:02] 611*2^1236874-1 is not prime. Res64: BF0BC118452997E5 Time : 0.0 sec. user=mdettweiler [2012-12-05 12:04:32] 677*2^1236874-1 is not prime. Res64: 585F341443AA520E Time : 0.0 sec. user=mdettweiler [2012-12-05 12:04:34] 701*2^1236874-1 is not prime. Res64: CCBBE37A929BA949 Time : 0.0 sec. user=mdettweiler [2012-12-05 12:05:52] 755*2^1236874-1 is not prime. Res64: 296A9CF8CA55CD57 Time : 0.0 sec. user=mdettweiler [2012-12-05 12:05:59] 791*2^1236874-1 is not prime. Res64: 023BE290C699C5EE Time : 0.0 sec. user=mdettweiler [2012-12-05 12:22:28] 815*2^1236874-1 is not prime. Res64: A2DFF25A587C2FF4 Time : 0.0 sec. user=mdettweiler [2012-12-05 12:22:30] 821*2^1236874-1 is not prime. Res64: 3089F18BD56C6FE6 Time : 0.0 sec. user=mdettweiler [2012-12-05 12:23:43] 833*2^1236874-1 is not prime. Res64: 3C62E33BD37C5F56 Time : 0.0 sec. user=mdettweiler [2012-12-05 12:23:44] 855*2^1236874-1 is not prime. Res64: 9FCDC08C3EB16C3E Time : 0.0 sec. user=mdettweiler [2012-12-05 12:40:24] 917*2^1236874-1 is not prime. Res64: C978EFF6E3504C2A Time : 0.0 sec. user=mdettweiler [2012-12-05 12:40:25] 693*2^1236875-1 is not prime. Res64: 02DDE760AB33A6C9 Time : 0.0 sec. user=mdettweiler [2012-12-05 12:41:30] 699*2^1236875-1 is not prime. Res64: 090DD577EAB9A703 Time : 0.0 sec. user=mdettweiler [2012-12-05 12:41:30] 753*2^1236875-1 is not prime. Res64: FCA2E8FBF2128E76 Time : 0.0 sec. user=mdettweiler [2012-12-05 12:58:16] 789*2^1236875-1 is not prime. Res64: E48596E1E6467D1D Time : 0.0 sec. user=mdettweiler [2012-12-05 12:58:17] 883*2^1236875-1 is not prime. Res64: 40066FD451EB56F0 Time : 0.0 sec. user=mdettweiler [2012-12-05 12:59:18] 963*2^1236875-1 is not prime. Res64: 01F81B9E7F4CE0C0 Time : 0.0 sec. user=mdettweiler [2012-12-05 12:59:19] 767*2^1236876-1 is not prime. Res64: 916C5627D93E54AE Time : 0.0 sec. user=mdettweiler [2012-12-05 13:16:06] 867*2^1236876-1 is not prime. Res64: D1FE2650F18B9332 Time : 0.0 sec. user=mdettweiler [2012-12-05 13:16:06] 625*2^1236877-1 is not prime. Res64: A977304C31ABCBA4 Time : 0.0 sec. user=mdettweiler [2012-12-05 13:17:04] 685*2^1236877-1 is not prime. Res64: AE1DC06E00E60883 Time : 0.0 sec. user=mdettweiler [2012-12-05 13:17:05] 885*2^1236877-1 is not prime. Res64: D8574EFE69AFE35B Time : 0.0 sec. user=mdettweiler [2012-12-05 13:33:50] 945*2^1236877-1 is not prime. Res64: 3509025DF7667A86 Time : 0.0 sec. user=mdettweiler [2012-12-05 13:33:51] 603*2^1236878-1 is not prime. Res64: 4FD833B6F0F84AAE Time : 0.0 sec. user=mdettweiler [2012-12-05 13:34:47] 657*2^1236878-1 is not prime. Res64: 8724A6DD6338A80E Time : 0.0 sec. user=mdettweiler [2012-12-05 13:34:50] 705*2^1236878-1 is not prime. Res64: D6083514C3697B09 Time : 0.0 sec. user=mdettweiler [2012-12-05 13:51:44] 767*2^1236878-1 is not prime. Res64: 1C2E99325982A5AC Time : 0.0 sec. user=mdettweiler [2012-12-05 13:51:46] 813*2^1236878-1 is not prime. Res64: 4BDA286A9882F755 Time : 0.0 sec. user=mdettweiler [2012-12-05 13:52:35] 867*2^1236878-1 is not prime. Res64: B0655D3C5C8C1AA7 Time : 0.0 sec. user=mdettweiler [2012-12-05 13:52:36] 953*2^1236878-1 is not prime. Res64: 94CFDC7056E99AD1 Time : 0.0 sec. user=mdettweiler [2012-12-05 14:09:47] 993*2^1236878-1 is not prime. Res64: 0959B2F06F44C27E Time : 0.0 sec. user=mdettweiler [2012-12-05 14:09:48] 613*2^1236879-1 is not prime. Res64: A443D6948058B1E4 Time : 0.0 sec. user=mdettweiler [2012-12-05 14:10:24] 693*2^1236879-1 is not prime. Res64: 2ABE3041EDF29F59 Time : 0.0 sec. user=mdettweiler [2012-12-05 14:10:24] 789*2^1236879-1 is not prime. Res64: 6C8B10576BDB5D4F Time : 0.0 sec. user=mdettweiler [2012-12-05 14:27:46] 843*2^1236879-1 is not prime. Res64: EED3A0E213CD0B04 Time : 0.0 sec. user=mdettweiler [2012-12-05 14:27:48] 609*2^1236880-1 is not prime. Res64: D34B20EB8B551829 Time : 0.0 sec. user=mdettweiler [2012-12-05 14:28:20] 629*2^1236880-1 is not prime. Res64: 15CB1FA8BC6BAABF Time : 0.0 sec. user=mdettweiler [2012-12-05 14:28:21] 635*2^1236880-1 is not prime. Res64: AEABD82767225C7A Time : 0.0 sec. user=mdettweiler [2012-12-05 14:45:52] 773*2^1236880-1 is not prime. Res64: 169F3BEDDE27200D Time : 0.0 sec. user=mdettweiler [2012-12-05 14:45:53] 849*2^1236880-1 is not prime. Res64: 89BBC4F82A8D8135 Time : 0.0 sec. user=mdettweiler [2012-12-05 14:46:13] 929*2^1236880-1 is not prime. Res64: 93EF9C37CA04BE31 Time : 0.0 sec. user=mdettweiler [2012-12-05 14:46:15] 975*2^1236880-1 is not prime. Res64: 6936D603225F0093 Time : 0.0 sec. user=mdettweiler [2012-12-05 15:03:53] 983*2^1236880-1 is not prime. Res64: BE676A0035A67152 Time : 0.0 sec. user=mdettweiler [2012-12-05 15:03:55] 715*2^1236881-1 is not prime. Res64: 7D2A69667D4306DA Time : 0.0 sec. user=mdettweiler [2012-12-05 15:04:06] 735*2^1236881-1 is not prime. Res64: 29D5EEAF1D90933E Time : 0.0 sec. user=mdettweiler [2012-12-05 15:04:08] 747*2^1236881-1 is not prime. Res64: 5694B54E3C3C4C51 Time : 0.0 sec. user=mdettweiler [2012-12-05 15:21:39] 861*2^1236881-1 is not prime. Res64: BBDB307570F96951 Time : 0.0 sec. user=mdettweiler [2012-12-05 15:21:40] 889*2^1236881-1 is not prime. Res64: 9BD99A277E227102 Time : 0.0 sec. user=mdettweiler [2012-12-05 15:21:42] 735*2^1236882-1 is not prime. Res64: B26A24C50302666C Time : 0.0 sec. user=mdettweiler [2012-12-05 15:21:44] 777*2^1236882-1 is not prime. Res64: 8509130CA5338392 Time : 0.0 sec. user=mdettweiler [2012-12-05 15:39:42] 917*2^1236882-1 is not prime. Res64: FEEBB144DCB1FD3D Time : 0.0 sec. user=mdettweiler [2012-12-05 15:39:45] 723*2^1236883-1 is not prime. Res64: E4B61C1DA520D34B Time : 0.0 sec. user=mdettweiler [2012-12-05 15:39:45] 663*2^1236883-1 is not prime. Res64: F8DFB0BA858FA5A0 Time : 0.0 sec. user=mdettweiler [2012-12-05 15:39:46] 751*2^1236883-1 is not prime. Res64: 3806826D1C34DF63 Time : 0.0 sec. user=mdettweiler [2012-12-05 15:57:44] 769*2^1236883-1 is not prime. Res64: C79F44E7A04DF825 Time : 0.0 sec. user=mdettweiler [2012-12-05 15:57:46] 813*2^1236883-1 is not prime. Res64: 2FAE348B1C4436AC Time : 0.0 sec. user=mdettweiler [2012-12-05 15:57:47] 749*2^1236884-1 is not prime. Res64: 3D00EC50D748FD61 Time : 0.0 sec. user=mdettweiler [2012-12-05 15:57:48] 873*2^1236884-1 is not prime. Res64: 62A953710E60AC44 Time : 0.0 sec. user=mdettweiler [2012-12-05 16:15:49] 935*2^1236884-1 is not prime. Res64: 1E73E14A439FF131 Time : 0.0 sec. user=mdettweiler [2012-12-05 16:15:49] 699*2^1236885-1 is not prime. Res64: E0B676B92A845A0A Time : 0.0 sec. user=mdettweiler [2012-12-05 16:15:51] 961*2^1236885-1 is not prime. Res64: 09883292500846CE Time : 0.0 sec. user=mdettweiler [2012-12-05 16:15:51] 985*2^1236885-1 is not prime. Res64: 545CB45351406847 Time : 0.0 sec. user=mdettweiler [2012-12-05 16:33:42] 617*2^1236886-1 is not prime. Res64: 957954960117B82F Time : 0.0 sec. user=mdettweiler [2012-12-05 16:33:42] 635*2^1236886-1 is not prime. Res64: 5797A3EB1DA6DBA0 Time : 0.0 sec. user=mdettweiler [2012-12-05 16:33:50] 737*2^1236886-1 is not prime. Res64: 3FF291CA57C81253 Time : 0.0 sec. user=mdettweiler [2012-12-05 16:33:50] 815*2^1236886-1 is not prime. Res64: 5DC4B807784F5442 Time : 0.0 sec. user=mdettweiler [2012-12-05 16:51:42] 881*2^1236886-1 is not prime. Res64: ED8A0971C9B77E8B Time : 0.0 sec. user=mdettweiler [2012-12-05 16:51:42] 911*2^1236886-1 is not prime. Res64: 7BF7375A8EFC1CAB Time : 0.0 sec. user=mdettweiler [2012-12-05 16:51:43] 965*2^1236886-1 is not prime. Res64: 29CAF3B9E48065CD Time : 0.0 sec. user=mdettweiler [2012-12-05 16:51:43] 685*2^1236887-1 is not prime. Res64: A149F1FFCC206A3F Time : 0.0 sec. user=mdettweiler [2012-12-05 17:09:39] 865*2^1236887-1 is not prime. Res64: A9EC2867D9AA8B1C Time : 0.0 sec. user=mdettweiler [2012-12-05 17:09:40] 615*2^1236888-1 is not prime. Res64: 3D9422D376959525 Time : 0.0 sec. user=mdettweiler [2012-12-05 17:09:40] 627*2^1236888-1 is not prime. Res64: BFEC793F8D09ADCE Time : 0.0 sec. user=mdettweiler [2012-12-05 17:09:40] 633*2^1236888-1 is not prime. Res64: D3F6F03E6F15C175 Time : 0.0 sec. user=mdettweiler [2012-12-05 17:27:20] 639*2^1236888-1 is not prime. Res64: 9BD308A05BDF34B7 Time : 0.0 sec. user=mdettweiler [2012-12-05 17:27:21] 803*2^1236888-1 is not prime. Res64: E65F88F83B7A0792 Time : 0.0 sec. user=mdettweiler [2012-12-05 17:27:21] 753*2^1236888-1 is not prime. Res64: 14FCE9AF2DEB18C7 Time : 0.0 sec. user=mdettweiler [2012-12-05 17:27:21] 845*2^1236888-1 is not prime. Res64: 02D196919CE02D0E Time : 0.0 sec. user=mdettweiler [2012-12-05 17:44:51] 923*2^1236888-1 is not prime. Res64: 24EB9D8E18ADB937 Time : 0.0 sec. user=mdettweiler [2012-12-05 17:44:52] 615*2^1236889-1 is not prime. Res64: AE17961DEF932AA4 Time : 0.0 sec. user=mdettweiler [2012-12-05 17:44:52] 661*2^1236889-1 is not prime. Res64: 2E286CB35C570CC9 Time : 0.0 sec. user=mdettweiler [2012-12-05 17:44:53] 819*2^1236889-1 is not prime. Res64: 1456AC489381313D Time : 0.0 sec. user=mdettweiler [2012-12-05 18:02:20] 829*2^1236889-1 is not prime. Res64: 836FBEA7C1FEF3A8 Time : 0.0 sec. user=mdettweiler [2012-12-05 18:02:21] 835*2^1236889-1 is not prime. Res64: 856091013B98BE9E Time : 0.0 sec. user=mdettweiler [2012-12-05 18:02:21] 861*2^1236889-1 is not prime. Res64: F22B2626541CEBED Time : 0.0 sec. user=mdettweiler [2012-12-05 18:02:22] 671*2^1236890-1 is not prime. Res64: AC294F2B08309DFB Time : 0.0 sec. user=mdettweiler [2012-12-05 18:19:44] 707*2^1236890-1 is not prime. Res64: A0A3DDFAAF6EA794 Time : 0.0 sec. user=mdettweiler [2012-12-05 18:19:45] 977*2^1236890-1 is not prime. Res64: FDFB999AE1AA5924 Time : 0.0 sec. user=mdettweiler [2012-12-05 18:19:47] 797*2^1236890-1 is not prime. Res64: C4F4C187E808CA03 Time : 0.0 sec. user=mdettweiler [2012-12-05 18:19:48] 783*2^1236891-1 is not prime. Res64: C819A3DDD5E61C84 Time : 0.0 sec. user=mdettweiler [2012-12-05 18:37:27] 789*2^1236891-1 is not prime. Res64: 35FD4CED372655BB Time : 0.0 sec. user=mdettweiler [2012-12-05 18:37:29] 871*2^1236891-1 is not prime. Res64: 34337FC15AC7C199 Time : 0.0 sec. user=mdettweiler [2012-12-05 18:37:31] 801*2^1236891-1 is not prime. Res64: CD09065C5BB3C7F0 Time : 0.0 sec. user=mdettweiler [2012-12-05 18:37:33] 949*2^1236891-1 is not prime. Res64: BCB1380FF38F3C33 Time : 0.0 sec. user=mdettweiler [2012-12-05 18:55:01] 973*2^1236891-1 is not prime. Res64: B1134B239BF02004 Time : 0.0 sec. user=mdettweiler [2012-12-05 18:55:03] 979*2^1236891-1 is not prime. Res64: C72F0ABB35301B00 Time : 0.0 sec. user=mdettweiler [2012-12-05 18:55:03] 723*2^1236892-1 is not prime. Res64: 363A428862CC8D9A Time : 0.0 sec. user=mdettweiler [2012-12-05 18:55:05] 735*2^1236892-1 is not prime. Res64: F7B0D4BD6E40CDE5 Time : 0.0 sec. user=mdettweiler [2012-12-05 19:12:44] 797*2^1236892-1 is not prime. Res64: E9C172580A532A3B Time : 0.0 sec. user=mdettweiler [2012-12-05 19:12:44] 825*2^1236892-1 is not prime. Res64: AC3D752909796DCB Time : 0.0 sec. user=mdettweiler [2012-12-05 19:12:48] 855*2^1236892-1 is not prime. Res64: A00F06B14A1BA7C3 Time : 0.0 sec. user=mdettweiler [2012-12-05 19:12:48] 875*2^1236892-1 is not prime. Res64: 046C4A50997C716E Time : 0.0 sec. user=mdettweiler [2012-12-05 19:30:06] 887*2^1236892-1 is not prime. Res64: 6F7A75E70E1FFF6B Time : 0.0 sec. user=mdettweiler [2012-12-05 19:30:07] 909*2^1236892-1 is not prime. Res64: BB3574FB25F75689 Time : 0.0 sec. user=mdettweiler [2012-12-05 19:30:09] 965*2^1236892-1 is not prime. Res64: 256DC844ED2B383E Time : 0.0 sec. user=mdettweiler [2012-12-05 19:30:10] 685*2^1236893-1 is not prime. Res64: FDB3B684A39E8C41 Time : 0.0 sec. user=mdettweiler [2012-12-05 19:48:07] 837*2^1236893-1 is not prime. Res64: 27354C93BFCE3069 Time : 0.0 sec. user=mdettweiler [2012-12-05 19:48:08] 879*2^1236893-1 is not prime. Res64: 39462A205479AD14 Time : 0.0 sec. user=mdettweiler [2012-12-05 19:48:11] 927*2^1236893-1 is not prime. Res64: 01E5214D641B9FE8 Time : 0.0 sec. user=mdettweiler [2012-12-05 19:48:12] 951*2^1236893-1 is not prime. Res64: 81D4D5A8E7C4CD67 Time : 0.0 sec. user=mdettweiler [2012-12-05 20:05:40] 651*2^1236894-1 is not prime. Res64: 18CE5D1870210BE8 Time : 0.0 sec. user=mdettweiler [2012-12-05 20:05:41] 693*2^1236894-1 is not prime. Res64: CF8D9511D784E3A1 Time : 0.0 sec. user=mdettweiler [2012-12-05 20:05:43] 707*2^1236894-1 is not prime. Res64: EB83D5932248C1ED Time : 0.0 sec. user=mdettweiler [2012-12-05 20:05:45] 833*2^1236894-1 is not prime. Res64: EE0A2FA68FD30828 Time : 0.0 sec. user=mdettweiler [2012-12-05 20:23:20] 851*2^1236894-1 is not prime. Res64: 66FC9CD9E1106D3E Time : 0.0 sec. user=mdettweiler [2012-12-05 20:23:22] 903*2^1236894-1 is not prime. Res64: 417254D3C79159CB Time : 0.0 sec. user=mdettweiler [2012-12-05 20:23:23] 975*2^1236894-1 is not prime. Res64: D5D06986620B3079 Time : 0.0 sec. user=mdettweiler [2012-12-05 20:23:24] 993*2^1236894-1 is not prime. Res64: 44907C051C654346 Time : 0.0 sec. user=mdettweiler [2012-12-05 20:40:49] 609*2^1236895-1 is not prime. Res64: F45003E93C781880 Time : 0.0 sec. user=mdettweiler [2012-12-05 20:40:51] 673*2^1236895-1 is not prime. Res64: 0B225F0CBA835703 Time : 0.0 sec. user=mdettweiler [2012-12-05 20:41:00] 663*2^1236895-1 is not prime. Res64: C58C731F00D1DDAB Time : 0.0 sec. user=mdettweiler [2012-12-05 20:58:27] 679*2^1236895-1 is not prime. Res64: 060E334BD38730A0 Time : 0.0 sec. user=mdettweiler [2012-12-05 20:58:52] 715*2^1236895-1 is not prime. Res64: 2776DD518E692D78 Time : 0.0 sec. user=mdettweiler [2012-12-05 20:58:53] 759*2^1236895-1 is not prime. Res64: F13CB7CF6DEA48DA Time : 0.0 sec. user=mdettweiler [2012-12-05 21:16:00] 885*2^1236895-1 is not prime. Res64: AE0041263F02BE24 Time : 0.0 sec. user=mdettweiler [2012-12-05 21:16:01] 961*2^1236895-1 is not prime. Res64: CB081D6605284A31 Time : 0.0 sec. user=mdettweiler [2012-12-05 21:16:26] 629*2^1236896-1 is not prime. Res64: CC365141886F1EB2 Time : 0.0 sec. user=mdettweiler [2012-12-05 21:16:27] 699*2^1236896-1 is not prime. Res64: 3DE9E586F73D5ABA Time : 0.0 sec. user=mdettweiler [2012-12-05 21:33:46] 735*2^1236896-1 is not prime. Res64: 18E317FE23EF29CC Time : 0.0 sec. user=mdettweiler [2012-12-05 21:33:49] 839*2^1236896-1 is not prime. Res64: 4DBC9C2300CFE1E9 Time : 0.0 sec. user=mdettweiler [2012-12-05 21:34:08] 855*2^1236896-1 is not prime. Res64: 48167F3F13A62A24 Time : 0.0 sec. user=mdettweiler [2012-12-05 21:34:11] 867*2^1236896-1 is not prime. Res64: E239A5D99C898067 Time : 0.0 sec. user=mdettweiler [2012-12-05 21:51:39] 637*2^1236897-1 is not prime. Res64: 5CAF1F916BFA6114 Time : 0.0 sec. user=mdettweiler [2012-12-05 21:51:39] 685*2^1236897-1 is not prime. Res64: 8A1FBD31666920E5 Time : 0.0 sec. user=mdettweiler [2012-12-05 21:51:44] 867*2^1236897-1 is not prime. Res64: 968E742310D8852F Time : 0.0 sec. user=mdettweiler [2012-12-05 21:51:45] 901*2^1236897-1 is not prime. Res64: 9782FDAF2E18A779 Time : 0.0 sec. user=mdettweiler [2012-12-05 22:09:00] 975*2^1236897-1 is not prime. Res64: 8CD7EA4C8D7779CA Time : 0.0 sec. user=mdettweiler [2012-12-05 22:09:02] 681*2^1236898-1 is not prime. Res64: 145F71B5B08BE742 Time : 0.0 sec. user=mdettweiler [2012-12-05 22:09:05] 915*2^1236898-1 is not prime. Res64: 07058053A34EA6BC Time : 0.0 sec. user=mdettweiler [2012-12-05 22:09:06] 951*2^1236898-1 is not prime. Res64: 114FDA6249EC7C04 Time : 0.0 sec. user=mdettweiler [2012-12-05 22:26:24] 601*2^1236899-1 is not prime. Res64: 93A4FB901C0EBD13 Time : 0.0 sec. user=mdettweiler [2012-12-05 22:26:25] 645*2^1236899-1 is not prime. Res64: 30FEC8EDD09DC18A Time : 0.0 sec. user=mdettweiler [2012-12-05 22:26:28] 685*2^1236899-1 is not prime. Res64: D7A37210497462B8 Time : 0.0 sec. user=mdettweiler [2012-12-05 22:26:29] 895*2^1236899-1 is not prime. Res64: F6D076336A2E750A Time : 0.0 sec. user=mdettweiler [2012-12-05 22:43:52] 921*2^1236899-1 is not prime. Res64: 4F6CA9F4F05E259D Time : 0.0 sec. user=mdettweiler [2012-12-05 22:43:52] 635*2^1236900-1 is not prime. Res64: CC57FEE3DC7100A3 Time : 0.0 sec. user=mdettweiler [2012-12-05 22:43:53] 609*2^1236900-1 is not prime. Res64: 2C4FC94ADD2F528A Time : 0.0 sec. user=mdettweiler [2012-12-05 22:43:53] 779*2^1236900-1 is not prime. Res64: 152005520F82B67F Time : 0.0 sec. user=mdettweiler [2012-12-05 23:01:19] 819*2^1236900-1 is not prime. Res64: F126E4BD24802A69 Time : 0.0 sec. user=mdettweiler [2012-12-05 23:01:21] 645*2^1236901-1 is not prime. Res64: 597F22576A0CAF06 Time : 0.0 sec. user=mdettweiler [2012-12-05 23:01:21] 685*2^1236901-1 is not prime. Res64: 3FC4B3601A6F3003 Time : 0.0 sec. user=mdettweiler [2012-12-05 23:01:22] 691*2^1236901-1 is not prime. Res64: FD3B4A526D23B829 Time : 0.0 sec. user=mdettweiler [2012-12-05 23:18:56] 751*2^1236901-1 is not prime. Res64: 197C63CD62F1CAA9 Time : 0.0 sec. user=mdettweiler [2012-12-05 23:18:57] 789*2^1236901-1 is not prime. Res64: A5E2416470CAF141 Time : 0.0 sec. user=mdettweiler [2012-12-05 23:18:57] 861*2^1236901-1 is not prime. Res64: 1988B66978300A8B Time : 0.0 sec. user=mdettweiler [2012-12-05 23:18:58] 603*2^1236902-1 is not prime. Res64: 055780C5A48948F8 Time : 0.0 sec. user=mdettweiler [2012-12-05 23:36:18] 645*2^1236902-1 is not prime. Res64: EB15B45E00C3DB95 Time : 0.0 sec. user=mdettweiler [2012-12-05 23:36:19] 671*2^1236902-1 is not prime. Res64: E9D681EE3414904A Time : 0.0 sec. user=mdettweiler [2012-12-05 23:36:19] 797*2^1236902-1 is not prime. Res64: EA658B7341FF3141 Time : 0.0 sec. user=mdettweiler [2012-12-05 23:36:19] 843*2^1236902-1 is not prime. Res64: 984AEC0C558B4B27 Time : 0.0 sec. user=mdettweiler [2012-12-05 23:53:37] 911*2^1236902-1 is not prime. Res64: 0FF6348210AF479F Time : 0.0 sec. user=mdettweiler [2012-12-05 23:53:37] 1001*2^1236902-1 is not prime. Res64: 913FE5B3EA6ABD95 Time : 0.0 sec. user=mdettweiler [2012-12-05 23:53:38] 625*2^1236903-1 is not prime. Res64: 7EAACE31AE48BA87 Time : 0.0 sec. user=mdettweiler [2012-12-05 23:53:38] 705*2^1236903-1 is not prime. Res64: 8229FEFD66441BA8 Time : 0.0 sec.