<?php
$a = [];
$a[] = 1;
$a[] = 1;
$a[] = 1;
$a[] = 2;
$a[] = 2;
$a[] = 2;
$a[] = 3;
PD9waHAKCiRhID0gW107CiRhW10gPSAxOwokYVtdID0gMTsKJGFbXSA9IDE7CiRhW10gPSAyOwokYVtdID0gMjsKJGFbXSA9IDI7CiRhW10gPSAzOwoKcHJpbnRfcihhcnJheV91bmlxdWUoJGEpKTsKcHJpbnRfcihhcnJheV92YWx1ZXMoYXJyYXlfdW5pcXVlKCRhKSkpOw==