The estimated GDP for 2015 is around $18 trillion so the chance of those programs adding up to that amount doesn't seem likely. This is assuming that the government doesn't have to pay CMKX shareholders $3.8 trillion which will skew things a bit.