@techreport{KauersKoutschanSpahn22,
 author = {Manuel Kauers and Christoph Koutschan and George Spahn},
 title = {A$348456(4) = 7157114189$},
 institution = {RICAM Reports Series},
 year = {2022},
 number = {2022-23},
 note = {Submitted for publication (preprint on arXiv:2209.01787)},
}