{"schema":"vela.problem-packet.v0.1","problem":573,"statement":"Is it true that\\[\\mathrm{ex}(n;\\{C_3,C_4\\})\\sim (n/2)^{3/2}?\\]","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A006856","name":"Maximal number of edges in n-node graph of girth at least 5.","terms":"0,1,2,3,5,6,8,10,12,15,16,18,21,23,26,28,31,34,38,41,44,47,50,54,57,61,65,68,72,76,80,85,87,90,95,99,104,109,114,120,124","url":"https://oeis.org/A006856"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}