66756e6374696f6e20696e7374616c6c5369676e61747572652829207b247431203d205a454e50484f544f5f56455253494f4e2e5a454e50484f544f5f52454c454153452e273a273b69662028697373657428245f5345525645525b275345525645525f534f465457415245275d2929207b247431202e3d20245f5345525645525b275345525645525f534f465457415245275d2e273a273b7d20656c7365207b247431202e3d2027736f66747761726520756e6b6e6f776e3a273b7d69662028646566696e6564282752454c45415345272929207b247431202e3d2066696c6573697a6528534552564552504154482e272f272e5a454e464f4c4445522e272f66756e6374696f6e732e70687027292e273a273b7d20656c7365207b247431202e3d2066696c6573697a6528534552564552504154482e272f272e5a454e464f4c4445522e272f5369676e617475726527292e273a273b7d247431202e3d206469726e616d6528534552564552504154482e272f272e5a454e464f4c444552293b247431203d207368613128247431293b246964203d20227b222e737562737472282474312c20302c2038292e272d272e737562737472282474312c20382c2034292e272d272e737562737472282474312c31322c2034292e272d272e737562737472282474312c31362c2034292e272d272e737562737472282474312c32302c3132292e227d223b696620284f46465345545f504154483d3d3229207b72657475726e202469643b7d20656c7365207b696620282469643d3d6765744f7074696f6e28277a656e70686f746f5f696e7374616c6c272929207b72657475726e205a454e50484f544f5f56455253494f4e2e5a454e50484f544f5f52454c454153453b7d20656c7365207b72657475726e2066616c73653b7d7d7d