Source of state-sqlite.php: