scip3EHEEZUmNhti906NCVTWwmm/XgBSwiTVMy41G3urwpcwg/4WFzY3RDj/JZe3igFYl6yOIAwwbmIg+cOM4wfCwa7/PwBm4f/3Bdpdr2dXu5ngBBNz1NDr1HllfWUY
156
NP9AGxz0qM18fX8mxDnZWeThs8aslm2XTrHp1T0fXp07+npwqpGmCvV65c1to/4s
JRKtmvgG8q3rR8wQHupXqcKlyFc+WnkEGYfDmYHlw6J5nLufQyqCDCjWLgLK0pfVlO/u5Qfw6l6VxdtBHVrgA6p4mxl/aQocKMHOlWfyEO0=
144
Jcvg1joIRCXnrsWRrsKBdLszRAtd5bhcpU5G6s6o0P4=
u6HZvQJnSg7wId7dNQrMznV27blA8YDc1KPOrLzOeW/O1Y/FTD0K34eLvGRI8XDrpupak60bDwwWa1pvuNGku1bAs5hkoQqQG0h9Z1V9P2mvSsGIoKIQB8ZzCEDbXzl9vQkL/KBoMdn9lrvzdMlJTQ==
138
M94SoZoMY3A6jowwG3IXY+5d7AuuJXG78ug11lWpvRk1u0v2xdnuIQ8sluFVTDytVkNtSkqwt9ZNl3OokTuuWw==