Fully differential Higgs boson pair production at N3LO with top quark mass effects | Synapse