user=juhehe [2013-03-14 00:08:30] 651*2^1242645-1 is not prime. Res64: 0E9E26E4DBE1E8A1 Time : 0.0 sec. user=mdettweiler [2013-03-14 00:13:13] 673*2^1242647-1 is not prime. Res64: 09F03CF7D92E25A4 Time : 0.0 sec. user=mdettweiler [2013-03-14 00:13:13] 759*2^1242647-1 is not prime. Res64: 6F1C0860401DECFC Time : 0.0 sec. user=mdettweiler [2013-03-14 00:13:14] 799*2^1242647-1 is not prime. Res64: 8F344BF0382F8815 Time : 0.0 sec. user=mdettweiler [2013-03-14 00:13:15] 657*2^1242648-1 is not prime. Res64: 8B6F5822A043258B Time : 0.0 sec. user=mdettweiler [2013-03-14 00:30:42] 683*2^1242648-1 is not prime. Res64: 35C4BECC5A3D1DC0 Time : 0.0 sec. user=mdettweiler [2013-03-14 00:30:42] 705*2^1242648-1 is not prime. Res64: E5BAD3EA5451E2B8 Time : 0.0 sec. user=mdettweiler [2013-03-14 00:30:42] 789*2^1242648-1 is not prime. Res64: 57176439A5874E23 Time : 0.0 sec. user=mdettweiler [2013-03-14 00:30:43] 803*2^1242648-1 is not prime. Res64: B48A7BAD0FED9431 Time : 0.0 sec. user=mdettweiler [2013-03-14 00:48:06] 619*2^1242649-1 is not prime. Res64: 88346F2E454477F2 Time : 0.0 sec. user=mdettweiler [2013-03-14 00:48:07] 765*2^1242649-1 is not prime. Res64: BA91F283124C894C Time : 0.0 sec. user=mdettweiler [2013-03-14 00:48:07] 919*2^1242649-1 is not prime. Res64: 13C3666833B446DB Time : 0.0 sec. user=mdettweiler [2013-03-14 00:48:08] 615*2^1242650-1 is not prime. Res64: C4F1F1215E4605E5 Time : 0.0 sec. user=mdettweiler [2013-03-14 01:05:31] 623*2^1242650-1 is not prime. Res64: 3573A3EB987152C1 Time : 0.0 sec. user=mdettweiler [2013-03-14 01:05:31] 915*2^1242650-1 is not prime. Res64: 52686D42299D35FF Time : 0.0 sec. user=mdettweiler [2013-03-14 01:05:32] 797*2^1242650-1 is not prime. Res64: 3F8F6E5CC3761249 Time : 0.0 sec. user=mdettweiler [2013-03-14 01:05:32] 621*2^1242651-1 is not prime. Res64: 385D50B9F69B3C7B Time : 0.0 sec. user=juhehe [2013-03-14 01:22:09] 845*2^1242648-1 is not prime. Res64: F0408D0362AD7CCE Time : 0.0 sec. user=mdettweiler [2013-03-14 01:22:57] 651*2^1242651-1 is not prime. Res64: DA2924A113A6BAAE Time : 0.0 sec. user=mdettweiler [2013-03-14 01:22:58] 861*2^1242651-1 is not prime. Res64: C815AAC0442FBBC8 Time : 0.0 sec. user=mdettweiler [2013-03-14 01:22:59] 695*2^1242652-1 is not prime. Res64: C368EF0A9ECBDC2D Time : 0.0 sec. user=mdettweiler [2013-03-14 01:22:59] 777*2^1242652-1 is not prime. Res64: ADCFEC3CFD5D39CA Time : 0.0 sec. user=mdettweiler [2013-03-14 01:40:22] 721*2^1242653-1 is not prime. Res64: C29EE9C2A057FA2B Time : 0.0 sec. user=mdettweiler [2013-03-14 01:40:22] 901*2^1242653-1 is not prime. Res64: 072E069DBE31864A Time : 0.0 sec. user=mdettweiler [2013-03-14 01:40:23] 927*2^1242653-1 is not prime. Res64: 0650435838B1217E Time : 0.0 sec. user=mdettweiler [2013-03-14 01:40:23] 641*2^1242654-1 is not prime. Res64: 4B00799AF9406348 Time : 0.0 sec. user=mdettweiler [2013-03-14 01:57:46] 663*2^1242654-1 is not prime. Res64: AAB05C46DAA242CB Time : 0.0 sec. user=mdettweiler [2013-03-14 01:57:47] 705*2^1242654-1 is not prime. Res64: 24B015C7F8D49D66 Time : 0.0 sec. user=mdettweiler [2013-03-14 01:57:47] 737*2^1242654-1 is not prime. Res64: F03BB36E00E744FF Time : 0.0 sec. user=mdettweiler [2013-03-14 01:57:48] 863*2^1242654-1 is not prime. Res64: 6CB51A5D58359D85 Time : 0.0 sec. user=juhehe [2013-03-14 02:14:00] 715*2^1242653-1 is not prime. Res64: E5C35E0BB31E26D3 Time : 0.0 sec. user=mdettweiler [2013-03-14 02:24:21] 603*2^1242655-1 is not prime. Res64: 9CD45D70D5838C48 Time : 0.0 sec. user=mdettweiler [2013-03-14 02:24:22] 679*2^1242655-1 is not prime. Res64: 74D7216B224D637A Time : 0.0 sec. user=mdettweiler [2013-03-14 02:24:35] 693*2^1242655-1 is not prime. Res64: 90989BBEBFAAB715 Time : 0.0 sec. user=mdettweiler [2013-03-14 02:24:36] 819*2^1242655-1 is not prime. Res64: 4375FA997B519DCB Time : 0.0 sec. user=mdettweiler [2013-03-14 02:41:46] 615*2^1242656-1 is not prime. Res64: E6FBF492FA68D973 Time : 0.0 sec. user=mdettweiler [2013-03-14 02:41:47] 669*2^1242656-1 is not prime. Res64: 37EF8954D592AD77 Time : 0.0 sec. user=mdettweiler [2013-03-14 02:41:59] 683*2^1242656-1 is not prime. Res64: FD4E6EC9A844CD1E Time : 0.0 sec. user=mdettweiler [2013-03-14 02:42:00] 743*2^1242656-1 is not prime. Res64: AA0728D99FD15179 Time : 0.0 sec. user=mdettweiler [2013-03-14 02:59:12] 825*2^1242656-1 is not prime. Res64: 4359862F246FDD68 Time : 0.0 sec. user=mdettweiler [2013-03-14 02:59:13] 839*2^1242656-1 is not prime. Res64: 75C925E6D0CBF6FB Time : 0.0 sec. user=mdettweiler [2013-03-14 02:59:24] 845*2^1242656-1 is not prime. Res64: 64426495085CCE49 Time : 0.0 sec. user=mdettweiler [2013-03-14 02:59:25] 867*2^1242656-1 is not prime. Res64: B66854A1D3703658 Time : 0.0 sec. user=mdettweiler [2013-03-14 03:16:36] 903*2^1242656-1 is not prime. Res64: 6757093380A7BA10 Time : 0.0 sec. user=mdettweiler [2013-03-14 03:16:36] 909*2^1242656-1 is not prime. Res64: 0F234EFBEA7246F1 Time : 0.0 sec. user=mdettweiler [2013-03-14 03:16:47] 999*2^1242656-1 is not prime. Res64: F7F7EBAA63809076 Time : 0.0 sec. user=mdettweiler [2013-03-14 03:16:48] 637*2^1242657-1 is not prime. Res64: 002C360A416949BD Time : 0.0 sec. user=mdettweiler [2013-03-14 03:33:59] 699*2^1242657-1 is not prime. Res64: 08FAB925FBDAF1B1 Time : 0.0 sec. user=mdettweiler [2013-03-14 03:34:00] 751*2^1242657-1 is not prime. Res64: 4049295176E205FE Time : 0.0 sec. user=mdettweiler [2013-03-14 03:34:10] 829*2^1242657-1 is not prime. Res64: 54153BACDA22C19E Time : 0.0 sec. user=mdettweiler [2013-03-14 03:34:11] 861*2^1242657-1 is not prime. Res64: 6F0195FBC4275DC7 Time : 0.0 sec. user=juhehe [2013-03-14 03:34:46] 973*2^1242655-1 is not prime. Res64: AC32B123909174CF Time : 0.0 sec. user=mdettweiler [2013-03-14 03:51:27] 915*2^1242657-1 is not prime. Res64: 40DF30DB8EC79014 Time : 0.0 sec. user=mdettweiler [2013-03-14 03:51:27] 985*2^1242657-1 is not prime. Res64: A665E5BF80DD4F77 Time : 0.0 sec. user=mdettweiler [2013-03-14 03:51:37] 997*2^1242657-1 is not prime. Res64: 6F886200E20692B3 Time : 0.0 sec. user=mdettweiler [2013-03-14 03:51:37] 605*2^1242658-1 is not prime. Res64: 4F4670637CC2B724 Time : 0.0 sec. user=mdettweiler [2013-03-14 04:08:55] 843*2^1242658-1 is not prime. Res64: 87E0ED5AE0E8F548 Time : 0.0 sec. user=mdettweiler [2013-03-14 04:08:56] 867*2^1242658-1 is not prime. Res64: 8FAF408B36A72FD1 Time : 0.0 sec. user=mdettweiler [2013-03-14 04:09:01] 885*2^1242658-1 is not prime. Res64: 10304189C5C8E113 Time : 0.0 sec. user=mdettweiler [2013-03-14 04:09:03] 941*2^1242658-1 is not prime. Res64: 85EF6051C22CCB76 Time : 0.0 sec. user=juhehe [2013-03-14 04:21:18] 667*2^1242657-1 is not prime. Res64: FFD7860718B15D69 Time : 0.0 sec. user=mdettweiler [2013-03-14 04:26:26] 951*2^1242658-1 is not prime. Res64: CF140B1AAE799E97 Time : 0.0 sec. user=mdettweiler [2013-03-14 04:26:27] 993*2^1242658-1 is not prime. Res64: 913228D033B3C1AC Time : 0.0 sec. user=mdettweiler [2013-03-14 04:26:29] 663*2^1242659-1 is not prime. Res64: 35B96B75C459E381 Time : 0.0 sec. user=mdettweiler [2013-03-14 04:26:29] 705*2^1242659-1 is not prime. Res64: 4E9128D2037486EC Time : 0.0 sec. user=mdettweiler [2013-03-14 04:43:53] 735*2^1242659-1 is not prime. Res64: 8FE8915C58B2E914 Time : 0.0 sec. user=mdettweiler [2013-03-14 04:43:53] 759*2^1242659-1 is not prime. Res64: 96EEA1C739437A09 Time : 0.0 sec. user=mdettweiler [2013-03-14 04:43:53] 799*2^1242659-1 is not prime. Res64: 061CBD48DACF07F9 Time : 0.0 sec. user=mdettweiler [2013-03-14 04:43:54] 801*2^1242659-1 is not prime. Res64: F31F27A745A1C1C7 Time : 0.0 sec. user=mdettweiler [2013-03-14 05:01:17] 861*2^1242659-1 is not prime. Res64: 46B8C93E1CAD7252 Time : 0.0 sec. user=mdettweiler [2013-03-14 05:01:18] 623*2^1242660-1 is not prime. Res64: F103B465DB1F5E12 Time : 0.0 sec. user=mdettweiler [2013-03-14 05:01:19] 913*2^1242659-1 is not prime. Res64: 431E9084245852D8 Time : 0.0 sec. user=mdettweiler [2013-03-14 05:01:19] 719*2^1242660-1 is not prime. Res64: 612A5D3A72B07E86 Time : 0.0 sec. user=mdettweiler [2013-03-14 05:19:13] 777*2^1242660-1 is not prime. Res64: DC05C57303049A58 Time : 0.0 sec. user=mdettweiler [2013-03-14 05:19:14] 803*2^1242660-1 is not prime. Res64: 8C2A3B3CA0B3845D Time : 0.0 sec. user=mdettweiler [2013-03-14 05:19:15] 845*2^1242660-1 is not prime. Res64: B5B60474E09AA54B Time : 0.0 sec. user=mdettweiler [2013-03-14 05:19:16] 639*2^1242661-1 is not prime. Res64: E5B38FF5041E7C41 Time : 0.0 sec. user=mdettweiler [2013-03-14 05:36:41] 717*2^1242661-1 is not prime. Res64: 96CCCBBD41446AD2 Time : 0.0 sec. user=mdettweiler [2013-03-14 05:36:42] 829*2^1242661-1 is not prime. Res64: 37FFD014CD209412 Time : 0.0 sec. user=mdettweiler [2013-03-14 05:36:42] 961*2^1242661-1 is not prime. Res64: FCD75AC6E94F4B38 Time : 0.0 sec. user=mdettweiler [2013-03-14 05:36:43] 987*2^1242661-1 is not prime. Res64: E757F8DB70ABCE27 Time : 0.0 sec. user=juhehe [2013-03-14 05:40:21] 841*2^1242659-1 is not prime. Res64: 14D03F13FE82458E Time : 0.0 sec. user=mdettweiler [2013-03-14 05:54:08] 711*2^1242662-1 is not prime. Res64: 005F6666D376181D Time : 0.0 sec. user=mdettweiler [2013-03-14 05:54:08] 801*2^1242662-1 is not prime. Res64: 5C97796479BD9567 Time : 0.0 sec. user=mdettweiler [2013-03-14 05:54:08] 813*2^1242662-1 is not prime. Res64: 0574392B0112F0B3 Time : 0.0 sec. user=mdettweiler [2013-03-14 05:54:09] 815*2^1242662-1 is not prime. Res64: 7CB46DF732B4BB4A Time : 0.0 sec. user=mdettweiler [2013-03-14 06:11:33] 873*2^1242662-1 is not prime. Res64: 021E2616DE808CBF Time : 0.0 sec. user=mdettweiler [2013-03-14 06:11:33] 887*2^1242662-1 is not prime. Res64: D922B42BD5FCBCF2 Time : 0.0 sec. user=mdettweiler [2013-03-14 06:11:34] 885*2^1242662-1 is not prime. Res64: 04B9BD2DF2A42066 Time : 0.0 sec. user=mdettweiler [2013-03-14 06:11:34] 921*2^1242662-1 is not prime. Res64: 4E1AE530B44FA578 Time : 0.0 sec. user=juhehe [2013-03-14 06:27:03] 705*2^1242662-1 is not prime. Res64: E9E7EBD4474255AA Time : 0.0 sec. user=mdettweiler [2013-03-14 06:29:02] 941*2^1242662-1 is not prime. Res64: 2AA2634E9A37D472 Time : 0.0 sec. user=mdettweiler [2013-03-14 06:29:02] 625*2^1242663-1 is not prime. Res64: 4F676F51D16715B4 Time : 0.0 sec. user=mdettweiler [2013-03-14 06:29:03] 745*2^1242663-1 is not prime. Res64: D20E5F8ECF876B80 Time : 0.0 sec. user=mdettweiler [2013-03-14 06:29:03] 623*2^1242664-1 is not prime. Res64: 5473EB108592EEB8 Time : 0.0 sec. user=mdettweiler [2013-03-14 06:46:26] 663*2^1242664-1 is not prime. Res64: B96DE11C6EAEEE63 Time : 0.0 sec. user=mdettweiler [2013-03-14 06:46:26] 755*2^1242664-1 is not prime. Res64: AE0AD034F4C3DBBF Time : 0.0 sec. user=mdettweiler [2013-03-14 06:46:28] 917*2^1242664-1 is not prime. Res64: 07EB8443B41E7429 Time : 0.0 sec. user=mdettweiler [2013-03-14 06:46:28] 939*2^1242664-1 is not prime. Res64: 2DC4146E740F9A49 Time : 0.0 sec. user=mdettweiler [2013-03-14 07:03:50] 975*2^1242664-1 is not prime. Res64: 273CE175A5C8D5B4 Time : 0.0 sec. user=mdettweiler [2013-03-14 07:03:51] 679*2^1242665-1 is not prime. Res64: D1F1047E8588154C Time : 0.0 sec. user=mdettweiler [2013-03-14 07:03:51] 841*2^1242665-1 is not prime. Res64: 55A265323C26B148 Time : 0.0 sec. user=mdettweiler [2013-03-14 07:03:52] 909*2^1242665-1 is not prime. Res64: 83D7CD88E5D768D6 Time : 0.0 sec. user=mdettweiler [2013-03-14 07:21:22] 969*2^1242665-1 is not prime. Res64: 2507F4E78600EF1C Time : 0.0 sec. user=mdettweiler [2013-03-14 07:21:22] 803*2^1242666-1 is not prime. Res64: CFC4C2AB2D3D3360 Time : 0.0 sec. user=mdettweiler [2013-03-14 07:21:26] 851*2^1242666-1 is not prime. Res64: 6E798327BCB3BB06 Time : 0.0 sec. user=mdettweiler [2013-03-14 07:21:26] 861*2^1242666-1 is not prime. Res64: 4FC8DA594D158D7A Time : 0.0 sec. user=mdettweiler [2013-03-14 07:38:49] 881*2^1242666-1 is not prime. Res64: 24CD59277FB8697F Time : 0.0 sec. user=mdettweiler [2013-03-14 07:38:49] 639*2^1242667-1 is not prime. Res64: 00BCBF3A3370CC71 Time : 0.0 sec. user=mdettweiler [2013-03-14 07:38:49] 673*2^1242667-1 is not prime. Res64: 3EB8D58AB8D964C0 Time : 0.0 sec. user=mdettweiler [2013-03-14 07:38:50] 699*2^1242667-1 is not prime. Res64: E51717B3F90ACA46 Time : 0.0 sec. user=juhehe [2013-03-14 07:53:23] 969*2^1242664-1 is not prime. Res64: 9706E34160E192DA Time : 0.0 sec. user=mdettweiler [2013-03-14 07:56:13] 861*2^1242667-1 is not prime. Res64: D6F306BF1461FF21 Time : 0.0 sec. user=mdettweiler [2013-03-14 07:56:14] 883*2^1242667-1 is not prime. Res64: 630A9CB08AAB72FD Time : 0.0 sec. user=mdettweiler [2013-03-14 07:56:14] 939*2^1242667-1 is not prime. Res64: EA00DCA32DB05815 Time : 0.0 sec. user=mdettweiler [2013-03-14 07:56:15] 961*2^1242667-1 is not prime. Res64: CA51809B08202436 Time : 0.0 sec. user=mdettweiler [2013-03-14 08:13:39] 743*2^1242668-1 is not prime. Res64: 61EAD5E473E194D0 Time : 0.0 sec. user=mdettweiler [2013-03-14 08:13:39] 795*2^1242668-1 is not prime. Res64: AD5A6EE4974AFC0E Time : 0.0 sec. user=mdettweiler [2013-03-14 08:13:40] 773*2^1242668-1 is not prime. Res64: B597A6E48073088B Time : 0.0 sec. user=mdettweiler [2013-03-14 08:13:40] 797*2^1242668-1 is not prime. Res64: 239E3B532482EC72 Time : 0.0 sec. user=mdettweiler [2013-03-14 08:31:08] 819*2^1242668-1 is not prime. Res64: 0D47F5F2CBF12E0B Time : 0.0 sec. user=mdettweiler [2013-03-14 08:31:08] 957*2^1242668-1 is not prime. Res64: E7A1EEE3DE018D16 Time : 0.0 sec. user=mdettweiler [2013-03-14 08:31:08] 825*2^1242669-1 is not prime. Res64: 0B3D17FB3EAD9FE8 Time : 0.0 sec. user=mdettweiler [2013-03-14 08:31:09] 951*2^1242669-1 is not prime. Res64: 9F09B9113D7D4939 Time : 0.0 sec. user=mdettweiler [2013-03-14 08:48:32] 997*2^1242669-1 is not prime. Res64: D2A1EDD5CE9DC415 Time : 0.0 sec. user=mdettweiler [2013-03-14 08:48:33] 681*2^1242670-1 is not prime. Res64: FBEF12D319D041C1 Time : 0.0 sec. user=mdettweiler [2013-03-14 08:48:33] 707*2^1242670-1 is not prime. Res64: F6081F222F206C79 Time : 0.0 sec. user=mdettweiler [2013-03-14 08:48:34] 743*2^1242670-1 is not prime. Res64: 4D1A1EC57C46C678 Time : 0.0 sec. user=mdettweiler [2013-03-14 09:05:58] 755*2^1242670-1 is not prime. Res64: 28BEEF6D75558057 Time : 0.0 sec. user=mdettweiler [2013-03-14 09:05:59] 765*2^1242670-1 is not prime. Res64: 19D201B094165652 Time : 0.0 sec. user=mdettweiler [2013-03-14 09:05:59] 873*2^1242670-1 is not prime. Res64: A33819335A323EE8 Time : 0.0 sec. user=mdettweiler [2013-03-14 09:06:00] 897*2^1242670-1 is not prime. Res64: C6CA9E08F508909B Time : 0.0 sec. user=mdettweiler [2013-03-14 09:23:30] 965*2^1242670-1 is not prime. Res64: 9F1411B36FA8BE24 Time : 0.0 sec. user=mdettweiler [2013-03-14 09:23:30] 693*2^1242671-1 is not prime. Res64: 4DC920EDCDD34265 Time : 0.0 sec. user=mdettweiler [2013-03-14 09:23:31] 745*2^1242671-1 is not prime. Res64: E67290CA9A338922 Time : 0.0 sec. user=mdettweiler [2013-03-14 09:23:32] 805*2^1242671-1 is not prime. Res64: 98388E051D96E290 Time : 0.0 sec. user=juhehe [2013-03-14 09:36:16] 981*2^1242623-1 is not prime. Res64: 30BA5F3373C10106 Time : 0.0 sec. user=mdettweiler [2013-03-14 09:40:57] 879*2^1242671-1 is not prime. Res64: 5AA2A63ED3145240 Time : 0.0 sec. user=mdettweiler [2013-03-14 09:40:57] 623*2^1242672-1 is not prime. Res64: 2CAC210EE1E210FA Time : 0.0 sec. user=mdettweiler [2013-03-14 09:40:57] 979*2^1242671-1 is not prime. Res64: 094EF8C078817CF8 Time : 0.0 sec. user=mdettweiler [2013-03-14 09:40:58] 737*2^1242672-1 is not prime. Res64: 22F5C1DA158E4AB3 Time : 0.0 sec. user=juhehe [2013-03-14 09:41:46] 969*2^1242669-1 is not prime. Res64: 478B95D476073C35 Time : 0.0 sec. user=mdettweiler [2013-03-14 09:58:22] 983*2^1242672-1 is not prime. Res64: 06AFB868EF616B92 Time : 0.0 sec. user=mdettweiler [2013-03-14 09:58:22] 751*2^1242673-1 is not prime. Res64: 36BEDC78E25B1CEC Time : 0.0 sec. user=mdettweiler [2013-03-14 09:58:23] 769*2^1242673-1 is not prime. Res64: B9A9F5ED1DFED8AA Time : 0.0 sec. user=mdettweiler [2013-03-14 09:58:24] 789*2^1242673-1 is not prime. Res64: C489A0DADA9D86AF Time : 0.0 sec. user=mdettweiler [2013-03-14 10:15:50] 811*2^1242673-1 is not prime. Res64: 361A246BE61882B1 Time : 0.0 sec. user=mdettweiler [2013-03-14 10:15:51] 867*2^1242673-1 is not prime. Res64: 771CBBFC6E72CBEF Time : 0.0 sec. user=mdettweiler [2013-03-14 10:15:53] 615*2^1242674-1 is not prime. Res64: FD327A7AB3F27556 Time : 0.0 sec. user=mdettweiler [2013-03-14 10:15:54] 635*2^1242674-1 is not prime. Res64: 24DF43DD040BD778 Time : 0.0 sec. user=mdettweiler [2013-03-14 10:33:31] 671*2^1242674-1 is not prime. Res64: 329F007411DD8F79 Time : 0.0 sec. user=mdettweiler [2013-03-14 10:33:32] 711*2^1242674-1 is not prime. Res64: CD78C539BF6D0CB1 Time : 0.0 sec. user=mdettweiler [2013-03-14 10:33:34] 755*2^1242674-1 is not prime. Res64: 880001C809F9F5E8 Time : 0.0 sec. user=mdettweiler [2013-03-14 10:33:35] 825*2^1242674-1 is not prime. Res64: 00BEB1F7F647D63B Time : 0.0 sec. user=mdettweiler [2013-03-14 10:51:06] 837*2^1242674-1 is not prime. Res64: 392F4AAFA8E65D14 Time : 0.0 sec. user=mdettweiler [2013-03-14 10:51:07] 873*2^1242674-1 is not prime. Res64: 126D6E849F9759BB Time : 0.0 sec. user=mdettweiler [2013-03-14 10:51:10] 981*2^1242674-1 is not prime. Res64: A5103D71811132B0 Time : 0.0 sec. user=mdettweiler [2013-03-14 10:51:10] 609*2^1242675-1 is not prime. Res64: 6488EE7D69D1A602 Time : 0.0 sec. user=juhehe [2013-03-14 11:01:03] 801*2^1242673-1 is not prime. Res64: 432D2124CC99D29E Time : 0.0 sec. user=mdettweiler [2013-03-14 11:08:36] 723*2^1242675-1 is not prime. Res64: FB7139A99434727D Time : 0.0 sec. user=mdettweiler [2013-03-14 11:08:37] 735*2^1242675-1 is not prime. Res64: 6AE3E6FDFD555746 Time : 0.0 sec. user=mdettweiler [2013-03-14 11:08:39] 765*2^1242675-1 is not prime. Res64: 426082ED0E39B5B5 Time : 0.0 sec. user=mdettweiler [2013-03-14 11:08:40] 793*2^1242675-1 is not prime. Res64: A8EC8CFD68B98ABF Time : 0.0 sec. user=mdettweiler [2013-03-14 11:26:09] 795*2^1242675-1 is not prime. Res64: D1881280B7134392 Time : 0.0 sec. user=mdettweiler [2013-03-14 11:26:10] 895*2^1242675-1 is not prime. Res64: 457E11FCB79F6CCF Time : 0.0 sec. user=mdettweiler [2013-03-14 11:26:13] 913*2^1242675-1 is not prime. Res64: 7DEB6D4601383598 Time : 0.0 sec. user=mdettweiler [2013-03-14 11:26:14] 717*2^1242676-1 is not prime. Res64: B013BC0641BAF584 Time : 0.0 sec. user=mdettweiler [2013-03-14 11:43:39] 735*2^1242676-1 is not prime. Res64: 20ECEFA064770029 Time : 0.0 sec. user=mdettweiler [2013-03-14 11:43:40] 779*2^1242676-1 is not prime. Res64: 0C68D85E6F17B34A Time : 0.0 sec. user=mdettweiler [2013-03-14 11:43:43] 869*2^1242676-1 is not prime. Res64: 6493C14F005430ED Time : 0.0 sec. user=mdettweiler [2013-03-14 11:43:44] 905*2^1242676-1 is not prime. Res64: 9289ABD90CC61F05 Time : 0.0 sec. user=juhehe [2013-03-14 11:47:41] 613*2^1242675-1 is not prime. Res64: 8C7EA191EE0E389F Time : 0.0 sec. user=mdettweiler [2013-03-14 12:01:12] 927*2^1242676-1 is not prime. Res64: D377AD1334728628 Time : 0.0 sec. user=mdettweiler [2013-03-14 12:01:14] 939*2^1242676-1 is not prime. Res64: 20A216828BE2ACD2 Time : 0.0 sec. user=mdettweiler [2013-03-14 12:01:15] 989*2^1242676-1 is not prime. Res64: FF1E309AD2BB2109 Time : 0.0 sec. user=mdettweiler [2013-03-14 12:01:16] 655*2^1242677-1 is not prime. Res64: 8FD517DF54BA3F07 Time : 0.0 sec. user=mdettweiler [2013-03-14 12:19:28] 669*2^1242677-1 is not prime. Res64: 07049902EBD27B9B Time : 0.0 sec. user=mdettweiler [2013-03-14 12:19:29] 727*2^1242677-1 is not prime. Res64: F2C1DA9C922400A2 Time : 0.0 sec. user=mdettweiler [2013-03-14 12:19:30] 819*2^1242677-1 is not prime. Res64: 4C8D935909E96E78 Time : 0.0 sec. user=mdettweiler [2013-03-14 12:19:31] 871*2^1242677-1 is not prime. Res64: 13805EE5D20C468E Time : 0.0 sec. user=mdettweiler [2013-03-14 12:37:11] 713*2^1242678-1 is not prime. Res64: 5552CD2433BCDE67 Time : 0.0 sec. user=mdettweiler [2013-03-14 12:37:11] 741*2^1242679-1 is not prime. Res64: 645047E0926B98E9 Time : 0.0 sec. user=mdettweiler [2013-03-14 12:37:14] 789*2^1242679-1 is not prime. Res64: 2F2CFC596EA83352 Time : 0.0 sec. user=mdettweiler [2013-03-14 12:37:14] 813*2^1242679-1 is not prime. Res64: E6CADCD72E60D85D Time : 0.0 sec. user=mdettweiler [2013-03-14 12:54:51] 841*2^1242679-1 is not prime. Res64: AA77DA16DA6E0046 Time : 0.0 sec. user=mdettweiler [2013-03-14 12:54:51] 861*2^1242679-1 is not prime. Res64: 54D648EA4765A94B Time : 0.0 sec. user=mdettweiler [2013-03-14 12:54:53] 913*2^1242679-1 is not prime. Res64: 27628E456C81624F Time : 0.0 sec. user=mdettweiler [2013-03-14 12:54:54] 939*2^1242679-1 is not prime. Res64: 1E1F12C18175718A Time : 0.0 sec. user=juhehe [2013-03-14 13:07:15] 671*2^1242678-1 is not prime. Res64: 9D108441E18C80BC Time : 0.0 sec. user=mdettweiler [2013-03-14 13:12:32] 767*2^1242680-1 is not prime. Res64: C980A86F51291D94 Time : 0.0 sec. user=mdettweiler [2013-03-14 13:12:33] 879*2^1242680-1 is not prime. Res64: 712728EDE74CB7DB Time : 0.0 sec. user=mdettweiler [2013-03-14 13:12:34] 639*2^1242681-1 is not prime. Res64: 8A0E41CEC1B26F81 Time : 0.0 sec. user=mdettweiler [2013-03-14 13:12:35] 661*2^1242681-1 is not prime. Res64: 51147AF94DE3A7A0 Time : 0.0 sec. user=juhehe [2013-03-14 13:29:54] 753*2^1242680-1 is not prime. Res64: 3DB03AF0F61C0B84 Time : 0.0 sec. user=mdettweiler [2013-03-14 13:30:25] 675*2^1242681-1 is not prime. Res64: ACA50A7A0D3B71CF Time : 0.0 sec. user=mdettweiler [2013-03-14 13:30:26] 889*2^1242681-1 is not prime. Res64: 2342F5E42B2DFDC4 Time : 0.0 sec. user=mdettweiler [2013-03-14 13:30:29] 979*2^1242681-1 is not prime. Res64: 794A8E6BCEAB2E41 Time : 0.0 sec. user=mdettweiler [2013-03-14 13:30:29] 987*2^1242681-1 is not prime. Res64: CCD354AA4ADD5D2A Time : 0.0 sec. user=juhehe [2013-03-14 13:36:47] 985*2^1242679-1 is not prime. Res64: 40660B7ED5F3D1A0 Time : 0.0 sec. user=mdettweiler [2013-03-14 13:48:12] 713*2^1242682-1 is not prime. Res64: 9115274F4AE7C118 Time : 0.0 sec. user=mdettweiler [2013-03-14 13:48:12] 723*2^1242682-1 is not prime. Res64: D239E613F4ECEEC3 Time : 0.0 sec. user=mdettweiler [2013-03-14 13:48:14] 831*2^1242682-1 is not prime. Res64: 24801D409EC3CE6C Time : 0.0 sec. user=mdettweiler [2013-03-14 13:48:15] 843*2^1242682-1 is not prime. Res64: AC4A2FB6CBD9FEA8 Time : 0.0 sec. user=juhehe [2013-03-14 13:59:56] 975*2^1242679-1 is not prime. Res64: 38D2A1F1B82DA134 Time : 0.0 sec. user=mdettweiler [2013-03-14 14:06:08] 915*2^1242682-1 is not prime. Res64: B05CE895CBAB1B16 Time : 0.0 sec. user=mdettweiler [2013-03-14 14:06:09] 603*2^1242683-1 is not prime. Res64: A166D549D4255562 Time : 0.0 sec. user=mdettweiler [2013-03-14 14:06:10] 649*2^1242683-1 is not prime. Res64: A677651CEB3550B4 Time : 0.0 sec. user=mdettweiler [2013-03-14 14:06:11] 759*2^1242683-1 is not prime. Res64: 58535F4E27DFAC63 Time : 0.0 sec. user=juhehe [2013-03-14 14:06:16] 647*2^1242682-1 is not prime. Res64: FEFED6EEB7604EBA Time : 0.0 sec. user=juhehe [2013-03-14 14:12:54] 911*2^1242682-1 is not prime. Res64: 14A2ED7045DF20AF Time : 0.0 sec. user=mdettweiler [2013-03-14 14:23:51] 861*2^1242683-1 is not prime. Res64: 0938CCED92A85534 Time : 0.0 sec. user=mdettweiler [2013-03-14 14:23:52] 879*2^1242683-1 is not prime. Res64: D1D3103EF47FEA06 Time : 0.0 sec. user=mdettweiler [2013-03-14 14:23:53] 985*2^1242683-1 is not prime. Res64: A631794FD6A1C530 Time : 0.0 sec. user=mdettweiler [2013-03-14 14:23:54] 627*2^1242684-1 is not prime. Res64: C4D951F0E6605BD9 Time : 0.0 sec. user=mdettweiler [2013-03-14 14:41:31] 965*2^1242684-1 is not prime. Res64: A8D11DF043B64D16 Time : 0.0 sec. user=mdettweiler [2013-03-14 14:41:31] 645*2^1242685-1 is not prime. Res64: 393D3588E05494BC Time : 0.0 sec. user=mdettweiler [2013-03-14 14:41:32] 601*2^1242685-1 is not prime. Res64: 2C5A5EEE773AB03A Time : 0.0 sec. user=mdettweiler [2013-03-14 14:41:32] 819*2^1242685-1 is not prime. Res64: C6C8BCC28A75A39B Time : 0.0 sec. user=juhehe [2013-03-14 14:42:25] 753*2^1242684-1 is not prime. Res64: 0FAF82F59CF21431 Time : 0.0 sec. user=mdettweiler [2013-03-14 14:59:08] 939*2^1242685-1 is not prime. Res64: 126FC3C563591C35 Time : 0.0 sec. user=mdettweiler [2013-03-14 14:59:09] 961*2^1242685-1 is not prime. Res64: B7AAC04E720049DE Time : 0.0 sec. user=mdettweiler [2013-03-14 14:59:10] 985*2^1242685-1 is not prime. Res64: 35CA27F8656303A3 Time : 0.0 sec. user=mdettweiler [2013-03-14 14:59:11] 741*2^1242686-1 is not prime. Res64: 9E97116BB1719998 Time : 0.0 sec. user=juhehe [2013-03-14 15:13:30] 899*2^1242684-1 is not prime. Res64: 4172557884947EA8 Time : 0.0 sec. user=mdettweiler [2013-03-14 15:16:45] 767*2^1242686-1 is not prime. Res64: A6D62437464713EF Time : 0.0 sec. user=mdettweiler [2013-03-14 15:16:46] 773*2^1242686-1 is not prime. Res64: B9B754D7E7F65ADB Time : 0.0 sec. user=mdettweiler [2013-03-14 15:16:46] 801*2^1242686-1 is not prime. Res64: 8B87A3614C8E6510 Time : 0.0 sec. user=mdettweiler [2013-03-14 15:16:47] 831*2^1242686-1 is not prime. Res64: 909823DB304CFF58 Time : 0.0 sec. user=juhehe [2013-03-14 15:18:37] 755*2^1242686-1 is not prime. Res64: 6526A2E7618D008E Time : 0.0 sec. user=mdettweiler [2013-03-14 15:34:24] 875*2^1242686-1 is not prime. Res64: E43C401A168BAAF5 Time : 0.0 sec. user=mdettweiler [2013-03-14 15:34:25] 935*2^1242686-1 is not prime. Res64: 6533D9174AEEFD4A Time : 0.0 sec. user=mdettweiler [2013-03-14 15:34:26] 685*2^1242687-1 is not prime. Res64: 0D680F2E863F3530 Time : 0.0 sec. user=mdettweiler [2013-03-14 15:34:27] 859*2^1242687-1 is not prime. Res64: 5A2DD7D679776179 Time : 0.0 sec. user=mdettweiler [2013-03-14 15:51:59] 909*2^1242687-1 is not prime. Res64: EC58068A838BC7E5 Time : 0.0 sec. user=mdettweiler [2013-03-14 15:51:59] 955*2^1242687-1 is not prime. Res64: 02D86135F53BFDE6 Time : 0.0 sec. user=mdettweiler [2013-03-14 15:52:00] 979*2^1242687-1 is not prime. Res64: 995F8F47457AFA4F Time : 0.0 sec. user=mdettweiler [2013-03-14 15:52:01] 657*2^1242688-1 is not prime. Res64: A1771EFDD0897AE3 Time : 0.0 sec. user=juhehe [2013-03-14 16:05:39] 851*2^1242686-1 is not prime. Res64: 7BB61581F6B539BF Time : 0.0 sec. user=mdettweiler [2013-03-14 16:09:43] 905*2^1242688-1 is not prime. Res64: 553FD1D77497551E Time : 0.0 sec. user=mdettweiler [2013-03-14 16:09:44] 915*2^1242688-1 is not prime. Res64: 2037601B13FE5E54 Time : 0.0 sec. user=mdettweiler [2013-03-14 16:09:46] 929*2^1242688-1 is not prime. Res64: 3CCE767905E91BA9 Time : 0.0 sec. user=mdettweiler [2013-03-14 16:09:47] 989*2^1242688-1 is not prime. Res64: 7252D25868E68CBC Time : 0.0 sec. user=mdettweiler [2013-03-14 16:27:41] 657*2^1242689-1 is not prime. Res64: 50400A880C15E271 Time : 0.0 sec. user=mdettweiler [2013-03-14 16:27:41] 705*2^1242689-1 is not prime. Res64: 939BFD803E00C6CD Time : 0.0 sec. user=mdettweiler [2013-03-14 16:27:43] 841*2^1242689-1 is not prime. Res64: E0E45E0A96305F54 Time : 0.0 sec. user=mdettweiler [2013-03-14 16:27:44] 847*2^1242689-1 is not prime. Res64: 3B33CEB864C3EF3F Time : 0.0 sec. user=mdettweiler [2013-03-14 16:45:32] 885*2^1242689-1 is not prime. Res64: 6EF3384569156886 Time : 0.0 sec. user=mdettweiler [2013-03-14 16:45:32] 925*2^1242689-1 is not prime. Res64: A0DF8CB511CA7C59 Time : 0.0 sec. user=mdettweiler [2013-03-14 16:45:33] 967*2^1242689-1 is not prime. Res64: 8BE924F9F0285893 Time : 0.0 sec. user=mdettweiler [2013-03-14 16:45:33] 635*2^1242690-1 is not prime. Res64: 3F5789C369587042 Time : 0.0 sec. user=vaughan [2013-03-14 16:47:13] 993*2^1242616-1 is not prime. Res64: 1E95EECE4E944624 Time : 0.0 sec. user=mdettweiler [2013-03-14 17:03:20] 711*2^1242690-1 is not prime. Res64: CAD2076F7DD04A22 Time : 0.0 sec. user=mdettweiler [2013-03-14 17:03:21] 735*2^1242690-1 is not prime. Res64: C9202A7A10EBA2D8 Time : 0.0 sec. user=mdettweiler [2013-03-14 17:03:21] 755*2^1242690-1 is not prime. Res64: E4900A5456EA9F04 Time : 0.0 sec. user=mdettweiler [2013-03-14 17:03:21] 801*2^1242690-1 is not prime. Res64: BFC44D6614DF4375 Time : 0.0 sec. user=juhehe [2013-03-14 17:19:43] 865*2^1242689-1 is not prime. Res64: 074B43D2FEFB2722 Time : 0.0 sec. user=mdettweiler [2013-03-14 17:21:13] 631*2^1242691-1 is not prime. Res64: B519E9138C847004 Time : 0.0 sec. user=mdettweiler [2013-03-14 17:21:13] 639*2^1242691-1 is not prime. Res64: 004260AF42FFA93A Time : 0.0 sec. user=mdettweiler [2013-03-14 17:21:13] 709*2^1242691-1 is not prime. Res64: 4FFEC9D7A49AF7FD Time : 0.0 sec. user=mdettweiler [2013-03-14 17:21:13] 723*2^1242691-1 is not prime. Res64: 15FF7373F5ABA0E2 Time : 0.0 sec. user=vaughan [2013-03-14 17:25:22] 873*2^1242690-1 is not prime. Res64: 21B9B4C0C5B1142B Time : 0.0 sec. user=mdettweiler [2013-03-14 17:39:01] 961*2^1242691-1 is not prime. Res64: F4BE1D32E1F71CFB Time : 0.0 sec. user=mdettweiler [2013-03-14 17:39:01] 993*2^1242691-1 is not prime. Res64: 3712BF50445FC5C7 Time : 0.0 sec. user=mdettweiler [2013-03-14 17:39:02] 699*2^1242692-1 is not prime. Res64: B0F8350E3727A37B Time : 0.0 sec. user=mdettweiler [2013-03-14 17:39:02] 725*2^1242692-1 is not prime. Res64: 18A8DDA46AB4AB0A Time : 0.0 sec. user=mdettweiler [2013-03-14 17:56:48] 749*2^1242692-1 is not prime. Res64: D48AA376CB01D0A9 Time : 0.0 sec. user=mdettweiler [2013-03-14 17:56:48] 959*2^1242692-1 is not prime. Res64: 6D207F40D893950A Time : 0.0 sec. user=mdettweiler [2013-03-14 17:56:48] 825*2^1242692-1 is not prime. Res64: 75F1A315207E0309 Time : 0.0 sec. user=mdettweiler [2013-03-14 17:56:48] 699*2^1242693-1 is not prime. Res64: 13DF7AAF70BD3E8E Time : 0.0 sec. user=vaughan [2013-03-14 18:03:32] 743*2^1242692-1 is not prime. Res64: 261D50E913E906C4 Time : 0.0 sec. user=juhehe [2013-03-14 18:11:51] 751*2^1242691-1 is not prime. Res64: C992251938E636EC Time : 0.0 sec. user=mdettweiler [2013-03-14 18:14:35] 795*2^1242693-1 is not prime. Res64: 0C224E9E28956A69 Time : 0.0 sec. user=mdettweiler [2013-03-14 18:14:35] 901*2^1242693-1 is not prime. Res64: 95EF91620BD0C2CF Time : 0.0 sec. user=mdettweiler [2013-03-14 18:14:35] 927*2^1242693-1 is not prime. Res64: DF7FB8FC96C139A5 Time : 0.0 sec. user=mdettweiler [2013-03-14 18:14:36] 681*2^1242694-1 is not prime. Res64: E8D160CF6B859119 Time : 0.0 sec. user=mdettweiler [2013-03-14 18:32:23] 785*2^1242694-1 is not prime. Res64: C792636F0180EEBA Time : 0.0 sec. user=mdettweiler [2013-03-14 18:32:23] 833*2^1242694-1 is not prime. Res64: 4A499F19733E7E0A Time : 0.0 sec. user=mdettweiler [2013-03-14 18:32:24] 881*2^1242694-1 is not prime. Res64: 1B4F4486DBA907E8 Time : 0.0 sec. user=mdettweiler [2013-03-14 18:32:24] 945*2^1242694-1 is not prime. Res64: CA475ABE0AC952A2 Time : 0.0 sec. user=vaughan [2013-03-14 18:41:45] 747*2^1242694-1 is not prime. Res64: F00ED38320B0A46D Time : 0.0 sec. user=mdettweiler [2013-03-14 18:50:30] 895*2^1242695-1 is not prime. Res64: A8E13A4A41A58007 Time : 0.0 sec. user=mdettweiler [2013-03-14 18:50:30] 715*2^1242695-1 is not prime. Res64: 9C15982FB9727D9A Time : 0.0 sec. user=mdettweiler [2013-03-14 18:50:30] 909*2^1242695-1 is not prime. Res64: 38F333FBA9270C76 Time : 0.0 sec. user=mdettweiler [2013-03-14 18:50:30] 783*2^1242695-1 is not prime. Res64: 597DEF8DDDAF2882 Time : 0.0 sec. user=mdettweiler [2013-03-14 19:08:35] 635*2^1242696-1 is not prime. Res64: 9D018294EA728CE8 Time : 0.0 sec. user=mdettweiler [2013-03-14 19:08:36] 735*2^1242696-1 is not prime. Res64: 8E3685E6BEBB3D94 Time : 0.0 sec. user=mdettweiler [2013-03-14 19:08:37] 773*2^1242696-1 is not prime. Res64: 7AAA2D221A0CD444 Time : 0.0 sec. user=mdettweiler [2013-03-14 19:08:38] 803*2^1242696-1 is not prime. Res64: 667E2F002F1C6AC0 Time : 0.0 sec. user=vaughan [2013-03-14 19:25:03] 999*2^1242695-1 is not prime. Res64: 3F9D44A0260A1EF3 Time : 0.0 sec. user=mdettweiler [2013-03-14 19:26:45] 825*2^1242696-1 is not prime. Res64: C78831F88689CDF4 Time : 0.0 sec. user=mdettweiler [2013-03-14 19:26:45] 927*2^1242696-1 is not prime. Res64: 9279EFC1F46AE9AA Time : 0.0 sec. user=mdettweiler [2013-03-14 19:26:46] 601*2^1242697-1 is not prime. Res64: BEC607BCB3DC0E95 Time : 0.0 sec. user=mdettweiler [2013-03-14 19:26:46] 651*2^1242697-1 is not prime. Res64: C305AE4F5A0EB278 Time : 0.0 sec. user=juhehe [2013-03-14 19:32:48] 1001*2^1242694-1 is not prime. Res64: 82C95FD2C7698082 Time : 0.0 sec. user=mdettweiler [2013-03-14 19:44:47] 871*2^1242697-1 is not prime. Res64: F1AE963538FB3974 Time : 0.0 sec. user=mdettweiler [2013-03-14 19:44:47] 895*2^1242697-1 is not prime. Res64: 0F51A92BC3BF3ADB Time : 0.0 sec. user=mdettweiler [2013-03-14 19:44:49] 975*2^1242697-1 is not prime. Res64: B1C9D05AAE71398B Time : 0.0 sec. user=mdettweiler [2013-03-14 19:44:49] 997*2^1242697-1 is not prime. Res64: 9A7B8A8D79960FCB Time : 0.0 sec. user=mdettweiler [2013-03-14 20:02:50] 705*2^1242698-1 is not prime. Res64: 77C7095D6E774145 Time : 0.0 sec. user=mdettweiler [2013-03-14 20:02:51] 735*2^1242698-1 is not prime. Res64: CD7AC5B9B06BF499 Time : 0.0 sec. user=mdettweiler [2013-03-14 20:02:53] 755*2^1242698-1 is not prime. Res64: 48CD679B627003C2 Time : 0.0 sec. user=mdettweiler [2013-03-14 20:02:54] 767*2^1242698-1 is not prime. Res64: FFEE84EA14B036BD Time : 0.0 sec. user=vaughan [2013-03-14 20:03:14] 799*2^1242697-1 is not prime. Res64: DBBFDEB291D07AB1 Time : 0.0 sec. user=juhehe [2013-03-14 20:17:53] 775*2^1242697-1 is not prime. Res64: AACE25847535DBCC Time : 0.0 sec. user=mdettweiler [2013-03-14 20:20:45] 801*2^1242698-1 is not prime. Res64: 03BD82518BD18DA6 Time : 0.0 sec. user=mdettweiler [2013-03-14 20:20:45] 825*2^1242698-1 is not prime. Res64: AA61B84F7290A096 Time : 0.0 sec. user=mdettweiler [2013-03-14 20:20:46] 875*2^1242698-1 is not prime. Res64: 4860798BCA0BB95E Time : 0.0 sec. user=mdettweiler [2013-03-14 20:20:47] 911*2^1242698-1 is not prime. Res64: 906A3EEC7999B7BD Time : 0.0 sec. user=mdettweiler [2013-03-14 20:38:13] 735*2^1242699-1 is not prime. Res64: 66F5E76ABCD88B04 Time : 0.0 sec. user=mdettweiler [2013-03-14 20:38:13] 873*2^1242699-1 is not prime. Res64: A119CBB1FE6CB151 Time : 0.0 sec. user=mdettweiler [2013-03-14 20:38:13] 985*2^1242699-1 is not prime. Res64: D91EEA9EB6D88520 Time : 0.0 sec. user=mdettweiler [2013-03-14 20:38:14] 603*2^1242700-1 is not prime. Res64: D30169825F9B935C Time : 0.0 sec. user=Mini-Geek [2013-03-14 20:42:20] 987*2^1242698-1 is not prime. Res64: BA70B6C5EFCC8C0A Time : 0.0 sec. user=vaughan [2013-03-14 20:46:31] 953*2^1242698-1 is not prime. Res64: 9E1C579B40920C9C Time : 0.0 sec. user=mdettweiler [2013-03-14 20:55:41] 839*2^1242700-1 is not prime. Res64: C21B04C5DEB79C17 Time : 0.0 sec. user=mdettweiler [2013-03-14 20:55:42] 875*2^1242700-1 is not prime. Res64: 8CF7041E75203440 Time : 0.0 sec. user=mdettweiler [2013-03-14 20:55:43] 909*2^1242700-1 is not prime. Res64: 771F59B90B36EB5D Time : 0.0 sec. user=mdettweiler [2013-03-14 20:55:44] 957*2^1242700-1 is not prime. Res64: 54BA2AAEE9E73396 Time : 0.0 sec. user=mdettweiler [2013-03-14 21:13:10] 697*2^1242701-1 is not prime. Res64: B23C720A07622F9B Time : 0.0 sec. user=mdettweiler [2013-03-14 21:13:10] 745*2^1242701-1 is not prime. Res64: D033645196D7D22C Time : 0.0 sec. user=mdettweiler [2013-03-14 21:13:12] 801*2^1242701-1 is not prime. Res64: D4E414749C68570D Time : 0.0 sec. user=mdettweiler [2013-03-14 21:13:13] 825*2^1242701-1 is not prime. Res64: 59C1D50CC7924352 Time : 0.0 sec. user=vaughan [2013-03-14 21:24:44] 607*2^1242701-1 is not prime. Res64: 33B2EACAC6212331 Time : 0.0 sec. user=mdettweiler [2013-03-14 21:30:38] 829*2^1242701-1 is not prime. Res64: ACD9188969D22082 Time : 0.0 sec. user=mdettweiler [2013-03-14 21:30:39] 885*2^1242701-1 is not prime. Res64: 488CAC2086F4F53C Time : 0.0 sec. user=mdettweiler [2013-03-14 21:30:40] 657*2^1242702-1 is not prime. Res64: E64CB62521243CB3 Time : 0.0 sec. user=mdettweiler [2013-03-14 21:30:41] 677*2^1242702-1 is not prime. Res64: 1FA4108ACFAD2C23 Time : 0.0 sec. user=juhehe [2013-03-14 21:38:49] 735*2^1242700-1 is not prime. Res64: 36531AAF491F3765 Time : 0.0 sec. user=mdettweiler [2013-03-14 21:48:06] 821*2^1242702-1 is not prime. Res64: 7D1BB841174C5459 Time : 0.0 sec. user=mdettweiler [2013-03-14 21:48:07] 893*2^1242702-1 is not prime. Res64: FA65C02B15B27B0E Time : 0.0 sec. user=mdettweiler [2013-03-14 21:48:08] 661*2^1242703-1 is not prime. Res64: 350199D28142345D Time : 0.0 sec. user=mdettweiler [2013-03-14 21:48:09] 673*2^1242703-1 is not prime. Res64: C2E885548217D414 Time : 0.0 sec. user=vaughan [2013-03-14 22:02:53] 711*2^1242702-1 is not prime. Res64: 8C536407B91260FD Time : 0.0 sec. user=mdettweiler [2013-03-14 22:05:57] 679*2^1242703-1 is not prime. Res64: 002AF991D328F39F Time : 0.0 sec. user=mdettweiler [2013-03-14 22:05:58] 873*2^1242703-1 is not prime. Res64: 677C4751D5B27BF8 Time : 0.0 sec. user=mdettweiler [2013-03-14 22:05:58] 973*2^1242703-1 is not prime. Res64: D13214EE95AA8B1C Time : 0.0 sec. user=mdettweiler [2013-03-14 22:05:59] 985*2^1242703-1 is not prime. Res64: C4976F580090F63A Time : 0.0 sec. user=mdettweiler [2013-03-14 22:23:38] 819*2^1242704-1 is not prime. Res64: B9FD09CC0DE6E4B9 Time : 0.0 sec. user=mdettweiler [2013-03-14 22:23:39] 945*2^1242704-1 is not prime. Res64: 8D2B6BC170087088 Time : 0.0 sec. user=mdettweiler [2013-03-14 22:23:44] 607*2^1242705-1 is not prime. Res64: CACE946EF050E4D5 Time : 0.0 sec. user=mdettweiler [2013-03-14 22:23:45] 691*2^1242705-1 is not prime. Res64: D66DA6A7AD6724C1 Time : 0.0 sec. user=juhehe [2013-03-14 22:23:54] 705*2^1242702-1 is not prime. Res64: F8EE292DA1E0A4C0 Time : 0.0 sec. user=vaughan [2013-03-14 22:41:02] 663*2^1242704-1 is not prime. Res64: C9AD5740A3FAEC69 Time : 0.0 sec. user=mdettweiler [2013-03-14 22:41:03] 709*2^1242705-1 is not prime. Res64: 93A8F54B7AE97DEC Time : 0.0 sec. user=mdettweiler [2013-03-14 22:41:03] 919*2^1242705-1 is not prime. Res64: CEA08DF831D813FE Time : 0.0 sec. user=mdettweiler [2013-03-14 22:41:09] 723*2^1242706-1 is not prime. Res64: 43C25484088DBB33 Time : 0.0 sec. user=mdettweiler [2013-03-14 22:41:09] 801*2^1242706-1 is not prime. Res64: 736B0D45B5D42914 Time : 0.0 sec. user=mdettweiler [2013-03-14 22:58:26] 945*2^1242706-1 is not prime. Res64: 404D0704C4B588C9 Time : 0.0 sec. user=mdettweiler [2013-03-14 22:58:27] 947*2^1242706-1 is not prime. Res64: FE79A550D7151A8B Time : 0.0 sec. user=mdettweiler [2013-03-14 22:58:33] 603*2^1242707-1 is not prime. Res64: DB1A6204580FD3BB Time : 0.0 sec. user=mdettweiler [2013-03-14 22:58:34] 615*2^1242707-1 is not prime. Res64: 93FCEE62AA3DF873 Time : 0.0 sec. user=mdettweiler [2013-03-14 23:15:50] 619*2^1242707-1 is not prime. Res64: FCA9453441DCC536 Time : 0.0 sec. user=mdettweiler [2013-03-14 23:15:51] 631*2^1242707-1 is not prime. Res64: 8ECF3A6CC2034F62 Time : 0.0 sec. user=mdettweiler [2013-03-14 23:15:57] 805*2^1242707-1 is not prime. Res64: 52B31317EA5B700E Time : 0.0 sec. user=mdettweiler [2013-03-14 23:15:58] 909*2^1242707-1 is not prime. Res64: A5265B3A26F80C17 Time : 0.0 sec. user=vaughan [2013-03-14 23:19:09] 911*2^1242706-1 is not prime. Res64: C393D75648AF5804 Time : 0.0 sec. user=mdettweiler [2013-03-14 23:33:18] 725*2^1242708-1 is not prime. Res64: 2B5DF2C71E1BDB18 Time : 0.0 sec. user=mdettweiler [2013-03-14 23:33:18] 767*2^1242708-1 is not prime. Res64: 4C41C29C294CA055 Time : 0.0 sec. user=mdettweiler [2013-03-14 23:33:24] 773*2^1242708-1 is not prime. Res64: A2CED60D618D42D9 Time : 0.0 sec. user=mdettweiler [2013-03-14 23:33:25] 797*2^1242708-1 is not prime. Res64: 2FCA07811E9F7FE1 Time : 0.0 sec. user=juhehe [2013-03-14 23:43:47] 857*2^1242706-1 is not prime. Res64: 83FDF59DA125991C Time : 0.0 sec. user=mdettweiler [2013-03-14 23:50:42] 875*2^1242708-1 is not prime. Res64: 90DD660289957A00 Time : 0.0 sec. user=mdettweiler [2013-03-14 23:50:42] 909*2^1242708-1 is not prime. Res64: 031E7ACD543090A5 Time : 0.0 sec. user=mdettweiler [2013-03-14 23:50:48] 929*2^1242708-1 is not prime. Res64: 2102F79517795058 Time : 0.0 sec. user=mdettweiler [2013-03-14 23:50:48] 977*2^1242708-1 is not prime. Res64: E412472665985F51 Time : 0.0 sec. user=vaughan [2013-03-14 23:57:19] 819*2^1242708-1 is not prime. Res64: 3935247F88727F6E Time : 0.0 sec.