<?php
function cases(){return json_decode(file_get_contents(__DIR__.'/execution-plan.json'),true)['cases'];}
