{"what":"Kev-4B: the Swift host (apps/Kev, the kev CLI, Release, Mac) on the published graph (round 12): the gate (ids = oracle, the readout bar, the shared prefix) and the .aimodel specialized by Swift against the AOT asset.","sources":[{"file":"results/r12_swift_gate_K128_4b.json","bytes":220066,"sha256":"971ed3d745cb609e04b6004069e410def7b01228bc0cf8ac2fd843dc2493db91"},{"file":"results/r12_swift_jit_K128_4b.json","bytes":8955,"sha256":"f8e8d6476784e6e3a08b5dabb349d3eec6f2df98253cddcb95f2eab794e494d3"},{"file":"swift/timing/r12_swift_timing_20261004_132821_smoke/jit_K128.json","bytes":9355,"sha256":"50c2d97090dacd1747b295b0ef1d7e9aaf9504cef3308401d68f113987575814"},{"file":"results/r12_swift_c2.json","bytes":10973,"sha256":"ce93dab162e4bfec31c32e7015f780365b0a8a464a09a0a0eaa3304bc5c437b5"}],"trimmed":{"removed":["the per-row hidden values (sha256 kept)","coreai_cache_* / cache_bytes / cache_entries_added_by_jit: the binary read a cache folder whose name differs from the runtime's, so these fields measured nothing"],"serialization":"compact json (no indentation)","full_copies":"the source files above, in the lane directory $ZOO_WORK_ROOT/_kev/ (not in the repository)","paths":"local paths rewritten: the lane directory as $ZOO_WORK_ROOT/_kev, the repository relative, the home directory as ~, temporary directories as $TMPDIR, Xcode as $DEVELOPER_DIR, the phone's app container as <app container>","process_ids":"removed (keys pid / pids; 'pid <n>' in text)"},"gate":{"schema":"kev-r12-swift-fixture/1","generated_at":"2026-10-04T05:35:38+00:00","model":"kev-4b","label":"K128","sets":{"fixture":{"set":"fixture","rows":434,"bar_swift":{"questions":434,"questions_non_near_tie":422,"argmax_equal_non_near_tie":422,"near_tie_questions":12,"argmax_equal_near_tie":10,"max_abs_dp":0.015306353569030762,"worst_row":"semif_1105577da4c8dad4609d:q0","mean_of_run_mean_abs_dp":0.0007686224839754062,"pass":true},"bar_python_gate":{"questions_non_near_tie":422,"argmax_equal_non_near_tie":422,"near_tie_questions":12,"argmax_equal_near_tie":10,"max_abs_dp":0.015306353569030762,"mean_of_run_mean_abs_dp":0.000768624044211272},"decide_opts_equal_oracle":434,"hidden_sha256_equal_python_gate":434,"p_max_abs_diff_python_gate":4.470348358154297e-07,"finite_rows":434,"reset_bit_equal":true,"shared_hidden_bit_equal_direct":434,"shared_p_bit_equal_direct":434,"meta":{"label":"r12 Swift fixture Kev-4B K128 part 0","set":"fixture","shared":true,"assets":{"bundle":"$ZOO_WORK_ROOT/_kev/exports/bundles/kev_4b_decode_fp16_metal_pf128","asset":"$ZOO_WORK_ROOT/_kev/exports/bundles_aotc/kev_4b_decode_fp16_metal_pf128.h16c.aimodelc","kind":"aot","options":"SpecializationOptions.default"},"load":{"decoder_function":1.255365458,"decoder_model":0.0017634170000000002,"head":0.002565791,"tokenizer":0.481225375,"wall":1.749889875},"load_wall_s":1.749921,"runs_wall_s":12.126771125,"reset_check":{"hidden_bit_equal":true,"p_bit_equal":true,"parts":10},"mpsgraph_scratch_before_load":{"dir":"$TMPDIR/com.apple.MetalPerformanceShadersGraph","pid_dirs":[],"bytes":0},"mpsgraph_scratch_after_load":{"dir":"$TMPDIR/com.apple.MetalPerformanceShadersGraph","pid_dirs":["mpsgraph-<pid>-2026-10-04_14_31_08-3158495940"],"bytes":0},"mpsgraph_scratch_end":{"dir":"$TMPDIR/com.apple.MetalPerformanceShadersGraph","pid_dirs":["mpsgraph-<pid>-2026-10-04_14_31_08-3158495940"],"bytes":0},"footprint_after_load_bytes":303094840,"footprint_bytes_min_max":[619475424,786969176],"footprint_end_bytes":786969176},"rows_detail":[{"row":"tv4_000:q0","T":94,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_001:q0","T":63,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_002:q0","T":96,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.30385160446167e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_003:q0","T":75,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_004:q0","T":66,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.984919309616089e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_005:q0","T":81,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.725290298461914e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_006:q0","T":237,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_007:q0","T":80,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_008:q0","T":96,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.6566128730773926e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_009:q0","T":321,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_010:q0","T":64,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_011:q0","T":105,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_012:q0","T":83,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.450580596923828e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_013:q0","T":163,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.980232238769531e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_014:q0","T":87,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.9371509552001953e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_015:q0","T":177,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.21540641784668e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_016:q0","T":82,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_017:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.21540641784668e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_018:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.3969838619232178e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_019:q0","T":130,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_020:q0","T":82,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_021:q0","T":65,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_022:q0","T":144,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.842877388000488e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_023:q0","T":92,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.341104507446289e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_024:q0","T":107,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.470348358154297e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_025:q0","T":180,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.9371509552001953e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_026:q0","T":92,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.2782554626464844e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_027:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.043081283569336e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_028:q0","T":290,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_029:q0","T":64,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_030:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_031:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_032:q0","T":135,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.587935447692871e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_033:q0","T":293,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.2351741790771484e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_034:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.384185791015625e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_035:q0","T":108,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.21540641784668e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_036:q0","T":150,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.2351741790771484e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_037:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_038:q0","T":130,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_039:q0","T":69,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_040:q0","T":208,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_041:q0","T":208,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_042:q0","T":59,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_043:q0","T":60,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_044:q0","T":82,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9103830456733704e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_045:q0","T":90,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_046:q0","T":68,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.725290298461914e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_047:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.341104507446289e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_048:q0","T":119,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.5762786865234375e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_049:q0","T":86,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_050:q0","T":73,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_051:q0","T":136,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.980232238769531e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_052:q0","T":132,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.0489096641540527e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_053:q0","T":358,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_054:q0","T":113,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_055:q0","T":189,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_056:q0","T":69,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_057:q0","T":63,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.682209014892578e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_058:q0","T":129,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.2782554626464844e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4_059:q0","T":102,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_00:q0","T":42,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_01:q0","T":38,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.5331974029541016e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_02:q0","T":36,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_03:q0","T":73,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.9371509552001953e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_04:q0","T":39,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_05:q0","T":52,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_06:q0","T":37,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_07:q0","T":37,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_08:q0","T":52,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_09:q0","T":61,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.2351741790771484e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_10:q0","T":40,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_11:q0","T":48,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_12:q0","T":82,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.91155481338501e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_13:q0","T":60,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.341104507446289e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_14:q0","T":39,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_15:q0","T":44,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.470348358154297e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_16:q0","T":50,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_17:q0","T":56,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_18:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_emotion_19:q0","T":74,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_00:q0","T":68,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_01:q0","T":78,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_02:q0","T":64,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_03:q0","T":93,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.470348358154297e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_04:q0","T":70,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.384185791015625e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_05:q0","T":57,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_06:q0","T":69,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_07:q0","T":59,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_08:q0","T":95,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.172325134277344e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_09:q0","T":87,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_10:q0","T":90,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_11:q0","T":75,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.705522537231445e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_12:q0","T":62,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_13:q0","T":43,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_14:q0","T":71,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_15:q0","T":62,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_16:q0","T":104,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_17:q0","T":72,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_18:q0","T":57,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.384185791015625e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_tweet_offensive_19:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_00:q0","T":94,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_01:q0","T":95,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.862645149230957e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_02:q0","T":51,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_03:q0","T":64,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.0978193283081055e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_04:q0","T":137,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_05:q0","T":83,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4156103134155273e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_06:q0","T":63,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.384185791015625e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_07:q0","T":54,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_08:q0","T":75,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":9.778887033462524e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_09:q0","T":54,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_10:q0","T":72,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":9.313225746154785e-10,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_11:q0","T":50,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.2351741790771484e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_12:q0","T":84,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_13:q0","T":52,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":0.0,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_14:q0","T":69,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.450580596923828e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_15:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_16:q0","T":71,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_17:q0","T":80,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_18:q0","T":44,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_qnli_19:q0","T":85,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_00:q0","T":81,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_01:q0","T":113,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.5762786865234375e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_02:q0","T":87,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_03:q0","T":107,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.7939677238464355e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_04:q0","T":86,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_05:q0","T":96,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.470348358154297e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_06:q0","T":97,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_07:q0","T":72,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.3527612686157227e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_08:q0","T":73,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.2351741790771484e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_09:q0","T":127,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.341104507446289e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_10:q0","T":86,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_11:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_12:q0","T":93,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.5331974029541016e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_13:q0","T":107,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_14:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.980232238769531e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_15:q0","T":74,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_16:q0","T":68,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.980232238769531e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_17:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.470348358154297e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_18:q0","T":83,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_paws_19:q0","T":75,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.470348358154297e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_00:q0","T":149,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_01:q0","T":57,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_02:q0","T":102,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.6566128730773926e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_03:q0","T":97,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_04:q0","T":117,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_05:q0","T":70,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.955777406692505e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_06:q0","T":184,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.587935447692871e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_07:q0","T":82,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.984919309616089e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_08:q0","T":162,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_09:q0","T":144,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_10:q0","T":85,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_11:q0","T":366,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_12:q0","T":192,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_13:q0","T":147,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_14:q0","T":127,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.6298145055770874e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_15:q0","T":270,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.6566128730773926e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_16:q0","T":335,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_17:q0","T":169,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1175870895385742e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_18:q0","T":65,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_sciq_19:q0","T":74,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_00:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_01:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.3969838619232178e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_02:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.381903171539307e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_03:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.6566128730773926e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_04:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.05359673500061e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_05:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_06:q0","T":75,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.984919309616089e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_07:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_08:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":9.313225746154785e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_09:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_10:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_11:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.3283064365386963e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_12:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_13:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.190951585769653e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_14:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.05359673500061e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_15:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.122274160385132e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_16:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.847564458847046e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_17:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.3283064365386963e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_18:q0","T":75,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_legacy_holdout_19:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.026798367500305e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_00:q0","T":145,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.51925802230835e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_01:q0","T":145,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_02:q0","T":145,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.51925802230835e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_03:q0","T":145,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_04:q0","T":136,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.6566128730773926e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_05:q0","T":137,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.0244548320770264e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_06:q0","T":136,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.6566128730773926e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_07:q0","T":136,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_08:q0","T":166,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_09:q0","T":167,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_10:q0","T":166,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_11:q0","T":166,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_12:q0","T":122,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_13:q0","T":122,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_14:q0","T":122,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_15:q0","T":122,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_16:q0","T":149,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.450580596923828e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_17:q0","T":149,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.862645149230957e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_18:q0","T":149,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.450580596923828e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4x_composition_holdout_19:q0","T":149,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_00:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_01:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_02:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_03:q0","T":100,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_04:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_05:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_06:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_07:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_08:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.172325134277344e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_09:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_10:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_11:q0","T":99,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_12:q0","T":100,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_13:q0","T":100,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.381903171539307e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_14:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_15:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_16:q0","T":100,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_17:q0","T":100,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_18:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4s_19:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_a3f18f3a63d45345942b:q0","T":68,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.280568540096283e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_f40beba9088c8db8bbd6:q0","T":66,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_0b43ea8e24e74d621f1b:q0","T":60,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_942ec65dac0bfb9874f9:q0","T":60,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_e0c140e9222d1bce5647:q0","T":72,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":9.313225746154785e-10,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_8e8c3804a3c15ebb31e3:q0","T":69,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_56c419b12cd37cbe790c:q0","T":71,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.450580596923828e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_75b470586834df8c568d:q0","T":64,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_834f3b3e10cc61b33d25:q0","T":58,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_76c7a79b1ff2363a60c5:q0","T":58,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_36c71bb649b7d5eccb1f:q0","T":57,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.5133991837501526e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_eac5121a4a1bf391a08c:q0","T":56,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_44574c44e243ee1b2f52:q0","T":69,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.450580596923828e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_2608370d01783735c3ea:q0","T":69,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_ec94ef909f7918695ab3:q0","T":63,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_03d919fd0e9b3a7cd1e6:q0","T":58,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_86a15618ba4cb90a307e:q0","T":62,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_3dd9c3ac98f8ddf7bdd3:q0","T":62,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_36273dd4777876a26338:q0","T":58,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.587935447692871e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_07ee70cfe4b01330ce89:q0","T":58,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_51ceab3ce622c7c759f1:q0","T":74,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.725290298461914e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_b8091be929b1e489fcc4:q0","T":74,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_c89b86e3f55123bfa506:q0","T":65,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_3b0958cabc339005cf66:q0","T":61,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_f2b4ec4930322fe45118:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_61ac20b07a5189231e15:q0","T":82,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_4b3d794c004566610181:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.955777406692505e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_b7c4e62d07986286fce0:q0","T":72,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.384185791015625e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_9473603b44af63beab79:q0","T":73,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_d41072dc35d8cd14c056:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_33d6e5da58f0fee2490d:q0","T":73,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_823bf736b92e9d8fa66d:q0","T":73,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_8a4c3de28be95c105ca1:q0","T":72,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_ea7ec66a5e8eac886548:q0","T":75,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_25172cd6ddc49ab0ca70:q0","T":66,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_fb73a85d386cf59b0c51:q0","T":68,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_a02fd582d2881cc462b2:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.381903171539307e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_19f37d5a97034bd7d04f:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.2351741790771484e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_fda0ca94652c6d739ecf:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_d0e36c4cb10a29b3191c:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_a0a39ace7e5337d038a7:q0","T":80,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.3283064365386963e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_eeae283841ce75dd25bf:q0","T":80,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_00bb4cc043f7d2b288d4:q0","T":72,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.6763806343078613e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_1a81ead69e93e5d0c86a:q0","T":79,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.341104507446289e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_4444dad25e438f128673:q0","T":73,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_3226202ba1ada2570e9f:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_3f783eec5c90812479bc:q0","T":73,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.086162567138672e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_ffee861474a9665a093a:q0","T":74,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_8c992e17e4fb54b044f5:q0","T":61,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.7939677238464355e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_695dd61195ca025c4f4c:q0","T":62,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_e6155431ab7b0f8170d4:q0","T":53,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_b49ecda75086d8c68d2a:q0","T":53,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_587ced261c6092cd1325:q0","T":69,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_533d4423d311de82b27d:q0","T":72,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_2bf540d515a51755b25c:q0","T":61,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.3527612686157227e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_fdb9fc214aea2710763a:q0","T":51,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_f6d68126b43f8c9ed183:q0","T":64,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_44bae0c8a1615a096c43:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_2175379f4c69e6207626:q0","T":58,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.332993507385254e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_def9fe59d262357a673a:q0","T":53,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.21540641784668e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_712f6ffb763eef7c9a12:q0","T":64,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_e1d610bd14e3d16c09b9:q0","T":64,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_22ec57822db50ec121cf:q0","T":54,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_3e75f2b84e8e08e3d3f2:q0","T":53,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_ebd74aa05324a1556288:q0","T":69,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_d7e84e4245a29817da1f:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_f41ae66b3c09630c7a42:q0","T":61,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_82c2cd97c160ad27951b:q0","T":54,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_7ada97b6f99f4788e5c7:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_4d7a003342db5b0a17e3:q0","T":70,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.60770320892334e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_19d3d8d0bf773e88be7b:q0","T":55,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_d6de731cca52359b1c87:q0","T":53,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_b45c63fb92729af27f05:q0","T":80,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_46b7029b9a704138b77a:q0","T":78,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":9.313225746154785e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_caf773b23934fa7362a1:q0","T":73,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_f46f392ef9e9e9df564b:q0","T":71,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_005dcf6d2c0f21d64796:q0","T":92,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.705522537231445e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_edb708bd0fe5fd67d6ee:q0","T":93,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_97a35499bd8717f3e786:q0","T":86,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.0244548320770264e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_31eb4533d2c89959ec46:q0","T":85,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_0aa24a6701ac9c56c4a0:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_796d5c0da6eaadae6a3f:q0","T":71,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_599b3092b6fd18312d23:q0","T":70,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_960a4bcd27363e6db4b9:q0","T":72,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.5331974029541016e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_c6a411e7f2bbdf377173:q0","T":90,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_e332aa927d0c2ed044aa:q0","T":91,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_a0128e551d095f3449f8:q0","T":66,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.587935447692871e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_46d6a0731bd288c370f0:q0","T":65,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_21ca7a8b970e36b8e20f:q0","T":97,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_4aa83af95bb69e90bc2d:q0","T":95,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_cdfa9eed51fafcf09b72:q0","T":80,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_d51b05bfb9d6d7f09331:q0","T":86,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_fdd902cc6e65fad7cb4f:q0","T":84,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_42384af9ae56beb37ff5:q0","T":84,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_cdf7f428857e1b841cb3:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_774f7f9245f83c796d44:q0","T":63,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.2351741790771484e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_92ec2ffa3dd46ada1335:q0","T":87,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_6149a17bc154f9c5b4a0:q0","T":83,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.3527612686157227e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_be866e1dbec5d42d9423:q0","T":84,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_97d2ed2591fc7638806c:q0","T":82,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_4533dd91267b4d815690:q0","T":88,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_d880e65fef5e2993fdd0:q0","T":85,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_90494c76078ffc3c717a:q0","T":85,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.725290298461914e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_9ac5cc82c4126c91174a:q0","T":84,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_386e10b1c1ce906473a4:q0","T":88,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_4da6aedc1139224eeff2:q0","T":91,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_a22dab8ba073ff6cdb8d:q0","T":84,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_42c54fa2ad45743e24d8:q0","T":71,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_f3d13cf184f916677def:q0","T":91,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_1105577da4c8dad4609d:q0","T":88,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.043081283569336e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_0ebd299739302d8b057b:q0","T":84,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_eafc22c8c40df3932a8e:q0","T":72,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.2351741790771484e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_0aa1447680e4f25862bb:q0","T":91,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_980e76145c925747220c:q0","T":92,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_4aee37a6a155747766aa:q0","T":89,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.3527612686157227e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_6db17cc22bd656d78558:q0","T":82,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_ef3e0f8e657bf59f8a29:q0","T":83,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.8312206268310547e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_f756e1cb04e11766341e:q0","T":89,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_d167e51bb1f499099645:q0","T":69,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.086162567138672e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_674ca4e9346216255466:q0","T":59,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_1df851a202994a07f123:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_b5e6788d95b8395d2888:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.862645149230957e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_32f36cd0fbbfb3604586:q0","T":66,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_843185706adff0c60f8b:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_b531dd603bf080dab820:q0","T":82,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_be2dd67bc733c1213bef:q0","T":85,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_b8e2750307df9761e716:q0","T":79,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.862645149230957e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_5d31b4bf2d0fc193f53b:q0","T":84,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_a9230edfc6ec9e524af0:q0","T":68,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.847564458847046e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_c100e84585149a04be49:q0","T":74,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_579beed184ffc1104aa9:q0","T":65,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_c4e9bd463b6fde5be743:q0","T":53,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.450580596923828e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_b863998d4be2721a5dfd:q0","T":88,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_37cebc3792e98049439f:q0","T":85,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.568167686462402e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_64d63f86e328aff1481c:q0","T":93,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_6d64a8459f64eac7f4cc:q0","T":90,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":9.778887033462524e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_2708193212d8a4a523c7:q0","T":90,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_5a37d1dfcad20810a76a:q0","T":79,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1175870895385742e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_acacd8b46acd25cb954b:q0","T":89,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.705522537231445e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_4089c199b8b796ec3ed8:q0","T":88,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_02f2b95a5c5a4777a45c:q0","T":74,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.450580596923828e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_ebea4681e3dcc7d92ca2:q0","T":79,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.682209014892578e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_b8c5b9b285cbdddc9f8d:q0","T":70,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.862645149230957e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"semif_7ed75d854d99b3a81916:q0","T":68,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t01:q0","T":184,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t01:q1","T":149,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t01:q2","T":158,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.384185791015625e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t01:q3","T":156,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t02:q0","T":270,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t02:q1","T":303,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1175870895385742e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t02:q2","T":262,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.7939677238464355e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t03:q0","T":232,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.6763806343078613e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t03:q1","T":214,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t03:q2","T":245,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t04:q0","T":190,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t04:q1","T":169,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t04:q2","T":191,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t04:q3","T":175,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.587935447692871e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t05:q0","T":132,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.078051567077637e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t05:q1","T":158,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t05:q2","T":117,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t05:q3","T":125,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t06:q0","T":301,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t06:q1","T":223,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.862645149230957e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t06:q2","T":224,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t07:q0","T":219,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.086162567138672e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t07:q1","T":174,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.332993507385254e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t07:q2","T":187,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.384185791015625e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t08:q0","T":155,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t08:q1","T":155,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.60770320892334e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t08:q2","T":170,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t09:q0","T":122,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.450580596923828e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t09:q1","T":151,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t10:q0","T":161,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t10:q1","T":140,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.2351741790771484e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_t10:q2","T":156,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j01:q0","T":212,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j01:q1","T":223,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j01:q2","T":242,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j01:q3","T":223,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.05359673500061e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j02:q0","T":332,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j02:q1","T":232,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.086162567138672e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j02:q2","T":237,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j03:q0","T":380,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j03:q1","T":333,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.9371509552001953e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j03:q2","T":314,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":0.0,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j04:q0","T":180,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j04:q1","T":171,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":0.0,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j04:q2","T":196,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.980232238769531e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j05:q0","T":198,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.450580596923828e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j05:q1","T":153,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_j05:q2","T":169,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_a01:q0","T":199,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.682209014892578e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_a01:q1","T":166,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.2351741790771484e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_a01:q2","T":163,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_m01:q0","T":156,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.587935447692871e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_m01:q1","T":150,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_m01:q2","T":159,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_m01:q3","T":169,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_m01:q4","T":154,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.3283064365386963e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_m01:q5","T":168,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_m01:q6","T":154,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_m01:q7","T":169,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_L01:q0","T":1793,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_L01:q1","T":1766,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.705522537231445e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_L01:q2","T":1802,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_L02:q0","T":1518,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.842877388000488e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_L02:q1","T":1497,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.725290298461914e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_L02:q2","T":1539,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_L02:q3","T":1499,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.450580596923828e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_L03:q0","T":1475,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":9.313225746154785e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_L03:q1","T":1445,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":7.450580596923828e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_L03:q2","T":1451,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"own_L03:q3","T":1463,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true}],"pass":true,"pass_json":"swift/r12/fixture_K128.json","pass_sha256":"1bf4995fe83837552faa651b9577677f00a4294f73dd71941b826aa8e38bb150","gate_transcript":"results/r12_fixture_K128_4b.json"},"heldout":{"set":"heldout","rows":130,"bar_swift":{"questions":130,"questions_non_near_tie":126,"argmax_equal_non_near_tie":126,"near_tie_questions":4,"argmax_equal_near_tie":3,"max_abs_dp":0.009610235691070557,"worst_row":"tv4sh_11:q0","mean_of_run_mean_abs_dp":0.0006897490821519079,"pass":true},"bar_python_gate":{"questions_non_near_tie":126,"argmax_equal_non_near_tie":126,"near_tie_questions":4,"argmax_equal_near_tie":3,"max_abs_dp":0.009610295295715332,"mean_of_run_mean_abs_dp":0.0006897504849677298},"decide_opts_equal_oracle":130,"hidden_sha256_equal_python_gate":130,"p_max_abs_diff_python_gate":4.172325134277344e-07,"finite_rows":130,"reset_bit_equal":true,"shared_hidden_bit_equal_direct":130,"shared_p_bit_equal_direct":130,"meta":{"label":"r12 Swift heldout Kev-4B K128 part 0","set":"heldout","shared":true,"assets":{"bundle":"$ZOO_WORK_ROOT/_kev/exports/bundles/kev_4b_decode_fp16_metal_pf128","asset":"$ZOO_WORK_ROOT/_kev/exports/bundles_aotc/kev_4b_decode_fp16_metal_pf128.h16c.aimodelc","kind":"aot","options":"SpecializationOptions.default"},"load":{"decoder_function":1.237915417,"decoder_model":0.001763917,"head":0.002645417,"tokenizer":0.507016792,"wall":1.7588431670000002},"load_wall_s":1.758870291,"runs_wall_s":10.505104375,"reset_check":{"hidden_bit_equal":true,"p_bit_equal":true,"parts":4},"mpsgraph_scratch_before_load":{"dir":"$TMPDIR/com.apple.MetalPerformanceShadersGraph","pid_dirs":[],"bytes":0},"mpsgraph_scratch_after_load":{"dir":"$TMPDIR/com.apple.MetalPerformanceShadersGraph","pid_dirs":["mpsgraph-<pid>-2026-10-04_14_33_58-2604271328"],"bytes":0},"mpsgraph_scratch_end":{"dir":"$TMPDIR/com.apple.MetalPerformanceShadersGraph","pid_dirs":["mpsgraph-<pid>-2026-10-04_14_33_58-2604271328"],"bytes":0},"footprint_after_load_bytes":303914064,"footprint_bytes_min_max":[621031976,786576032],"footprint_end_bytes":786592416},"rows_detail":[{"row":"tv4h_00:q0","T":59,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_01:q0","T":127,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_02:q0","T":84,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_03:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.5762786865234375e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_04:q0","T":140,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_05:q0","T":55,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_06:q0","T":90,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.384185791015625e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_07:q0","T":107,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.384185791015625e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_08:q0","T":87,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_09:q0","T":118,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_10:q0","T":179,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_11:q0","T":299,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_12:q0","T":131,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_13:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_14:q0","T":60,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_15:q0","T":49,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_16:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_17:q0","T":57,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_18:q0","T":62,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.122274160385132e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_19:q0","T":97,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.384185791015625e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_20:q0","T":108,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_21:q0","T":97,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.086162567138672e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_22:q0","T":94,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_23:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_24:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_25:q0","T":63,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_26:q0","T":110,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_27:q0","T":96,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_28:q0","T":96,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.30385160446167e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_29:q0","T":89,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_30:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_31:q0","T":75,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_32:q0","T":80,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_33:q0","T":67,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_34:q0","T":66,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.190951585769653e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_35:q0","T":95,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_36:q0","T":86,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_37:q0","T":81,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_38:q0","T":251,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4h_39:q0","T":244,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_emotion_00:q0","T":38,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_emotion_01:q0","T":68,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_emotion_02:q0","T":53,"near_tie":true,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_emotion_03:q0","T":49,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_emotion_04:q0","T":42,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_emotion_05:q0","T":37,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_emotion_06:q0","T":43,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_emotion_07:q0","T":64,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_emotion_08:q0","T":47,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_emotion_09:q0","T":60,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_tweet_offensive_00:q0","T":82,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_tweet_offensive_01:q0","T":68,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.5762786865234375e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_tweet_offensive_02:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_tweet_offensive_03:q0","T":84,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.682209014892578e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_tweet_offensive_04:q0","T":100,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_tweet_offensive_05:q0","T":57,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_tweet_offensive_06:q0","T":64,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_tweet_offensive_07:q0","T":34,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_tweet_offensive_08:q0","T":55,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.172325134277344e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_tweet_offensive_09:q0","T":74,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_qnli_00:q0","T":68,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_qnli_01:q0","T":59,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_qnli_02:q0","T":58,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_qnli_03:q0","T":65,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_qnli_04:q0","T":57,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_qnli_05:q0","T":69,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.725290298461914e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_qnli_06:q0","T":48,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_qnli_07:q0","T":85,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.51925802230835e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_qnli_08:q0","T":45,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_qnli_09:q0","T":53,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_paws_00:q0","T":94,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_paws_01:q0","T":61,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_paws_02:q0","T":113,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.384185791015625e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_paws_03:q0","T":94,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_paws_04:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_paws_05:q0","T":116,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_paws_06:q0","T":91,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.6763806343078613e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_paws_07:q0","T":82,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.4901161193847656e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_paws_08:q0","T":96,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_paws_09:q0","T":102,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_sciq_00:q0","T":115,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.5331974029541016e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_sciq_01:q0","T":90,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_sciq_02:q0","T":44,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":8.940696716308594e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_sciq_03:q0","T":124,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_sciq_04:q0","T":173,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_sciq_05:q0","T":51,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_sciq_06:q0","T":80,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":6.705522537231445e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_sciq_07:q0","T":71,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.725290298461914e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_sciq_08:q0","T":112,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_sciq_09:q0","T":185,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.2351741790771484e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_legacy_holdout_00:q0","T":75,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_legacy_holdout_01:q0","T":75,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_legacy_holdout_02:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.725290298461914e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_legacy_holdout_03:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":4.6566128730773926e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_legacy_holdout_04:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_legacy_holdout_05:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.7939677238464355e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_legacy_holdout_06:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_legacy_holdout_07:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.7939677238464355e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_legacy_holdout_08:q0","T":77,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_legacy_holdout_09:q0","T":76,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":9.313225746154785e-10,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_composition_holdout_00:q0","T":145,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_composition_holdout_01:q0","T":145,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.6763806343078613e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_composition_holdout_02:q0","T":145,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_composition_holdout_03:q0","T":145,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_composition_holdout_04:q0","T":122,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.3969838619232178e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_composition_holdout_05:q0","T":122,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.0489096641540527e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_composition_holdout_06:q0","T":122,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.3969838619232178e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_composition_holdout_07:q0","T":122,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.587935447692871e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_composition_holdout_08:q0","T":122,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4xh_composition_holdout_09:q0","T":122,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_00:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":3.958120942115784e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_01:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.587935447692871e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_02:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_03:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_04:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_05:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_06:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.384185791015625e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_07:q0","T":100,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_08:q0","T":97,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.9802322387695312e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_09:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_10:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_11:q0","T":97,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_12:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_13:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_14:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.3969838619232178e-09,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_15:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_16:q0","T":97,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.7881393432617188e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_17:q0","T":98,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":5.960464477539063e-08,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_18:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":2.980232238769531e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true},{"row":"tv4sh_19:q0","T":99,"near_tie":false,"ids_equal_oracle":null,"decide_equal":true,"opts_equal":true,"hidden_sha256_equal_python_gate":true,"finite":true,"p_max_abs_diff_python_gate":1.1920928955078125e-07,"shared_hidden_bit_equal_direct":true,"shared_p_bit_equal_direct":true}],"pass":true,"pass_json":"swift/r12/heldout_K128.json","pass_sha256":"abcdef188e6218ac5b7f5f0a6f806665c1e86a95d24db57052493081588f346f","gate_transcript":"results/r12_heldout_K128_4b.json"}},"result":"PASS"},"jit":{"schema":"kev-swift-jit/1","generated_at":"2026-10-04T05:35:07+00:00","model":"kev-4b","label":"K128","what":"Kev-4B K128: the bundle's .aimodel specialized by Swift (GPU preferred + expectFrequentReshapes) vs the h16c AOT .aimodelc (SpecializationOptions.default), round 7's 10 records / 25 rows, same binary","jit_pass":"swift/r12/jit_K128_10.json","aot_pass":"swift/r12/aot_K128_10.json","records":10,"rows":25,"hidden_sha256_equal":25,"p_bit_equal":25,"p_max_abs_diff":0.0,"finite_rows":25,"bar_vs_oracle":{"jit":{"questions":25,"questions_non_near_tie":24,"argmax_equal_non_near_tie":24,"near_tie_questions":1,"argmax_equal_near_tie":1,"max_abs_dp":0.0043714046478271484,"worst_row":"own_m01:q3","mean_of_run_mean_abs_dp":0.0005239862884017861,"pass":true},"aot":{"questions":25,"questions_non_near_tie":24,"argmax_equal_non_near_tie":24,"near_tie_questions":1,"argmax_equal_near_tie":1,"max_abs_dp":0.0043714046478271484,"worst_row":"own_m01:q3","mean_of_run_mean_abs_dp":0.0005239862884017861,"pass":true}},"specialize_s":0.003014833,"jit_meta":{"label":"r12 JIT check Kev-4B K128: jit","set":"fixture","shared":false,"assets":{"bundle":"$ZOO_WORK_ROOT/_kev/exports/bundles/kev_4b_decode_fp16_metal_pf128","asset":"$ZOO_WORK_ROOT/_kev/exports/bundles/kev_4b_decode_fp16_metal_pf128/kev_4b_decode_fp16_metal_pf128.aimodel","kind":"jit","options":"preferred gpu, allowed [\"cpu\", \"gpu\", \"neuralEngine\"], expectFrequentReshapes true"},"load":{"decoder_function":11.352590791,"decoder_model":0.003014833,"head":0.002441,"tokenizer":0.473638292,"wall":11.842245166},"load_wall_s":11.842275208,"runs_wall_s":18.441166209,"reset_check":{"record":"tv4_000","hidden_bit_equal":true,"p_bit_equal":true},"mpsgraph_scratch_before_load":{"dir":"$TMPDIR/com.apple.MetalPerformanceShadersGraph","pid_dirs":[],"bytes":0},"mpsgraph_scratch_after_load":{"dir":"$TMPDIR/com.apple.MetalPerformanceShadersGraph","pid_dirs":["mpsgraph-<pid>-2026-10-04_14_30_38-1209120892"],"bytes":0},"mpsgraph_scratch_end":{"dir":"$TMPDIR/com.apple.MetalPerformanceShadersGraph","pid_dirs":["mpsgraph-<pid>-2026-10-04_14_30_38-1209120892"],"bytes":0},"footprint_after_load_bytes":303160352,"footprint_bytes_min_max":[620016096,677376528],"footprint_end_bytes":677458448},"aot_meta":{"label":"r12 JIT check Kev-4B K128: aot","set":"fixture","shared":false,"assets":{"bundle":"$ZOO_WORK_ROOT/_kev/exports/bundles/kev_4b_decode_fp16_metal_pf128","asset":"$ZOO_WORK_ROOT/_kev/exports/bundles_aotc/kev_4b_decode_fp16_metal_pf128.h16c.aimodelc","kind":"aot","options":"SpecializationOptions.default"},"load":{"decoder_function":11.717454292,"decoder_model":0.00235175,"head":0.004308625,"tokenizer":0.480231958,"wall":12.213684375},"load_wall_s":12.213710084,"runs_wall_s":18.03217925,"reset_check":{"record":"tv4_000","hidden_bit_equal":true,"p_bit_equal":true},"mpsgraph_scratch_before_load":{"dir":"$TMPDIR/com.apple.MetalPerformanceShadersGraph","pid_dirs":[],"bytes":0},"mpsgraph_scratch_after_load":{"dir":"$TMPDIR/com.apple.MetalPerformanceShadersGraph","pid_dirs":["mpsgraph-<pid>-2026-10-04_14_30_07-414015529"],"bytes":0},"mpsgraph_scratch_end":{"dir":"$TMPDIR/com.apple.MetalPerformanceShadersGraph","pid_dirs":["mpsgraph-<pid>-2026-10-04_14_30_07-414015529"],"bytes":0},"footprint_after_load_bytes":302930976,"footprint_bytes_min_max":[619278792,677474808],"footprint_end_bytes":677491192},"rows_detail":[{"row":"tv4_000:q0","T":94,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"tv4_001:q0","T":63,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"tv4x_emotion_00:q0","T":42,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"tv4x_qnli_00:q0","T":94,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"tv4s_00:q0","T":99,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"semif_a3f18f3a63d45345942b:q0","T":68,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_t01:q0","T":184,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_t01:q1","T":149,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_t01:q2","T":158,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_t01:q3","T":156,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_j03:q0","T":380,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_j03:q1","T":333,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_j03:q2","T":314,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_m01:q0","T":156,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_m01:q1","T":150,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_m01:q2","T":159,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_m01:q3","T":169,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_m01:q4","T":154,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_m01:q5","T":168,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_m01:q6","T":154,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_m01:q7","T":169,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_L02:q0","T":1518,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_L02:q1","T":1497,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_L02:q2","T":1539,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0},{"row":"own_L02:q3","T":1499,"hidden_sha256_equal":true,"p_bit_equal":true,"finite":true,"p_max_abs_diff":0.0}]},"jit_first_load":{"what":"the first process that loaded the .aimodel (round 12's timing smoke, 14:04 JST): load_cold = the specialization by Swift, load_warm = a second load","load_cold":{"seconds":17.924336,"model_seconds":16.600840875,"main_seconds":1.323495125,"wall_with_tokenizer_and_head":18.429091083},"load_warm":{"seconds":1.739578542,"model_seconds":0.000877583,"main_seconds":1.738700959,"wall_with_tokenizer_and_head":2.4327747090000003},"footprint_end_bytes":939817336},"c2_run":{"started":"2026-10-04T14:30:06+09:00","binary":"$ZOO_WORK_ROOT/_kev/swift_r15/kev_pregate","steps":[{"label":"sw_aot_10_K128","exit":0,"seconds":30.8,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_aot_10_K128.log","end":"2026-10-04T14:30:37+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/aot_K128_10.json","footprint_max_bytes":645922816,"footprint_samples":[[0.0,14680064],[3.1,135266304],[6.2,138412032],[9.3,140509184],[12.3,304087040],[15.4,307232768],[18.5,309329920],[21.6,615514112],[24.7,630194176],[27.8,645922816]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_jit_10_K128","exit":0,"seconds":30.9,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_jit_10_K128.log","end":"2026-10-04T14:31:08+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/jit_K128_10.json","footprint_max_bytes":652214272,"footprint_samples":[[0.0,14680064],[3.1,135266304],[6.2,138412032],[9.3,140509184],[12.4,305135616],[15.5,307232768],[18.6,310378496],[21.7,618659840],[24.8,635437056],[27.9,652214272]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_fixture_K128_part00","exit":0,"seconds":15.4,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_fixture_K128_part00.log","end":"2026-10-04T14:31:23+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/fixture_K128_part00.json","footprint_max_bytes":786432000,"footprint_samples":[[0.0,14680064],[3.1,619708416],[6.2,785383424],[9.3,785383424],[12.4,786432000]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_fixture_K128_part01","exit":0,"seconds":15.4,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_fixture_K128_part01.log","end":"2026-10-04T14:31:39+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/fixture_K128_part01.json","footprint_max_bytes":787480576,"footprint_samples":[[0.1,14680064],[3.1,620756992],[6.2,622854144],[9.3,787480576],[12.4,787480576]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_fixture_K128_part02","exit":0,"seconds":12.3,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_fixture_K128_part02.log","end":"2026-10-04T14:31:51+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/fixture_K128_part02.json","footprint_max_bytes":621805568,"footprint_samples":[[0.0,14680064],[3.1,619708416],[6.2,621805568],[9.3,621805568]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_fixture_K128_part03","exit":0,"seconds":15.4,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_fixture_K128_part03.log","end":"2026-10-04T14:32:06+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/fixture_K128_part03.json","footprint_max_bytes":784334848,"footprint_samples":[[0.0,14680064],[3.1,617611264],[6.2,619708416],[9.3,781189120],[12.4,784334848]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_fixture_K128_part04","exit":0,"seconds":15.4,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_fixture_K128_part04.log","end":"2026-10-04T14:32:22+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/fixture_K128_part04.json","footprint_max_bytes":783286272,"footprint_samples":[[0.0,14680064],[3.1,622854144],[6.2,622854144],[9.3,622854144],[12.4,783286272]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_fixture_K128_part05","exit":0,"seconds":12.3,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_fixture_K128_part05.log","end":"2026-10-04T14:32:34+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/fixture_K128_part05.json","footprint_max_bytes":622854144,"footprint_samples":[[0.0,14680064],[3.1,621805568],[6.2,622854144],[9.3,622854144]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_fixture_K128_part06","exit":0,"seconds":12.3,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_fixture_K128_part06.log","end":"2026-10-04T14:32:47+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/fixture_K128_part06.json","footprint_max_bytes":622854144,"footprint_samples":[[0.0,15728640],[3.1,621805568],[6.2,622854144],[9.3,622854144]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_fixture_K128_part07","exit":0,"seconds":12.3,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_fixture_K128_part07.log","end":"2026-10-04T14:32:59+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/fixture_K128_part07.json","footprint_max_bytes":621805568,"footprint_samples":[[0.1,14680064],[3.1,618659840],[6.2,621805568],[9.3,621805568]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_fixture_K128_part08","exit":0,"seconds":12.3,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_fixture_K128_part08.log","end":"2026-10-04T14:33:11+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/fixture_K128_part08.json","footprint_max_bytes":621805568,"footprint_samples":[[0.0,14680064],[3.1,619708416],[6.2,621805568],[9.3,621805568]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_fixture_K128_part09","exit":0,"seconds":46.4,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_fixture_K128_part09.log","end":"2026-10-04T14:33:58+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/fixture_K128_part09.json","footprint_max_bytes":881852416,"footprint_samples":[[0.0,14680064],[3.1,619708416],[6.2,792723456],[9.3,793772032],[12.4,799014912],[15.5,801112064],[18.6,802160640],[21.7,806354944],[24.8,811597824],[27.9,839909376],[31.0,857735168],[34.1,864026624],[37.2,880803840],[40.3,880803840],[43.4,881852416]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_heldout_K128_part00","exit":0,"seconds":15.4,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_heldout_K128_part00.log","end":"2026-10-04T14:34:13+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/heldout_K128_part00.json","footprint_max_bytes":786432000,"footprint_samples":[[0.0,14680064],[3.1,620756992],[6.2,782237696],[9.3,783286272],[12.4,786432000]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_heldout_K128_part01","exit":0,"seconds":12.3,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_heldout_K128_part01.log","end":"2026-10-04T14:34:25+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/heldout_K128_part01.json","footprint_max_bytes":620756992,"footprint_samples":[[0.0,14680064],[3.1,615514112],[6.2,620756992],[9.3,620756992]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_heldout_K128_part02","exit":0,"seconds":12.3,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_heldout_K128_part02.log","end":"2026-10-04T14:34:38+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/heldout_K128_part02.json","footprint_max_bytes":783286272,"footprint_samples":[[0.0,14680064],[3.1,619708416],[6.2,783286272],[9.3,783286272]],"stopped_at_footprint_cap":null,"result":null},{"label":"sw_heldout_K128_part03","exit":0,"seconds":6.1,"log":"$ZOO_WORK_ROOT/_kev/logs/r12_dyn/c2_sw_heldout_K128_part03.log","end":"2026-10-04T14:34:44+09:00","out":"$ZOO_WORK_ROOT/_kev/swift/r12/heldout_K128_part03.json","footprint_max_bytes":618659840,"footprint_samples":[[0.0,14680064],[3.1,618659840]],"stopped_at_footprint_cap":null,"result":null}],"form_choice":{"rank_order":["D512L512q16"],"chosen":"K128","rule":"the first of K64 / K128 in the rank v2 order, else K128"},"form":"K128","bundle":"$ZOO_WORK_ROOT/_kev/exports/bundles/kev_4b_decode_fp16_metal_pf128","timing_run":"r12_swift_timing_20261004_132821","merged_passes":{"fixture":{"file":"$ZOO_WORK_ROOT/_kev/swift/r12/fixture_K128.json","parts":10,"records":384,"missing":null},"heldout":{"file":"$ZOO_WORK_ROOT/_kev/swift/r12/heldout_K128.json","parts":4,"records":130,"missing":null}},"finished":"2026-10-04T14:34:44+09:00"}}