0000000000000000000000000000000000000000 8776457a12a244879e6881f699189f08f5f940af andeha <andeha@users.noreply.github.com> 1778743757 +0200	clone: from https://github.com/andeha/Practical-Solvers.git
8776457a12a244879e6881f699189f08f5f940af d3463e7d9e529c30317c456fa0c24e2e0e235692 andeha <andeha@users.noreply.github.com> 1778753546 +0200	commit: Improved exposition.
d3463e7d9e529c30317c456fa0c24e2e0e235692 b1e2cfee2f431cc800d2cf7432fdc2e3e8eac83b andeha <andeha@users.noreply.github.com> 1778767902 +0200	commit: Improved exposition.
b1e2cfee2f431cc800d2cf7432fdc2e3e8eac83b 031e023d9df53f3ce91688f59bc4b96f6bd94a35 andeha <andeha@users.noreply.github.com> 1778768395 +0200	commit: Improved exposition.
031e023d9df53f3ce91688f59bc4b96f6bd94a35 3579e2b5139bfa9c2e09b06de48e88b867a3f26e andeha <andeha@users.noreply.github.com> 1778768743 +0200	commit: Improved exposition.
3579e2b5139bfa9c2e09b06de48e88b867a3f26e d76e3640f8863c5afb274855bb09607ed14ad26b andeha <andeha@users.noreply.github.com> 1778769038 +0200	commit: Improved exposition.
d76e3640f8863c5afb274855bb09607ed14ad26b dc91326d41ed306553ddf46cd687a1cacf510476 andeha <andeha@users.noreply.github.com> 1778769215 +0200	commit: Improved exposition.
dc91326d41ed306553ddf46cd687a1cacf510476 e1faff83fc599911d8400e80ee1b9d45c17f42a5 andeha <andeha@users.noreply.github.com> 1778823025 +0200	commit: Improved exposition.
e1faff83fc599911d8400e80ee1b9d45c17f42a5 0c2a96a1326d68ddea96141401d7a9c9361c8a2b andeha <andeha@users.noreply.github.com> 1778823653 +0200	commit: Improved exposition.
0c2a96a1326d68ddea96141401d7a9c9361c8a2b 8d4442256f389a3f5765f1d7e6434de8d204bed1 andeha <andeha@users.noreply.github.com> 1778823765 +0200	commit: Improved exposition.
8d4442256f389a3f5765f1d7e6434de8d204bed1 f73eaf841076b70d26dce768f58f22e248991a3a andeha <andeha@users.noreply.github.com> 1778823894 +0200	commit: Improved exposition.
f73eaf841076b70d26dce768f58f22e248991a3a e56cc5f63a41253464859df29ca4d3998e0b26b1 andeha <andeha@users.noreply.github.com> 1778843280 +0200	commit: Improved exposition.
e56cc5f63a41253464859df29ca4d3998e0b26b1 19609f1f6c073fc2eacebfc55c1cb5bb333e7327 andeha <andeha@users.noreply.github.com> 1778853444 +0200	commit: Improved exposition.
19609f1f6c073fc2eacebfc55c1cb5bb333e7327 5748c3119cb1f358cb4a107662e7aec3307fee96 andeha <andeha@users.noreply.github.com> 1778863192 +0200	commit: Improved exposition.
5748c3119cb1f358cb4a107662e7aec3307fee96 e74292ad3a2865662104cd23b6a8846c78c2c427 andeha <andeha@users.noreply.github.com> 1778864116 +0200	commit: Improved exposition.
e74292ad3a2865662104cd23b6a8846c78c2c427 6369b0282f0f2ace5a0131809d587c1f8f7d63db andeha <andeha@users.noreply.github.com> 1783402116 +0200	commit: Improved exposition.
6369b0282f0f2ace5a0131809d587c1f8f7d63db ab85470b2805b9cc2f75d7034dad7ca4e7d6e526 andeha <andeha@users.noreply.github.com> 1783843560 +0200	commit: Improved exposition.
ab85470b2805b9cc2f75d7034dad7ca4e7d6e526 f1f79e7cfc15a4ed5c111852c148b5636ec6376f andeha <andeha@users.noreply.github.com> 1783843764 +0200	commit: Improved exposition.
f1f79e7cfc15a4ed5c111852c148b5636ec6376f 2b1e6ddb676bbcdc4d95f9279a71fc8d48017cba andeha <andeha@users.noreply.github.com> 1783917455 +0200	commit: Improved exposition.
2b1e6ddb676bbcdc4d95f9279a71fc8d48017cba cb067efee14545e119e1effe8555a025f465eb33 andeha <andeha@users.noreply.github.com> 1783922431 +0200	commit: Improved exposition.
