HF RL Explorer

construct/rlve pairwise sums recovery

construct/rlve pairwise sums recovery: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find 5 distinct positive integers whose 10 pairwise sums (over all unordered pairs), taken as a multiset, are exactly: 11, 8, 15, 13, 9, 7, 10, 8, 16, 3

The task

Find 5 distinct positive integers whose 10 pairwise sums (over all unordered pairs), taken as a multiset, are exactly: 11, 8, 15, 13, 9, 7, 10, 8, 16, 3

Part of amphora/MathConstructOptimize-Envs-harbor.