{"checkpoint_truncations":0,"consumption":{"empirical_domain_attempts":4,"empirical_domain_context_skips":0,"empirical_domain_parse_failures":0,"empirical_domain_profiles_loaded":4,"empirical_domain_sat":1,"empirical_domain_solver_queries":4,"empirical_domain_unknown_fallbacks":0,"empirical_domain_unsat_fallbacks":3,"empirical_domain_validated":1,"empirical_domain_validation_failures":0},"generations_published":3,"publication_failures":0,"records":[{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1]]],[2961891267538854883,32,8,0,[[1,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1]]],[2961891267538854883,32,8,0,[[1,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1]]],[2961891267538854883,32,8,0,[[7,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1]]],[2961891267538854883,32,8,0,[[1,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1],[9,1]]],[2961891267538854883,32,8,0,[[2,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[254,1],[255,1],[256,1],[257,1],[258,1],[259,1],[260,1],[261,1]]],[2961891267538854883,32,8,0,[[254,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[254,1],[255,1],[256,1],[257,1],[258,1],[259,1],[260,1],[261,1]]],[2961891267538854883,32,8,0,[[254,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[248,1],[249,1],[250,1],[251,1],[252,1],[253,1],[254,1],[255,1]]],[2961891267538854883,32,8,0,[[248,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[0,1],[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1]]],[2961891267538854883,32,8,0,[[0,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[248,1],[249,1],[250,1],[251,1],[252,1],[253,1],[254,1],[255,1]]],[2961891267538854883,32,8,0,[[248,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1]]],[2961891267538854883,32,8,0,[[7,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[6,1],[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1]]],[2961891267538854883,32,8,0,[[6,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1],[15,1]]],[2961891267538854883,32,8,0,[[8,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1]]],[2961891267538854883,32,8,0,[[7,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[249,1],[250,1],[251,1],[252,1],[253,1],[254,1],[255,1],[256,1]]],[2961891267538854883,32,8,0,[[249,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1]]],[2961891267538854883,32,8,0,[[7,8]]]]},{"empirical_value_profile_context":"24f41b4c173183ded0d6d9905a274fcbabb9cbbb3656c88876b5a79f773b9cf5","empirical_value_profiles":[[984935023607356203,32,9,1,[[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1]]],[2961891267538854883,32,8,0,[[7,8]]]]}],"records_observed":17,"schema":"symcc-online-value-profile-state-v1","semantic_noops":14,"window":256}