VERIFIABLE COMPUTING SYSTEMS LIMITED — Insolvency · Emptera