user=vaughan [2012-12-22 00:08:18] 787*2^1237809-1 is not prime. Res64: 5C6C76923CB901C1 Time : 0.0 sec. user=mdettweiler [2012-12-22 00:10:25] 675*2^1237810-1 is not prime. Res64: 676A61DFEC4DDCC1 Time : 0.0 sec. user=mdettweiler [2012-12-22 00:10:25] 723*2^1237810-1 is not prime. Res64: DB9C422379EEEAEB Time : 0.0 sec. user=mdettweiler [2012-12-22 00:11:07] 741*2^1237810-1 is not prime. Res64: 6DC4D227A01FB884 Time : 0.0 sec. user=mdettweiler [2012-12-22 00:11:07] 821*2^1237810-1 is not prime. Res64: 2D53E1FC449417D1 Time : 0.0 sec. user=mdettweiler [2012-12-22 00:28:09] 945*2^1237810-1 is not prime. Res64: 09DFF508551F4387 Time : 0.0 sec. user=mdettweiler [2012-12-22 00:28:10] 1001*2^1237810-1 is not prime. Res64: C1A8757C29AE5558 Time : 0.0 sec. user=mdettweiler [2012-12-22 00:28:53] 615*2^1237811-1 is not prime. Res64: E6712D36EE0A0715 Time : 0.0 sec. user=mdettweiler [2012-12-22 00:28:54] 643*2^1237811-1 is not prime. Res64: 78688D30E011B1DE Time : 0.0 sec. user=mdettweiler [2012-12-22 00:45:53] 781*2^1237811-1 is not prime. Res64: 826263C8CD4490D3 Time : 0.0 sec. user=mdettweiler [2012-12-22 00:45:54] 895*2^1237811-1 is not prime. Res64: 3753595A6D23C87D Time : 0.0 sec. user=vaughan [2012-12-22 00:46:14] 891*2^1237810-1 is not prime. Res64: F2A70945F919C4EA Time : 0.0 sec. user=mdettweiler [2012-12-22 00:46:35] 683*2^1237812-1 is not prime. Res64: 9017CC5E00F01E42 Time : 0.0 sec. user=mdettweiler [2012-12-22 00:46:35] 737*2^1237812-1 is not prime. Res64: 0303CF77342A4C70 Time : 0.0 sec. user=mdettweiler [2012-12-22 01:03:13] 759*2^1237812-1 is not prime. Res64: 659906FDD74C2256 Time : 0.0 sec. user=mdettweiler [2012-12-22 01:03:14] 825*2^1237812-1 is not prime. Res64: 67D5DBCBECC53DA7 Time : 0.0 sec. user=mdettweiler [2012-12-22 01:03:53] 879*2^1237812-1 is not prime. Res64: E1A723024E74D0EE Time : 0.0 sec. user=mdettweiler [2012-12-22 01:03:54] 755*2^1237814-1 is not prime. Res64: 44898D6B8EDC4752 Time : 0.0 sec. user=mdettweiler [2012-12-22 01:20:34] 813*2^1237814-1 is not prime. Res64: E2CBE3643DBBBF9B Time : 0.0 sec. user=mdettweiler [2012-12-22 01:20:35] 873*2^1237814-1 is not prime. Res64: 6F99921A0D82198B Time : 0.0 sec. user=mdettweiler [2012-12-22 01:21:13] 903*2^1237814-1 is not prime. Res64: EEB0BD4ABCB1A15B Time : 0.0 sec. user=mdettweiler [2012-12-22 01:21:14] 945*2^1237814-1 is not prime. Res64: 9948AF6842450772 Time : 0.0 sec. user=vaughan [2012-12-22 01:27:48] 857*2^1237812-1 is not prime. Res64: C896B29EE9D6939E Time : 0.0 sec. user=mdettweiler [2012-12-22 01:37:55] 971*2^1237814-1 is not prime. Res64: 1DFFC754FAF2F7D7 Time : 0.0 sec. user=mdettweiler [2012-12-22 01:37:55] 1001*2^1237814-1 is not prime. Res64: 36F2395661E0CFCC Time : 0.0 sec. user=mdettweiler [2012-12-22 01:38:32] 633*2^1237815-1 is not prime. Res64: BC5B515A88B6044C Time : 0.0 sec. user=mdettweiler [2012-12-22 01:38:32] 679*2^1237815-1 is not prime. Res64: C3D6638427C75237 Time : 0.0 sec. user=mdettweiler [2012-12-22 01:55:16] 763*2^1237815-1 is not prime. Res64: D2ED45C1466857D6 Time : 0.0 sec. user=mdettweiler [2012-12-22 01:55:16] 825*2^1237815-1 is not prime. Res64: D89BD870C13E1819 Time : 0.0 sec. user=mdettweiler [2012-12-22 01:55:51] 885*2^1237815-1 is not prime. Res64: 9A78237E13798477 Time : 0.0 sec. user=mdettweiler [2012-12-22 01:55:51] 909*2^1237815-1 is not prime. Res64: 3F75292FDCF3C61C Time : 0.0 sec. user=vaughan [2012-12-22 02:05:32] 685*2^1237815-1 is not prime. Res64: 0E8E75A00B0A09D5 Time : 0.0 sec. user=mdettweiler [2012-12-22 02:12:35] 951*2^1237815-1 is not prime. Res64: EF0A28905282C386 Time : 0.0 sec. user=mdettweiler [2012-12-22 02:12:36] 707*2^1237816-1 is not prime. Res64: D36F6CEFBBBF6C8F Time : 0.0 sec. user=mdettweiler [2012-12-22 02:13:09] 777*2^1237816-1 is not prime. Res64: 58AB67D3B2DB09B0 Time : 0.0 sec. user=mdettweiler [2012-12-22 02:13:10] 843*2^1237816-1 is not prime. Res64: 53A371A2E0DA35C9 Time : 0.0 sec. user=mdettweiler [2012-12-22 02:29:57] 645*2^1237817-1 is not prime. Res64: 81AC2FADE33CDA7E Time : 0.0 sec. user=mdettweiler [2012-12-22 02:29:58] 685*2^1237817-1 is not prime. Res64: 9F0F357FEA7A63FF Time : 0.0 sec. user=mdettweiler [2012-12-22 02:30:29] 691*2^1237817-1 is not prime. Res64: E8BC326BE808EADD Time : 0.0 sec. user=mdettweiler [2012-12-22 02:30:29] 735*2^1237817-1 is not prime. Res64: B4BAFB8061530742 Time : 0.0 sec. user=vaughan [2012-12-22 02:43:35] 957*2^1237816-1 is not prime. Res64: 8442398630C1F600 Time : 0.0 sec. user=mdettweiler [2012-12-22 02:47:16] 799*2^1237817-1 is not prime. Res64: 4D7D00118DDD7C64 Time : 0.0 sec. user=mdettweiler [2012-12-22 02:47:18] 819*2^1237817-1 is not prime. Res64: 9810F44CC146688E Time : 0.0 sec. user=mdettweiler [2012-12-22 02:47:48] 871*2^1237817-1 is not prime. Res64: 0259EF5C5303018C Time : 0.0 sec. user=mdettweiler [2012-12-22 02:47:49] 909*2^1237817-1 is not prime. Res64: F56919B17BB7CFA6 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:04:38] 955*2^1237817-1 is not prime. Res64: 473163E5D5ACB6C8 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:04:39] 627*2^1237818-1 is not prime. Res64: 9ADCFADC93A636D0 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:05:09] 635*2^1237818-1 is not prime. Res64: AD044AB981711B42 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:05:09] 671*2^1237818-1 is not prime. Res64: 973682FEBB64C5EF Time : 0.0 sec. user=vaughan [2012-12-22 03:21:30] 949*2^1237817-1 is not prime. Res64: 5406BB7DABAD7920 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:22:01] 695*2^1237818-1 is not prime. Res64: 298AC9B36B15247E Time : 0.0 sec. user=mdettweiler [2012-12-22 03:22:01] 801*2^1237818-1 is not prime. Res64: D090256B4032C9EC Time : 0.0 sec. user=mdettweiler [2012-12-22 03:22:29] 821*2^1237818-1 is not prime. Res64: 0217FB46528AD862 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:22:29] 921*2^1237818-1 is not prime. Res64: 6B7B027BD8589D15 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:39:20] 977*2^1237818-1 is not prime. Res64: AFCC6FE048899428 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:39:22] 631*2^1237819-1 is not prime. Res64: A62E17FE346E3C57 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:39:47] 663*2^1237819-1 is not prime. Res64: A9B9378DB5224942 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:39:48] 861*2^1237819-1 is not prime. Res64: B2E220A5746F9738 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:56:52] 885*2^1237819-1 is not prime. Res64: D436ADE86ED5C8E0 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:56:53] 973*2^1237819-1 is not prime. Res64: CB7ECE070288181D Time : 0.0 sec. user=mdettweiler [2012-12-22 03:57:06] 665*2^1237820-1 is not prime. Res64: 0864343A573EA1F2 Time : 0.0 sec. user=mdettweiler [2012-12-22 03:57:07] 707*2^1237820-1 is not prime. Res64: 1E8DFACC14079954 Time : 0.0 sec. user=vaughan [2012-12-22 03:59:16] 927*2^1237818-1 is not prime. Res64: F31B560E7CC8A245 Time : 0.0 sec. user=mdettweiler [2012-12-22 04:14:12] 785*2^1237820-1 is not prime. Res64: 3021BABDD32AB541 Time : 0.0 sec. user=mdettweiler [2012-12-22 04:14:13] 875*2^1237820-1 is not prime. Res64: 8E2BAAB7F2C1095E Time : 0.0 sec. user=mdettweiler [2012-12-22 04:14:26] 639*2^1237821-1 is not prime. Res64: ADA81C8A515B9E07 Time : 0.0 sec. user=mdettweiler [2012-12-22 04:14:27] 789*2^1237821-1 is not prime. Res64: DEFD27E53CF7ED4B Time : 0.0 sec. user=mdettweiler [2012-12-22 04:31:33] 877*2^1237821-1 is not prime. Res64: 1790B54ED8FC3E4A Time : 0.0 sec. user=mdettweiler [2012-12-22 04:31:34] 889*2^1237821-1 is not prime. Res64: 27C1E41C29CD9034 Time : 0.0 sec. user=mdettweiler [2012-12-22 04:31:47] 927*2^1237821-1 is not prime. Res64: 52CA0EBFBFDBB486 Time : 0.0 sec. user=mdettweiler [2012-12-22 04:31:51] 651*2^1237822-1 is not prime. Res64: 4051D2A3FEBF00F5 Time : 0.0 sec. user=vaughan [2012-12-22 04:37:02] 867*2^1237821-1 is not prime. Res64: D498D5C96D668EB9 Time : 0.0 sec. user=mdettweiler [2012-12-22 04:49:16] 705*2^1237822-1 is not prime. Res64: 9DC1210AAC63FD84 Time : 0.0 sec. user=mdettweiler [2012-12-22 04:49:17] 713*2^1237822-1 is not prime. Res64: 6D645D3D3F857B0C Time : 0.0 sec. user=mdettweiler [2012-12-22 04:49:20] 723*2^1237822-1 is not prime. Res64: 6EF2FA3FB365EFA1 Time : 0.0 sec. user=mdettweiler [2012-12-22 04:49:20] 791*2^1237822-1 is not prime. Res64: DD3C35B5EC54A6B5 Time : 0.0 sec. user=mdettweiler [2012-12-22 05:06:37] 615*2^1237823-1 is not prime. Res64: 7E4ABF5F3D69E5F3 Time : 0.0 sec. user=mdettweiler [2012-12-22 05:06:38] 759*2^1237823-1 is not prime. Res64: 40098815DA7C9923 Time : 0.0 sec. user=mdettweiler [2012-12-22 05:06:40] 771*2^1237823-1 is not prime. Res64: 11EB966F4DA9E90E Time : 0.0 sec. user=mdettweiler [2012-12-22 05:06:44] 789*2^1237823-1 is not prime. Res64: 1C88D8A3647252D7 Time : 0.0 sec. user=vaughan [2012-12-22 05:15:07] 813*2^1237822-1 is not prime. Res64: 98BCB6AC113BFDE4 Time : 0.0 sec. user=mdettweiler [2012-12-22 05:24:06] 813*2^1237823-1 is not prime. Res64: 188D17E5890F8100 Time : 0.0 sec. user=mdettweiler [2012-12-22 05:24:07] 861*2^1237823-1 is not prime. Res64: 28C343E0F7D92CDF Time : 0.0 sec. user=mdettweiler [2012-12-22 05:24:09] 871*2^1237823-1 is not prime. Res64: 3C516D3DB8119E9D Time : 0.0 sec. user=mdettweiler [2012-12-22 05:24:10] 915*2^1237823-1 is not prime. Res64: ACD6A393845D416B Time : 0.0 sec. user=mdettweiler [2012-12-22 05:41:25] 705*2^1237824-1 is not prime. Res64: 7035D4C3FAC03729 Time : 0.0 sec. user=mdettweiler [2012-12-22 05:41:26] 767*2^1237824-1 is not prime. Res64: 6278FC41D609F47A Time : 0.0 sec. user=mdettweiler [2012-12-22 05:41:29] 679*2^1237825-1 is not prime. Res64: 57CD54077E88FCF9 Time : 0.0 sec. user=mdettweiler [2012-12-22 05:41:29] 721*2^1237825-1 is not prime. Res64: 6978B1FCE672CEB7 Time : 0.0 sec. user=vaughan [2012-12-22 05:52:54] 627*2^1237824-1 is not prime. Res64: 2E6A8F438702236E Time : 0.0 sec. user=mdettweiler [2012-12-22 05:58:45] 765*2^1237825-1 is not prime. Res64: 4A27F815826F918D Time : 0.0 sec. user=mdettweiler [2012-12-22 05:58:45] 775*2^1237825-1 is not prime. Res64: B165F0215416A7D2 Time : 0.0 sec. user=mdettweiler [2012-12-22 05:58:47] 777*2^1237825-1 is not prime. Res64: 2ADA1BCEABDC813E Time : 0.0 sec. user=mdettweiler [2012-12-22 05:58:48] 799*2^1237825-1 is not prime. Res64: AC59C1437F731B42 Time : 0.0 sec. user=mdettweiler [2012-12-22 06:16:05] 895*2^1237825-1 is not prime. Res64: 8CAF4720B789B5EF Time : 0.0 sec. user=mdettweiler [2012-12-22 06:16:05] 955*2^1237825-1 is not prime. Res64: 2BF75BC5C4066385 Time : 0.0 sec. user=mdettweiler [2012-12-22 06:16:06] 741*2^1237826-1 is not prime. Res64: C3CE2F1E2AEA14B8 Time : 0.0 sec. user=mdettweiler [2012-12-22 06:16:06] 813*2^1237826-1 is not prime. Res64: 9CC08AFAD6CFAB95 Time : 0.0 sec. user=vaughan [2012-12-22 06:30:38] 811*2^1237825-1 is not prime. Res64: 1BCD9FE40278AC6D Time : 0.0 sec. user=mdettweiler [2012-12-22 06:33:24] 833*2^1237826-1 is not prime. Res64: AC700A63618A98AB Time : 0.0 sec. user=mdettweiler [2012-12-22 06:33:25] 935*2^1237826-1 is not prime. Res64: F7135C2DFA234B02 Time : 0.0 sec. user=mdettweiler [2012-12-22 06:33:26] 625*2^1237827-1 is not prime. Res64: 1226F6453D3D9DDF Time : 0.0 sec. user=mdettweiler [2012-12-22 06:33:26] 775*2^1237827-1 is not prime. Res64: D068B24B31CE4616 Time : 0.0 sec. user=mdettweiler [2012-12-22 06:50:43] 949*2^1237827-1 is not prime. Res64: 0B8F874BFB50F7D4 Time : 0.0 sec. user=mdettweiler [2012-12-22 06:50:44] 961*2^1237827-1 is not prime. Res64: 050A5131E9562242 Time : 0.0 sec. user=mdettweiler [2012-12-22 06:50:44] 979*2^1237827-1 is not prime. Res64: ECEBE8FDE88AD95F Time : 0.0 sec. user=mdettweiler [2012-12-22 06:50:45] 991*2^1237827-1 is not prime. Res64: C6B7A533AD1AD6F9 Time : 0.0 sec. user=mdettweiler [2012-12-22 07:08:03] 999*2^1237827-1 is not prime. Res64: 07CE3D954CD1545B Time : 0.0 sec. user=mdettweiler [2012-12-22 07:08:04] 707*2^1237828-1 is not prime. Res64: BA626CC2E70AE2F5 Time : 0.0 sec. user=mdettweiler [2012-12-22 07:08:10] 705*2^1237828-1 is not prime. Res64: 9BDC5A15503560B8 Time : 0.0 sec. user=mdettweiler [2012-12-22 07:08:13] 843*2^1237828-1 is not prime. Res64: 6BA5F3CB5DD285E7 Time : 0.0 sec. user=vaughan [2012-12-22 07:08:26] 871*2^1237827-1 is not prime. Res64: 3E23218462736EDC Time : 0.0 sec. user=mdettweiler [2012-12-22 07:25:58] 915*2^1237828-1 is not prime. Res64: 837FA7F8C497349B Time : 0.0 sec. user=mdettweiler [2012-12-22 07:25:58] 927*2^1237828-1 is not prime. Res64: 7FAE839E302281A6 Time : 0.0 sec. user=mdettweiler [2012-12-22 07:26:04] 747*2^1237829-1 is not prime. Res64: 2E4E19C09D59F928 Time : 0.0 sec. user=mdettweiler [2012-12-22 07:26:05] 825*2^1237829-1 is not prime. Res64: FD4CB80A2ADB7927 Time : 0.0 sec. user=mdettweiler [2012-12-22 07:43:18] 831*2^1237829-1 is not prime. Res64: 51F31787C539AABC Time : 0.0 sec. user=mdettweiler [2012-12-22 07:43:18] 847*2^1237829-1 is not prime. Res64: 16360A824F65EA39 Time : 0.0 sec. user=mdettweiler [2012-12-22 07:43:24] 885*2^1237829-1 is not prime. Res64: 5929A40FCF9C75CE Time : 0.0 sec. user=mdettweiler [2012-12-22 07:43:24] 979*2^1237829-1 is not prime. Res64: BFF26F376660197E Time : 0.0 sec. user=vaughan [2012-12-22 07:46:37] 989*2^1237828-1 is not prime. Res64: 8C43611B87C3AB4C Time : 0.0 sec. user=mdettweiler [2012-12-22 08:00:38] 615*2^1237830-1 is not prime. Res64: 8EA80B2AD44D7CC1 Time : 0.0 sec. user=mdettweiler [2012-12-22 08:00:39] 725*2^1237830-1 is not prime. Res64: 24F9E7DC96C1754B Time : 0.0 sec. user=mdettweiler [2012-12-22 08:00:44] 873*2^1237830-1 is not prime. Res64: 317F142CABD3602D Time : 0.0 sec. user=mdettweiler [2012-12-22 08:00:45] 621*2^1237831-1 is not prime. Res64: 82A72D1A2C89653F Time : 0.0 sec. user=mdettweiler [2012-12-22 08:18:03] 649*2^1237831-1 is not prime. Res64: EC7DE7CC0D088135 Time : 0.0 sec. user=mdettweiler [2012-12-22 08:18:04] 703*2^1237831-1 is not prime. Res64: 2793C68770FDD91D Time : 0.0 sec. user=mdettweiler [2012-12-22 08:18:05] 723*2^1237831-1 is not prime. Res64: BEEA03A05D748CA5 Time : 0.0 sec. user=mdettweiler [2012-12-22 08:18:06] 735*2^1237831-1 is not prime. Res64: 2495C6BB31811970 Time : 0.0 sec. user=vaughan [2012-12-22 08:24:24] 645*2^1237831-1 is not prime. Res64: EC2A5CFC121527A1 Time : 0.0 sec. user=mdettweiler [2012-12-22 08:35:24] 745*2^1237831-1 is not prime. Res64: 4F9D8718171C3106 Time : 0.0 sec. user=mdettweiler [2012-12-22 08:35:24] 855*2^1237831-1 is not prime. Res64: D979E8C15377220B Time : 0.0 sec. user=mdettweiler [2012-12-22 08:35:28] 883*2^1237831-1 is not prime. Res64: FD1258BF8E6DF3F4 Time : 0.0 sec. user=mdettweiler [2012-12-22 08:35:28] 901*2^1237831-1 is not prime. Res64: 9DCF7BD17B2D5194 Time : 0.0 sec. user=mdettweiler [2012-12-22 08:52:43] 951*2^1237831-1 is not prime. Res64: 39BE413B50696F08 Time : 0.0 sec. user=mdettweiler [2012-12-22 08:52:43] 993*2^1237831-1 is not prime. Res64: 110146218DDA8A35 Time : 0.0 sec. user=mdettweiler [2012-12-22 08:52:47] 629*2^1237832-1 is not prime. Res64: BA4E211874FFAD61 Time : 0.0 sec. user=mdettweiler [2012-12-22 08:52:47] 713*2^1237832-1 is not prime. Res64: 49BBD3F86DB62B7E Time : 0.0 sec. user=vaughan [2012-12-22 09:02:10] 933*2^1237831-1 is not prime. Res64: 8AAB77EC4A247AD3 Time : 0.0 sec. user=mdettweiler [2012-12-22 09:10:02] 717*2^1237832-1 is not prime. Res64: 0833490A8BFA9B64 Time : 0.0 sec. user=mdettweiler [2012-12-22 09:10:03] 755*2^1237832-1 is not prime. Res64: FB303EAE152A7C0F Time : 0.0 sec. user=mdettweiler [2012-12-22 09:10:06] 837*2^1237832-1 is not prime. Res64: 2B81265C7284719D Time : 0.0 sec. user=mdettweiler [2012-12-22 09:10:08] 923*2^1237832-1 is not prime. Res64: 048741F52BFAFD97 Time : 0.0 sec. user=mdettweiler [2012-12-22 09:27:24] 963*2^1237832-1 is not prime. Res64: A97231434716F3A2 Time : 0.0 sec. user=mdettweiler [2012-12-22 09:27:26] 639*2^1237833-1 is not prime. Res64: 606657BA2F270217 Time : 0.0 sec. user=mdettweiler [2012-12-22 09:27:27] 685*2^1237833-1 is not prime. Res64: 228419048657234D Time : 0.0 sec. user=mdettweiler [2012-12-22 09:27:27] 745*2^1237833-1 is not prime. Res64: FE400E7F6EB329D9 Time : 0.0 sec. user=vaughan [2012-12-22 09:40:03] 945*2^1237832-1 is not prime. Res64: 57809AB2582C38AB Time : 0.0 sec. user=mdettweiler [2012-12-22 09:44:45] 747*2^1237833-1 is not prime. Res64: C1C88860776A5B51 Time : 0.0 sec. user=mdettweiler [2012-12-22 09:44:46] 807*2^1237833-1 is not prime. Res64: 3DF3E8D1EA3C665F Time : 0.0 sec. user=mdettweiler [2012-12-22 09:44:46] 787*2^1237833-1 is not prime. Res64: E559A461DE49CFC4 Time : 0.0 sec. user=mdettweiler [2012-12-22 09:44:46] 817*2^1237833-1 is not prime. Res64: B7895F3F712102FD Time : 0.0 sec. user=mdettweiler [2012-12-22 10:02:06] 855*2^1237834-1 is not prime. Res64: 1F0D9900B9C7BA97 Time : 0.0 sec. user=mdettweiler [2012-12-22 10:02:06] 783*2^1237834-1 is not prime. Res64: FE4167C9C3320E28 Time : 0.0 sec. user=mdettweiler [2012-12-22 10:02:08] 885*2^1237834-1 is not prime. Res64: 13765A9816C471F9 Time : 0.0 sec. user=mdettweiler [2012-12-22 10:02:09] 831*2^1237834-1 is not prime. Res64: 63A54BA1C5FA6918 Time : 0.0 sec. user=vaughan [2012-12-22 10:17:51] 705*2^1237834-1 is not prime. Res64: 5037A44B1F918160 Time : 0.0 sec. user=mdettweiler [2012-12-22 10:19:46] 945*2^1237834-1 is not prime. Res64: B83863A96897B1A6 Time : 0.0 sec. user=mdettweiler [2012-12-22 10:19:47] 981*2^1237834-1 is not prime. Res64: CCA07D2007456DFC Time : 0.0 sec. user=mdettweiler [2012-12-22 10:19:48] 645*2^1237835-1 is not prime. Res64: 687C0708D7628FF5 Time : 0.0 sec. user=mdettweiler [2012-12-22 10:19:49] 741*2^1237835-1 is not prime. Res64: A84FB0D4A53D5C9C Time : 0.0 sec. user=mdettweiler [2012-12-22 10:37:08] 819*2^1237835-1 is not prime. Res64: 38F514C0286C761C Time : 0.0 sec. user=mdettweiler [2012-12-22 10:37:09] 861*2^1237835-1 is not prime. Res64: 19B432DB8C6BD2E1 Time : 0.0 sec. user=mdettweiler [2012-12-22 10:37:09] 939*2^1237835-1 is not prime. Res64: DF15658B4513A1D4 Time : 0.0 sec. user=mdettweiler [2012-12-22 10:37:09] 969*2^1237835-1 is not prime. Res64: 347D3DF96851C1E8 Time : 0.0 sec. user=mdettweiler [2012-12-22 10:54:28] 689*2^1237836-1 is not prime. Res64: 4826BA84CEE532DF Time : 0.0 sec. user=mdettweiler [2012-12-22 10:54:28] 695*2^1237836-1 is not prime. Res64: FBF19DC00F0952C2 Time : 0.0 sec. user=mdettweiler [2012-12-22 10:54:28] 719*2^1237836-1 is not prime. Res64: 048DFA4FFD6B22F5 Time : 0.0 sec. user=mdettweiler [2012-12-22 10:54:29] 737*2^1237836-1 is not prime. Res64: 305FEF759F0F4A9C Time : 0.0 sec. user=mdettweiler [2012-12-22 11:11:47] 783*2^1237836-1 is not prime. Res64: E10E58DD5A8F80D1 Time : 0.0 sec. user=mdettweiler [2012-12-22 11:11:48] 715*2^1237837-1 is not prime. Res64: 4094906CFDFAD789 Time : 0.0 sec. user=mdettweiler [2012-12-22 11:11:51] 969*2^1237836-1 is not prime. Res64: 3EC801C5A67859B2 Time : 0.0 sec. user=mdettweiler [2012-12-22 11:11:52] 727*2^1237837-1 is not prime. Res64: 43D796636531EA90 Time : 0.0 sec. user=mdettweiler [2012-12-22 11:29:26] 777*2^1237837-1 is not prime. Res64: 605DA63B64E4C0B2 Time : 0.0 sec. user=mdettweiler [2012-12-22 11:29:27] 889*2^1237837-1 is not prime. Res64: 009DF93DF9F6D889 Time : 0.0 sec. user=mdettweiler [2012-12-22 11:29:28] 937*2^1237837-1 is not prime. Res64: F08B4350DB872E3A Time : 0.0 sec. user=mdettweiler [2012-12-22 11:29:29] 945*2^1237837-1 is not prime. Res64: 27478D67A9E14CD1 Time : 0.0 sec. user=vaughan [2012-12-22 11:31:29] 777*2^1237836-1 is not prime. Res64: E03F5EA6CE7A4FF0 Time : 0.0 sec. user=mdettweiler [2012-12-22 11:46:47] 923*2^1237838-1 is not prime. Res64: 7C53E80D17DBB79C Time : 0.0 sec. user=mdettweiler [2012-12-22 11:46:47] 1001*2^1237838-1 is not prime. Res64: 9C51727CCE031F88 Time : 0.0 sec. user=mdettweiler [2012-12-22 11:46:48] 693*2^1237839-1 is not prime. Res64: 328C2CE2BCA5E6AE Time : 0.0 sec. user=mdettweiler [2012-12-22 11:46:49] 935*2^1237838-1 is not prime. Res64: D7795D22D2C2D1BD Time : 0.0 sec. user=mdettweiler [2012-12-22 12:04:07] 775*2^1237839-1 is not prime. Res64: 041CED5B89F68643 Time : 0.0 sec. user=mdettweiler [2012-12-22 12:04:09] 865*2^1237839-1 is not prime. Res64: 8CA88858C9FE29CA Time : 0.0 sec. user=mdettweiler [2012-12-22 12:04:10] 795*2^1237839-1 is not prime. Res64: FEC94B2D50E13A87 Time : 0.0 sec. user=mdettweiler [2012-12-22 12:04:10] 933*2^1237839-1 is not prime. Res64: 8FF6BB35EC99B6E5 Time : 0.0 sec. user=vaughan [2012-12-22 12:09:18] 741*2^1237839-1 is not prime. Res64: 41F05C8F3D604A00 Time : 0.0 sec. user=mdettweiler [2012-12-22 12:21:35] 961*2^1237839-1 is not prime. Res64: 3EACA3767DC34C95 Time : 0.0 sec. user=mdettweiler [2012-12-22 12:21:36] 629*2^1237840-1 is not prime. Res64: 7ED283E700176EE2 Time : 0.0 sec. user=mdettweiler [2012-12-22 12:21:36] 875*2^1237840-1 is not prime. Res64: 19CAE410AE5F3F8F Time : 0.0 sec. user=mdettweiler [2012-12-22 12:21:37] 923*2^1237840-1 is not prime. Res64: B7EA0884C1D020F5 Time : 0.0 sec. user=mdettweiler [2012-12-22 12:38:56] 619*2^1237841-1 is not prime. Res64: E307558194928766 Time : 0.0 sec. user=mdettweiler [2012-12-22 12:38:57] 657*2^1237841-1 is not prime. Res64: DA97D96416A42315 Time : 0.0 sec. user=mdettweiler [2012-12-22 12:38:57] 697*2^1237841-1 is not prime. Res64: E9D0047D5896FDBC Time : 0.0 sec. user=mdettweiler [2012-12-22 12:38:58] 717*2^1237841-1 is not prime. Res64: 3760BC28C680F008 Time : 0.0 sec. user=vaughan [2012-12-22 12:47:10] 999*2^1237840-1 is not prime. Res64: 30819F404E863AED Time : 0.0 sec. user=mdettweiler [2012-12-22 12:56:15] 861*2^1237841-1 is not prime. Res64: 545AE3543B8DF127 Time : 0.0 sec. user=mdettweiler [2012-12-22 12:56:16] 879*2^1237841-1 is not prime. Res64: 2BFF45339BD98C85 Time : 0.0 sec. user=mdettweiler [2012-12-22 12:56:16] 949*2^1237841-1 is not prime. Res64: 3F6C9FA0CF30C380 Time : 0.0 sec. user=mdettweiler [2012-12-22 12:56:17] 991*2^1237841-1 is not prime. Res64: 8B7061537BAA308B Time : 0.0 sec. user=mdettweiler [2012-12-22 13:13:35] 803*2^1237842-1 is not prime. Res64: CFAE381508CD08EE Time : 0.0 sec. user=mdettweiler [2012-12-22 13:13:36] 885*2^1237842-1 is not prime. Res64: 359748A12500A1F7 Time : 0.0 sec. user=mdettweiler [2012-12-22 13:13:37] 631*2^1237843-1 is not prime. Res64: 9D6FA7BA65546378 Time : 0.0 sec. user=mdettweiler [2012-12-22 13:13:37] 705*2^1237843-1 is not prime. Res64: 9A352CFED61B6EBD Time : 0.0 sec. user=vaughan [2012-12-22 13:24:56] 747*2^1237842-1 is not prime. Res64: DC1D738AB667392C Time : 0.0 sec. user=mdettweiler [2012-12-22 13:30:55] 769*2^1237843-1 is not prime. Res64: E8271D18A70BAFC0 Time : 0.0 sec. user=mdettweiler [2012-12-22 13:30:56] 861*2^1237843-1 is not prime. Res64: 12D43268DC709ACF Time : 0.0 sec. user=mdettweiler [2012-12-22 13:30:56] 615*2^1237844-1 is not prime. Res64: 2676A939FD65F9AE Time : 0.0 sec. user=mdettweiler [2012-12-22 13:30:57] 683*2^1237844-1 is not prime. Res64: 7E1E37CD420C47FD Time : 0.0 sec. user=mdettweiler [2012-12-22 13:48:14] 759*2^1237844-1 is not prime. Res64: F38DC6B356179CEF Time : 0.0 sec. user=mdettweiler [2012-12-22 13:48:15] 833*2^1237844-1 is not prime. Res64: 9F4F5C118BB3AEAE Time : 0.0 sec. user=mdettweiler [2012-12-22 13:48:16] 709*2^1237845-1 is not prime. Res64: 07B694D37B6979CC Time : 0.0 sec. user=mdettweiler [2012-12-22 13:48:16] 727*2^1237845-1 is not prime. Res64: 01343D6113FCD0EE Time : 0.0 sec. user=vaughan [2012-12-22 14:02:41] 753*2^1237844-1 is not prime. Res64: 3B003321DC156EC2 Time : 0.0 sec. user=mdettweiler [2012-12-22 14:05:35] 871*2^1237845-1 is not prime. Res64: 91A0BCA4C75ECE46 Time : 0.0 sec. user=mdettweiler [2012-12-22 14:05:36] 759*2^1237845-1 is not prime. Res64: 0C0DD7C90D54F3E9 Time : 0.0 sec. user=mdettweiler [2012-12-22 14:05:36] 997*2^1237845-1 is not prime. Res64: 92468C0C13528807 Time : 0.0 sec. user=mdettweiler [2012-12-22 14:05:37] 817*2^1237845-1 is not prime. Res64: 92493FA5B1EC51BB Time : 0.0 sec. user=mdettweiler [2012-12-22 14:22:55] 651*2^1237847-1 is not prime. Res64: 568B080E596D9B47 Time : 0.0 sec. user=mdettweiler [2012-12-22 14:22:56] 669*2^1237847-1 is not prime. Res64: FE9D3AB607B3494A Time : 0.0 sec. user=mdettweiler [2012-12-22 14:22:56] 831*2^1237847-1 is not prime. Res64: 09C4EAA00333D613 Time : 0.0 sec. user=mdettweiler [2012-12-22 14:22:57] 865*2^1237847-1 is not prime. Res64: B337042CF23D1B47 Time : 0.0 sec. user=mdettweiler [2012-12-22 14:40:17] 955*2^1237847-1 is not prime. Res64: C25E1F7B0E82E705 Time : 0.0 sec. user=mdettweiler [2012-12-22 14:40:18] 669*2^1237848-1 is not prime. Res64: A63C8754B2B9B136 Time : 0.0 sec. user=mdettweiler [2012-12-22 14:40:18] 737*2^1237848-1 is not prime. Res64: 973FFC480FCEDE54 Time : 0.0 sec. user=mdettweiler [2012-12-22 14:40:18] 753*2^1237848-1 is not prime. Res64: E359F2038FB68512 Time : 0.0 sec. user=vaughan [2012-12-22 14:40:37] 911*2^1237846-1 is not prime. Res64: C8187F80C95A1DA8 Time : 0.0 sec. user=mdettweiler [2012-12-22 14:57:36] 765*2^1237848-1 is not prime. Res64: 7A88B2CAC128480B Time : 0.0 sec. user=mdettweiler [2012-12-22 14:57:36] 837*2^1237848-1 is not prime. Res64: F7A10330D5F0DD65 Time : 0.0 sec. user=mdettweiler [2012-12-22 14:57:37] 875*2^1237848-1 is not prime. Res64: 542CBCD69F559FBF Time : 0.0 sec. user=mdettweiler [2012-12-22 14:57:37] 909*2^1237848-1 is not prime. Res64: 59D8520291BC1F21 Time : 0.0 sec. user=mdettweiler [2012-12-22 15:14:55] 639*2^1237849-1 is not prime. Res64: 9C98AB1FFBBA89C4 Time : 0.0 sec. user=mdettweiler [2012-12-22 15:14:55] 831*2^1237849-1 is not prime. Res64: 83BEDAC3C99C2493 Time : 0.0 sec. user=mdettweiler [2012-12-22 15:14:56] 769*2^1237849-1 is not prime. Res64: 9ED6031B6F71B8BB Time : 0.0 sec. user=mdettweiler [2012-12-22 15:14:56] 847*2^1237849-1 is not prime. Res64: 5784E3081399363E Time : 0.0 sec. user=vaughan [2012-12-22 15:18:25] 993*2^1237848-1 is not prime. Res64: 72BC15E49BE1615F Time : 0.0 sec. user=mdettweiler [2012-12-22 15:32:16] 665*2^1237850-1 is not prime. Res64: CD93AE1F2D8BB99A Time : 0.0 sec. user=mdettweiler [2012-12-22 15:32:18] 675*2^1237850-1 is not prime. Res64: 1677D493079A6855 Time : 0.0 sec. user=mdettweiler [2012-12-22 15:32:19] 677*2^1237850-1 is not prime. Res64: E24AF400A389A97B Time : 0.0 sec. user=mdettweiler [2012-12-22 15:32:20] 783*2^1237850-1 is not prime. Res64: BB37DEFE2EA4D611 Time : 0.0 sec. user=mdettweiler [2012-12-22 15:49:38] 831*2^1237850-1 is not prime. Res64: 1CDB0BB00D797EDE Time : 0.0 sec. user=mdettweiler [2012-12-22 15:49:39] 675*2^1237851-1 is not prime. Res64: 0B841D0D45CEB2EA Time : 0.0 sec. user=mdettweiler [2012-12-22 15:49:42] 709*2^1237851-1 is not prime. Res64: 86EBB9B5B2D52AFE Time : 0.0 sec. user=mdettweiler [2012-12-22 15:49:42] 745*2^1237851-1 is not prime. Res64: 4E5AF78C9DE1ACFF Time : 0.0 sec. user=vaughan [2012-12-22 15:56:09] 813*2^1237850-1 is not prime. Res64: 15770CA5BCA1F18C Time : 0.0 sec. user=mdettweiler [2012-12-22 16:06:57] 775*2^1237851-1 is not prime. Res64: 6488255F0BC47E76 Time : 0.0 sec. user=mdettweiler [2012-12-22 16:06:58] 849*2^1237851-1 is not prime. Res64: A941C0287F59933F Time : 0.0 sec. user=mdettweiler [2012-12-22 16:07:01] 895*2^1237851-1 is not prime. Res64: 7ABBF2877F383C4D Time : 0.0 sec. user=mdettweiler [2012-12-22 16:07:02] 979*2^1237851-1 is not prime. Res64: 752C4E49DC8F896E Time : 0.0 sec. user=mdettweiler [2012-12-22 16:24:21] 719*2^1237852-1 is not prime. Res64: 74C810FBFF405785 Time : 0.0 sec. user=mdettweiler [2012-12-22 16:24:22] 749*2^1237852-1 is not prime. Res64: ED2395D8A25686E5 Time : 0.0 sec. user=mdettweiler [2012-12-22 16:24:22] 779*2^1237852-1 is not prime. Res64: 123439D4E88A7497 Time : 0.0 sec. user=mdettweiler [2012-12-22 16:24:23] 863*2^1237852-1 is not prime. Res64: 33FFB9BDFF2E9BDC Time : 0.0 sec. user=vaughan [2012-12-22 16:33:55] 677*2^1237852-1 is not prime. Res64: BC7767F39896E876 Time : 0.0 sec. user=mdettweiler [2012-12-22 16:41:40] 897*2^1237852-1 is not prime. Res64: 22A8976C68E85A40 Time : 0.0 sec. user=mdettweiler [2012-12-22 16:41:41] 995*2^1237852-1 is not prime. Res64: DC69FC5C7539E056 Time : 0.0 sec. user=mdettweiler [2012-12-22 16:41:41] 627*2^1237853-1 is not prime. Res64: 0DD4F04D06FB68CE Time : 0.0 sec. user=mdettweiler [2012-12-22 16:41:42] 729*2^1237853-1 is not prime. Res64: 1CD80B9FAA73DBC4 Time : 0.0 sec. user=mdettweiler [2012-12-22 16:59:07] 795*2^1237853-1 is not prime. Res64: BBEED6FF2E4EE7E5 Time : 0.0 sec. user=mdettweiler [2012-12-22 16:59:07] 867*2^1237853-1 is not prime. Res64: A17750A8A9A98142 Time : 0.0 sec. user=mdettweiler [2012-12-22 16:59:08] 889*2^1237853-1 is not prime. Res64: FE20B4D44D522107 Time : 0.0 sec. user=mdettweiler [2012-12-22 16:59:08] 937*2^1237853-1 is not prime. Res64: 46F0580532F6BF4B Time : 0.0 sec. user=vaughan [2012-12-22 17:11:40] 781*2^1237853-1 is not prime. Res64: 42CFDD2C11EAC5F3 Time : 0.0 sec. user=mdettweiler [2012-12-22 17:16:32] 967*2^1237853-1 is not prime. Res64: 29EA74A10A2D876E Time : 0.0 sec. user=mdettweiler [2012-12-22 17:16:33] 651*2^1237854-1 is not prime. Res64: 6524F1681BD16ECE Time : 0.0 sec. user=mdettweiler [2012-12-22 17:16:33] 723*2^1237854-1 is not prime. Res64: AF66E1E97AF4F337 Time : 0.0 sec. user=mdettweiler [2012-12-22 17:16:34] 783*2^1237854-1 is not prime. Res64: 1C2C1FA4DDD61AED Time : 0.0 sec. user=mdettweiler [2012-12-22 17:33:58] 875*2^1237854-1 is not prime. Res64: 986DB4A2593BA671 Time : 0.0 sec. user=mdettweiler [2012-12-22 17:33:59] 917*2^1237854-1 is not prime. Res64: 09CFA17FCD0E03A4 Time : 0.0 sec. user=mdettweiler [2012-12-22 17:34:00] 971*2^1237854-1 is not prime. Res64: 4280F13E5944CD73 Time : 0.0 sec. user=mdettweiler [2012-12-22 17:34:00] 993*2^1237854-1 is not prime. Res64: F89583102D34ECFF Time : 0.0 sec. user=vaughan [2012-12-22 17:49:32] 825*2^1237854-1 is not prime. Res64: 0FBA8489CE6D8659 Time : 0.0 sec. user=mdettweiler [2012-12-22 17:51:28] 763*2^1237855-1 is not prime. Res64: 082CB2A97C095FD9 Time : 0.0 sec. user=mdettweiler [2012-12-22 17:51:29] 775*2^1237855-1 is not prime. Res64: D2EE0A69F08AABE8 Time : 0.0 sec. user=mdettweiler [2012-12-22 17:51:30] 783*2^1237855-1 is not prime. Res64: C5B36CC2E578CCDC Time : 0.0 sec. user=mdettweiler [2012-12-22 17:51:30] 841*2^1237855-1 is not prime. Res64: 065E8B58D9244E6C Time : 0.0 sec. user=mdettweiler [2012-12-22 18:09:00] 689*2^1237856-1 is not prime. Res64: 6CAFD5A12535E01A Time : 0.0 sec. user=mdettweiler [2012-12-22 18:09:01] 777*2^1237856-1 is not prime. Res64: 54DE7BD0F3A5BB94 Time : 0.0 sec. user=mdettweiler [2012-12-22 18:09:03] 873*2^1237856-1 is not prime. Res64: 1ABBF1A3D796EBFF Time : 0.0 sec. user=mdettweiler [2012-12-22 18:09:04] 969*2^1237856-1 is not prime. Res64: ECB48DB7C82EE396 Time : 0.0 sec. user=mdettweiler [2012-12-22 18:26:40] 983*2^1237856-1 is not prime. Res64: F627B77AC716C7E5 Time : 0.0 sec. user=mdettweiler [2012-12-22 18:26:40] 999*2^1237856-1 is not prime. Res64: 880088C7A62964DE Time : 0.0 sec. user=mdettweiler [2012-12-22 18:26:41] 625*2^1237857-1 is not prime. Res64: 244FD9F090EEA344 Time : 0.0 sec. user=mdettweiler [2012-12-22 18:26:42] 667*2^1237857-1 is not prime. Res64: F11A49D1089EB62E Time : 0.0 sec. user=vaughan [2012-12-22 18:27:17] 885*2^1237855-1 is not prime. Res64: 4E6681A04869D32E Time : 0.0 sec. user=mdettweiler [2012-12-22 18:44:14] 765*2^1237857-1 is not prime. Res64: 97A153E353C3DD60 Time : 0.0 sec. user=mdettweiler [2012-12-22 18:44:14] 817*2^1237857-1 is not prime. Res64: BA5D5B1B9E739570 Time : 0.0 sec. user=mdettweiler [2012-12-22 18:44:16] 919*2^1237857-1 is not prime. Res64: F337B2C8DEADB73F Time : 0.0 sec. user=mdettweiler [2012-12-22 18:44:16] 605*2^1237858-1 is not prime. Res64: 8031029798805274 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:01:41] 671*2^1237858-1 is not prime. Res64: 99D126000D335860 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:01:42] 845*2^1237858-1 is not prime. Res64: 43F68242D060F8C9 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:01:43] 911*2^1237858-1 is not prime. Res64: 27A3CF5A35516F41 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:01:44] 951*2^1237858-1 is not prime. Res64: 722E09C101A2B2C4 Time : 0.0 sec. user=vaughan [2012-12-22 19:05:01] 623*2^1237858-1 is not prime. Res64: 24B0B44F3F27D29C Time : 0.0 sec. user=mdettweiler [2012-12-22 19:19:21] 957*2^1237858-1 is not prime. Res64: 9652E85F70E71FB1 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:19:21] 675*2^1237859-1 is not prime. Res64: DDFC912541449475 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:19:22] 811*2^1237859-1 is not prime. Res64: D72B32A5D99B8736 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:19:22] 841*2^1237859-1 is not prime. Res64: E6D808CC394A41E3 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:36:48] 949*2^1237859-1 is not prime. Res64: 1A340997EB42578E Time : 0.0 sec. user=mdettweiler [2012-12-22 19:36:49] 803*2^1237860-1 is not prime. Res64: DC2D046FA052B0A7 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:36:49] 773*2^1237860-1 is not prime. Res64: 9203A2BCE4BE2A59 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:36:49] 845*2^1237860-1 is not prime. Res64: D6E0FC2D14D66C7B Time : 0.0 sec. user=vaughan [2012-12-22 19:43:07] 861*2^1237859-1 is not prime. Res64: 3D708664B1C5A2F8 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:54:12] 609*2^1237861-1 is not prime. Res64: B8CF8966D0B13957 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:54:12] 825*2^1237861-1 is not prime. Res64: 555B1BE066F211DA Time : 0.0 sec. user=mdettweiler [2012-12-22 19:54:15] 871*2^1237861-1 is not prime. Res64: 6FCE03F04A4B8FA4 Time : 0.0 sec. user=mdettweiler [2012-12-22 19:54:16] 937*2^1237861-1 is not prime. Res64: EA8A94BFFCE008D0 Time : 0.0 sec. user=mdettweiler [2012-12-22 20:11:35] 951*2^1237861-1 is not prime. Res64: 8CC49AD69AF21BBF Time : 0.0 sec. user=mdettweiler [2012-12-22 20:11:35] 815*2^1237862-1 is not prime. Res64: 3C5F669E9F5857B3 Time : 0.0 sec. user=mdettweiler [2012-12-22 20:11:38] 827*2^1237862-1 is not prime. Res64: A391F9925601E8FF Time : 0.0 sec. user=mdettweiler [2012-12-22 20:11:39] 857*2^1237862-1 is not prime. Res64: 38F62E32C68DD3AD Time : 0.0 sec. user=vaughan [2012-12-22 20:20:53] 945*2^1237861-1 is not prime. Res64: 8A4B69ED1EBB226F Time : 0.0 sec. user=mdettweiler [2012-12-22 20:29:03] 893*2^1237862-1 is not prime. Res64: 0BDD3F7B4BA90564 Time : 0.0 sec. user=mdettweiler [2012-12-22 20:29:03] 897*2^1237862-1 is not prime. Res64: 22FD42411C56F2B2 Time : 0.0 sec. user=mdettweiler [2012-12-22 20:29:07] 951*2^1237862-1 is not prime. Res64: CFDE82D81AA8BFBA Time : 0.0 sec. user=mdettweiler [2012-12-22 20:29:07] 987*2^1237862-1 is not prime. Res64: C72C2077BE3D05A8 Time : 0.0 sec. user=mdettweiler [2012-12-22 20:46:25] 823*2^1237863-1 is not prime. Res64: C0F64D4FA482082A Time : 0.0 sec. user=mdettweiler [2012-12-22 20:46:25] 871*2^1237863-1 is not prime. Res64: D62B83A9C1FC9A2C Time : 0.0 sec. user=mdettweiler [2012-12-22 20:46:29] 705*2^1237864-1 is not prime. Res64: A9F281E5F73DF2AD Time : 0.0 sec. user=mdettweiler [2012-12-22 20:46:29] 773*2^1237864-1 is not prime. Res64: BCE549E23052F9E0 Time : 0.0 sec. user=vaughan [2012-12-22 20:58:41] 625*2^1237863-1 is not prime. Res64: 958651B4CA97C804 Time : 0.0 sec. user=mdettweiler [2012-12-22 21:03:48] 807*2^1237864-1 is not prime. Res64: 58C969C31FD52100 Time : 0.0 sec. user=mdettweiler [2012-12-22 21:03:49] 833*2^1237864-1 is not prime. Res64: F1C8726445482D13 Time : 0.0 sec. user=mdettweiler [2012-12-22 21:03:52] 903*2^1237864-1 is not prime. Res64: D475CAB109371ED2 Time : 0.0 sec. user=mdettweiler [2012-12-22 21:03:53] 691*2^1237865-1 is not prime. Res64: C0EF4E4E6A49C1BE Time : 0.0 sec. user=mdettweiler [2012-12-22 21:21:12] 699*2^1237865-1 is not prime. Res64: 50B59660F2C8519A Time : 0.0 sec. user=mdettweiler [2012-12-22 21:21:13] 729*2^1237865-1 is not prime. Res64: DB87A62CB75645F7 Time : 0.0 sec. user=mdettweiler [2012-12-22 21:21:17] 805*2^1237865-1 is not prime. Res64: F163E4DBE155898D Time : 0.0 sec. user=mdettweiler [2012-12-22 21:21:18] 831*2^1237865-1 is not prime. Res64: 87EF2F5526869B4A Time : 0.0 sec. user=vaughan [2012-12-22 21:36:29] 697*2^1237865-1 is not prime. Res64: ACE33E3B4F2066CC Time : 0.0 sec. user=mdettweiler [2012-12-22 21:38:37] 987*2^1237865-1 is not prime. Res64: D4137BAD650C5F5E Time : 0.0 sec. user=mdettweiler [2012-12-22 21:38:38] 711*2^1237866-1 is not prime. Res64: E71E76529D80E3F4 Time : 0.0 sec. user=mdettweiler [2012-12-22 21:38:40] 873*2^1237866-1 is not prime. Res64: 73455757315C6F53 Time : 0.0 sec. user=mdettweiler [2012-12-22 21:38:40] 921*2^1237866-1 is not prime. Res64: 959D5E94D9448712 Time : 0.0 sec. user=mdettweiler [2012-12-22 21:56:00] 971*2^1237866-1 is not prime. Res64: 5AE7E2F98A8BB2B3 Time : 0.0 sec. user=mdettweiler [2012-12-22 21:56:01] 633*2^1237867-1 is not prime. Res64: C75B254C0738A5E7 Time : 0.0 sec. user=mdettweiler [2012-12-22 21:56:02] 673*2^1237867-1 is not prime. Res64: 3F01FB46128A9324 Time : 0.0 sec. user=mdettweiler [2012-12-22 21:56:03] 735*2^1237867-1 is not prime. Res64: 6F124692796B6B45 Time : 0.0 sec. user=mdettweiler [2012-12-22 22:13:22] 769*2^1237867-1 is not prime. Res64: 6055E47084EEB8BC Time : 0.0 sec. user=mdettweiler [2012-12-22 22:13:23] 805*2^1237867-1 is not prime. Res64: F68F5B36E18A12A1 Time : 0.0 sec. user=mdettweiler [2012-12-22 22:13:25] 883*2^1237867-1 is not prime. Res64: 7479172EA57A7180 Time : 0.0 sec. user=mdettweiler [2012-12-22 22:13:26] 901*2^1237867-1 is not prime. Res64: 6B4CEC02396B2962 Time : 0.0 sec. user=vaughan [2012-12-22 22:14:13] 941*2^1237866-1 is not prime. Res64: E3F1974721833303 Time : 0.0 sec. user=mdettweiler [2012-12-22 22:30:50] 973*2^1237867-1 is not prime. Res64: 8C93FC19AB4EE353 Time : 0.0 sec. user=mdettweiler [2012-12-22 22:30:51] 993*2^1237867-1 is not prime. Res64: 869391DE85951912 Time : 0.0 sec. user=mdettweiler [2012-12-22 22:30:51] 647*2^1237868-1 is not prime. Res64: 99B3857A98D1052D Time : 0.0 sec. user=mdettweiler [2012-12-22 22:30:52] 743*2^1237868-1 is not prime. Res64: 7F01EFC98B92A938 Time : 0.0 sec. user=mdettweiler [2012-12-22 22:48:14] 773*2^1237868-1 is not prime. Res64: 16368F9059E2647F Time : 0.0 sec. user=mdettweiler [2012-12-22 22:48:14] 615*2^1237869-1 is not prime. Res64: F10569A396F80507 Time : 0.0 sec. user=mdettweiler [2012-12-22 22:48:14] 909*2^1237868-1 is not prime. Res64: CE6F105084F18293 Time : 0.0 sec. user=mdettweiler [2012-12-22 22:48:14] 691*2^1237869-1 is not prime. Res64: 5040E5AEBEBD44A9 Time : 0.0 sec. user=vaughan [2012-12-22 22:52:00] 767*2^1237868-1 is not prime. Res64: B8E18894C60CAA14 Time : 0.0 sec. user=mdettweiler [2012-12-22 23:05:38] 907*2^1237869-1 is not prime. Res64: 3D08972163EEAA9F Time : 0.0 sec. user=mdettweiler [2012-12-22 23:05:40] 605*2^1237870-1 is not prime. Res64: FE1EB62015A8E9DF Time : 0.0 sec. user=mdettweiler [2012-12-22 23:05:41] 645*2^1237870-1 is not prime. Res64: CA92F7992ABF2254 Time : 0.0 sec. user=mdettweiler [2012-12-22 23:05:43] 695*2^1237870-1 is not prime. Res64: 267E785C310986B1 Time : 0.0 sec. user=mdettweiler [2012-12-22 23:23:20] 941*2^1237870-1 is not prime. Res64: D1A7BF575C3EF6D6 Time : 0.0 sec. user=mdettweiler [2012-12-22 23:23:21] 945*2^1237870-1 is not prime. Res64: 276B60D0D8AEE971 Time : 0.0 sec. user=mdettweiler [2012-12-22 23:23:26] 609*2^1237871-1 is not prime. Res64: 909CC46337AEF72A Time : 0.0 sec. user=mdettweiler [2012-12-22 23:23:26] 663*2^1237871-1 is not prime. Res64: BA15D0DF77AD840F Time : 0.0 sec. user=vaughan [2012-12-22 23:29:47] 755*2^1237870-1 is not prime. Res64: 05079FA3A930BD63 Time : 0.0 sec. user=mdettweiler [2012-12-22 23:40:46] 705*2^1237871-1 is not prime. Res64: 4C350955FDA2071F Time : 0.0 sec. user=mdettweiler [2012-12-22 23:40:47] 783*2^1237871-1 is not prime. Res64: EBD8D6FE8121996A Time : 0.0 sec. user=mdettweiler [2012-12-22 23:40:51] 855*2^1237871-1 is not prime. Res64: 302A08EA0D5EFFD0 Time : 0.0 sec. user=mdettweiler [2012-12-22 23:40:51] 909*2^1237871-1 is not prime. Res64: AAE530FAE3F21A26 Time : 0.0 sec. user=mdettweiler [2012-12-22 23:58:09] 797*2^1237872-1 is not prime. Res64: BD1A5BFB7EBFB864 Time : 0.0 sec. user=mdettweiler [2012-12-22 23:58:09] 863*2^1237872-1 is not prime. Res64: 2EBDF23F90CEFB65 Time : 0.0 sec. user=mdettweiler [2012-12-22 23:58:13] 619*2^1237873-1 is not prime. Res64: 20D7D1E4CEC739EB Time : 0.0 sec. user=mdettweiler [2012-12-22 23:58:13] 729*2^1237873-1 is not prime. Res64: E8ED0310744C9514 Time : 0.0 sec.