:import std/Math . lcm [[=?1 1 (=?0 0 |(1 / (gcd 1 0) ⋅ 0))]] :test ((lcm (+12) (+18)) =? (+36)) ([[1]]) :test ((lcm (+42) (+25)) =? (+1050)) ([[1]]) main [[0]]