dawidtoton/osymbmath archive