<?php
$a[] = '56';
$a[] = '66';
$a[] = '';
$a[] = '58';
$a[] = '85';
$a[] = '';
$a[] = '';
$a[] = '76';
$a[] = '';
$a[] = '57';
}
PD9waHAKJGFbXSA9ICc1Nic7CiRhW10gPSAnNjYnOwokYVtdID0gJyc7CiRhW10gPSAnNTgnOwokYVtdID0gJzg1JzsKJGFbXSA9ICcnOwokYVtdID0gJyc7CiRhW10gPSAnNzYnOwokYVtdID0gJyc7CiRhW10gPSAnNTcnOwppZihjb3VudCgkYSkpIHsKCSRhID0gYXJyYXlfZmlsdGVyKCRhKTsKCWVjaG8gJGF2ZXJhZ2UgPSBhcnJheV9zdW0oJGEpL2NvdW50KCRhKTsKfQ==