{"status":"passed","maximum_budget":9900,"reachable_pair_states":78874764,"dangerous_seeds":61562872,"minimum_margin":0}
