We compute many dimensions of spaces of finite type invariants of virtual
knots (of several kinds) and the dimensions of the corresponding spaces of
"weight systems", finding everything to be in agreement with the conjecture
that "every weight system integrates".