1234ToDec ← +´×⟜(⌽·(10⊸⋆∘↕ ∘≠⊢)⊢)Partition ← (¬-˜⊢×·+`»⊸>)⊸⊔Solution ← {a‿b‿c‿d ← ToDec¨'0'-˜𝕩Partition˜(¬"-,"∊˜⊢)𝕩 ⋄ 0≥(a-b) × (c-d)}
