<?php
function cases(){global $runtime;$c=json_decode(file_get_contents($runtime.'/cases.json'),true);if(is_file($runtime.'/retest-cases.json'))$c=array_merge($c,json_decode(file_get_contents($runtime.'/retest-cases.json'),true));return $c;}
