user=mdettweiler [2015-04-28 00:01:24] 789*2^1397741-1 is not prime. Res64: 2D9FB9D9F38830F1 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:01:24] 885*2^1397741-1 is not prime. Res64: F07D63A6E44A97FD Time : 0.0 sec. user=mdettweiler [2015-04-28 00:04:13] 997*2^1397741-1 is not prime. Res64: CE3F0445ED3A8CBB Time : 0.0 sec. user=mdettweiler [2015-04-28 00:04:14] 615*2^1397742-1 is not prime. Res64: C4432F886C671493 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:05:12] 711*2^1397742-1 is not prime. Res64: B27E8605194D3D41 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:05:14] 765*2^1397742-1 is not prime. Res64: D166793B91BDEA48 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:16:32] 903*2^1397742-1 is not prime. Res64: 3636B2DA44FC1F08 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:16:33] 963*2^1397742-1 is not prime. Res64: 4F671B862CA4FF70 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:18:59] 975*2^1397742-1 is not prime. Res64: 40DBDF64BC190E47 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:19:01] 603*2^1397743-1 is not prime. Res64: A17523DEEBD9540D Time : 0.0 sec. user=mdettweiler [2015-04-28 00:21:45] 945*2^1397743-1 is not prime. Res64: DA95523887A94D32 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:21:45] 951*2^1397743-1 is not prime. Res64: 3D58A019919111F3 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:22:47] 961*2^1397743-1 is not prime. Res64: 72EA5220ABF48479 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:22:47] 999*2^1397743-1 is not prime. Res64: 8DEC4E4D8A641A19 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:34:13] 615*2^1397744-1 is not prime. Res64: 20504152028B7928 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:34:13] 725*2^1397744-1 is not prime. Res64: 729A49E7C8FFDCEE Time : 0.0 sec. user=mdettweiler [2015-04-28 00:36:40] 747*2^1397744-1 is not prime. Res64: 462FA049FAEB598D Time : 0.0 sec. user=mdettweiler [2015-04-28 00:36:40] 755*2^1397744-1 is not prime. Res64: CBED3BCFF38DF0CB Time : 0.0 sec. user=mdettweiler [2015-04-28 00:39:20] 827*2^1397744-1 is not prime. Res64: B632C1CF98E70CC2 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:39:20] 833*2^1397744-1 is not prime. Res64: 06218DD5FC16EEF4 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:40:21] 897*2^1397744-1 is not prime. Res64: D1F5C233990C5281 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:40:21] 945*2^1397744-1 is not prime. Res64: 480A505F5FACECEF Time : 0.0 sec. user=mdettweiler [2015-04-28 00:51:46] 699*2^1397745-1 is not prime. Res64: C4AA9E05003D08DB Time : 0.0 sec. user=mdettweiler [2015-04-28 00:51:46] 739*2^1397745-1 is not prime. Res64: 1F941A5BC42C8A8F Time : 0.0 sec. user=mdettweiler [2015-04-28 00:54:14] 921*2^1397745-1 is not prime. Res64: 2B7AF00486951460 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:54:15] 765*2^1397746-1 is not prime. Res64: 2E7FC616C6451C9A Time : 0.0 sec. user=mdettweiler [2015-04-28 00:57:01] 975*2^1397746-1 is not prime. Res64: 1FD9062AB967EDBD Time : 0.0 sec. user=mdettweiler [2015-04-28 00:57:02] 1001*2^1397746-1 is not prime. Res64: 133B8A12C7933E27 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:57:56] 663*2^1397747-1 is not prime. Res64: 2C043D3E7A9BAFA4 Time : 0.0 sec. user=mdettweiler [2015-04-28 00:57:57] 735*2^1397747-1 is not prime. Res64: FA18830A82F84178 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:09:19] 829*2^1397747-1 is not prime. Res64: A89F9DF642467E52 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:09:20] 883*2^1397747-1 is not prime. Res64: 29F84CBF7196FDA1 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:11:44] 627*2^1397748-1 is not prime. Res64: 2C972B1ECA3EF889 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:11:44] 665*2^1397748-1 is not prime. Res64: BD68222F4B1CE8AF Time : 0.0 sec. user=mdettweiler [2015-04-28 01:14:30] 753*2^1397748-1 is not prime. Res64: 802A56AD0495B07E Time : 0.0 sec. user=mdettweiler [2015-04-28 01:14:31] 777*2^1397748-1 is not prime. Res64: 8E8C8210D4417373 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:15:29] 825*2^1397748-1 is not prime. Res64: 9E13BAFF73907A83 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:15:30] 839*2^1397748-1 is not prime. Res64: 771C9833744EC367 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:26:53] 927*2^1397748-1 is not prime. Res64: 8BD517045522D1E1 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:26:55] 999*2^1397748-1 is not prime. Res64: 9803E11FAEE13DD3 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:29:11] 661*2^1397749-1 is not prime. Res64: E8B1833FA31B1384 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:29:12] 721*2^1397749-1 is not prime. Res64: 8D4C3A3AE3DC0C0D Time : 0.0 sec. user=mdettweiler [2015-04-28 01:32:06] 665*2^1397750-1 is not prime. Res64: A43E0BB564B07C45 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:32:07] 731*2^1397750-1 is not prime. Res64: C273852631524525 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:32:57] 741*2^1397750-1 is not prime. Res64: 32D0A860E8679138 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:32:58] 843*2^1397750-1 is not prime. Res64: 8BD0C5B0A7D2A93D Time : 0.0 sec. user=mdettweiler [2015-04-28 01:44:54] 845*2^1397750-1 is not prime. Res64: EFA96F378CBA2F7D Time : 0.0 sec. user=mdettweiler [2015-04-28 01:44:55] 861*2^1397750-1 is not prime. Res64: CFA68807D6E0746D Time : 0.0 sec. user=mdettweiler [2015-04-28 01:46:45] 885*2^1397750-1 is not prime. Res64: 6B0B41D7EC38AD88 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:46:45] 887*2^1397750-1 is not prime. Res64: 0CDE5ACD15194794 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:49:36] 915*2^1397750-1 is not prime. Res64: D34DF93AC26D14E8 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:49:37] 917*2^1397750-1 is not prime. Res64: EE64D549CBDD1447 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:50:24] 951*2^1397750-1 is not prime. Res64: 753B08AC4EA4A094 Time : 0.0 sec. user=mdettweiler [2015-04-28 01:50:24] 805*2^1397751-1 is not prime. Res64: BCAC48CA11E24C3E Time : 0.0 sec. user=mdettweiler [2015-04-28 02:02:26] 829*2^1397751-1 is not prime. Res64: 6FC8ACF9301C839B Time : 0.0 sec. user=mdettweiler [2015-04-28 02:02:26] 891*2^1397751-1 is not prime. Res64: 511D0F4EB80F8666 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:04:13] 909*2^1397751-1 is not prime. Res64: 9460E3A00ECBF869 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:04:14] 931*2^1397751-1 is not prime. Res64: F3E8AEE91A26994F Time : 0.0 sec. user=mdettweiler [2015-04-28 02:07:04] 955*2^1397751-1 is not prime. Res64: 578EFA54F46EC79B Time : 0.0 sec. user=mdettweiler [2015-04-28 02:07:07] 979*2^1397751-1 is not prime. Res64: B17C3227D46DF2B0 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:07:53] 999*2^1397751-1 is not prime. Res64: F91663E5F5B54E82 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:07:56] 603*2^1397752-1 is not prime. Res64: 453EC69C1C083E48 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:20:12] 615*2^1397752-1 is not prime. Res64: E89D0139D82C3159 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:20:12] 665*2^1397752-1 is not prime. Res64: A89D473788149098 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:22:43] 687*2^1397752-1 is not prime. Res64: 3405A7F7627E2D1B Time : 0.0 sec. user=mdettweiler [2015-04-28 02:22:44] 693*2^1397752-1 is not prime. Res64: F26FA3D83716F885 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:25:56] 785*2^1397752-1 is not prime. Res64: DE15CFC4F9FF7264 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:25:56] 875*2^1397752-1 is not prime. Res64: C29F7E8F04D24A09 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:26:42] 939*2^1397752-1 is not prime. Res64: 5F27EFA2AB706FF3 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:26:43] 957*2^1397752-1 is not prime. Res64: F1DBBA8131946F85 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:38:39] 965*2^1397752-1 is not prime. Res64: F02185539086F1D4 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:38:39] 759*2^1397753-1 is not prime. Res64: 72AD09F298108F2C Time : 0.0 sec. user=mdettweiler [2015-04-28 02:40:51] 855*2^1397753-1 is not prime. Res64: D125C17F2FE964F7 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:40:51] 885*2^1397753-1 is not prime. Res64: BCA9CCA31AF32284 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:43:52] 605*2^1397754-1 is not prime. Res64: C7E895BBAAE0AF21 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:43:53] 627*2^1397754-1 is not prime. Res64: E85FBC0B167403EB Time : 0.0 sec. user=mdettweiler [2015-04-28 02:44:27] 683*2^1397754-1 is not prime. Res64: 6E9F62BBB1CB4A85 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:44:27] 861*2^1397754-1 is not prime. Res64: CC685072148F7D04 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:56:13] 885*2^1397754-1 is not prime. Res64: BB6D1EEB68502D97 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:56:14] 917*2^1397754-1 is not prime. Res64: 46824810A96E89E1 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:58:21] 619*2^1397755-1 is not prime. Res64: 9F98C85B8EB3BC11 Time : 0.0 sec. user=mdettweiler [2015-04-28 02:58:21] 645*2^1397755-1 is not prime. Res64: F62596FDEA181948 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:01:21] 651*2^1397755-1 is not prime. Res64: E0A6FF6CCA905C80 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:01:22] 793*2^1397755-1 is not prime. Res64: 527AAEAE97100456 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:02:03] 919*2^1397755-1 is not prime. Res64: 300E18F9AD7164CD Time : 0.0 sec. user=mdettweiler [2015-04-28 03:02:04] 961*2^1397755-1 is not prime. Res64: 696032D223DF8044 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:13:46] 969*2^1397755-1 is not prime. Res64: E919A6F86CC2DD77 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:13:47] 617*2^1397756-1 is not prime. Res64: 0DC5A14D52AD363C Time : 0.0 sec. user=mdettweiler [2015-04-28 03:15:57] 789*2^1397756-1 is not prime. Res64: F2EE300BBEF4DFAD Time : 0.0 sec. user=mdettweiler [2015-04-28 03:15:57] 827*2^1397756-1 is not prime. Res64: A064F69BE6CCAD54 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:19:01] 855*2^1397756-1 is not prime. Res64: 4235C8D7FDB4A504 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:19:01] 875*2^1397756-1 is not prime. Res64: 38EA475E367F828A Time : 0.0 sec. user=mdettweiler [2015-04-28 03:19:29] 983*2^1397756-1 is not prime. Res64: 7442A3FC6CF43789 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:19:29] 621*2^1397757-1 is not prime. Res64: EACCED57B0A14E96 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:31:21] 669*2^1397757-1 is not prime. Res64: 4ACFB48186D807CA Time : 0.0 sec. user=mdettweiler [2015-04-28 03:31:22] 711*2^1397757-1 is not prime. Res64: 52341E19BCFEC95E Time : 0.0 sec. user=mdettweiler [2015-04-28 03:33:29] 735*2^1397757-1 is not prime. Res64: F3B6272AE1FDF55B Time : 0.0 sec. user=mdettweiler [2015-04-28 03:33:30] 889*2^1397757-1 is not prime. Res64: B9B185C333848C45 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:36:37] 621*2^1397758-1 is not prime. Res64: 93B23C21EF9E346D Time : 0.0 sec. user=mdettweiler [2015-04-28 03:36:39] 707*2^1397758-1 is not prime. Res64: 12A554B7B8AF9F99 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:37:13] 723*2^1397758-1 is not prime. Res64: 3D25CDE9D54744B8 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:37:15] 827*2^1397758-1 is not prime. Res64: 0FF5AD57553E179D Time : 0.0 sec. user=mdettweiler [2015-04-28 03:49:01] 971*2^1397758-1 is not prime. Res64: E4BA135616363965 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:49:01] 621*2^1397759-1 is not prime. Res64: D967E9598C8FBEAE Time : 0.0 sec. user=mdettweiler [2015-04-28 03:51:16] 663*2^1397759-1 is not prime. Res64: 48D336D80D67F355 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:51:17] 721*2^1397759-1 is not prime. Res64: E18DFB90B183D2AB Time : 0.0 sec. user=mdettweiler [2015-04-28 03:54:17] 741*2^1397759-1 is not prime. Res64: AA2B65E618F6C6F5 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:54:19] 775*2^1397759-1 is not prime. Res64: AC0EEC32154C0F6B Time : 0.0 sec. user=mdettweiler [2015-04-28 03:54:51] 895*2^1397759-1 is not prime. Res64: 34634DD7F8983475 Time : 0.0 sec. user=mdettweiler [2015-04-28 03:54:51] 931*2^1397759-1 is not prime. Res64: F7ABF7A084BB9403 Time : 0.0 sec. user=mdettweiler [2015-04-28 04:06:56] 949*2^1397759-1 is not prime. Res64: ACE764B156F6D84D Time : 0.0 sec. user=mdettweiler [2015-04-28 04:06:58] 609*2^1397760-1 is not prime. Res64: ED1F525DFA52C632 Time : 0.0 sec. user=mdettweiler [2015-04-28 04:08:51] 699*2^1397760-1 is not prime. Res64: 6BE49B3737F4C7BC Time : 0.0 sec. user=mdettweiler [2015-04-28 04:08:52] 765*2^1397760-1 is not prime. Res64: 486BECA4521334DE Time : 0.0 sec. user=mdettweiler [2015-04-28 04:11:53] 779*2^1397760-1 is not prime. Res64: E8E9F46D5675B3E9 Time : 0.0 sec. user=mdettweiler [2015-04-28 04:11:54] 857*2^1397760-1 is not prime. Res64: 0762026C8DF6B0DC Time : 0.0 sec. user=mdettweiler [2015-04-28 04:12:34] 873*2^1397760-1 is not prime. Res64: FBA1B9BD324A5ADD Time : 0.0 sec. user=mdettweiler [2015-04-28 04:12:34] 917*2^1397760-1 is not prime. Res64: C3C3A682EB361B08 Time : 0.0 sec. user=mdettweiler [2015-04-28 04:24:58] 789*2^1397761-1 is not prime. Res64: 27D537DFF403FD82 Time : 0.0 sec. user=mdettweiler [2015-04-28 04:24:58] 829*2^1397761-1 is not prime. Res64: 06122B38B51A7DBA Time : 0.0 sec. user=mdettweiler [2015-04-28 04:26:20] 877*2^1397761-1 is not prime. Res64: 85535355C706C5CC Time : 0.0 sec. user=mdettweiler [2015-04-28 04:26:21] 967*2^1397761-1 is not prime. Res64: 8ACA59CD2237BEAB Time : 0.0 sec. user=mdettweiler [2015-04-28 04:29:20] 713*2^1397762-1 is not prime. Res64: ADD1677073EF4A7C Time : 0.0 sec. user=mdettweiler [2015-04-28 04:29:21] 753*2^1397762-1 is not prime. Res64: 19BAB093B5F4D315 Time : 0.0 sec. user=mdettweiler [2015-04-28 04:30:06] 843*2^1397762-1 is not prime. Res64: D6602FA7F0E531E6 Time : 0.0 sec. user=mdettweiler [2015-04-28 04:30:07] 885*2^1397762-1 is not prime. Res64: 33C09D98F90946DB Time : 0.0 sec. user=mdettweiler [2015-04-28 04:42:47] 735*2^1397763-1 is not prime. Res64: 8AAABB485FC365D4 Time : 0.0 sec. user=mdettweiler [2015-04-28 04:42:48] 753*2^1397763-1 is not prime. Res64: BA0D7AB7D7A87103 Time : 0.0 sec. user=mdettweiler [2015-04-28 04:44:49] 895*2^1397763-1 is not prime. Res64: BB3AAE8368699633 Time : 0.0 sec. user=mdettweiler [2015-04-28 04:44:49] 985*2^1397763-1 is not prime. Res64: F4567B4EA487F3B2 Time : 0.0 sec. user=mdettweiler [2015-04-28 04:47:25] 609*2^1397764-1 is not prime. Res64: BE2C9700D29DF91D Time : 0.0 sec. user=mdettweiler [2015-04-28 04:47:25] 675*2^1397764-1 is not prime. Res64: 3123ECE0D13816AC Time : 0.0 sec. user=mdettweiler [2015-04-28 04:48:02] 825*2^1397764-1 is not prime. Res64: 924F5DE57A5984BA Time : 0.0 sec. user=mdettweiler [2015-04-28 04:48:02] 947*2^1397764-1 is not prime. Res64: 4D7986BACA89EE84 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:00:32] 975*2^1397764-1 is not prime. Res64: BCE3049968D2F7A8 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:00:33] 825*2^1397765-1 is not prime. Res64: 6BD47C983AC4ACBE Time : 0.0 sec. user=mdettweiler [2015-04-28 05:02:27] 855*2^1397765-1 is not prime. Res64: 31379721ECCC1C44 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:02:28] 865*2^1397765-1 is not prime. Res64: 54BFDA683232ECF0 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:04:55] 937*2^1397765-1 is not prime. Res64: 0D9EDBD6AD7747DD Time : 0.0 sec. user=mdettweiler [2015-04-28 05:04:57] 969*2^1397765-1 is not prime. Res64: 5B241EC5B8DE79FC Time : 0.0 sec. user=mdettweiler [2015-04-28 05:05:37] 627*2^1397766-1 is not prime. Res64: 33649AA27F0410E6 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:05:37] 737*2^1397766-1 is not prime. Res64: 8EA6820BF009E276 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:18:10] 825*2^1397766-1 is not prime. Res64: D876D30647338707 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:18:11] 903*2^1397766-1 is not prime. Res64: 3EDE514503E5FC0E Time : 0.0 sec. user=mdettweiler [2015-04-28 05:20:02] 917*2^1397766-1 is not prime. Res64: 866129FD5F1CD0A6 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:20:02] 923*2^1397766-1 is not prime. Res64: A9638843CD8F64E6 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:22:34] 975*2^1397766-1 is not prime. Res64: DB8DD8B1FE5422C6 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:22:34] 703*2^1397767-1 is not prime. Res64: BA1597EE4C5B65D5 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:23:15] 793*2^1397767-1 is not prime. Res64: CD6968164FDDAA2E Time : 0.0 sec. user=mdettweiler [2015-04-28 05:23:16] 861*2^1397767-1 is not prime. Res64: 74B34ACCCB11BE7A Time : 0.0 sec. user=mdettweiler [2015-04-28 05:35:47] 885*2^1397767-1 is not prime. Res64: C13CA89AA1334A90 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:35:48] 931*2^1397767-1 is not prime. Res64: 08C7ACCC06BCEFF2 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:37:42] 767*2^1397768-1 is not prime. Res64: 65C69A7B237E3501 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:37:43] 879*2^1397768-1 is not prime. Res64: F64550EDF2521CB3 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:40:05] 923*2^1397768-1 is not prime. Res64: A4D9CF801B3FFE8D Time : 0.0 sec. user=mdettweiler [2015-04-28 05:40:06] 615*2^1397769-1 is not prime. Res64: 97B8B874B7F2BBB7 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:40:48] 679*2^1397769-1 is not prime. Res64: A597D4E27AA272AF Time : 0.0 sec. user=mdettweiler [2015-04-28 05:40:49] 681*2^1397769-1 is not prime. Res64: 84054A34DD079CF8 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:53:23] 705*2^1397769-1 is not prime. Res64: 026FA9954B2EF599 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:53:24] 735*2^1397769-1 is not prime. Res64: 93D9574B6363E492 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:55:17] 865*2^1397769-1 is not prime. Res64: 70054EE9F536A511 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:55:17] 907*2^1397769-1 is not prime. Res64: 37AFD200D30923B2 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:57:42] 955*2^1397769-1 is not prime. Res64: 685CC102E496924D Time : 0.0 sec. user=mdettweiler [2015-04-28 05:57:42] 603*2^1397770-1 is not prime. Res64: 12524E4CA3A33475 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:58:23] 663*2^1397770-1 is not prime. Res64: CBC7497590AC9367 Time : 0.0 sec. user=mdettweiler [2015-04-28 05:58:23] 731*2^1397770-1 is not prime. Res64: E0542BAE8442301B Time : 0.0 sec. user=mdettweiler [2015-04-28 06:10:56] 735*2^1397770-1 is not prime. Res64: E3C2D0DE17661907 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:10:56] 827*2^1397770-1 is not prime. Res64: FA0AF7FF6005CBF0 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:12:52] 843*2^1397770-1 is not prime. Res64: E2A2CABB19821E8C Time : 0.0 sec. user=mdettweiler [2015-04-28 06:12:52] 845*2^1397770-1 is not prime. Res64: 8D434B9C2EAEAF55 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:15:16] 933*2^1397770-1 is not prime. Res64: FB192BDD75C0C964 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:15:16] 609*2^1397771-1 is not prime. Res64: 2C10BD3C6AD45B48 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:15:57] 745*2^1397771-1 is not prime. Res64: 3EB4B8EEE94C003D Time : 0.0 sec. user=mdettweiler [2015-04-28 06:15:57] 693*2^1397772-1 is not prime. Res64: D6E0264F529FA6B8 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:28:32] 803*2^1397772-1 is not prime. Res64: 3BF0161005411D74 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:28:32] 825*2^1397772-1 is not prime. Res64: D8F25F59AC2C234C Time : 0.0 sec. user=mdettweiler [2015-04-28 06:30:25] 965*2^1397772-1 is not prime. Res64: F462B881BFD2FD8D Time : 0.0 sec. user=mdettweiler [2015-04-28 06:30:25] 987*2^1397772-1 is not prime. Res64: B0105FD16953ADCC Time : 0.0 sec. user=mdettweiler [2015-04-28 06:32:47] 619*2^1397773-1 is not prime. Res64: 51B863CE5ECE1D49 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:32:47] 679*2^1397773-1 is not prime. Res64: 51724C94B8430128 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:33:26] 681*2^1397773-1 is not prime. Res64: 000201D35C4E56DA Time : 0.0 sec. user=mdettweiler [2015-04-28 06:33:27] 775*2^1397773-1 is not prime. Res64: 48CADDB5D88012F4 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:46:11] 817*2^1397773-1 is not prime. Res64: 4306E87B3B20B218 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:46:11] 855*2^1397773-1 is not prime. Res64: A4BBBC2843CD64A9 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:47:56] 617*2^1397774-1 is not prime. Res64: A7F503DC83693038 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:47:56] 641*2^1397774-1 is not prime. Res64: 38C6D33085455C63 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:50:20] 687*2^1397774-1 is not prime. Res64: 6949FE115A8DE432 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:50:20] 813*2^1397774-1 is not prime. Res64: CC62CA7F767CE9B7 Time : 0.0 sec. user=mdettweiler [2015-04-28 06:51:01] 825*2^1397774-1 is not prime. Res64: D79067A0E87D1D0D Time : 0.0 sec. user=mdettweiler [2015-04-28 06:51:01] 857*2^1397774-1 is not prime. Res64: 3F1B65C3C041C0F2 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:03:45] 965*2^1397774-1 is not prime. Res64: D2979FC8C6C1A27F Time : 0.0 sec. user=mdettweiler [2015-04-28 07:03:46] 609*2^1397775-1 is not prime. Res64: 93950014E2381147 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:05:25] 625*2^1397775-1 is not prime. Res64: 2340196A7C44E8A2 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:05:26] 669*2^1397775-1 is not prime. Res64: 77E8D76C3B80D70C Time : 0.0 sec. user=mdettweiler [2015-04-28 07:07:45] 705*2^1397775-1 is not prime. Res64: 9EE14B2A145894F3 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:07:45] 723*2^1397775-1 is not prime. Res64: 3F982EF6125391AA Time : 0.0 sec. user=mdettweiler [2015-04-28 07:08:36] 895*2^1397775-1 is not prime. Res64: 222E3B699B35F504 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:08:37] 803*2^1397776-1 is not prime. Res64: 689A8DA95B1CA722 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:21:43] 843*2^1397776-1 is not prime. Res64: 55A15697F66CFE6C Time : 0.0 sec. user=mdettweiler [2015-04-28 07:21:44] 965*2^1397776-1 is not prime. Res64: C2DAC55CB3FFD7D7 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:23:01] 989*2^1397776-1 is not prime. Res64: 43F5F39302A798ED Time : 0.0 sec. user=mdettweiler [2015-04-28 07:23:01] 691*2^1397777-1 is not prime. Res64: 8380E9998F98F725 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:25:17] 847*2^1397777-1 is not prime. Res64: 80CD1D36E405D92C Time : 0.0 sec. user=mdettweiler [2015-04-28 07:25:18] 985*2^1397777-1 is not prime. Res64: 3D87A0EE8919A808 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:26:05] 671*2^1397778-1 is not prime. Res64: 481234B2C41B07C9 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:26:06] 777*2^1397778-1 is not prime. Res64: B042A76FB3A28A2F Time : 0.0 sec. user=mdettweiler [2015-04-28 07:39:32] 833*2^1397778-1 is not prime. Res64: FCBE9BEC9AAE1AFA Time : 0.0 sec. user=mdettweiler [2015-04-28 07:39:32] 633*2^1397779-1 is not prime. Res64: 16AE743D109831A7 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:40:36] 675*2^1397779-1 is not prime. Res64: 699C6920B5FC611D Time : 0.0 sec. user=mdettweiler [2015-04-28 07:40:37] 751*2^1397779-1 is not prime. Res64: A0BC042D241CF289 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:42:50] 793*2^1397779-1 is not prime. Res64: A8BB7A46288B29CC Time : 0.0 sec. user=mdettweiler [2015-04-28 07:42:50] 843*2^1397779-1 is not prime. Res64: 020FA87405862979 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:43:40] 885*2^1397779-1 is not prime. Res64: 2182F6F2D5A73A2F Time : 0.0 sec. user=mdettweiler [2015-04-28 07:43:40] 909*2^1397779-1 is not prime. Res64: 913B840A81DD2725 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:57:11] 979*2^1397779-1 is not prime. Res64: E8F025B3F64D7DAB Time : 0.0 sec. user=mdettweiler [2015-04-28 07:57:11] 785*2^1397780-1 is not prime. Res64: FDC9C56C62568CF3 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:58:12] 833*2^1397780-1 is not prime. Res64: 37A1BCEAF3C412B5 Time : 0.0 sec. user=mdettweiler [2015-04-28 07:58:12] 885*2^1397780-1 is not prime. Res64: 5F179C92C9E50E0E Time : 0.0 sec. user=mdettweiler [2015-04-28 08:00:29] 893*2^1397780-1 is not prime. Res64: 914652ABB511CB35 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:00:30] 909*2^1397780-1 is not prime. Res64: 3339AC4C81C0A196 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:01:17] 953*2^1397780-1 is not prime. Res64: C408F715DDB92704 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:01:18] 625*2^1397781-1 is not prime. Res64: 6966AD1A6B3533FA Time : 0.0 sec. user=mdettweiler [2015-04-28 08:14:46] 639*2^1397781-1 is not prime. Res64: 075C752D478E1FF7 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:14:46] 741*2^1397781-1 is not prime. Res64: F7B2E1AE76B4528A Time : 0.0 sec. user=mdettweiler [2015-04-28 08:15:48] 777*2^1397781-1 is not prime. Res64: 3FEE22D6D890BF1B Time : 0.0 sec. user=mdettweiler [2015-04-28 08:15:49] 871*2^1397781-1 is not prime. Res64: C0F612C7E6410B4E Time : 0.0 sec. user=mdettweiler [2015-04-28 08:18:01] 895*2^1397781-1 is not prime. Res64: 7EB15E92E9D3978D Time : 0.0 sec. user=mdettweiler [2015-04-28 08:18:02] 951*2^1397781-1 is not prime. Res64: 308E561E901145C1 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:18:50] 955*2^1397781-1 is not prime. Res64: A6010DFD1A6D4AF2 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:18:51] 653*2^1397782-1 is not prime. Res64: 61154855C9EFE53B Time : 0.0 sec. user=mdettweiler [2015-04-28 08:32:36] 705*2^1397782-1 is not prime. Res64: 25F9BD21592091B2 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:32:36] 723*2^1397782-1 is not prime. Res64: F03C6B104B7E4BEA Time : 0.0 sec. user=mdettweiler [2015-04-28 08:33:17] 755*2^1397782-1 is not prime. Res64: 075470A3541F2AC1 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:33:18] 831*2^1397782-1 is not prime. Res64: EFE260A5B9E635B3 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:35:31] 917*2^1397782-1 is not prime. Res64: D25A2A455B8C0F23 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:35:31] 923*2^1397782-1 is not prime. Res64: 37B9E728D136D61E Time : 0.0 sec. user=mdettweiler [2015-04-28 08:36:37] 615*2^1397783-1 is not prime. Res64: 653D0BBFF8A250F0 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:36:37] 643*2^1397783-1 is not prime. Res64: A17D173A4D9EFF77 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:50:15] 703*2^1397783-1 is not prime. Res64: 5E12729DE11947FC Time : 0.0 sec. user=mdettweiler [2015-04-28 08:50:15] 705*2^1397783-1 is not prime. Res64: 8470198ADDEE992B Time : 0.0 sec. user=mdettweiler [2015-04-28 08:50:45] 783*2^1397783-1 is not prime. Res64: 2CA9827F46C4E96A Time : 0.0 sec. user=mdettweiler [2015-04-28 08:50:46] 861*2^1397783-1 is not prime. Res64: C7F0A961CE3F138A Time : 0.0 sec. user=mdettweiler [2015-04-28 08:53:11] 879*2^1397783-1 is not prime. Res64: A351BD38077C8F76 Time : 0.0 sec. user=mdettweiler [2015-04-28 08:53:11] 895*2^1397783-1 is not prime. Res64: C8075EEE0CA1ED8A Time : 0.0 sec. user=mdettweiler [2015-04-28 08:54:04] 657*2^1397784-1 is not prime. Res64: 4E8DE3B3F734C47C Time : 0.0 sec. user=mdettweiler [2015-04-28 08:54:04] 707*2^1397784-1 is not prime. Res64: 939C8D37B6A06705 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:07:51] 725*2^1397784-1 is not prime. Res64: 03417E027E8CF5F9 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:07:52] 737*2^1397784-1 is not prime. Res64: AD47BCD278612BB0 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:08:12] 825*2^1397784-1 is not prime. Res64: F927C41ECFBAB1EC Time : 0.0 sec. user=mdettweiler [2015-04-28 09:08:13] 837*2^1397784-1 is not prime. Res64: AC98CDD7DB08A4FB Time : 0.0 sec. user=mdettweiler [2015-04-28 09:10:42] 929*2^1397784-1 is not prime. Res64: 081404D7A55EFD49 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:10:42] 661*2^1397785-1 is not prime. Res64: 78CA927A6BCB0A9B Time : 0.0 sec. user=mdettweiler [2015-04-28 09:11:39] 777*2^1397785-1 is not prime. Res64: 39540E07D2797C4B Time : 0.0 sec. user=mdettweiler [2015-04-28 09:11:39] 919*2^1397785-1 is not prime. Res64: EDF45567FE644F21 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:25:38] 711*2^1397786-1 is not prime. Res64: B32C25C3840CE966 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:25:39] 713*2^1397786-1 is not prime. Res64: 9E3152B701E9294B Time : 0.0 sec. user=mdettweiler [2015-04-28 09:25:40] 617*2^1397786-1 is not prime. Res64: B68B5D26F3B4D5EC Time : 0.0 sec. user=mdettweiler [2015-04-28 09:25:41] 701*2^1397786-1 is not prime. Res64: A6841E89E833F49A Time : 0.0 sec. user=mdettweiler [2015-04-28 09:28:10] 843*2^1397786-1 is not prime. Res64: 49574999650DD41D Time : 0.0 sec. user=mdettweiler [2015-04-28 09:28:10] 887*2^1397786-1 is not prime. Res64: B72ED0C95DA1E2B6 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:29:19] 917*2^1397786-1 is not prime. Res64: 8D9740ED7799987A Time : 0.0 sec. user=mdettweiler [2015-04-28 09:29:19] 921*2^1397786-1 is not prime. Res64: 71EB8452A51640A1 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:43:10] 935*2^1397786-1 is not prime. Res64: 5CD04CEEA6549BAA Time : 0.0 sec. user=mdettweiler [2015-04-28 09:43:11] 945*2^1397786-1 is not prime. Res64: D982B7DBE5EDFBB5 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:43:11] 651*2^1397787-1 is not prime. Res64: F843DE1BE4C39C9C Time : 0.0 sec. user=mdettweiler [2015-04-28 09:43:12] 795*2^1397787-1 is not prime. Res64: E48B83E059823B54 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:45:45] 835*2^1397787-1 is not prime. Res64: 8AE9ED5D51B30024 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:45:45] 861*2^1397787-1 is not prime. Res64: 11E080F6402F3A40 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:46:48] 871*2^1397787-1 is not prime. Res64: E1581345CA2589E6 Time : 0.0 sec. user=mdettweiler [2015-04-28 09:46:49] 879*2^1397787-1 is not prime. Res64: 5BCEEF16ED2E5286 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:00:41] 843*2^1397788-1 is not prime. Res64: E0764B5F9F06BAC7 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:00:42] 993*2^1397788-1 is not prime. Res64: 292BCE0C8B2E0EF9 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:00:45] 945*2^1397787-1 is not prime. Res64: 544BADD02695E837 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:00:46] 735*2^1397788-1 is not prime. Res64: 443E1F3FD02587BE Time : 0.0 sec. user=mdettweiler [2015-04-28 10:03:12] 649*2^1397789-1 is not prime. Res64: E43CCF88F4DCB1C4 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:03:13] 685*2^1397789-1 is not prime. Res64: 42B3ECAC5DC86D07 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:04:19] 795*2^1397789-1 is not prime. Res64: 3B5D7F3B60008DD3 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:04:20] 855*2^1397789-1 is not prime. Res64: CD3857E7800097F8 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:18:38] 969*2^1397789-1 is not prime. Res64: 489038529B1E1A99 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:18:39] 641*2^1397790-1 is not prime. Res64: 9898D5C5DEEDD05D Time : 0.0 sec. user=mdettweiler [2015-04-28 10:18:47] 867*2^1397789-1 is not prime. Res64: E90A03C32E6EF8EE Time : 0.0 sec. user=mdettweiler [2015-04-28 10:18:48] 897*2^1397789-1 is not prime. Res64: 1EC259315CBD165A Time : 0.0 sec. user=mdettweiler [2015-04-28 10:20:40] 741*2^1397790-1 is not prime. Res64: 4BF2F510AE9A90BA Time : 0.0 sec. user=mdettweiler [2015-04-28 10:20:40] 851*2^1397790-1 is not prime. Res64: 9B8002407BE6F19F Time : 0.0 sec. user=mdettweiler [2015-04-28 10:21:48] 861*2^1397790-1 is not prime. Res64: 9AA5547624311B67 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:21:49] 927*2^1397790-1 is not prime. Res64: 12CBAA45F08DF938 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:36:10] 933*2^1397790-1 is not prime. Res64: 3EEAF9F7FC396294 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:36:10] 941*2^1397790-1 is not prime. Res64: CDA1D1E128A49FB0 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:36:18] 723*2^1397791-1 is not prime. Res64: 5B3ECCC7EC1A1943 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:36:18] 735*2^1397791-1 is not prime. Res64: 82CD2A4C337CE198 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:38:07] 883*2^1397791-1 is not prime. Res64: 6A00097E49152FF3 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:38:07] 623*2^1397792-1 is not prime. Res64: 724DABEC57CE1D3F Time : 0.0 sec. user=mdettweiler [2015-04-28 10:39:25] 635*2^1397792-1 is not prime. Res64: F852AED0037A587E Time : 0.0 sec. user=mdettweiler [2015-04-28 10:39:25] 677*2^1397792-1 is not prime. Res64: 940079D6BE1E53A4 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:53:35] 995*2^1397792-1 is not prime. Res64: F6AADA656D69ADAA Time : 0.0 sec. user=mdettweiler [2015-04-28 10:53:36] 681*2^1397793-1 is not prime. Res64: 493AFB8A31765977 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:53:47] 685*2^1397793-1 is not prime. Res64: 6A546ADFE6ACDEEB Time : 0.0 sec. user=mdettweiler [2015-04-28 10:53:47] 787*2^1397793-1 is not prime. Res64: D9A234E80C8FBF6F Time : 0.0 sec. user=mdettweiler [2015-04-28 10:55:37] 889*2^1397793-1 is not prime. Res64: 166C20C043DE7069 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:55:37] 919*2^1397793-1 is not prime. Res64: 369E438E28714133 Time : 0.0 sec. user=mdettweiler [2015-04-28 10:56:58] 675*2^1397794-1 is not prime. Res64: 2BAE906ED3B6023B Time : 0.0 sec. user=mdettweiler [2015-04-28 10:56:58] 741*2^1397794-1 is not prime. Res64: B0D0F85904C51469 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:11:16] 825*2^1397794-1 is not prime. Res64: 45F3342E657CA08B Time : 0.0 sec. user=mdettweiler [2015-04-28 11:11:17] 827*2^1397794-1 is not prime. Res64: 4C99A9CBA8114614 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:11:25] 1001*2^1397794-1 is not prime. Res64: 4A761C788D551D42 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:11:26] 981*2^1397795-1 is not prime. Res64: 9C77AB945FFAF665 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:13:08] 653*2^1397796-1 is not prime. Res64: 980EBFE25E917A03 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:13:09] 839*2^1397796-1 is not prime. Res64: 9F9D4B203B6FEC44 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:14:31] 875*2^1397796-1 is not prime. Res64: 9CC0DF7B2D8CE052 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:14:32] 947*2^1397796-1 is not prime. Res64: 13E3DD334B3B8336 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:28:58] 625*2^1397797-1 is not prime. Res64: D5AEB4CE74643A1B Time : 0.0 sec. user=mdettweiler [2015-04-28 11:28:58] 717*2^1397797-1 is not prime. Res64: 82FB0F21D1209C8F Time : 0.0 sec. user=mdettweiler [2015-04-28 11:29:01] 729*2^1397797-1 is not prime. Res64: 1F369C06B800D7E8 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:29:01] 871*2^1397797-1 is not prime. Res64: 9B87BB0EA930E01A Time : 0.0 sec. user=mdettweiler [2015-04-28 11:30:46] 955*2^1397797-1 is not prime. Res64: D332C0400E8A22FE Time : 0.0 sec. user=mdettweiler [2015-04-28 11:30:46] 997*2^1397797-1 is not prime. Res64: 7D2E56E5324C2775 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:32:01] 623*2^1397798-1 is not prime. Res64: 401778D660AAA6A4 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:32:02] 773*2^1397798-1 is not prime. Res64: 512F8BFAA7DA5910 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:46:35] 797*2^1397798-1 is not prime. Res64: 00AE22E4193DBF25 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:46:36] 801*2^1397798-1 is not prime. Res64: 2BEF73A818715E04 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:46:48] 893*2^1397798-1 is not prime. Res64: 2A9BE709EF908E98 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:46:48] 935*2^1397798-1 is not prime. Res64: F928EC5A32374658 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:48:14] 971*2^1397798-1 is not prime. Res64: 9898DF673FECFF73 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:48:14] 993*2^1397798-1 is not prime. Res64: 153BC9BF829BE0D4 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:49:36] 663*2^1397799-1 is not prime. Res64: 5BC57DCD15401CE2 Time : 0.0 sec. user=mdettweiler [2015-04-28 11:49:36] 693*2^1397799-1 is not prime. Res64: BE6916C5E270491A Time : 0.0 sec. user=mdettweiler [2015-04-28 12:04:10] 735*2^1397799-1 is not prime. Res64: 54188199A15E6933 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:04:12] 741*2^1397799-1 is not prime. Res64: 35A306E3B6BCB77A Time : 0.0 sec. user=mdettweiler [2015-04-28 12:04:31] 793*2^1397799-1 is not prime. Res64: C8B7325AC05A3F2B Time : 0.0 sec. user=mdettweiler [2015-04-28 12:04:32] 695*2^1397800-1 is not prime. Res64: 60177C7EADA16F7E Time : 0.0 sec. user=mdettweiler [2015-04-28 12:05:43] 713*2^1397800-1 is not prime. Res64: 1F0C38050C7E4A07 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:05:45] 723*2^1397800-1 is not prime. Res64: 05EDEAEB2063F776 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:07:20] 777*2^1397800-1 is not prime. Res64: 8757126F694BC226 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:07:20] 887*2^1397800-1 is not prime. Res64: 158A484F030BD46E Time : 0.0 sec. user=mdettweiler [2015-04-28 12:22:09] 975*2^1397800-1 is not prime. Res64: F7E60CB2B588C841 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:22:09] 983*2^1397800-1 is not prime. Res64: 8654D9A515962356 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:22:24] 615*2^1397801-1 is not prime. Res64: 4897D54E8D41AB0E Time : 0.0 sec. user=mdettweiler [2015-04-28 12:22:25] 619*2^1397801-1 is not prime. Res64: D4FB4C5A18970293 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:23:17] 669*2^1397801-1 is not prime. Res64: 22B4288F48D679F5 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:23:18] 691*2^1397801-1 is not prime. Res64: 495ED307D265C48D Time : 0.0 sec. user=mdettweiler [2015-04-28 12:24:55] 747*2^1397801-1 is not prime. Res64: 7E5C92A43EAD97E3 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:24:55] 769*2^1397801-1 is not prime. Res64: 101FEB740FC68FDD Time : 0.0 sec. user=mdettweiler [2015-04-28 12:39:45] 795*2^1397801-1 is not prime. Res64: 230EA5FCD88F1C2D Time : 0.0 sec. user=mdettweiler [2015-04-28 12:39:45] 867*2^1397801-1 is not prime. Res64: 01D73095EFF7648A Time : 0.0 sec. user=mdettweiler [2015-04-28 12:39:53] 909*2^1397801-1 is not prime. Res64: 877844B3B58D901C Time : 0.0 sec. user=mdettweiler [2015-04-28 12:39:53] 957*2^1397801-1 is not prime. Res64: 429C37DBB1815F9F Time : 0.0 sec. user=mdettweiler [2015-04-28 12:40:44] 627*2^1397802-1 is not prime. Res64: 886E31BFB0A9216E Time : 0.0 sec. user=mdettweiler [2015-04-28 12:40:45] 657*2^1397802-1 is not prime. Res64: 8D9F50FA89FB9AE6 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:42:22] 735*2^1397802-1 is not prime. Res64: 5D53218B095D6ECC Time : 0.0 sec. user=mdettweiler [2015-04-28 12:42:23] 825*2^1397802-1 is not prime. Res64: EDC4580FBDB479DE Time : 0.0 sec. user=mdettweiler [2015-04-28 12:57:20] 833*2^1397802-1 is not prime. Res64: 4BE9F747EE9107DF Time : 0.0 sec. user=mdettweiler [2015-04-28 12:57:20] 923*2^1397802-1 is not prime. Res64: B474C654C88C7CE3 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:57:29] 673*2^1397803-1 is not prime. Res64: 9CD75EABBAB4B0EB Time : 0.0 sec. user=mdettweiler [2015-04-28 12:57:29] 679*2^1397803-1 is not prime. Res64: FC40A57E8A14434A Time : 0.0 sec. user=mdettweiler [2015-04-28 12:58:18] 751*2^1397803-1 is not prime. Res64: 4660FE5A12EA6DF8 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:58:18] 873*2^1397803-1 is not prime. Res64: C5020B926C6570B9 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:59:53] 659*2^1397804-1 is not prime. Res64: D3BA4C4AB80E9F41 Time : 0.0 sec. user=mdettweiler [2015-04-28 12:59:54] 663*2^1397804-1 is not prime. Res64: 61D6A4896275BF0B Time : 0.0 sec. user=mdettweiler [2015-04-28 13:14:48] 677*2^1397804-1 is not prime. Res64: 8EE8BB9BB0F6840F Time : 0.0 sec. user=mdettweiler [2015-04-28 13:14:49] 903*2^1397804-1 is not prime. Res64: 61A63D3BC2F7BEDB Time : 0.0 sec. user=mdettweiler [2015-04-28 13:15:02] 923*2^1397804-1 is not prime. Res64: C6CF4A5205F37513 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:15:02] 959*2^1397804-1 is not prime. Res64: 376DE340A6BDC998 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:15:45] 609*2^1397805-1 is not prime. Res64: F8D96BDBF22A4378 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:15:45] 625*2^1397805-1 is not prime. Res64: F6005C35503F1622 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:17:30] 915*2^1397805-1 is not prime. Res64: FC8A84DD104F8A82 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:17:30] 991*2^1397805-1 is not prime. Res64: 039C5B1C75EE2C87 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:32:22] 675*2^1397806-1 is not prime. Res64: 0B4A5353EB6D27E3 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:32:23] 825*2^1397806-1 is not prime. Res64: DF693A27C7194E69 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:32:36] 945*2^1397806-1 is not prime. Res64: DC7C8474F15D0915 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:32:37] 669*2^1397807-1 is not prime. Res64: 27384F6251CA7FC5 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:33:18] 673*2^1397807-1 is not prime. Res64: 784136103AC267F7 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:33:18] 685*2^1397807-1 is not prime. Res64: B381BBEEA3A052FA Time : 0.0 sec. user=mdettweiler [2015-04-28 13:35:05] 729*2^1397807-1 is not prime. Res64: F709F96D76408AB7 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:35:06] 741*2^1397807-1 is not prime. Res64: 49EBB209AC35441F Time : 0.0 sec. user=mdettweiler [2015-04-28 13:49:53] 879*2^1397807-1 is not prime. Res64: 237C87694D35AF4C Time : 0.0 sec. user=mdettweiler [2015-04-28 13:49:54] 885*2^1397807-1 is not prime. Res64: 2F53082937C3589B Time : 0.0 sec. user=mdettweiler [2015-04-28 13:50:04] 669*2^1397808-1 is not prime. Res64: 3CD04DCCFA510A39 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:50:04] 683*2^1397808-1 is not prime. Res64: 4BC1D061817BC94E Time : 0.0 sec. user=mdettweiler [2015-04-28 13:50:56] 735*2^1397808-1 is not prime. Res64: 1B71E79FE9F14B0A Time : 0.0 sec. user=mdettweiler [2015-04-28 13:50:56] 887*2^1397808-1 is not prime. Res64: 64F0890EB5FACCAF Time : 0.0 sec. user=mdettweiler [2015-04-28 13:52:39] 649*2^1397809-1 is not prime. Res64: 1EE23BFE80CA7DE0 Time : 0.0 sec. user=mdettweiler [2015-04-28 13:52:39] 811*2^1397809-1 is not prime. Res64: 58DA416CDC862894 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:07:30] 847*2^1397809-1 is not prime. Res64: 27390B4495770F69 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:07:30] 633*2^1397810-1 is not prime. Res64: 0B6B7ABA4BB94C73 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:07:39] 797*2^1397810-1 is not prime. Res64: 59AE1A4E6264F79D Time : 0.0 sec. user=mdettweiler [2015-04-28 14:07:39] 801*2^1397810-1 is not prime. Res64: C1F0BB5A7212DBCB Time : 0.0 sec. user=mdettweiler [2015-04-28 14:08:29] 851*2^1397810-1 is not prime. Res64: E6D42096C250AB58 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:08:29] 935*2^1397810-1 is not prime. Res64: 7776079E07D374A2 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:10:11] 615*2^1397811-1 is not prime. Res64: 0457F2B6449DD6BA Time : 0.0 sec. user=mdettweiler [2015-04-28 14:10:12] 783*2^1397811-1 is not prime. Res64: 8C7B6E571AF7C793 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:25:06] 885*2^1397811-1 is not prime. Res64: 2CB4C7D710A0C31F Time : 0.0 sec. user=mdettweiler [2015-04-28 14:25:07] 901*2^1397811-1 is not prime. Res64: 5F220E45463B1A29 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:25:18] 975*2^1397811-1 is not prime. Res64: 418ADE423F334B2C Time : 0.0 sec. user=mdettweiler [2015-04-28 14:25:19] 603*2^1397812-1 is not prime. Res64: E071D0269948C123 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:25:53] 605*2^1397812-1 is not prime. Res64: 33EF337571826764 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:25:54] 609*2^1397812-1 is not prime. Res64: 589AC1B5B54EE069 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:27:42] 617*2^1397812-1 is not prime. Res64: E1BA8934D3082E10 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:27:42] 647*2^1397812-1 is not prime. Res64: 2B9027DB6AFA3122 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:42:37] 693*2^1397812-1 is not prime. Res64: 384117E568A1546F Time : 0.0 sec. user=mdettweiler [2015-04-28 14:42:37] 723*2^1397812-1 is not prime. Res64: 8D948B031CEF597F Time : 0.0 sec. user=mdettweiler [2015-04-28 14:42:48] 749*2^1397812-1 is not prime. Res64: 1BD2D0A7108E672D Time : 0.0 sec. user=mdettweiler [2015-04-28 14:42:49] 803*2^1397812-1 is not prime. Res64: 15E6F9A0115D6EAB Time : 0.0 sec. user=mdettweiler [2015-04-28 14:43:28] 903*2^1397812-1 is not prime. Res64: 1BBFD9CEFDD01A32 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:43:28] 929*2^1397812-1 is not prime. Res64: 207797A64F8B6650 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:45:16] 987*2^1397812-1 is not prime. Res64: B252F738B67E9585 Time : 0.0 sec. user=mdettweiler [2015-04-28 14:45:16] 995*2^1397812-1 is not prime. Res64: 536FA8C594B65937 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:00:15] 999*2^1397812-1 is not prime. Res64: BE0E721F1BA89F3B Time : 0.0 sec. user=mdettweiler [2015-04-28 15:00:15] 729*2^1397813-1 is not prime. Res64: 7F09F663C0C444C8 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:00:26] 735*2^1397813-1 is not prime. Res64: F94AB66E486780B2 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:00:27] 775*2^1397813-1 is not prime. Res64: A4D6028053872FF0 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:01:15] 781*2^1397813-1 is not prime. Res64: 8CFA31A3E0D8128F Time : 0.0 sec. user=mdettweiler [2015-04-28 15:01:16] 789*2^1397813-1 is not prime. Res64: DD844AF61C6A229F Time : 0.0 sec. user=mdettweiler [2015-04-28 15:02:54] 937*2^1397813-1 is not prime. Res64: DE099DBB58E5BCB7 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:02:55] 711*2^1397814-1 is not prime. Res64: 95A69420BBB02848 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:18:14] 741*2^1397814-1 is not prime. Res64: BD00093E7B6CC57B Time : 0.0 sec. user=mdettweiler [2015-04-28 15:18:15] 833*2^1397814-1 is not prime. Res64: 3443FAA5B188C3C9 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:18:19] 915*2^1397814-1 is not prime. Res64: FC64AF7A2302D34E Time : 0.0 sec. user=mdettweiler [2015-04-28 15:18:19] 693*2^1397815-1 is not prime. Res64: 995AED46A551118B Time : 0.0 sec. user=mdettweiler [2015-04-28 15:19:11] 873*2^1397815-1 is not prime. Res64: 6DCA63DAC4B6B599 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:19:11] 915*2^1397815-1 is not prime. Res64: 381889BEE9696AE4 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:21:03] 961*2^1397815-1 is not prime. Res64: 19A7A11D1051D872 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:21:03] 669*2^1397816-1 is not prime. Res64: 63AB8ACA7677A522 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:36:12] 825*2^1397816-1 is not prime. Res64: 82D41E0EFEE6E972 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:36:13] 875*2^1397816-1 is not prime. Res64: 05FB1E302ECE35F0 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:36:20] 879*2^1397816-1 is not prime. Res64: 048E0E57514F80B4 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:36:20] 993*2^1397816-1 is not prime. Res64: CD05043971CC4AA4 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:37:01] 615*2^1397817-1 is not prime. Res64: 11B291CCE45871B2 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:37:02] 741*2^1397817-1 is not prime. Res64: B758C0E04BE24F8E Time : 0.0 sec. user=mdettweiler [2015-04-28 15:38:55] 751*2^1397817-1 is not prime. Res64: 60328961FA254482 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:38:55] 777*2^1397817-1 is not prime. Res64: A4D2B77559575964 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:53:55] 837*2^1397817-1 is not prime. Res64: D42786BDD62FD7AD Time : 0.0 sec. user=mdettweiler [2015-04-28 15:53:55] 915*2^1397817-1 is not prime. Res64: 5F19940B8E373251 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:54:02] 937*2^1397817-1 is not prime. Res64: 2F500C35254DBF2C Time : 0.0 sec. user=mdettweiler [2015-04-28 15:54:03] 623*2^1397818-1 is not prime. Res64: 688AA27A17FBF89D Time : 0.0 sec. user=mdettweiler [2015-04-28 15:54:43] 633*2^1397818-1 is not prime. Res64: BAE20D6ABB167F6A Time : 0.0 sec. user=mdettweiler [2015-04-28 15:54:43] 801*2^1397818-1 is not prime. Res64: DD735EA40EB85B0D Time : 0.0 sec. user=mdettweiler [2015-04-28 15:56:36] 803*2^1397818-1 is not prime. Res64: 8658B5BA0716D155 Time : 0.0 sec. user=mdettweiler [2015-04-28 15:56:36] 813*2^1397818-1 is not prime. Res64: 8A1C8258C2D30D6F Time : 0.0 sec. user=mdettweiler [2015-04-28 16:11:59] 885*2^1397818-1 is not prime. Res64: F738E6A3302E89DB Time : 0.0 sec. user=mdettweiler [2015-04-28 16:12:00] 905*2^1397818-1 is not prime. Res64: A33F691E99392703 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:12:05] 601*2^1397819-1 is not prime. Res64: BCC45ECDF403FB5A Time : 0.0 sec. user=mdettweiler [2015-04-28 16:12:06] 825*2^1397819-1 is not prime. Res64: 3527CFD799A42D9A Time : 0.0 sec. user=mdettweiler [2015-04-28 16:12:51] 883*2^1397819-1 is not prime. Res64: 639ACB9F75DFA4D2 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:12:51] 647*2^1397820-1 is not prime. Res64: 09D024CD8AB182F2 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:14:45] 795*2^1397820-1 is not prime. Res64: 0193483DFBEF5070 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:14:45] 819*2^1397820-1 is not prime. Res64: 6CE4A69AA279CE42 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:30:03] 909*2^1397820-1 is not prime. Res64: 9F505C988505BA7A Time : 0.0 sec. user=mdettweiler [2015-04-28 16:30:04] 927*2^1397820-1 is not prime. Res64: 69E60727C166C96C Time : 0.0 sec. user=mdettweiler [2015-04-28 16:30:07] 607*2^1397821-1 is not prime. Res64: 169D124D074FC546 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:30:08] 687*2^1397821-1 is not prime. Res64: 2FF08CC063ACD7EF Time : 0.0 sec. user=mdettweiler [2015-04-28 16:30:52] 691*2^1397821-1 is not prime. Res64: D19D3CB677756162 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:30:52] 757*2^1397821-1 is not prime. Res64: A2D47594CD27C3D5 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:32:40] 931*2^1397821-1 is not prime. Res64: 320B4603BE3BDF02 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:32:40] 939*2^1397821-1 is not prime. Res64: 66002CF3DDB6B2AC Time : 0.0 sec. user=mdettweiler [2015-04-28 16:47:44] 665*2^1397822-1 is not prime. Res64: 628650A857131B3B Time : 0.0 sec. user=mdettweiler [2015-04-28 16:47:44] 693*2^1397822-1 is not prime. Res64: 5BE41EE701576CF1 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:47:46] 975*2^1397821-1 is not prime. Res64: 306B88A4CEAF4C79 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:47:46] 997*2^1397821-1 is not prime. Res64: C5F83ED9937C5C79 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:48:27] 755*2^1397822-1 is not prime. Res64: 0F10AC24660F3C1E Time : 0.0 sec. user=mdettweiler [2015-04-28 16:48:28] 885*2^1397822-1 is not prime. Res64: 8E01CDD15A6CB6CB Time : 0.0 sec. user=mdettweiler [2015-04-28 16:50:19] 915*2^1397822-1 is not prime. Res64: FBE3FF357F6C0A34 Time : 0.0 sec. user=mdettweiler [2015-04-28 16:50:19] 921*2^1397822-1 is not prime. Res64: AC06AAAE332940FE Time : 0.0 sec. user=mdettweiler [2015-04-28 17:05:22] 923*2^1397822-1 is not prime. Res64: 0DEC6998A9457BCC Time : 0.0 sec. user=mdettweiler [2015-04-28 17:05:23] 1001*2^1397822-1 is not prime. Res64: 53CAAA58931F502C Time : 0.0 sec. user=mdettweiler [2015-04-28 17:05:25] 619*2^1397823-1 is not prime. Res64: B9134209AD98C2E4 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:05:25] 745*2^1397823-1 is not prime. Res64: 39B7F9C52F480D40 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:06:08] 783*2^1397823-1 is not prime. Res64: EBC74CB95C2EA241 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:06:08] 853*2^1397823-1 is not prime. Res64: 8F07D7EFEA90853A Time : 0.0 sec. user=mdettweiler [2015-04-28 17:07:52] 933*2^1397823-1 is not prime. Res64: 10AC47A6818D478D Time : 0.0 sec. user=mdettweiler [2015-04-28 17:07:53] 609*2^1397824-1 is not prime. Res64: 7A43DC933EE91EC0 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:23:24] 905*2^1397824-1 is not prime. Res64: E39D79D861503FC4 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:23:25] 927*2^1397824-1 is not prime. Res64: 1741D9FA010E9BFE Time : 0.0 sec. user=mdettweiler [2015-04-28 17:23:29] 665*2^1397824-1 is not prime. Res64: CCFEDFC83B06D9A2 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:23:30] 833*2^1397824-1 is not prime. Res64: A3E35EABD2B0C7E2 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:23:39] 975*2^1397824-1 is not prime. Res64: 11336CF0EDC82C5A Time : 0.0 sec. user=mdettweiler [2015-04-28 17:23:39] 619*2^1397825-1 is not prime. Res64: A613ABC48E83B58B Time : 0.0 sec. user=mdettweiler [2015-04-28 17:25:24] 711*2^1397825-1 is not prime. Res64: A4AD33F16400EEC5 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:25:24] 721*2^1397825-1 is not prime. Res64: 7E887BC7B503D62D Time : 0.0 sec. user=mdettweiler [2015-04-28 17:41:11] 777*2^1397825-1 is not prime. Res64: 953F75FEAD3DB54D Time : 0.0 sec. user=mdettweiler [2015-04-28 17:41:11] 795*2^1397825-1 is not prime. Res64: A0779A2F983756B8 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:41:13] 831*2^1397825-1 is not prime. Res64: EBBFE2F40A4E45FE Time : 0.0 sec. user=mdettweiler [2015-04-28 17:41:13] 841*2^1397825-1 is not prime. Res64: AB69FFAD361972EF Time : 0.0 sec. user=mdettweiler [2015-04-28 17:41:18] 957*2^1397825-1 is not prime. Res64: 428F5124A7555263 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:41:18] 969*2^1397825-1 is not prime. Res64: 6D973D08EDF7A296 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:43:07] 683*2^1397826-1 is not prime. Res64: AF4324829A988730 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:43:07] 777*2^1397826-1 is not prime. Res64: D7D5F97C48182652 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:58:49] 895*2^1397827-1 is not prime. Res64: 38FE9E54C622A0D2 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:58:50] 919*2^1397827-1 is not prime. Res64: 7BADBE38CBDE54A2 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:58:51] 815*2^1397826-1 is not prime. Res64: 96C20DD2BB61F1F8 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:58:52] 699*2^1397827-1 is not prime. Res64: ADBB39DB3C83DD6B Time : 0.0 sec. user=mdettweiler [2015-04-28 17:58:56] 733*2^1397827-1 is not prime. Res64: 25B77A90C809EE90 Time : 0.0 sec. user=mdettweiler [2015-04-28 17:58:57] 735*2^1397827-1 is not prime. Res64: D73B17416229AAB8 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:00:52] 961*2^1397827-1 is not prime. Res64: E3C7C3FCF2E3B83F Time : 0.0 sec. user=mdettweiler [2015-04-28 18:00:53] 603*2^1397828-1 is not prime. Res64: B89221F791A12F80 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:16:24] 633*2^1397828-1 is not prime. Res64: 9D19BB10777B814A Time : 0.0 sec. user=mdettweiler [2015-04-28 18:16:25] 833*2^1397828-1 is not prime. Res64: 0D612F3C5EFFFF8C Time : 0.0 sec. user=mdettweiler [2015-04-28 18:16:30] 855*2^1397828-1 is not prime. Res64: 017BCD46E151878D Time : 0.0 sec. user=mdettweiler [2015-04-28 18:16:30] 915*2^1397828-1 is not prime. Res64: 2D280BAE96DD47D8 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:16:33] 709*2^1397829-1 is not prime. Res64: 0677CF372586615E Time : 0.0 sec. user=mdettweiler [2015-04-28 18:16:33] 877*2^1397829-1 is not prime. Res64: A987415EC9E794D8 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:18:29] 997*2^1397829-1 is not prime. Res64: 056655CD221BEE42 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:18:29] 653*2^1397830-1 is not prime. Res64: F6A5F53EB5CA2B6C Time : 0.0 sec. user=mdettweiler [2015-04-28 18:33:58] 755*2^1397830-1 is not prime. Res64: E40623BE4C8400D6 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:33:59] 825*2^1397830-1 is not prime. Res64: 7B28DD2CF6214D6B Time : 0.0 sec. user=mdettweiler [2015-04-28 18:34:03] 827*2^1397830-1 is not prime. Res64: 235E30057B1E5108 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:34:04] 945*2^1397830-1 is not prime. Res64: CDBBE7231472BFC4 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:34:05] 615*2^1397831-1 is not prime. Res64: A57F33E91165E847 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:34:06] 813*2^1397831-1 is not prime. Res64: 0603E61BBB948032 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:36:13] 909*2^1397831-1 is not prime. Res64: 6C00A2FC4ECB2DFC Time : 0.0 sec. user=mdettweiler [2015-04-28 18:36:14] 943*2^1397831-1 is not prime. Res64: 0406B4376FB6800F Time : 0.0 sec. user=mdettweiler [2015-04-28 18:51:43] 981*2^1397831-1 is not prime. Res64: 0BACAE5767D04006 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:51:44] 999*2^1397831-1 is not prime. Res64: 8701C055849F57AC Time : 0.0 sec. user=mdettweiler [2015-04-28 18:51:44] 605*2^1397832-1 is not prime. Res64: A457BD6E3BF1D8EF Time : 0.0 sec. user=mdettweiler [2015-04-28 18:51:45] 615*2^1397832-1 is not prime. Res64: 89F6A1C9E5E9A34F Time : 0.0 sec. user=mdettweiler [2015-04-28 18:51:45] 675*2^1397832-1 is not prime. Res64: 8CF0BB4A13FAC251 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:51:46] 747*2^1397832-1 is not prime. Res64: B8370912F1208733 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:53:55] 887*2^1397832-1 is not prime. Res64: 28340B448828F004 Time : 0.0 sec. user=mdettweiler [2015-04-28 18:53:55] 945*2^1397832-1 is not prime. Res64: 14D8E231425A1750 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:09:23] 811*2^1397833-1 is not prime. Res64: 8F3FEC6CC7AC70C5 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:09:23] 867*2^1397833-1 is not prime. Res64: EF56313721EC7D89 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:09:24] 635*2^1397834-1 is not prime. Res64: 19CD959B16CD9668 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:09:24] 641*2^1397834-1 is not prime. Res64: A42E7BC0E4E02FA4 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:09:25] 765*2^1397833-1 is not prime. Res64: 2DCF22ED3FBD6947 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:09:26] 769*2^1397833-1 is not prime. Res64: 89E8A45BB0D1A968 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:11:36] 677*2^1397834-1 is not prime. Res64: F947E859877B598F Time : 0.0 sec. user=mdettweiler [2015-04-28 19:11:36] 753*2^1397834-1 is not prime. Res64: E3DBFF29206987C2 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:27:02] 633*2^1397835-1 is not prime. Res64: D61219439DC447E3 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:27:02] 643*2^1397835-1 is not prime. Res64: 98133FD700EDE53C Time : 0.0 sec. user=mdettweiler [2015-04-28 19:27:11] 783*2^1397834-1 is not prime. Res64: 760EDBACC60641B3 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:27:12] 917*2^1397834-1 is not prime. Res64: 57E3E9175E7F0F8E Time : 0.0 sec. user=mdettweiler [2015-04-28 19:27:15] 741*2^1397835-1 is not prime. Res64: DE136B3073147A41 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:27:16] 829*2^1397835-1 is not prime. Res64: 56A0757EA5266528 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:29:20] 639*2^1397836-1 is not prime. Res64: 3C50DF7481A36180 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:29:20] 695*2^1397836-1 is not prime. Res64: BAB18031AB2D5F79 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:45:02] 765*2^1397836-1 is not prime. Res64: 0DB3781431581542 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:45:02] 869*2^1397836-1 is not prime. Res64: 892F8005665014D3 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:45:27] 953*2^1397836-1 is not prime. Res64: 7AA6704CD1405621 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:45:27] 989*2^1397836-1 is not prime. Res64: 3355C942532B52A6 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:45:32] 899*2^1397836-1 is not prime. Res64: 263F64E264D9692E Time : 0.0 sec. user=mdettweiler [2015-04-28 19:45:32] 939*2^1397836-1 is not prime. Res64: 4894D20FAE176EE2 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:47:25] 993*2^1397836-1 is not prime. Res64: 7225DE05086BA9E4 Time : 0.0 sec. user=mdettweiler [2015-04-28 19:47:26] 949*2^1397837-1 is not prime. Res64: 91FB34A8695B63C5 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:03:25] 663*2^1397838-1 is not prime. Res64: 874197B86FB9A4BD Time : 0.0 sec. user=mdettweiler [2015-04-28 20:03:27] 639*2^1397839-1 is not prime. Res64: 2D804A64D7069888 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:03:52] 709*2^1397839-1 is not prime. Res64: 9BFB916D4803DCF4 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:03:53] 723*2^1397839-1 is not prime. Res64: E2AA527AC8A575E4 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:04:05] 829*2^1397839-1 is not prime. Res64: 8FB0F4A8463A1F33 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:04:06] 853*2^1397839-1 is not prime. Res64: C9F3F78D42FF10CC Time : 0.0 sec. user=mdettweiler [2015-04-28 20:05:57] 891*2^1397839-1 is not prime. Res64: E0359E9CB5BA7F45 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:05:58] 919*2^1397839-1 is not prime. Res64: 5730EDC768560D9B Time : 0.0 sec. user=mdettweiler [2015-04-28 20:23:18] 933*2^1397839-1 is not prime. Res64: 32E8BFE6EE54D357 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:23:18] 615*2^1397840-1 is not prime. Res64: EB89DB82254B9BC2 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:23:23] 803*2^1397840-1 is not prime. Res64: 6583DC2A6766EC0C Time : 0.0 sec. user=mdettweiler [2015-04-28 20:23:23] 827*2^1397840-1 is not prime. Res64: CADD6A125E597650 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:23:36] 633*2^1397840-1 is not prime. Res64: F57232920CBF384B Time : 0.0 sec. user=mdettweiler [2015-04-28 20:23:36] 797*2^1397840-1 is not prime. Res64: 140AEDE6C1ADD2AB Time : 0.0 sec. user=mdettweiler [2015-04-28 20:25:32] 845*2^1397840-1 is not prime. Res64: 214C5D31D43C09F3 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:25:32] 879*2^1397840-1 is not prime. Res64: 6B56EAC01925A234 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:42:07] 983*2^1397840-1 is not prime. Res64: B974A015717CFFD9 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:42:08] 615*2^1397841-1 is not prime. Res64: 75EC36011AE00877 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:42:49] 679*2^1397841-1 is not prime. Res64: 850D0D32742FE96C Time : 0.0 sec. user=mdettweiler [2015-04-28 20:42:49] 705*2^1397841-1 is not prime. Res64: 0818FE0DEC20AED4 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:42:52] 963*2^1397840-1 is not prime. Res64: 59CD18EB62343159 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:42:53] 977*2^1397840-1 is not prime. Res64: 2A61DF188C4F6EB5 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:44:34] 889*2^1397841-1 is not prime. Res64: 5D6B6AA2587CB4E2 Time : 0.0 sec. user=mdettweiler [2015-04-28 20:44:34] 895*2^1397841-1 is not prime. Res64: E226785EC6E06F39 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:01:37] 743*2^1397842-1 is not prime. Res64: 706F588362404CF1 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:01:38] 783*2^1397843-1 is not prime. Res64: 765EB2B416EDCD58 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:02:04] 663*2^1397844-1 is not prime. Res64: 105DE27453872515 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:02:04] 753*2^1397844-1 is not prime. Res64: 1CD620144B3959B4 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:02:29] 801*2^1397843-1 is not prime. Res64: 9CA126627207BA84 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:02:30] 885*2^1397843-1 is not prime. Res64: CCC3BD390B1167D0 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:04:09] 795*2^1397844-1 is not prime. Res64: F920C4D0043F4719 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:04:10] 887*2^1397844-1 is not prime. Res64: D90612176B28C628 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:20:33] 923*2^1397844-1 is not prime. Res64: 52CB042E3610AD0A Time : 0.0 sec. user=mdettweiler [2015-04-28 21:20:33] 757*2^1397845-1 is not prime. Res64: 6E6599785A65081C Time : 0.0 sec. user=mdettweiler [2015-04-28 21:20:53] 957*2^1397845-1 is not prime. Res64: E6612E9E5C9F42B3 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:20:53] 987*2^1397845-1 is not prime. Res64: 45F9E34293730CF3 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:21:37] 999*2^1397845-1 is not prime. Res64: 96A52BDCEC77C7A5 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:21:37] 675*2^1397846-1 is not prime. Res64: D31998A3ED38B4E5 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:22:53] 677*2^1397846-1 is not prime. Res64: 8B5CEC07F3AB33CB Time : 0.0 sec. user=mdettweiler [2015-04-28 21:22:54] 717*2^1397846-1 is not prime. Res64: 34D2FCA721FA15A9 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:39:12] 843*2^1397846-1 is not prime. Res64: 8D535EB17EDB0D39 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:39:12] 781*2^1397847-1 is not prime. Res64: FF830671FD5425C9 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:39:32] 743*2^1397846-1 is not prime. Res64: 7B74D3A6A765314F Time : 0.0 sec. user=mdettweiler [2015-04-28 21:39:32] 833*2^1397846-1 is not prime. Res64: 652AD163EC1CF7C3 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:40:21] 825*2^1397847-1 is not prime. Res64: EBB6F3545060FEA3 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:40:22] 849*2^1397847-1 is not prime. Res64: F5FB37252AB25A68 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:41:41] 909*2^1397847-1 is not prime. Res64: ECA327B1DD557C7D Time : 0.0 sec. user=mdettweiler [2015-04-28 21:41:41] 963*2^1397847-1 is not prime. Res64: 44F24592F488EA1A Time : 0.0 sec. user=mdettweiler [2015-04-28 21:57:53] 999*2^1397847-1 is not prime. Res64: 651A4EB0E5C29F9A Time : 0.0 sec. user=mdettweiler [2015-04-28 21:57:53] 657*2^1397848-1 is not prime. Res64: 30468B13B3B47A89 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:58:41] 699*2^1397848-1 is not prime. Res64: F239F2E9BCF69815 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:58:41] 735*2^1397848-1 is not prime. Res64: B514FCA46E31F43E Time : 0.0 sec. user=mdettweiler [2015-04-28 21:58:53] 933*2^1397848-1 is not prime. Res64: A3B64703B07F78B2 Time : 0.0 sec. user=mdettweiler [2015-04-28 21:58:54] 999*2^1397848-1 is not prime. Res64: 8766EBE198C7CAE9 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:00:18] 657*2^1397849-1 is not prime. Res64: 3D854FCDAB1EB743 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:00:18] 685*2^1397849-1 is not prime. Res64: E58E90855091CD67 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:15:39] 691*2^1397849-1 is not prime. Res64: 7EA780B95D8BDC4C Time : 0.0 sec. user=mdettweiler [2015-04-28 22:15:40] 721*2^1397849-1 is not prime. Res64: 89328D98231AAB8B Time : 0.0 sec. user=mdettweiler [2015-04-28 22:16:27] 771*2^1397849-1 is not prime. Res64: 24BBE4DACF84C482 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:16:28] 781*2^1397849-1 is not prime. Res64: 5F4BAD46C0DEE645 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:16:34] 841*2^1397849-1 is not prime. Res64: F619BD44F064EB3B Time : 0.0 sec. user=mdettweiler [2015-04-28 22:16:34] 931*2^1397849-1 is not prime. Res64: C220595CA1D92A66 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:18:03] 951*2^1397849-1 is not prime. Res64: 92B20D74217BE149 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:18:04] 611*2^1397850-1 is not prime. Res64: F246D1A43907EDE2 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:33:41] 641*2^1397850-1 is not prime. Res64: F5F3D56E8165D155 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:33:41] 681*2^1397850-1 is not prime. Res64: 534B91EBAF7B618F Time : 0.0 sec. user=mdettweiler [2015-04-28 22:34:18] 845*2^1397850-1 is not prime. Res64: 3D3E1CA67C64C63D Time : 0.0 sec. user=mdettweiler [2015-04-28 22:34:19] 851*2^1397850-1 is not prime. Res64: 1AC1BCFC20347918 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:34:19] 741*2^1397850-1 is not prime. Res64: F31F187DFE710E5B Time : 0.0 sec. user=mdettweiler [2015-04-28 22:34:20] 833*2^1397850-1 is not prime. Res64: 19E91763E271637D Time : 0.0 sec. user=mdettweiler [2015-04-28 22:35:49] 887*2^1397850-1 is not prime. Res64: 49216C15F2647BA5 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:35:49] 951*2^1397850-1 is not prime. Res64: CC336F172C335849 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:51:19] 603*2^1397851-1 is not prime. Res64: 6B4FB4DAD57B0711 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:51:20] 651*2^1397851-1 is not prime. Res64: 278CABFA51167ADE Time : 0.0 sec. user=mdettweiler [2015-04-28 22:51:50] 691*2^1397851-1 is not prime. Res64: 8B119FB837D04EFC Time : 0.0 sec. user=mdettweiler [2015-04-28 22:51:51] 789*2^1397851-1 is not prime. Res64: 122BCCCD750A2042 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:51:58] 883*2^1397851-1 is not prime. Res64: 4DD811923B6FA3AF Time : 0.0 sec. user=mdettweiler [2015-04-28 22:51:58] 615*2^1397852-1 is not prime. Res64: A2F4C0ADDCF3DE20 Time : 0.0 sec. user=mdettweiler [2015-04-28 22:53:29] 617*2^1397852-1 is not prime. Res64: AA0D64C901C1EECD Time : 0.0 sec. user=mdettweiler [2015-04-28 22:53:29] 629*2^1397852-1 is not prime. Res64: 85281E1C0DD76951 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:09:05] 677*2^1397852-1 is not prime. Res64: DC3D7CBF3E9187DF Time : 0.0 sec. user=mdettweiler [2015-04-28 23:09:06] 819*2^1397852-1 is not prime. Res64: 85A8F6625E977282 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:09:24] 609*2^1397853-1 is not prime. Res64: AC90BBA9A1D09E5B Time : 0.0 sec. user=mdettweiler [2015-04-28 23:09:25] 795*2^1397853-1 is not prime. Res64: 959B4E83B269B7B6 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:09:49] 885*2^1397853-1 is not prime. Res64: 4FD48D66FD760E74 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:09:49] 927*2^1397853-1 is not prime. Res64: 9BA1D09A7D94616C Time : 0.0 sec. user=mdettweiler [2015-04-28 23:11:12] 951*2^1397853-1 is not prime. Res64: 0272415374BC816E Time : 0.0 sec. user=mdettweiler [2015-04-28 23:11:12] 955*2^1397853-1 is not prime. Res64: 9C0FF6D8E01ADA90 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:27:03] 999*2^1397853-1 is not prime. Res64: FA363233F2A9301B Time : 0.0 sec. user=mdettweiler [2015-04-28 23:27:04] 645*2^1397854-1 is not prime. Res64: 6DBD90BC99E5C857 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:27:07] 707*2^1397854-1 is not prime. Res64: 0CFEF397372FB545 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:27:07] 737*2^1397854-1 is not prime. Res64: 63E147613A6B9A5A Time : 0.0 sec. user=mdettweiler [2015-04-28 23:27:33] 765*2^1397854-1 is not prime. Res64: 8F077C6675BD170F Time : 0.0 sec. user=mdettweiler [2015-04-28 23:27:33] 855*2^1397854-1 is not prime. Res64: E67D5E32A78E775C Time : 0.0 sec. user=mdettweiler [2015-04-28 23:29:10] 887*2^1397854-1 is not prime. Res64: A46360C77374B275 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:29:11] 903*2^1397854-1 is not prime. Res64: 8FDA4BAD53DD3572 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:44:42] 945*2^1397854-1 is not prime. Res64: 9A242046CA90A4F1 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:44:42] 609*2^1397855-1 is not prime. Res64: AD822ED0F77596F9 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:44:47] 663*2^1397855-1 is not prime. Res64: F84E33B8D6F060D8 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:44:47] 865*2^1397855-1 is not prime. Res64: 37B04E6096980A32 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:45:27] 895*2^1397855-1 is not prime. Res64: 76DD5D6D0150FBEB Time : 0.0 sec. user=mdettweiler [2015-04-28 23:45:27] 909*2^1397855-1 is not prime. Res64: D2472851B6453F5C Time : 0.0 sec. user=mdettweiler [2015-04-28 23:47:02] 939*2^1397855-1 is not prime. Res64: CCB6311579609981 Time : 0.0 sec. user=mdettweiler [2015-04-28 23:47:03] 973*2^1397855-1 is not prime. Res64: 8C863136A7B06CDD Time : 0.0 sec.