{"schema":"vela.problem-packet.v0.1","problem":144,"statement":"The density of integers which have two divisors $d_1,d_2$ such that $d_1&#60;d_2&#60;2d_1$ exists and is equal to $1$.","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A005279","name":"Numbers having divisors d, e with d < e < 2*d.","terms":"6,12,15,18,20,24,28,30,35,36,40,42,45,48,54,56,60,63,66,70,72,75,77,78,80,84,88,90,91,96,99,100,102,104,105,108,110,112,","url":"https://oeis.org/A005279"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}