user=juhehe [2012-02-18 00:03:21] 565*2^1124373-1 is not prime. Res64: 41B3C48A97FD90FB Time : 0.0 sec. user=juhehe [2012-02-18 00:11:14] 435*2^1124374-1 is not prime. Res64: 135625374EEA376E Time : 0.0 sec. user=juhehe [2012-02-18 00:34:54] 491*2^1124374-1 is not prime. Res64: CA12051C82E0AE74 Time : 0.0 sec. user=juhehe [2012-02-18 00:42:51] 521*2^1124374-1 is not prime. Res64: 562E3E03B9750CE7 Time : 0.0 sec. user=juhehe [2012-02-18 01:06:26] 523*2^1124375-1 is not prime. Res64: 062186053D0729F9 Time : 0.0 sec. user=juhehe [2012-02-18 01:14:24] 591*2^1124375-1 is not prime. Res64: AF1B8838CF88B906 Time : 0.0 sec. user=juhehe [2012-02-18 01:38:07] 465*2^1124376-1 is not prime. Res64: 39DBAD58F87EBE7B Time : 0.0 sec. user=juhehe [2012-02-18 01:46:02] 539*2^1124376-1 is not prime. Res64: 517A2F7A06AD4F8F Time : 0.0 sec. user=juhehe [2012-02-18 02:09:36] 597*2^1124376-1 is not prime. Res64: DC8474458C6BBC55 Time : 0.0 sec. user=juhehe [2012-02-18 02:17:34] 421*2^1124377-1 is not prime. Res64: A218CEB30BF926C1 Time : 0.0 sec. user=juhehe [2012-02-18 02:41:17] 447*2^1124377-1 is not prime. Res64: 0964DA5B17367770 Time : 0.0 sec. user=juhehe [2012-02-18 02:49:07] 517*2^1124377-1 is not prime. Res64: 559C18B4CFC6B39A Time : 0.0 sec. user=juhehe [2012-02-18 03:13:29] 467*2^1124378-1 is not prime. Res64: 1C9D25B846887BE5 Time : 0.0 sec. user=juhehe [2012-02-18 03:22:21] 497*2^1124378-1 is not prime. Res64: DC1FEFA9365E9C62 Time : 0.0 sec. user=juhehe [2012-02-18 03:47:51] 563*2^1124378-1 is not prime. Res64: C257EE0006778027 Time : 0.0 sec. user=juhehe [2012-02-18 03:57:01] 573*2^1124378-1 is not prime. Res64: A232BA035D08546E Time : 0.0 sec. user=juhehe [2012-02-18 04:22:15] 411*2^1124379-1 is not prime. Res64: 28DCB1CAA0943825 Time : 0.0 sec. user=juhehe [2012-02-18 04:31:20] 451*2^1124379-1 is not prime. Res64: BB8C983262D2FDDB Time : 0.0 sec. user=juhehe [2012-02-18 04:56:09] 437*2^1124380-1 is not prime. Res64: 391E0A929D426FB9 Time : 0.0 sec. user=juhehe [2012-02-18 05:05:53] 537*2^1124380-1 is not prime. Res64: 6CFC8763C339A5CE Time : 0.0 sec. user=juhehe [2012-02-18 05:29:28] 417*2^1124381-1 is not prime. Res64: 2FF0B0062DED28E6 Time : 0.0 sec. user=juhehe [2012-02-18 05:39:15] 401*2^1124382-1 is not prime. Res64: 28E3E4AB2355698A Time : 0.0 sec. user=juhehe [2012-02-18 06:02:17] 495*2^1124382-1 is not prime. Res64: 8BC67DF923E23ECA Time : 0.0 sec. user=juhehe [2012-02-18 06:11:54] 513*2^1124382-1 is not prime. Res64: 3D3FE543E8097859 Time : 0.0 sec. user=juhehe [2012-02-18 06:35:06] 525*2^1124382-1 is not prime. Res64: 2A46C2382619B840 Time : 0.0 sec. user=juhehe [2012-02-18 06:44:57] 423*2^1124383-1 is not prime. Res64: 05E040BD4AF4D98E Time : 0.0 sec. user=juhehe [2012-02-18 07:08:26] 483*2^1124383-1 is not prime. Res64: 5E596824F3D50376 Time : 0.0 sec. user=juhehe [2012-02-18 07:17:56] 407*2^1124384-1 is not prime. Res64: 2ECFF5A38DCC09E7 Time : 0.0 sec. user=juhehe [2012-02-18 07:41:03] 425*2^1124384-1 is not prime. Res64: 3139055F1DF8687B Time : 0.0 sec. user=juhehe [2012-02-18 07:50:30] 435*2^1124384-1 is not prime. Res64: 0FED9AD4DF9CC14E Time : 0.0 sec. user=juhehe [2012-02-18 08:13:24] 479*2^1123988-1 is not prime. Res64: 98DCAED3B0B347E6 Time : 0.0 sec. user=juhehe [2012-02-18 08:22:50] 519*2^1123988-1 is not prime. Res64: F1D13B8F50D65FC9 Time : 0.0 sec. user=juhehe [2012-02-18 08:45:56] 469*2^1123989-1 is not prime. Res64: CF64C7FEF2EB8904 Time : 0.0 sec. user=juhehe [2012-02-18 08:56:03] 595*2^1123989-1 is not prime. Res64: 5BC3B2D3B2EFD539 Time : 0.0 sec. user=juhehe [2012-02-18 09:17:58] 483*2^1123990-1 is not prime. Res64: 79EA0CEDC2ECFEB8 Time : 0.0 sec. user=juhehe [2012-02-18 09:28:45] 525*2^1123990-1 is not prime. Res64: F0949BF510156783 Time : 0.0 sec. user=juhehe [2012-02-18 09:50:23] 591*2^1124003-1 is not prime. Res64: 917FE4A501F0791C Time : 0.0 sec. user=juhehe [2012-02-18 10:01:12] 503*2^1124004-1 is not prime. Res64: 0D393199D16DCD2F Time : 0.0 sec. user=juhehe [2012-02-18 10:23:02] 477*2^1124006-1 is not prime. Res64: ED81E85ED0A20A38 Time : 0.0 sec. user=juhehe [2012-02-18 10:34:20] 507*2^1124006-1 is not prime. Res64: 23AFD5DA56E1EFBF Time : 0.0 sec. user=juhehe [2012-02-18 10:55:37] 553*2^1124007-1 is not prime. Res64: 82C72BDF475B4EFD Time : 0.0 sec. user=juhehe [2012-02-18 11:06:56] 565*2^1124007-1 is not prime. Res64: FC22E259EF85B1FD Time : 0.0 sec. user=juhehe [2012-02-18 11:29:31] 419*2^1124008-1 is not prime. Res64: 23DA592D6E26620E Time : 0.0 sec. user=juhehe [2012-02-18 11:39:44] 429*2^1124008-1 is not prime. Res64: 3CC89F5FA9AA92B7 Time : 0.0 sec. user=juhehe [2012-02-18 12:01:55] 485*2^1124008-1 is not prime. Res64: 3534CAF19E690F1F Time : 0.0 sec. user=juhehe [2012-02-18 12:12:32] 533*2^1124008-1 is not prime. Res64: 59B545BB79F72465 Time : 0.0 sec. user=juhehe [2012-02-18 12:34:31] 567*2^1124008-1 is not prime. Res64: 2AE323ED0454780A Time : 0.0 sec. user=juhehe [2012-02-18 12:46:47] 569*2^1124008-1 is not prime. Res64: 01CA1FCE7B3880AC Time : 0.0 sec. user=juhehe [2012-02-18 13:08:33] 567*2^1124009-1 is not prime. Res64: BC3217B7886FF95F Time : 0.0 sec. user=juhehe [2012-02-18 13:20:48] 579*2^1124009-1 is not prime. Res64: EB1BD00732E50829 Time : 0.0 sec. user=juhehe [2012-02-18 13:41:32] 447*2^1124010-1 is not prime. Res64: B62B47E81A3CC08E Time : 0.0 sec. user=juhehe [2012-02-18 13:54:02] 465*2^1124010-1 is not prime. Res64: 5BF1D1FA71B4132F Time : 0.0 sec. user=juhehe [2012-02-18 14:17:41] 447*2^1124384-1 is not prime. Res64: 028E207E8EC18525 Time : 0.0 sec. user=juhehe [2012-02-18 14:26:35] 465*2^1124384-1 is not prime. Res64: A7B7F76DD34FE21A Time : 0.0 sec. user=henryzz [2012-02-18 14:48:21] 507*2^1124384-1 is not prime. Res64: 756F33B5F8B17CC7 Time : 0.0 sec. user=henryzz [2012-02-18 14:49:41] 573*2^1124384-1 is not prime. Res64: 9263D217F9110A37 Time : 0.0 sec. user=juhehe [2012-02-18 14:50:07] 473*2^1124384-1 is not prime. Res64: C4952C2D72C97019 Time : 0.0 sec. user=henryzz [2012-02-18 14:53:38] 585*2^1124384-1 is not prime. Res64: 59DB197DA22C096C Time : 0.0 sec. user=henryzz [2012-02-18 14:54:12] 447*2^1124385-1 is not prime. Res64: 61930668AC4F32B3 Time : 0.0 sec. user=juhehe [2012-02-18 14:59:04] 519*2^1124384-1 is not prime. Res64: A34132D608AAAD4D Time : 0.0 sec. user=henryzz [2012-02-18 15:11:14] 525*2^1124385-1 is not prime. Res64: DC90D1259659FF0C Time : 0.0 sec. user=henryzz [2012-02-18 15:12:40] 537*2^1124385-1 is not prime. Res64: 1DB6E10BAF667C69 Time : 0.0 sec. user=henryzz [2012-02-18 15:16:32] 477*2^1124386-1 is not prime. Res64: C8E59C45CE8DE60F Time : 0.0 sec. user=henryzz [2012-02-18 15:17:09] 521*2^1124386-1 is not prime. Res64: F787CC47C7F7B588 Time : 0.0 sec. user=juhehe [2012-02-18 15:22:29] 577*2^1124385-1 is not prime. Res64: A40A62198C44DE0E Time : 0.0 sec. user=juhehe [2012-02-18 15:31:29] 561*2^1124386-1 is not prime. Res64: 3D8719F74B8F54E8 Time : 0.0 sec. user=henryzz [2012-02-18 15:33:49] 575*2^1124386-1 is not prime. Res64: B34C2E7C1FA9DFE1 Time : 0.0 sec. user=henryzz [2012-02-18 15:35:12] 581*2^1124386-1 is not prime. Res64: F8FADEFF386B8C85 Time : 0.0 sec. user=henryzz [2012-02-18 15:39:52] 587*2^1124386-1 is not prime. Res64: B8A7BE7A3DE09DAF Time : 0.0 sec. user=henryzz [2012-02-18 15:40:29] 465*2^1124387-1 is not prime. Res64: 408EA4F9AFFBB14B Time : 0.0 sec. user=juhehe [2012-02-18 15:54:48] 543*2^1124387-1 is not prime. Res64: B39CE3A081022C67 Time : 0.0 sec. user=henryzz [2012-02-18 15:56:33] 545*2^1124388-1 is not prime. Res64: CF2165644DE4CAD5 Time : 0.0 sec. user=henryzz [2012-02-18 15:58:34] 411*2^1124389-1 is not prime. Res64: 2F77AD1E9036C2F8 Time : 0.0 sec. user=henryzz [2012-02-18 16:03:17] 427*2^1124389-1 is not prime. Res64: 64A581FC6D56ED12 Time : 0.0 sec. user=henryzz [2012-02-18 16:03:34] 469*2^1124389-1 is not prime. Res64: DD5FA24E6A81CEB9 Time : 0.0 sec. user=juhehe [2012-02-18 16:03:52] 483*2^1124388-1 is not prime. Res64: 01D517BE296F06FF Time : 0.0 sec. user=henryzz [2012-02-18 16:19:22] 521*2^1124390-1 is not prime. Res64: 564DC563910FF56B Time : 0.0 sec. user=henryzz [2012-02-18 16:21:25] 405*2^1124391-1 is not prime. Res64: 372928C0EE7E7123 Time : 0.0 sec. user=henryzz [2012-02-18 16:26:05] 483*2^1124391-1 is not prime. Res64: D6B89B4C0110B6E7 Time : 0.0 sec. user=henryzz [2012-02-18 16:26:18] 511*2^1124391-1 is not prime. Res64: 9DEF234326F753D1 Time : 0.0 sec. user=juhehe [2012-02-18 16:27:55] 477*2^1124390-1 is not prime. Res64: 1A2B1BD8045A3152 Time : 0.0 sec. user=juhehe [2012-02-18 16:39:23] 535*2^1124391-1 is not prime. Res64: FE153335FABC33E3 Time : 0.0 sec. user=henryzz [2012-02-18 16:41:40] 549*2^1124391-1 is not prime. Res64: BE5F60E383ACFF19 Time : 0.0 sec. user=henryzz [2012-02-18 16:44:28] 555*2^1124391-1 is not prime. Res64: 39B757DFEA9D6586 Time : 0.0 sec. user=henryzz [2012-02-18 16:49:08] 585*2^1124391-1 is not prime. Res64: D96ECC705782CDF9 Time : 0.0 sec. user=henryzz [2012-02-18 16:49:15] 413*2^1124392-1 is not prime. Res64: 623C09FCFFEC3C20 Time : 0.0 sec. user=henryzz [2012-02-18 17:04:28] 495*2^1124393-1 is not prime. Res64: 620E907CE905EC17 Time : 0.0 sec. user=henryzz [2012-02-18 17:07:30] 537*2^1124393-1 is not prime. Res64: 7372D3F14055260B Time : 0.0 sec. user=henryzz [2012-02-18 17:12:10] 411*2^1124395-1 is not prime. Res64: C19FBBD02C80E8AD Time : 0.0 sec. user=henryzz [2012-02-18 17:12:11] 485*2^1124394-1 is not prime. Res64: 1723902609A058D0 Time : 0.0 sec. user=juhehe [2012-02-18 17:12:44] 423*2^1124392-1 is not prime. Res64: FA19B1955B9658CD Time : 0.0 sec. user=juhehe [2012-02-18 17:21:14] 475*2^1124393-1 is not prime. Res64: E52B5192BB2D5363 Time : 0.0 sec. user=henryzz [2012-02-18 17:27:12] 489*2^1124395-1 is not prime. Res64: 238C07F4BD562180 Time : 0.0 sec. user=henryzz [2012-02-18 17:30:29] 589*2^1124395-1 is not prime. Res64: B3E87805A5277C1D Time : 0.0 sec. user=henryzz [2012-02-18 17:34:55] 427*2^1124397-1 is not prime. Res64: 7452603A0F864A8E Time : 0.0 sec. user=henryzz [2012-02-18 17:35:14] 515*2^1124396-1 is not prime. Res64: 2777B4C1BFA5D4DF Time : 0.0 sec. user=juhehe [2012-02-18 17:45:07] 465*2^1124397-1 is not prime. Res64: 9312992C943518FD Time : 0.0 sec. user=henryzz [2012-02-18 17:49:39] 499*2^1124397-1 is not prime. Res64: DADFB77B6CF9F925 Time : 0.0 sec. user=henryzz [2012-02-18 17:52:56] 425*2^1124398-1 is not prime. Res64: 8A99042B06311D8A Time : 0.0 sec. user=juhehe [2012-02-18 17:53:38] 471*2^1124397-1 is not prime. Res64: 8040E2FB0C05EAF0 Time : 0.0 sec. user=henryzz [2012-02-18 17:58:07] 437*2^1124398-1 is not prime. Res64: A8A7DA8194B2F3FC Time : 0.0 sec. user=henryzz [2012-02-18 17:58:26] 483*2^1124398-1 is not prime. Res64: C1481572830870FB Time : 0.0 sec. user=henryzz [2012-02-18 18:12:41] 511*2^1124399-1 is not prime. Res64: 7DD7917AD4F20ED6 Time : 0.0 sec. user=henryzz [2012-02-18 18:15:21] 573*2^1124399-1 is not prime. Res64: 2BE87FDD5466A5B8 Time : 0.0 sec. user=juhehe [2012-02-18 18:17:41] 551*2^1124398-1 is not prime. Res64: 6863782E52B6AFDF Time : 0.0 sec. user=henryzz [2012-02-18 18:20:51] 537*2^1124400-1 is not prime. Res64: 8BB635C3B6AAD3F2 Time : 0.0 sec. user=henryzz [2012-02-18 18:21:07] 555*2^1124400-1 is not prime. Res64: 40AD882FCD8B49A4 Time : 0.0 sec. user=juhehe [2012-02-18 18:26:47] 437*2^1124400-1 is not prime. Res64: B3E1599C0F3F289E Time : 0.0 sec. user=henryzz [2012-02-18 18:35:06] 569*2^1124400-1 is not prime. Res64: B74E115F721BA70D Time : 0.0 sec. user=henryzz [2012-02-18 18:38:12] 541*2^1124401-1 is not prime. Res64: 786774A525D08291 Time : 0.0 sec. user=henryzz [2012-02-18 18:43:28] 453*2^1124403-1 is not prime. Res64: 902892311822EEBD Time : 0.0 sec. user=henryzz [2012-02-18 18:43:52] 493*2^1124403-1 is not prime. Res64: 0939DAF93AC0AFE2 Time : 0.0 sec. user=juhehe [2012-02-18 18:50:15] 451*2^1124403-1 is not prime. Res64: A27C8A72C97C0D6B Time : 0.0 sec. user=henryzz [2012-02-18 18:58:09] 591*2^1124403-1 is not prime. Res64: D0941255CFFD525B Time : 0.0 sec. user=juhehe [2012-02-18 18:59:49] 585*2^1124403-1 is not prime. Res64: 0A68DEFAC4FA833F Time : 0.0 sec. user=henryzz [2012-02-18 19:00:50] 495*2^1124404-1 is not prime. Res64: EF6500C0C16EFC6D Time : 0.0 sec. user=henryzz [2012-02-18 19:06:01] 533*2^1124404-1 is not prime. Res64: 716A1E80D50654D6 Time : 0.0 sec. user=henryzz [2012-02-18 19:06:33] 579*2^1124404-1 is not prime. Res64: E7B0995801B30F6A Time : 0.0 sec. user=henryzz [2012-02-18 19:20:51] 469*2^1124405-1 is not prime. Res64: 0C9D0CA82644AFCB Time : 0.0 sec. user=henryzz [2012-02-18 19:23:31] 511*2^1124405-1 is not prime. Res64: F16D2929B340EA1A Time : 0.0 sec. user=juhehe [2012-02-18 19:25:41] 597*2^1124404-1 is not prime. Res64: C5B4D01B53830B1E Time : 0.0 sec. user=henryzz [2012-02-18 19:28:42] 557*2^1124406-1 is not prime. Res64: 5F008E8D20EB328C Time : 0.0 sec. user=henryzz [2012-02-18 19:29:00] 581*2^1124406-1 is not prime. Res64: FF0C88E90EAECBD7 Time : 0.0 sec. user=juhehe [2012-02-18 19:34:19] 507*2^1124405-1 is not prime. Res64: A92AA0D3F91F04A5 Time : 0.0 sec. user=henryzz [2012-02-18 19:42:56] 549*2^1124407-1 is not prime. Res64: 75134FCAE40D8744 Time : 0.0 sec. user=henryzz [2012-02-18 19:51:08] 437*2^1124408-1 is not prime. Res64: 18D919D669F34926 Time : 0.0 sec. user=henryzz [2012-02-18 19:51:15] 459*2^1124408-1 is not prime. Res64: 3D4F9A150AF85C8C Time : 0.0 sec. user=henryzz [2012-02-18 19:57:12] 585*2^1124408-1 is not prime. Res64: 3D730833DDC480A7 Time : 0.0 sec. user=juhehe [2012-02-18 19:58:24] 595*2^1124407-1 is not prime. Res64: DAFC2E8F091998FB Time : 0.0 sec. user=henryzz [2012-02-18 20:05:48] 465*2^1124409-1 is not prime. Res64: 23F40C8F043160BC Time : 0.0 sec. user=juhehe [2012-02-18 20:07:32] 509*2^1124408-1 is not prime. Res64: B2F1FD6C209FA293 Time : 0.0 sec. user=henryzz [2012-02-18 20:13:52] 595*2^1124409-1 is not prime. Res64: DC3B7B0F5D2CDD69 Time : 0.0 sec. user=henryzz [2012-02-18 20:14:03] 565*2^1124409-1 is not prime. Res64: A4C0737F3D1C0C14 Time : 0.0 sec. user=henryzz [2012-02-18 20:20:15] 513*2^1124410-1 is not prime. Res64: 7EA44F51EB1B12FC Time : 0.0 sec. user=vaughan [2012-02-18 20:28:26] 595*2^1124317-1 is not prime. Res64: A1486ECF7A2ACC6A Time : 0.0 sec. user=henryzz [2012-02-18 20:28:53] 459*2^1124412-1 is not prime. Res64: BEFA72BAF145D30A Time : 0.0 sec. user=vaughan [2012-02-18 20:29:32] 409*2^1124305-1 is not prime. Res64: 8A70A8C143ECD47E Time : 0.0 sec. user=juhehe [2012-02-18 20:31:23] 493*2^1124411-1 is not prime. Res64: 38A4DAFA51A8BDF0 Time : 0.0 sec. user=henryzz [2012-02-18 20:36:57] 465*2^1124413-1 is not prime. Res64: 5B7732227519B42C Time : 0.0 sec. user=henryzz [2012-02-18 20:37:00] 559*2^1124413-1 is not prime. Res64: 8170D99239CEFF0C Time : 0.0 sec. user=vaughan [2012-02-18 20:38:36] 511*2^1124327-1 is not prime. Res64: 318D9AA8C1328158 Time : 0.0 sec. user=juhehe [2012-02-18 20:42:29] 539*2^1124412-1 is not prime. Res64: F27443C11D98B755 Time : 0.0 sec. user=henryzz [2012-02-18 20:43:48] 597*2^1124413-1 is not prime. Res64: B449B4495B49FC26 Time : 0.0 sec. user=vaughan [2012-02-18 20:46:27] 473*2^1124328-1 is not prime. Res64: 70C459E7A9F9A63C Time : 0.0 sec. user=vaughan [2012-02-18 20:46:27] 525*2^1124328-1 is not prime. Res64: 3AAB5C9824D5EC9A Time : 0.0 sec. user=vaughan [2012-02-18 20:46:43] 505*2^1124329-1 is not prime. Res64: FB963F5431F070B2 Time : 0.0 sec. user=vaughan [2012-02-18 20:46:43] 589*2^1124329-1 is not prime. Res64: 961352C39E27460B Time : 0.0 sec. user=vaughan [2012-02-18 20:46:44] 565*2^1124329-1 is not prime. Res64: CF37F531CBAF4A0D Time : 0.0 sec. user=vaughan [2012-02-18 20:46:44] 483*2^1124330-1 is not prime. Res64: 6E426ECED5DA7202 Time : 0.0 sec. user=vaughan [2012-02-18 20:47:00] 523*2^1124327-1 is not prime. Res64: 6D9243189FA6BF69 Time : 0.0 sec. user=vaughan [2012-02-18 20:47:01] 437*2^1124328-1 is not prime. Res64: C735E4D6370446B1 Time : 0.0 sec. user=henryzz [2012-02-18 20:51:39] 411*2^1124414-1 is not prime. Res64: 22E45E1D6CAFE85B Time : 0.0 sec. user=vaughan [2012-02-18 20:57:16] 495*2^1124330-1 is not prime. Res64: B5772CC3E9BFC0D7 Time : 0.0 sec. user=vaughan [2012-02-18 20:57:16] 561*2^1124330-1 is not prime. Res64: D0CD82A401017F85 Time : 0.0 sec. user=henryzz [2012-02-18 21:00:01] 595*2^1124415-1 is not prime. Res64: 7966E12FCB1BDC29 Time : 0.0 sec. user=henryzz [2012-02-18 21:01:18] 501*2^1124415-1 is not prime. Res64: 57FADEB6EAB71698 Time : 0.0 sec. user=vaughan [2012-02-18 21:02:09] 505*2^1124311-1 is not prime. Res64: 0932563A9BB3B857 Time : 0.0 sec. user=vaughan [2012-02-18 21:02:10] 591*2^1124310-1 is not prime. Res64: 56463F4E46E3AA44 Time : 0.0 sec. user=vaughan [2012-02-18 21:02:14] 451*2^1124311-1 is not prime. Res64: 0CDA4421C234305A Time : 0.0 sec. user=vaughan [2012-02-18 21:02:49] 525*2^1124311-1 is not prime. Res64: 36643BD7DADAF4A5 Time : 0.0 sec. user=juhehe [2012-02-18 21:04:20] 441*2^1124415-1 is not prime. Res64: 634C2E80836A179B Time : 0.0 sec. user=vaughan [2012-02-18 21:04:43] 425*2^1124318-1 is not prime. Res64: 4D30356EEBF04768 Time : 0.0 sec. user=vaughan [2012-02-18 21:05:24] 513*2^1124319-1 is not prime. Res64: E4142BD17C05E5C8 Time : 0.0 sec. user=vaughan [2012-02-18 21:05:26] 501*2^1124319-1 is not prime. Res64: A8C155ABCBE13D08 Time : 0.0 sec. user=henryzz [2012-02-18 21:07:12] 487*2^1124417-1 is not prime. Res64: 6DE8DF6441E70666 Time : 0.0 sec. user=vaughan [2012-02-18 21:08:04] 563*2^1124320-1 is not prime. Res64: 9F56CA8AB4289740 Time : 0.0 sec. user=vaughan [2012-02-18 21:12:40] 549*2^1124323-1 is not prime. Res64: C43ECFA22110C910 Time : 0.0 sec. user=vaughan [2012-02-18 21:12:44] 555*2^1124323-1 is not prime. Res64: 1376810C6A31CF70 Time : 0.0 sec. user=henryzz [2012-02-18 21:14:46] 527*2^1124422-1 is not prime. Res64: 63D80A474032D40A Time : 0.0 sec. user=juhehe [2012-02-18 21:15:14] 435*2^1124417-1 is not prime. Res64: 0B94D12141BA394C Time : 0.0 sec. user=vaughan [2012-02-18 21:15:26] 569*2^1124416-1 is not prime. Res64: FB68DD2BE2C87E68 Time : 0.0 sec. user=vaughan [2012-02-18 21:15:27] 421*2^1124417-1 is not prime. Res64: 81EF17DA1B336A0D Time : 0.0 sec. user=vaughan [2012-02-18 21:15:35] 497*2^1124322-1 is not prime. Res64: E9EAC01FF43D232B Time : 0.0 sec. user=vaughan [2012-02-18 21:15:37] 567*2^1124322-1 is not prime. Res64: 1EC60A324B885AAF Time : 0.0 sec. user=vaughan [2012-02-18 21:15:42] 495*2^1124323-1 is not prime. Res64: A7B6B25E290BA09B Time : 0.0 sec. user=vaughan [2012-02-18 21:15:43] 519*2^1124323-1 is not prime. Res64: ABF1581E7A4AE410 Time : 0.0 sec. user=vaughan [2012-02-18 21:17:12] 441*2^1124414-1 is not prime. Res64: 2E298DA513796733 Time : 0.0 sec. user=henryzz [2012-02-18 21:22:54] 585*2^1124423-1 is not prime. Res64: 4E18EF614F8BCBD5 Time : 0.0 sec. user=vaughan [2012-02-18 21:23:10] 585*2^1124417-1 is not prime. Res64: C56FA7D4111C33DF Time : 0.0 sec. user=vaughan [2012-02-18 21:23:11] 515*2^1124418-1 is not prime. Res64: A74C17DDD3FF17E3 Time : 0.0 sec. user=vaughan [2012-02-18 21:23:28] 433*2^1124419-1 is not prime. Res64: 389D650DAC09D76A Time : 0.0 sec. user=vaughan [2012-02-18 21:23:29] 595*2^1124419-1 is not prime. Res64: 2D384EC8338B9679 Time : 0.0 sec. user=vaughan [2012-02-18 21:23:31] 503*2^1124420-1 is not prime. Res64: 68C7AB13341FB4E5 Time : 0.0 sec. user=vaughan [2012-02-18 21:23:32] 587*2^1124420-1 is not prime. Res64: F787D5F1D1AFD91B Time : 0.0 sec. user=vaughan [2012-02-18 21:23:45] 577*2^1124421-1 is not prime. Res64: 81955F9183518DD7 Time : 0.0 sec. user=vaughan [2012-02-18 21:23:46] 525*2^1124422-1 is not prime. Res64: EE637B4CA2AEBABD Time : 0.0 sec. user=henryzz [2012-02-18 21:24:31] 507*2^1124424-1 is not prime. Res64: 429EDC2050531E68 Time : 0.0 sec. user=vaughan [2012-02-18 21:27:10] 473*2^1124430-1 is not prime. Res64: 8521DD975000EAED Time : 0.0 sec. user=vaughan [2012-02-18 21:27:10] 555*2^1124430-1 is not prime. Res64: F823F40E7C0CDA0D Time : 0.0 sec. user=vaughan [2012-02-18 21:27:10] 525*2^1124430-1 is not prime. Res64: D2D7EA8D6A0D651C Time : 0.0 sec. user=vaughan [2012-02-18 21:27:11] 531*2^1124431-1 is not prime. Res64: AB28FFFE4ADE4A55 Time : 0.0 sec. user=vaughan [2012-02-18 21:28:13] 419*2^1124428-1 is not prime. Res64: 139AAD2094A1C94A Time : 0.0 sec. user=vaughan [2012-02-18 21:28:13] 437*2^1124428-1 is not prime. Res64: 5976D96A4453C7FE Time : 0.0 sec. user=vaughan [2012-02-18 21:28:20] 497*2^1124428-1 is not prime. Res64: 10E241BE725A0639 Time : 0.0 sec. user=vaughan [2012-02-18 21:28:20] 477*2^1124429-1 is not prime. Res64: 0D75AF9E0EB5590D Time : 0.0 sec. user=vaughan [2012-02-18 21:29:15] 583*2^1124427-1 is not prime. Res64: 71DD1FB8DA35EC09 Time : 0.0 sec. user=henryzz [2012-02-18 21:29:34] 405*2^1124432-1 is not prime. Res64: ED8AD203D3870790 Time : 0.0 sec. user=vaughan [2012-02-18 21:30:40] 495*2^1124414-1 is not prime. Res64: 9E747CB062B0A7AD Time : 0.0 sec. user=vaughan [2012-02-18 21:30:52] 413*2^1124432-1 is not prime. Res64: D79AC066A80DEFF2 Time : 0.0 sec. user=vaughan [2012-02-18 21:30:52] 425*2^1124432-1 is not prime. Res64: 51122BEF880D2952 Time : 0.0 sec. user=vaughan [2012-02-18 21:34:03] 423*2^1124423-1 is not prime. Res64: 3BD698794DAECA71 Time : 0.0 sec. user=vaughan [2012-02-18 21:34:04] 501*2^1124423-1 is not prime. Res64: 38970E4AA9600E8E Time : 0.0 sec. user=vaughan [2012-02-18 21:35:20] 533*2^1124432-1 is not prime. Res64: 86A6945FEE4EEBD7 Time : 0.0 sec. user=vaughan [2012-02-18 21:35:20] 563*2^1124432-1 is not prime. Res64: B318D80BF2267FFA Time : 0.0 sec. user=juhehe [2012-02-18 21:36:10] 469*2^1124427-1 is not prime. Res64: B1B6190881256E7E Time : 0.0 sec. user=vaughan [2012-02-18 21:36:23] 565*2^1124425-1 is not prime. Res64: E8CF50A3D095B214 Time : 0.0 sec. user=vaughan [2012-02-18 21:36:23] 545*2^1124426-1 is not prime. Res64: 6508A3B348C8F8FA Time : 0.0 sec. user=vaughan [2012-02-18 21:36:24] 581*2^1124426-1 is not prime. Res64: 7A8F5F8F7A5B54DD Time : 0.0 sec. user=vaughan [2012-02-18 21:36:24] 587*2^1124426-1 is not prime. Res64: 2AB3AFB20CEC0ADC Time : 0.0 sec. user=vaughan [2012-02-18 21:36:44] 441*2^1124425-1 is not prime. Res64: 649FB774389A202C Time : 0.0 sec. user=vaughan [2012-02-18 21:36:45] 481*2^1124425-1 is not prime. Res64: 7EAD179BC7ECE06A Time : 0.0 sec. user=vaughan [2012-02-18 21:37:07] 405*2^1124427-1 is not prime. Res64: CE777812ADAFA2B0 Time : 0.0 sec. user=vaughan [2012-02-18 21:37:08] 441*2^1124427-1 is not prime. Res64: B37588F57343D7E0 Time : 0.0 sec. user=henryzz [2012-02-18 21:37:45] 441*2^1124433-1 is not prime. Res64: B31758D10FD6BCD4 Time : 0.0 sec. user=vaughan [2012-02-18 21:38:09] 513*2^1124436-1 is not prime. Res64: A2ACF078539F7905 Time : 0.0 sec. user=vaughan [2012-02-18 21:38:09] 441*2^1124437-1 is not prime. Res64: EC492BE345E64A80 Time : 0.0 sec. user=vaughan [2012-02-18 21:39:48] 465*2^1124437-1 is not prime. Res64: 671BD09A1C0DB4FC Time : 0.0 sec. user=vaughan [2012-02-18 21:39:48] 471*2^1124437-1 is not prime. Res64: 591EADCD1378C289 Time : 0.0 sec. user=vaughan [2012-02-18 21:40:05] 409*2^1124435-1 is not prime. Res64: 1E4E7BDE37F119C6 Time : 0.0 sec. user=vaughan [2012-02-18 21:40:08] 503*2^1124436-1 is not prime. Res64: EDD3B1FE14DE94A4 Time : 0.0 sec. user=henryzz [2012-02-18 21:46:20] 499*2^1124437-1 is not prime. Res64: 2F9FEAA9EA73EEAB Time : 0.0 sec. user=vaughan [2012-02-18 21:47:15] 573*2^1124442-1 is not prime. Res64: EBA66DFC18054762 Time : 0.0 sec. user=vaughan [2012-02-18 21:47:16] 565*2^1124441-1 is not prime. Res64: 69B6B223C06BEC71 Time : 0.0 sec. user=vaughan [2012-02-18 21:47:18] 597*2^1124446-1 is not prime. Res64: 692ED0CF8CFB6602 Time : 0.0 sec. user=vaughan [2012-02-18 21:47:20] 421*2^1124441-1 is not prime. Res64: 21038817CE0378D7 Time : 0.0 sec. user=vaughan [2012-02-18 21:47:22] 455*2^1124440-1 is not prime. Res64: 90E23FE00C3CC069 Time : 0.0 sec. user=vaughan [2012-02-18 21:47:22] 465*2^1124440-1 is not prime. Res64: 73A7C03BFB590E7B Time : 0.0 sec. user=juhehe [2012-02-18 21:47:24] 517*2^1124433-1 is not prime. Res64: 1D4C87A744DD20C9 Time : 0.0 sec. user=vaughan [2012-02-18 21:47:25] 525*2^1124440-1 is not prime. Res64: 7BB622A4BDDC64A5 Time : 0.0 sec. user=vaughan [2012-02-18 21:47:25] 539*2^1124440-1 is not prime. Res64: B053A62F7A4A45A2 Time : 0.0 sec. user=henryzz [2012-02-18 21:47:43] 429*2^1124440-1 is not prime. Res64: D6C602D979FB8ED5 Time : 0.0 sec. user=vaughan [2012-02-18 21:52:12] 525*2^1124434-1 is not prime. Res64: 6B4217436B69D795 Time : 0.0 sec. user=vaughan [2012-02-18 21:52:13] 533*2^1124434-1 is not prime. Res64: 48476450F0D1A704 Time : 0.0 sec. user=henryzz [2012-02-18 21:52:29] 471*2^1124442-1 is not prime. Res64: 85CEB243E6B2202C Time : 0.0 sec. user=vaughan [2012-02-18 21:52:41] 439*2^1124453-1 is not prime. Res64: 3B3DC8BFBCB21C64 Time : 0.0 sec. user=vaughan [2012-02-18 21:52:42] 517*2^1124453-1 is not prime. Res64: 17EF821FF21335E4 Time : 0.0 sec. user=vaughan [2012-02-18 21:55:19] 495*2^1124441-1 is not prime. Res64: CCFDCA987DCA2076 Time : 0.0 sec. user=vaughan [2012-02-18 21:55:32] 585*2^1124441-1 is not prime. Res64: 5B0A752A37F7C75A Time : 0.0 sec. user=vaughan [2012-02-18 21:58:13] 593*2^1124442-1 is not prime. Res64: 4505041FB1FE8884 Time : 0.0 sec. user=vaughan [2012-02-18 21:59:59] 531*2^1124437-1 is not prime. Res64: 44E06EC7742030BF Time : 0.0 sec. user=vaughan [2012-02-18 21:59:59] 589*2^1124437-1 is not prime. Res64: 1BBD24A2C43D82C3 Time : 0.0 sec. user=vaughan [2012-02-18 22:00:11] 435*2^1124438-1 is not prime. Res64: 990398DB41770918 Time : 0.0 sec. user=vaughan [2012-02-18 22:00:14] 533*2^1124438-1 is not prime. Res64: 700FDC6E141ACBFA Time : 0.0 sec. user=vaughan [2012-02-18 22:00:20] 585*2^1124438-1 is not prime. Res64: DEABBFCBA368DC07 Time : 0.0 sec. user=vaughan [2012-02-18 22:00:21] 441*2^1124439-1 is not prime. Res64: 54CC639338E83499 Time : 0.0 sec. user=henryzz [2012-02-18 22:00:25] 507*2^1124452-1 is not prime. Res64: B6E788CB37E618B3 Time : 0.0 sec. user=vaughan [2012-02-18 22:00:35] 465*2^1124439-1 is not prime. Res64: D9B7D944F459291D Time : 0.0 sec. user=vaughan [2012-02-18 22:00:36] 511*2^1124439-1 is not prime. Res64: F7854CAE2C659BCD Time : 0.0 sec. user=vaughan [2012-02-18 22:02:03] 585*2^1124445-1 is not prime. Res64: FE1326D94FFBB9BA Time : 0.0 sec. user=vaughan [2012-02-18 22:02:05] 495*2^1124446-1 is not prime. Res64: A8236AC88BCAEF95 Time : 0.0 sec. user=vaughan [2012-02-18 22:02:06] 585*2^1124444-1 is not prime. Res64: B0A3DB630E33A76E Time : 0.0 sec. user=vaughan [2012-02-18 22:02:09] 435*2^1124444-1 is not prime. Res64: EF20E1960B2F192E Time : 0.0 sec. user=vaughan [2012-02-18 22:02:12] 573*2^1124444-1 is not prime. Res64: EC1A5E756D7379AD Time : 0.0 sec. user=vaughan [2012-02-18 22:02:14] 489*2^1124443-1 is not prime. Res64: B7ECA6326AE61C23 Time : 0.0 sec. user=vaughan [2012-02-18 22:02:29] 571*2^1124447-1 is not prime. Res64: 498BD7D47DA6871C Time : 0.0 sec. user=vaughan [2012-02-18 22:03:03] 465*2^1124453-1 is not prime. Res64: C3D84E2354019CA4 Time : 0.0 sec. user=vaughan [2012-02-18 22:04:43] 547*2^1124453-1 is not prime. Res64: F3F96B5BBC28036D Time : 0.0 sec. user=juhehe [2012-02-18 22:08:09] 465*2^1124448-1 is not prime. Res64: 735D40FD8A8CF218 Time : 0.0 sec. user=henryzz [2012-02-18 22:09:32] 577*2^1124453-1 is not prime. Res64: 24AA37BB9CB458BD Time : 0.0 sec. user=vaughan [2012-02-18 22:10:49] 451*2^1124443-1 is not prime. Res64: 2042D868B5FA33CC Time : 0.0 sec. user=vaughan [2012-02-18 22:10:52] 463*2^1124443-1 is not prime. Res64: 252C3799ACA26456 Time : 0.0 sec. user=henryzz [2012-02-18 22:11:03] 473*2^1124456-1 is not prime. Res64: B75B7EBC23EE189C Time : 0.0 sec. user=vaughan [2012-02-18 22:12:24] 493*2^1124455-1 is not prime. Res64: F2C286609A7D56D1 Time : 0.0 sec. user=vaughan [2012-02-18 22:12:30] 499*2^1124455-1 is not prime. Res64: 9E2EBF0A87E51F9A Time : 0.0 sec. user=vaughan [2012-02-18 22:12:35] 585*2^1124453-1 is not prime. Res64: 50E452D263E19B3F Time : 0.0 sec. user=vaughan [2012-02-18 22:12:36] 513*2^1124454-1 is not prime. Res64: 775EBE2B9B157C02 Time : 0.0 sec. user=vaughan [2012-02-18 22:14:49] 563*2^1124448-1 is not prime. Res64: CA5CEA9C00F0AF79 Time : 0.0 sec. user=vaughan [2012-02-18 22:14:50] 507*2^1124449-1 is not prime. Res64: EB296491F5A2DB4F Time : 0.0 sec. user=vaughan [2012-02-18 22:14:55] 511*2^1124443-1 is not prime. Res64: 9B71FC136595100A Time : 0.0 sec. user=vaughan [2012-02-18 22:14:57] 407*2^1124450-1 is not prime. Res64: E27D2ED5002AC04F Time : 0.0 sec. user=vaughan [2012-02-18 22:14:58] 545*2^1124450-1 is not prime. Res64: 2BB0ED60FC15F232 Time : 0.0 sec. user=vaughan [2012-02-18 22:14:59] 579*2^1124444-1 is not prime. Res64: 51ABE36A8BE9E6F6 Time : 0.0 sec. user=vaughan [2012-02-18 22:14:59] 447*2^1124444-1 is not prime. Res64: B1AD74E1F0F6BDB1 Time : 0.0 sec. user=vaughan [2012-02-18 22:15:17] 593*2^1124444-1 is not prime. Res64: 129448B030570A68 Time : 0.0 sec. user=vaughan [2012-02-18 22:15:20] 455*2^1124446-1 is not prime. Res64: E18BF3A99BB88241 Time : 0.0 sec. user=vaughan [2012-02-18 22:15:22] 575*2^1124446-1 is not prime. Res64: 59024A0F8CD64EDD Time : 0.0 sec. user=vaughan [2012-02-18 22:15:31] 453*2^1124451-1 is not prime. Res64: 88A3FEAD70A69269 Time : 0.0 sec. user=vaughan [2012-02-18 22:15:32] 583*2^1124451-1 is not prime. Res64: 2713B577FE1F2C40 Time : 0.0 sec. user=henryzz [2012-02-18 22:15:44] 593*2^1124456-1 is not prime. Res64: 692395B76BA781CF Time : 0.0 sec. user=vaughan [2012-02-18 22:15:46] 405*2^1124452-1 is not prime. Res64: 6B9106E2FA01C0AA Time : 0.0 sec. user=vaughan [2012-02-18 22:15:47] 455*2^1124452-1 is not prime. Res64: 6B7968C18D7109F9 Time : 0.0 sec. user=juhehe [2012-02-18 22:19:46] 525*2^1124454-1 is not prime. Res64: 60C9A163B8381A2E Time : 0.0 sec. user=henryzz [2012-02-18 22:22:47] 497*2^1124458-1 is not prime. Res64: CEE24A31C2894881 Time : 0.0 sec. user=vaughan [2012-02-18 22:24:13] 529*2^1124321-1 is not prime. Res64: 870F24507B7B5867 Time : 0.0 sec. user=vaughan [2012-02-18 22:24:45] 579*2^1124321-1 is not prime. Res64: 4741213582928A1A Time : 0.0 sec. user=vaughan [2012-02-18 22:29:01] 483*2^1124456-1 is not prime. Res64: 8C8876C8EC20B4C3 Time : 0.0 sec. user=vaughan [2012-02-18 22:29:01] 587*2^1124456-1 is not prime. Res64: 4340885EC6E8EACB Time : 0.0 sec. user=vaughan [2012-02-18 22:31:28] 491*2^1124314-1 is not prime. Res64: 3D489250A04D6C24 Time : 0.0 sec. user=henryzz [2012-02-18 22:33:04] 451*2^1124461-1 is not prime. Res64: 65BE9BC511FA23AC Time : 0.0 sec. user=henryzz [2012-02-18 22:34:23] 547*2^1124461-1 is not prime. Res64: 03A639675D922917 Time : 0.0 sec. user=vaughan [2012-02-18 22:36:42] 475*2^1124457-1 is not prime. Res64: B483CF11220707F1 Time : 0.0 sec. user=vaughan [2012-02-18 22:36:42] 413*2^1124458-1 is not prime. Res64: 2F25A5B360E01605 Time : 0.0 sec. user=vaughan [2012-02-18 22:37:00] 435*2^1124458-1 is not prime. Res64: 25BD810D4FA04C6C Time : 0.0 sec. user=vaughan [2012-02-18 22:37:01] 437*2^1124458-1 is not prime. Res64: A56265161CBA796E Time : 0.0 sec. user=vaughan [2012-02-18 22:37:05] 443*2^1124458-1 is not prime. Res64: 2DA394263CC84F8B Time : 0.0 sec. user=vaughan [2012-02-18 22:37:05] 495*2^1124458-1 is not prime. Res64: 0AB4F58B93EF9D8A Time : 0.0 sec. user=vaughan [2012-02-18 22:37:20] 533*2^1124458-1 is not prime. Res64: EE010E1A403FE61F Time : 0.0 sec. user=vaughan [2012-02-18 22:37:20] 581*2^1124458-1 is not prime. Res64: 3F63D52BF2F087E4 Time : 0.0 sec. user=vaughan [2012-02-18 22:37:31] 561*2^1124318-1 is not prime. Res64: 0328248144DD68F9 Time : 0.0 sec. user=vaughan [2012-02-18 22:37:47] 503*2^1124324-1 is not prime. Res64: 997CA08B995683F2 Time : 0.0 sec. user=vaughan [2012-02-18 22:37:48] 539*2^1124324-1 is not prime. Res64: 3DD72FAE41925620 Time : 0.0 sec. user=vaughan [2012-02-18 22:38:07] 573*2^1124324-1 is not prime. Res64: DD52D790E135BDB7 Time : 0.0 sec. user=vaughan [2012-02-18 22:38:08] 447*2^1124325-1 is not prime. Res64: 927E56C74CDC6899 Time : 0.0 sec. user=vaughan [2012-02-18 22:38:08] 573*2^1124318-1 is not prime. Res64: 7A39C511BA020D12 Time : 0.0 sec. user=henryzz [2012-02-18 22:38:22] 555*2^1124461-1 is not prime. Res64: 32C52E65BFFDE5A6 Time : 0.0 sec. user=juhehe [2012-02-18 22:41:22] 549*2^1124460-1 is not prime. Res64: 7C74EC1B0341D33B Time : 0.0 sec. user=henryzz [2012-02-18 22:45:38] 583*2^1124463-1 is not prime. Res64: E190B36E60CC1A7A Time : 0.0 sec. user=vaughan [2012-02-18 22:47:44] 471*2^1124461-1 is not prime. Res64: F028F35AA357C433 Time : 0.0 sec. user=vaughan [2012-02-18 22:47:45] 517*2^1124461-1 is not prime. Res64: 36664D348BA7CA48 Time : 0.0 sec. user=juhehe [2012-02-18 22:52:43] 407*2^1124462-1 is not prime. Res64: 0C9C4494E6D35FD0 Time : 0.0 sec. user=henryzz [2012-02-18 22:56:02] 539*2^1124464-1 is not prime. Res64: A628B208506B528A Time : 0.0 sec. user=vaughan [2012-02-18 22:57:32] 577*2^1124325-1 is not prime. Res64: 8839E6EFBE79DE6B Time : 0.0 sec. user=vaughan [2012-02-18 22:57:33] 513*2^1124326-1 is not prime. Res64: 1066E1B04EA48F4D Time : 0.0 sec. user=henryzz [2012-02-18 22:57:41] 587*2^1124464-1 is not prime. Res64: C98E30FB38974FBB Time : 0.0 sec. user=henryzz [2012-02-18 23:01:42] 525*2^1124466-1 is not prime. Res64: 9CF34ACC273BE1F9 Time : 0.0 sec. user=vaughan [2012-02-18 23:06:02] 595*2^1124463-1 is not prime. Res64: 1B6E2CF728A4C450 Time : 0.0 sec. user=vaughan [2012-02-18 23:06:06] 447*2^1124464-1 is not prime. Res64: 7EFE7453B1029FBA Time : 0.0 sec. user=henryzz [2012-02-18 23:08:31] 451*2^1124467-1 is not prime. Res64: 998D7F09E64C6467 Time : 0.0 sec. user=vaughan [2012-02-18 23:13:35] 411*2^1124465-1 is not prime. Res64: B226D58AADC45FE0 Time : 0.0 sec. user=vaughan [2012-02-18 23:13:35] 441*2^1124465-1 is not prime. Res64: 120A0F5BBFF25445 Time : 0.0 sec. user=vaughan [2012-02-18 23:13:53] 469*2^1124465-1 is not prime. Res64: B7F91198E9CA351D Time : 0.0 sec. user=vaughan [2012-02-18 23:13:54] 477*2^1124465-1 is not prime. Res64: 8348034FA7067DEF Time : 0.0 sec. user=vaughan [2012-02-18 23:13:57] 481*2^1124465-1 is not prime. Res64: C83B38BCC140C3E1 Time : 0.0 sec. user=vaughan [2012-02-18 23:13:58] 507*2^1124465-1 is not prime. Res64: 35DA708A461A4E09 Time : 0.0 sec. user=vaughan [2012-02-18 23:14:14] 595*2^1124465-1 is not prime. Res64: 0CCC8313722280AE Time : 0.0 sec. user=vaughan [2012-02-18 23:14:14] 411*2^1124466-1 is not prime. Res64: 21010E9EF7F2A5BA Time : 0.0 sec. user=juhehe [2012-02-18 23:14:19] 421*2^1124467-1 is not prime. Res64: 8C7A1F684D8EFAF8 Time : 0.0 sec. user=vaughan [2012-02-18 23:15:56] 495*2^1124470-1 is not prime. Res64: 3766B55F3074B67D Time : 0.0 sec. user=henryzz [2012-02-18 23:18:58] 427*2^1124469-1 is not prime. Res64: CA5CBE45BB20E46B Time : 0.0 sec. user=henryzz [2012-02-18 23:20:42] 571*2^1124469-1 is not prime. Res64: 16D7FF9079292D6C Time : 0.0 sec. user=vaughan [2012-02-18 23:23:23] 555*2^1124470-1 is not prime. Res64: FAC6620ED85471D3 Time : 0.0 sec. user=vaughan [2012-02-18 23:24:37] 453*2^1124468-1 is not prime. Res64: DB4B8D7A2D46800B Time : 0.0 sec. user=vaughan [2012-02-18 23:24:38] 515*2^1124468-1 is not prime. Res64: 5D89BB1CBE7C4100 Time : 0.0 sec. user=henryzz [2012-02-18 23:24:47] 453*2^1124470-1 is not prime. Res64: 1742162D2F8B8093 Time : 0.0 sec. user=juhehe [2012-02-18 23:25:58] 539*2^1124468-1 is not prime. Res64: 34ED4C25522485B4 Time : 0.0 sec. user=henryzz [2012-02-18 23:31:43] 433*2^1124471-1 is not prime. Res64: 8B3626F003199863 Time : 0.0 sec. user=henryzz [2012-02-18 23:42:08] 537*2^1124476-1 is not prime. Res64: 32C3218602A05373 Time : 0.0 sec. user=vaughan [2012-02-18 23:43:03] 597*2^1124470-1 is not prime. Res64: 6CCA3468FB1DABAE Time : 0.0 sec. user=vaughan [2012-02-18 23:43:04] 421*2^1124471-1 is not prime. Res64: DFD9526565FF5659 Time : 0.0 sec. user=henryzz [2012-02-18 23:43:47] 435*2^1124477-1 is not prime. Res64: 18314CEF576AB46A Time : 0.0 sec. user=juhehe [2012-02-18 23:47:29] 579*2^1124475-1 is not prime. Res64: 73EE700C557DFDA5 Time : 0.0 sec. user=henryzz [2012-02-18 23:48:04] 517*2^1124477-1 is not prime. Res64: A13226B127F3000F Time : 0.0 sec. user=vaughan [2012-02-18 23:50:18] 419*2^1124472-1 is not prime. Res64: 404A6527A64913DF Time : 0.0 sec. user=vaughan [2012-02-18 23:50:18] 437*2^1124472-1 is not prime. Res64: 4BE5A65FE9BB2441 Time : 0.0 sec. user=vaughan [2012-02-18 23:50:40] 405*2^1124473-1 is not prime. Res64: E5C582BB93620F04 Time : 0.0 sec. user=vaughan [2012-02-18 23:50:40] 517*2^1124473-1 is not prime. Res64: 1B61EF7487CC3456 Time : 0.0 sec. user=vaughan [2012-02-18 23:50:41] 511*2^1124473-1 is not prime. Res64: 98D0E6068B6B531B Time : 0.0 sec. user=vaughan [2012-02-18 23:50:41] 549*2^1124473-1 is not prime. Res64: 63FFD8F4DF749878 Time : 0.0 sec. user=vaughan [2012-02-18 23:50:57] 545*2^1124474-1 is not prime. Res64: 0939DF3A4174ADAA Time : 0.0 sec. user=vaughan [2012-02-18 23:50:57] 575*2^1124474-1 is not prime. Res64: 39107A3E7382BDD6 Time : 0.0 sec. user=henryzz [2012-02-18 23:54:25] 413*2^1124478-1 is not prime. Res64: 3F864A208F200FCE Time : 0.0 sec. user=juhehe [2012-02-18 23:58:56] 405*2^1124478-1 is not prime. Res64: 0E12510387AD6FFA Time : 0.0 sec.