{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":544624467,"defaultBranch":"master","name":"mmsolitaire","ownerLogin":"xamidi","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-02T23:30:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3799257?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1664754915.991373","currentOid":""},"activityList":{"items":[{"before":"f9a40e79bf8764c11b1b891eae58c2fdbce15293","after":"6f728c335c7d0068b36448a4fb0e48b7bce772a0","ref":"refs/heads/master","pushedAt":"2024-06-16T02:09:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xamidi","name":null,"path":"/xamidi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3799257?s=80&v=4"},"commit":{"message":"readme: mention 3rd contribution","shortMessageHtmlLink":"readme: mention 3rd contribution"}},{"before":"27eeeb1e9c5152a37c1e8b2f11f6d9c1972b4167","after":"f9a40e79bf8764c11b1b891eae58c2fdbce15293","ref":"refs/heads/master","pushedAt":"2024-06-15T19:11:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xamidi","name":null,"path":"/xamidi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3799257?s=80&v=4"},"commit":{"message":"found 40 shorter proofs\n\n*2.32:    91 ->   83\n*3.3:     59 ->   55\n*3.33:    95 ->   73\n*3.34:   105 ->   73\n*3.43:   117 ->  109\n*3.44:   181 ->  161\n*3.47:   203 ->  199\n*3.48:   241 ->  171\n*4.14:   283 ->  263\n*4.15:   277 ->  233\n*4.32:   317 ->  313\n*4.33:   207 ->  199\n*4.38:   585 ->  529\n*4.39:   479 ->  465\n*4.4:    355 ->  345\n*4.41:   249 ->  241\n*4.52:   219 ->  209\n*4.53:   169 ->  159\n*4.72:   195 ->  193\n*4.76:   249 ->  241\n*4.77:   285 ->  265\n*4.82:   175 ->  157\n*4.83:   245 ->  231\n*4.85:   121 ->  119\n*4.86:   555 ->  551\n*4.87:   447 ->  439\n*5.15:   267 ->  185\n*5.16:   333 ->  331\n*5.18:   503 ->  491\n*5.23:   513 ->  501\n*5.33:   389 ->  343\n*5.35:   159 ->  145\n*5.53:   673 ->  633\n*5.54:   239 ->  233\n*5.6:    167 ->  163\n*5.61:   259 ->  249\n*5.62:   167 ->  157\n*5.74:   337 ->  335\n*5.75:   351 ->  331\nbiass:  1877 -> 1851","shortMessageHtmlLink":"found 40 shorter proofs"}},{"before":"c8643a9c25f6a44d77018c01459b89845edafff6","after":"27eeeb1e9c5152a37c1e8b2f11f6d9c1972b4167","ref":"refs/heads/master","pushedAt":"2023-04-18T03:37:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xamidi","name":null,"path":"/xamidi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3799257?s=80&v=4"},"commit":{"message":"readme: mention 2nd contribution","shortMessageHtmlLink":"readme: mention 2nd contribution"}},{"before":"427a4b6fece320ed6354bb5a4bd934af9bf5d4a4","after":"c8643a9c25f6a44d77018c01459b89845edafff6","ref":"refs/heads/master","pushedAt":"2023-04-18T03:35:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xamidi","name":null,"path":"/xamidi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3799257?s=80&v=4"},"commit":{"message":"readme: mention 2nd contribution","shortMessageHtmlLink":"readme: mention 2nd contribution"}},{"before":"21911f8de1de822697d4576f800f97afcb61d7b9","after":"427a4b6fece320ed6354bb5a4bd934af9bf5d4a4","ref":"refs/heads/master","pushedAt":"2023-04-18T03:31:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xamidi","name":null,"path":"/xamidi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3799257?s=80&v=4"},"commit":{"message":"readme: mention 2nd contribution","shortMessageHtmlLink":"readme: mention 2nd contribution"}},{"before":"b45400e2c74ddc4884fe2731dfdd773ad4f74419","after":"21911f8de1de822697d4576f800f97afcb61d7b9","ref":"refs/heads/master","pushedAt":"2023-04-17T21:08:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xamidi","name":null,"path":"/xamidi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3799257?s=80&v=4"},"commit":{"message":"found 5 shorter proofs\n\n*3.44:  183 ->  181\n*4.77:  287 ->  285\n*4.85:  123 ->  121\n*4.86:  557 ->  555\nbiass: 1883 -> 1877\n\n+ use lexicographically smallest known proof strings\n  - 28 proofs affected: *2.42, *2.48, *2.51, *2.56, *2.85, *2.86, *3.14, *3.48,\n    *4.51, *4.6, *4.62, *4.78, *4.79, *4.83, *5.12, *5.15, *5.22, *5.23, *5.24,\n    *5.32, *5.35, *5.41, *5.501, *5.53, *5.61, *5.7, *5.71, and *5.74.","shortMessageHtmlLink":"found 5 shorter proofs"}},{"before":"0d4a04b8458498635d3bcaf37598df327c340350","after":"b45400e2c74ddc4884fe2731dfdd773ad4f74419","ref":"refs/heads/master","pushedAt":"2023-04-17T17:58:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xamidi","name":null,"path":"/xamidi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3799257?s=80&v=4"},"commit":{"message":"update pmproofs.txt to official 03-Oct-2022\n\n- equals pmproofs-unified.txt, which is thereby deleted","shortMessageHtmlLink":"update pmproofs.txt to official 03-Oct-2022"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEZm4bgQA","startCursor":null,"endCursor":null}},"title":"Activity · xamidi/mmsolitaire"}