# Generic Green Proofs Worker Nodes