<?php
function zip() {
};
PD9waHAKCmZ1bmN0aW9uIHppcCgpIHsKICAgICRwYXJhbXMgPSBmdW5jX2dldF9hcmdzKCk7CiAgICAkcmVzdWx0ID0gY2FsbF91c2VyX2Z1bmNfYXJyYXkoJ2FycmF5X21hcCcsIGFycmF5X21lcmdlKGFycmF5KG51bGwpLCAkcGFyYW1zKSk7CiAgICAkbGVuZ3RoID0gbWluKGFycmF5X21hcCgnY291bnQnLCAkcGFyYW1zKSk7CiAgICByZXR1cm4gYXJyYXlfc2xpY2UoJHJlc3VsdCwgMCwgJGxlbmd0aCk7Cn07CgokYSA9IGFycmF5KDEsMiwzLDQsNSk7CiRiID0gYXJyYXkoJ2EnLCdiJyk7Cgp2YXJfZHVtcCh6aXAoJGEpKTsK