\n1";$valid=static function($s){return is_string($s)&&strlen($s)===33&&(int)substr($s,8,12)===5&&substr($s,32)==='1';};if(!$valid($value))throw new RuntimeException('Original numeric FileCache bytes');$n=1;foreach([substr($value,0,32).'i:1;',substr($value,0,32).'0',substr($value,0,32).'2',str_replace('000000000005','000000000006',$value),substr($value,0,32).'1x',null,1,[]] as $bad){if($valid($bad))throw new RuntimeException('Corrupted lock observation accepted');$n++;}echo json_encode(['checks'=>$n,'counterexamples'=>8,'SQL'=>0,'HTTP'=>0,'original_numeric_serialization'=>'1']),"\n";