IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGluY3ViYXRvci1zaW5nYQojIFZlcnNpb246IDAuMy4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42oWTQUvDMBTH7/0UAb1W8SoiiIJ4UAQPnrPm2QWTZqbp1NvQKqLspILIJgo7ePBQxOn8Smv6HWyX1ioZeivv/X+/8l4ST3AeBVQdo1CRRYYbwJC7gGhA4GiuqTibmUWrVcYh0AYmWhwC9Ud+rU45RHjhPJZekyrwVCRhwuXVgrKaEwPa2dhaX0H6Ns5OBtlZV7/eGQ3BClt4UTRY2k10/y2LE6QHnfQzLiEaKkkbkQLiKolpQAPflkwJldL3WJ8kKLscpY8XuT696hvvnsQcDoXcDy1b3frHMdmahde7RHrY01ePKH0Z6bhXMaHCjGFFRTAFrZuloT/Sl4Ps/NnQjJOGRRVFk14KBFJUMVg2cdEG2aZwaCFVw2DjpKfvbwzSksLP5+f5Bl0/osQ+cCthJNlNnD71xh+j9OEuTbq5tFPs6rqc+yCi3r6bjyeVZfzRK12dISrGPu3kS3d8COpNf1/ZqmqIjeLTsQ7kR2IXmCc4ICXQSgt7TUA7+QTY4YJMsbeO3aph8E1BIgblf0Iobv1vwtTKF2D629gH5wtgIXXy