[ "\u0017‰\u001ff\u000e>6ñ\f£Vœk\u001aïx", [ [ "Vale.X64.StateLemmas.same_heap_types", 1, 1, 0, [ "@query", "equation_Vale.Arch.Heap.heap_impl" ], 0, "4c01157d3d85b89eb4f9d4833cdf90bc" ], [ "Vale.X64.StateLemmas.coerce", 1, 1, 0, [ "@MaxIFuel_assumption", "@query", "refinement_interpretation_Tm_refine_754b00004f4a881ff74d076ab276dfe1" ], 0, "913d343283bfec94a232284d4b576930" ], [ "Vale.X64.StateLemmas.use_machine_state_equal", 1, 1, 0, [ "@MaxIFuel_assumption", "@query", "Prims_interpretation_Tm_arrow_2eaa01e78f73e9bab5d0955fc1a662da", "Vale.X64.Machine_Semantics_s_interpretation_Tm_arrow_59570c1b09fcfe77d38fb81f91091100", "Vale.X64.Machine_s_interpretation_Tm_arrow_a3d9ef307178ed6e6eb0fe5485c5ade0", "equation_FStar.FunctionalExtensionality.is_restricted", "equation_FStar.FunctionalExtensionality.restricted_t", "equation_Vale.X64.Machine_Semantics_s.flags_t", "equation_Vale.X64.Machine_Semantics_s.regs_t", "equation_Vale.X64.Machine_s.flag", "equation_Vale.X64.StateLemmas.machine_state_eq", "equation_Vale.X64.StateLemmas.machine_state_equal", "fuel_guarded_inversion_Vale.X64.Machine_Semantics_s.machine_state", "function_token_typing_Vale.X64.Machine_s.t_reg", "kinding_Vale.X64.Machine_s.reg@tok", "lemma_FStar.FunctionalExtensionality.extensionality", "proj_equation_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_flags", "proj_equation_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_heap", "proj_equation_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_ok", "proj_equation_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_regs", "proj_equation_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_stack", "proj_equation_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_stackTaint", "proj_equation_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_trace", "refinement_interpretation_Tm_refine_7e4a6c5999db731b5d17d0418dfeea3e", "refinement_kinding_Tm_refine_72758763fd3a331db555502c82719e64", "typing_Tm_abs_f086d77986b470aab4bfebc171e6c366", "typing_Vale.X64.Machine_Semantics_s.__proj__Mkmachine_state__item__ms_flags", "typing_Vale.X64.Machine_Semantics_s.__proj__Mkmachine_state__item__ms_regs" ], 0, "b16c96c5b378a0f5d7d8c7ec2f8db144" ], [ "Vale.X64.StateLemmas.state_to_S", 1, 1, 0, [ "@query", "equation_Vale.Arch.Heap.heap_impl" ], 0, "17dd81fc2ba3a02507f857ae35c9221c" ], [ "Vale.X64.StateLemmas.state_of_S", 1, 1, 0, [ "@query", "equation_Vale.Arch.Heap.heap_impl" ], 0, "a5050db0dd3a8ca9120c1adc4d970962" ], [ "Vale.X64.StateLemmas.lemma_valid_mem_addr64", 1, 1, 2, [ "@query", "equation_Vale.Arch.Heap.heap_impl" ], 0, "6b850c48223c62e0e34921d0336a48e0" ], [ "Vale.X64.StateLemmas.lemma_valid_mem_addr64", 2, 1, 2, [ "@query", "equation_Vale.X64.Memory.get_vale_heap" ], 0, "6b8875b6cc4707108aed3c5a91e5608c" ], [ "Vale.X64.StateLemmas.lemma_valid_mem_addr128", 1, 1, 2, [ "@query", "equation_Vale.Arch.Heap.heap_impl" ], 0, "f51ceba9aadcf6563c447278eac3a97b" ], [ "Vale.X64.StateLemmas.lemma_valid_mem_addr128", 2, 1, 2, [ "@query", "equation_Vale.X64.Memory.get_vale_heap" ], 0, "cb5eb77dc8a1cfe62a0973d65b7c996f" ], [ "Vale.X64.StateLemmas.lemma_load_mem_get64", 1, 1, 2, [ "@query", "equation_Vale.Arch.Heap.heap_impl" ], 0, "ef7c2fb84bd0605c8417677905e4db7c" ], [ "Vale.X64.StateLemmas.lemma_load_mem_get64", 2, 1, 2, [ "@query" ], 0, "207f1d8bb55209dca7b90c7c23d06de6" ], [ "Vale.X64.StateLemmas.lemma_load_mem_get128", 1, 1, 2, [ "@query", "equation_Vale.Arch.Heap.heap_impl" ], 0, "0c11203989ee2543ef15f940ae528f4c" ], [ "Vale.X64.StateLemmas.lemma_load_mem_get128", 2, 1, 2, [ "@query" ], 0, "0034cb73ba117449c7148e5fec197995" ], [ "Vale.X64.StateLemmas.lemma_load_buffer_read64", 1, 1, 2, [ "@MaxIFuel_assumption", "@query", "constructor_distinct_Vale.Arch.HeapTypes_s.TUInt64", "equality_tok_Vale.Arch.HeapTypes_s.TUInt64@tok", "equation_Prims.nat", "equation_Vale.Def.Words_s.nat64", "equation_Vale.Def.Words_s.natN", "equation_Vale.X64.Memory.base_typ_as_vale_type", "projection_inverse_BoxInt_proj_0", "refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2", "refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c" ], 0, "6bdc24fe1a4e59ffd9572432c902e423" ], [ "Vale.X64.StateLemmas.lemma_load_buffer_read64", 2, 1, 2, [ "@MaxFuel_assumption", "@MaxIFuel_assumption", "@fuel_correspondence_FStar.List.Tot.Base.memP.fuel_instrumented", "@fuel_correspondence_Vale.X64.Memory.valid_mem_aux.fuel_instrumented", "@fuel_irrelevance_FStar.List.Tot.Base.memP.fuel_instrumented", "@query", "bool_inversion", "data_elim_Prims.Cons", "data_elim_Vale.Interop.Heap_s.InteropHeap", "eq2-interp", "equality_tok_Vale.Arch.HeapTypes_s.TUInt64@tok", "equation_FStar.Monotonic.HyperStack.is_wf_with_ctr_and_tip", "equation_FStar.Monotonic.HyperStack.mem", "equation_Vale.Arch.HeapImpl._ih", "equation_Vale.Interop.Types.b8", "equation_Vale.X64.Memory.b8", "equation_Vale.X64.Memory.buffer", "equation_Vale.X64.Memory.buffer64", "equation_Vale.X64.Memory.scale_by", "equation_Vale.X64.Memory.sub_list", "equation_Vale.X64.Memory.valid_buffer", "equation_Vale.X64.Memory.valid_buffer_read", "equation_Vale.X64.Memory.valid_mem", "equation_Vale.X64.Memory.valid_mem64", "equation_with_fuel_FStar.List.Tot.Base.memP.fuel_instrumented", "equation_with_fuel_Vale.X64.Memory.valid_mem_aux.fuel_instrumented", "fuel_guarded_inversion_Prims.list", "fuel_guarded_inversion_Vale.Arch.HeapImpl.vale_heap", "fuel_guarded_inversion_Vale.Interop.Heap_s.interop_heap", "fuel_guarded_inversion_Vale.Interop.Types.b8_", "int_inversion", "int_typing", "l_or-interp", "lemma_Vale.X64.Memory.buffer_length_buffer_as_seq", "lemma_Vale.X64.StateLemmas.lemma_valid_buffer_read64", "primitive_Prims.op_AmpAmp", "proj_equation_Vale.Interop.Heap_s.InteropHeap_addrs", "proj_equation_Vale.Interop.Heap_s.InteropHeap_ptrs", "projection_inverse_BoxBool_proj_0", "projection_inverse_BoxInt_proj_0", "refinement_interpretation_Tm_refine_02cf365122212f6201f1d812ba6aca45", "refinement_interpretation_Tm_refine_0461e75a646cbadf79d6506a42fd03fe", "refinement_interpretation_Tm_refine_05e15190c946858f68c69156f585f95a", "refinement_interpretation_Tm_refine_1989aefc4fb1fb3d9297a48192fc2009", "refinement_interpretation_Tm_refine_365abba901205a01d0ef28ebf2198c47", "refinement_interpretation_Tm_refine_703c6f879c5b001c36b204e25e1b2371", "refinement_interpretation_Tm_refine_938a25ff915313affa8c512a023f29fc", "refinement_interpretation_Tm_refine_d2bc69a528535ed6093b3e6a59ecec1b", "refinement_interpretation_Tm_refine_fb46804529de36a0e6813ea1066a078a", "refinement_interpretation_Tm_refine_fe084d710bd16568de37f3a949480eea", "refinement_kinding_Tm_refine_703c6f879c5b001c36b204e25e1b2371", "token_correspondence_Vale.X64.Memory.valid_mem_aux.fuel_instrumented", "typing_FStar.Monotonic.HyperHeap.rid_freeable", "typing_FStar.Monotonic.HyperHeap.root", "typing_Vale.Arch.HeapImpl._ih", "typing_Vale.Interop.Heap_s.__proj__InteropHeap__item__ptrs", "typing_Vale.X64.Memory.addr_in_ptr", "typing_Vale.X64.Memory.valid_mem", "typing_Vale.X64.Memory.valid_mem64", "typing_tok_Vale.Arch.HeapTypes_s.TUInt64@tok" ], 0, "e2af913f8e4358da4db54536b12fddf7" ], [ "Vale.X64.StateLemmas.lemma_load_buffer_read128", 1, 1, 2, [ "@MaxFuel_assumption", "@MaxIFuel_assumption", "@fuel_correspondence_FStar.List.Tot.Base.memP.fuel_instrumented", "@fuel_correspondence_Vale.X64.Memory.valid_mem_aux.fuel_instrumented", "@fuel_irrelevance_FStar.List.Tot.Base.memP.fuel_instrumented", "@query", "bool_inversion", "data_elim_Prims.Cons", "data_elim_Vale.Interop.Heap_s.InteropHeap", "eq2-interp", "equality_tok_Vale.Arch.HeapTypes_s.TUInt128@tok", "equation_FStar.Monotonic.HyperStack.is_wf_with_ctr_and_tip", "equation_FStar.Monotonic.HyperStack.mem", "equation_Vale.Arch.HeapImpl._ih", "equation_Vale.Interop.Types.b8", "equation_Vale.X64.Memory.b8", "equation_Vale.X64.Memory.buffer", "equation_Vale.X64.Memory.buffer128", "equation_Vale.X64.Memory.scale_by", "equation_Vale.X64.Memory.sub_list", "equation_Vale.X64.Memory.valid_buffer", "equation_Vale.X64.Memory.valid_buffer_read", "equation_Vale.X64.Memory.valid_mem128", "equation_with_fuel_FStar.List.Tot.Base.memP.fuel_instrumented", "equation_with_fuel_Vale.X64.Memory.valid_mem_aux.fuel_instrumented", "fuel_guarded_inversion_Prims.list", "fuel_guarded_inversion_Vale.Arch.HeapImpl.vale_heap", "fuel_guarded_inversion_Vale.Interop.Heap_s.interop_heap", "fuel_guarded_inversion_Vale.Interop.Types.b8_", "int_inversion", "int_typing", "l_or-interp", "lemma_Vale.X64.Memory.buffer_length_buffer_as_seq", "lemma_Vale.X64.StateLemmas.lemma_valid_buffer_read128", "primitive_Prims.op_AmpAmp", "proj_equation_Vale.Interop.Heap_s.InteropHeap_addrs", "proj_equation_Vale.Interop.Heap_s.InteropHeap_ptrs", "projection_inverse_BoxBool_proj_0", "projection_inverse_BoxInt_proj_0", "refinement_interpretation_Tm_refine_02cf365122212f6201f1d812ba6aca45", "refinement_interpretation_Tm_refine_0461e75a646cbadf79d6506a42fd03fe", "refinement_interpretation_Tm_refine_05e15190c946858f68c69156f585f95a", "refinement_interpretation_Tm_refine_365abba901205a01d0ef28ebf2198c47", "refinement_interpretation_Tm_refine_703c6f879c5b001c36b204e25e1b2371", "refinement_interpretation_Tm_refine_938a25ff915313affa8c512a023f29fc", "refinement_interpretation_Tm_refine_d2bc69a528535ed6093b3e6a59ecec1b", "refinement_interpretation_Tm_refine_fb46804529de36a0e6813ea1066a078a", "refinement_interpretation_Tm_refine_fe084d710bd16568de37f3a949480eea", "refinement_kinding_Tm_refine_703c6f879c5b001c36b204e25e1b2371", "token_correspondence_Vale.X64.Memory.valid_mem_aux.fuel_instrumented", "typing_FStar.Monotonic.HyperHeap.rid_freeable", "typing_FStar.Monotonic.HyperHeap.root", "typing_Vale.Arch.HeapImpl._ih", "typing_Vale.Interop.Heap_s.__proj__InteropHeap__item__ptrs", "typing_Vale.X64.Memory.addr_in_ptr", "typing_Vale.X64.Memory.valid_mem128", "typing_Vale.X64.Memory.valid_mem_aux", "typing_tok_Vale.Arch.HeapTypes_s.TUInt128@tok" ], 0, "2751e00705e7539fc86335e56c4d5c65" ], [ "Vale.X64.StateLemmas.lemma_to_eval_operand", 1, 1, 1, [ "@MaxIFuel_assumption", "@query", "FStar.FunctionalExtensionality_interpretation_Tm_arrow_a7d5cc170be69663c495e8582d2bc62a", "Prims_interpretation_Tm_arrow_2eaa01e78f73e9bab5d0955fc1a662da", "Vale.Arch.HeapTypes_s_pretyping_b2ecc36deaf346c775ae2b728a51b51e", "Vale.X64.Machine_Semantics_s_interpretation_Tm_arrow_ef1cb164cb5e999e95914068a32c6a77", "Vale.X64.Machine_s_interpretation_Tm_arrow_a3d9ef307178ed6e6eb0fe5485c5ade0", "Vale.X64.Machine_s_pretyping_518a4fb262eb27362824d01da01681c3", "b2t_def", "data_elim_FStar.Pervasives.Native.Mktuple2", "data_elim_Vale.X64.Machine_s.MIndex", "data_elim_Vale.X64.Machine_s.MReg", "data_elim_Vale.X64.Machine_s.OMem", "data_elim_Vale.X64.Machine_s.OReg", "data_elim_Vale.X64.Machine_s.OStack", "data_typing_intro_Vale.Arch.HeapTypes_s.Secret@tok", "data_typing_intro_Vale.X64.Machine_s.Reg@tok", "equality_tok_Vale.Arch.HeapTypes_s.TUInt64@tok", "equation_FStar.FunctionalExtensionality.feq", "equation_Prims.nat", "equation_Vale.Def.Words_s.nat64", "equation_Vale.X64.Machine_Semantics_s.eval_maddr", "equation_Vale.X64.Machine_Semantics_s.eval_operand", "equation_Vale.X64.Machine_s.n_reg_files", "equation_Vale.X64.Machine_s.n_regs", "equation_Vale.X64.Machine_s.operand64", "equation_Vale.X64.Machine_s.reg_64", "equation_Vale.X64.Machine_s.reg_file_id", "equation_Vale.X64.Machine_s.reg_id", "equation_Vale.X64.Machine_s.t_reg_to_int", "equation_Vale.X64.Machine_s.tmaddr", "equation_Vale.X64.Memory.b8", "equation_Vale.X64.Memory.get_vale_heap", "equation_Vale.X64.Memory.sub_list", "equation_Vale.X64.Memory.valid_buffer", "equation_Vale.X64.Memory.valid_mem", "equation_Vale.X64.Memory.valid_mem64", "equation_Vale.X64.Regs.to_fun", "equation_Vale.X64.State.eval_maddr", "equation_Vale.X64.State.eval_operand", "equation_Vale.X64.State.valid_maddr", "equation_Vale.X64.State.valid_src_operand", "equation_Vale.X64.StateLemmas.state_to_S", "fuel_guarded_inversion_FStar.Pervasives.Native.tuple2", "fuel_guarded_inversion_Vale.X64.Machine_s.maddr", "fuel_guarded_inversion_Vale.X64.Machine_s.operand", "fuel_guarded_inversion_Vale.X64.Machine_s.reg", "fuel_guarded_inversion_Vale.X64.State.vale_state", "function_token_typing_Vale.X64.Machine_s.t_reg", "int_inversion", "int_typing", "interpretation_Tm_abs_6c306f6a24efa681d9f42f76d1aa10ba", "inversion-interp", "kinding_Vale.X64.Machine_s.reg@tok", "lemma_FStar.FunctionalExtensionality.feq_on_domain", "lemma_Vale.X64.Stack_Sems.equiv_load_stack64", "lemma_Vale.X64.StateLemmas.lemma_load_mem_get64", "primitive_Prims.op_AmpAmp", "proj_equation_Vale.Interop.Heap_s.InteropHeap_ptrs", "proj_equation_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_heap", "proj_equation_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_regs", "proj_equation_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_stack", "proj_equation_Vale.X64.State.Mkvale_state_vs_regs", "proj_equation_Vale.X64.State.Mkvale_state_vs_stack", "projection_inverse_BoxBool_proj_0", "projection_inverse_BoxInt_proj_0", "projection_inverse_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_heap", "projection_inverse_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_regs", "projection_inverse_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_stack", "refinement_interpretation_Tm_refine_0461e75a646cbadf79d6506a42fd03fe", "refinement_interpretation_Tm_refine_0559236e7a05befcc7b6302f3642ad81", "refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2", "refinement_interpretation_Tm_refine_ad5f9e9e07a5ab25763e7f2290e5f84c", "refinement_interpretation_Tm_refine_c365eb902b454950de62fba701d9049d", "refinement_interpretation_Tm_refine_d9979b96a3f2b18961b3dd63a2783b64", "refinement_interpretation_Tm_refine_fb46804529de36a0e6813ea1066a078a", "token_correspondence_Vale.X64.Machine_Semantics_s.__proj__Mkmachine_state__item__ms_regs", "token_correspondence_Vale.X64.Machine_s.t_reg", "typing_Tm_abs_6c306f6a24efa681d9f42f76d1aa10ba", "typing_Vale.Arch.HeapImpl.__proj__Mkvale_full_heap__item__vf_heap", "typing_Vale.Arch.HeapImpl._ih", "typing_Vale.Interop.Heap_s.__proj__InteropHeap__item__ptrs", "typing_Vale.X64.Memory.addr_in_ptr", "typing_Vale.X64.Memory.valid_mem_aux", "typing_Vale.X64.State.__proj__Mkvale_state__item__vs_heap", "typing_Vale.X64.State.__proj__Mkvale_state__item__vs_stack", "typing_Vale.X64.State.eval_maddr", "typing_tok_Vale.Arch.HeapTypes_s.TUInt64@tok" ], 0, "252170bcd7848bb8720529cca61b00b4" ], [ "Vale.X64.StateLemmas.lemma_to_of", 1, 2, 0, [ "@MaxIFuel_assumption", "@query", "FStar.FunctionalExtensionality_interpretation_Tm_arrow_a7d5cc170be69663c495e8582d2bc62a", "Prims_interpretation_Tm_arrow_2eaa01e78f73e9bab5d0955fc1a662da", "Vale.X64.Flags_interpretation_Tm_arrow_c9f84314ba6aade3760e20965d165b65", "Vale.X64.Machine_Semantics_s_interpretation_Tm_arrow_59570c1b09fcfe77d38fb81f91091100", "Vale.X64.Machine_Semantics_s_interpretation_Tm_arrow_6d1d81ae558d658d7d34082785eb5144", "Vale.X64.Machine_Semantics_s_interpretation_Tm_arrow_ef1cb164cb5e999e95914068a32c6a77", "Vale.X64.Machine_s_interpretation_Tm_arrow_a3d9ef307178ed6e6eb0fe5485c5ade0", "Vale.X64.Machine_s_pretyping_518a4fb262eb27362824d01da01681c3", "equation_FStar.FunctionalExtensionality.feq", "equation_FStar.FunctionalExtensionality.is_restricted", "equation_FStar.FunctionalExtensionality.restricted_t", "equation_Vale.X64.Flags.sel_curry", "equation_Vale.X64.Flags.to_fun", "equation_Vale.X64.Machine_Semantics_s.flags_t", "equation_Vale.X64.Machine_Semantics_s.regs_t", "equation_Vale.X64.Machine_s.flag", "equation_Vale.X64.Regs.regs_fun", "equation_Vale.X64.Regs.to_fun", "equation_Vale.X64.StateLemmas.state_of_S", "equation_Vale.X64.StateLemmas.state_to_S", "fuel_guarded_inversion_Vale.X64.Machine_s.reg", "function_token_typing_Vale.X64.Flags.sel_curry", "function_token_typing_Vale.X64.Machine_s.t_reg", "interpretation_Tm_abs_6c306f6a24efa681d9f42f76d1aa10ba", "interpretation_Tm_abs_f086d77986b470aab4bfebc171e6c366", "kinding_Vale.X64.Machine_s.reg@tok", "lemma_FStar.FunctionalExtensionality.extensionality", "lemma_FStar.FunctionalExtensionality.feq_on_domain", "proj_equation_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_flags", "proj_equation_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_regs", "proj_equation_Vale.X64.State.Mkvale_state_vs_flags", "proj_equation_Vale.X64.State.Mkvale_state_vs_heap", "proj_equation_Vale.X64.State.Mkvale_state_vs_ok", "proj_equation_Vale.X64.State.Mkvale_state_vs_regs", "proj_equation_Vale.X64.State.Mkvale_state_vs_stack", "proj_equation_Vale.X64.State.Mkvale_state_vs_stackTaint", "projection_inverse_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_flags", "projection_inverse_Vale.X64.Machine_Semantics_s.Mkmachine_state_ms_regs", "projection_inverse_Vale.X64.State.Mkvale_state_vs_flags", "projection_inverse_Vale.X64.State.Mkvale_state_vs_heap", "projection_inverse_Vale.X64.State.Mkvale_state_vs_ok", "projection_inverse_Vale.X64.State.Mkvale_state_vs_regs", "projection_inverse_Vale.X64.State.Mkvale_state_vs_stack", "projection_inverse_Vale.X64.State.Mkvale_state_vs_stackTaint", "refinement_interpretation_Tm_refine_3b1a603d57602642cd8cec1a9fa6b2c7", "refinement_interpretation_Tm_refine_423a970236765465eb8eb63b6e1b8f53", "refinement_interpretation_Tm_refine_7e4a6c5999db731b5d17d0418dfeea3e", "refinement_kinding_Tm_refine_72758763fd3a331db555502c82719e64", "token_correspondence_Vale.X64.Flags.sel_curry", "token_correspondence_Vale.X64.Machine_s.t_reg", "typing_Tm_abs_6c306f6a24efa681d9f42f76d1aa10ba", "typing_Tm_abs_f086d77986b470aab4bfebc171e6c366", "typing_Vale.X64.Flags.of_fun", "typing_Vale.X64.Flags.to_fun", "typing_Vale.X64.Machine_Semantics_s.__proj__Mkmachine_state__item__ms_flags", "typing_Vale.X64.Machine_Semantics_s.__proj__Mkmachine_state__item__ms_regs", "typing_Vale.X64.Regs.of_fun", "typing_Vale.X64.Regs.to_fun", "typing_Vale.X64.State.__proj__Mkvale_state__item__vs_flags", "typing_Vale.X64.State.__proj__Mkvale_state__item__vs_regs" ], 0, "f7ce6e8531332a3257ae97e5afe96d40" ] ] ]