e/tN27FsOpH4uBuYRiie2vmpc6tglAzHOpaJhSiQNXjmFCviwRzGowGNpht2NWnFF2PHInhV0WyzQoPe22JXCImGMW7rkpb+1hHGP4kQ5NvSsG/RlQJh5nWDzJnaHEMQijibYxzkQ3NAUb7rA0mWbezKpykI7DMb3vw7NVMyupwpKcSLJ3aKy6Zd/m0qsvGgbxlMcYBr2LaC/TBR+zsLKUdrpd4MRLso3fhGMbM4DdL3qtXD0rzpxJYmcn8r0O1UyOUV9fE/jKOgBWUo2oc10yRT/StUDFrXLB7yTzOlwW8MkukaAxbaX0rPlGm5H12XEHXkO6TNSRh7VVaE0seyRhfobOKhX0IPLk6sIycqFGCy8MSqw4muPwLv6gGY6IEzb37t8wsiRNptE5kuCYO4t6TlCyE8X61OmS7cROYTt+s=
0(0)