// Instance
game-specific Instance
// Solution
game-specific Solution
// PG_Claim
domain