Beaver-Green-Double-Page-SpreadVM