{"schema":"nsrl.production_atomic_structure.v1","analysis_role":"proposal_only_calibration","rank":6,"vertices_evaluated":64,"transfer_documents_read":0,"reserved_documents_read":0,"bindings":{"source_fnv64":"0xc19b8402483e9d33","binary_fnv64":"0xfa0351bca0c5631e","model_hash":"0xb10996e0707ab342","tokenizer_hash":"0xf4fe71d93c438c1a","token_stream_hash":"0xda195778ceb603ab","source_index_hash":"0x75f51a06dd94fda8","move_fingerprint":"0x48eccb62ab07b717","manifest_hash":"0x2ce8888292aa6852"},"surface":{"document_start":8,"documents":64,"windows_per_document":2,"context_tokens":64,"hard_stop_before_document":72},"source_population":{"proposal_source_cluster_hash":"0x9918fecc57ecd19f","proposal_source_clusters":1,"source_clustered_fold_estimation_available":false},"moves":[{"atom":0,"block":"trunk","group":"final_rms","group_index":3,"coordinate":40,"parameter_delta":-1},{"atom":1,"block":"trunk","group":"final_rms","group_index":3,"coordinate":68,"parameter_delta":-1},{"atom":2,"block":"trunk","group":"final_rms","group_index":3,"coordinate":206,"parameter_delta":-1},{"atom":3,"block":"trunk","group":"final_rms","group_index":3,"coordinate":218,"parameter_delta":-1},{"atom":4,"block":"head","group":"output","group_index":11,"coordinate":1424062,"parameter_delta":1},{"atom":5,"block":"head","group":"bias","group_index":12,"coordinate":7866,"parameter_delta":-1}],"q20":{"algorithm":"q47_logit_anchored","fractional_bits":20,"reconstruction_verified":true,"environment_aggregation_verified":true,"vertex_losses":[1745648100,1745648096,1745648102,1745648097,1745648099,1745648097,1745648102,1745648096,1745648095,1745648091,1745648097,1745648092,1745648094,1745648092,1745648098,1745648092,1745648086,1745648081,1745648086,1745648080,1745648085,1745648082,1745648087,1745648081,1745648081,1745648076,1745648081,1745648075,1745648081,1745648078,1745648084,1745648078,1745648041,1745648035,1745648041,1745648034,1745648040,1745648037,1745648041,1745648035,1745648036,1745648033,1745648039,1745648033,1745648035,1745648035,1745648037,1745648032,1745648028,1745648022,1745648029,1745648022,1745648026,1745648024,1745648027,1745648021,1745648022,1745648019,1745648026,1745648020,1745648019,1745648020,1745648021,1745648016],"coefficients":["1745648100","-4","2","-1","-1","2","1","-3","-5","0","0","0","0","0","1","0","-14","-1","-2","0","0","0","1","1","0","0","0","0","1","0","0","0","-59","-2","-2","0","0","1","0","1","0","3","3","-2","0","0","-3","0","1","1","3","0","-1","1","-2","-2","-1","0","0","0","-2","0","0","0"],"documents":[{"document":8,"coefficients":["27161194","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":9,"coefficients":["27345637","-1","1","-1","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":10,"coefficients":["27319747","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":11,"coefficients":["27393829","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":12,"coefficients":["27138711","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":13,"coefficients":["27343349","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":14,"coefficients":["27423023","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","1","0","0","0","-1","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":15,"coefficients":["27045673","0","0","0","0","0","0","0","-1","1","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","1","-1","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","1","-1","0","0","0","0","0","0","1","0","0","0","0","0","0","0","-2","2","0","0","0","0","0","0"]},{"document":16,"coefficients":["27049982","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","-1","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":17,"coefficients":["27277009","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0"]},{"document":18,"coefficients":["27367001","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":19,"coefficients":["27201555","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":20,"coefficients":["27210231","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":21,"coefficients":["27394543","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","1","0","0","1","-1","0","0","0","0","0","0","0","0","0","0","-2","1","0","0","1","-1","0","0","0","0","0","0","0","0","0","0","1","-2","0","0","-2","2","0","0","0","0","0","0","0","0","0","0"]},{"document":22,"coefficients":["27101026","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":23,"coefficients":["27265290","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":24,"coefficients":["27410001","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0"]},{"document":25,"coefficients":["27414778","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":26,"coefficients":["27109605","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":27,"coefficients":["27282796","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","-1","1","0","0","0","0","-1","2","1","-2","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":28,"coefficients":["27189531","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":29,"coefficients":["27226666","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":30,"coefficients":["27202057","1","-1","0","0","-1","0","0","-1","0","1","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","1","-1","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":31,"coefficients":["27351026","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":32,"coefficients":["27520480","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":33,"coefficients":["27432536","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","-1","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","2","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":34,"coefficients":["27215034","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":35,"coefficients":["27120440","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","3","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":36,"coefficients":["27107939","-1","0","1","0","1","0","-2","-2","0","0","0","0","0","0","0","-1","0","-1","0","-1","0","1","1","1","0","0","0","0","0","0","0","-1","0","-1","0","-1","0","1","1","1","0","0","0","0","0","0","0","0","0","2","0","2","0","-2","-2","-2","0","0","0","0","0","0","0"]},{"document":37,"coefficients":["27288610","0","0","0","0","0","0","0","1","-1","0","0","0","0","0","0","1","0","0","0","0","0","0","0","-1","1","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","-1","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","2","-2","0","0","0","0","0","0"]},{"document":38,"coefficients":["27088265","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":39,"coefficients":["27329994","0","0","0","-1","0","0","0","-1","0","0","0","1","0","1","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","1","0","0","0","0","0","1","0","0","0","-2","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":40,"coefficients":["27295559","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":41,"coefficients":["27307490","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":42,"coefficients":["27254946","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":43,"coefficients":["27292349","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","-1","0","0","0","1","0","0","0","-1","0","0","0","0","0","0","0","-1","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","2","0","0","0","-2","0","0","0"]},{"document":44,"coefficients":["27409237","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":45,"coefficients":["27335677","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":46,"coefficients":["27586621","-1","0","0","0","1","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":47,"coefficients":["27141088","0","1","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","-1","0","0","0","-1","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":48,"coefficients":["27143068","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":49,"coefficients":["27340158","-1","0","1","0","1","0","-1","0","0","0","0","0","0","0","0","-1","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","2","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":50,"coefficients":["27448907","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":51,"coefficients":["27334206","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":52,"coefficients":["27241767","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":53,"coefficients":["27369911","0","1","-1","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","-1","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":54,"coefficients":["27277333","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":55,"coefficients":["27032913","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":56,"coefficients":["27364446","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":57,"coefficients":["27475546","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":58,"coefficients":["27170304","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":59,"coefficients":["27269648","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":60,"coefficients":["27430342","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","-1","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":61,"coefficients":["27241878","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":62,"coefficients":["27159629","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","1","0","0","0","0","0","0","0","0","0","0","0","0","-2","2","0","-2","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":63,"coefficients":["27249409","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":64,"coefficients":["27326760","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","1","1","-2","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":65,"coefficients":["27396710","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":66,"coefficients":["27234316","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":67,"coefficients":["27331566","1","0","0","1","-1","0","0","0","0","0","0","0","0","0","0","-1","-1","0","0","-1","1","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","-1","1","0","0","0","0","0","0","0","0","0","0","0","1","0","0","1","-1","0","0","0","0","0","0","0","0","0","0"]},{"document":68,"coefficients":["27281650","0","-1","0","0","0","1","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","1","0","0","0","0","0","0","0","0","0","0","0","-1","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":69,"coefficients":["27145684","-1","0","0","-1","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","1","0","0","1","-1","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":70,"coefficients":["27162277","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":71,"coefficients":["27269147","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]}],"absolute_mass_by_order":{"population":["1745648100","85","12","19","12","2","0"],"environmental":["1745648100","153","106","63","22","2","0"]},"tails":[{"retained_order":1,"population_absolute_tail":"45","environmental_absolute_tail":"193","cancellation_mass":"148","truncated_minimizer":61,"exact_gap":"4","tail_regret_bound":"45","certificate_verified":true},{"retained_order":2,"population_absolute_tail":"33","environmental_absolute_tail":"87","cancellation_mass":"54","truncated_minimizer":59,"exact_gap":"4","tail_regret_bound":"33","certificate_verified":true},{"retained_order":3,"population_absolute_tail":"14","environmental_absolute_tail":"24","cancellation_mass":"10","truncated_minimizer":57,"exact_gap":"3","tail_regret_bound":"14","certificate_verified":true},{"retained_order":4,"population_absolute_tail":"2","environmental_absolute_tail":"2","cancellation_mass":"0","truncated_minimizer":63,"exact_gap":"0","tail_regret_bound":"2","certificate_verified":true},{"retained_order":5,"population_absolute_tail":"0","environmental_absolute_tail":"0","cancellation_mass":"0","truncated_minimizer":63,"exact_gap":"0","tail_regret_bound":"0","certificate_verified":true}],"exchange_slices":[{"cardinality":1,"uniform_defect":"0","exchange_local_minima":1,"maximum_local_gap":"0","cardinality_defect_bound":"0","certificate_verified":true},{"cardinality":2,"uniform_defect":"2","exchange_local_minima":1,"maximum_local_gap":"0","cardinality_defect_bound":"4","certificate_verified":true},{"cardinality":3,"uniform_defect":"5","exchange_local_minima":2,"maximum_local_gap":"0","cardinality_defect_bound":"15","certificate_verified":true},{"cardinality":4,"uniform_defect":"9","exchange_local_minima":2,"maximum_local_gap":"0","cardinality_defect_bound":"36","certificate_verified":true},{"cardinality":5,"uniform_defect":"0","exchange_local_minima":2,"maximum_local_gap":"0","cardinality_defect_bound":"0","certificate_verified":true}],"interaction_width":{"support_hyperedges":[3,5,6,7,14,17,18,22,23,28,33,34,37,39,41,42,43,46,48,49,50,52,53,54,55,56,60],"elimination_orders_evaluated":720,"best_induced_width":5,"best_order":[0,1,2,3,4,5],"width_histogram":[0,0,0,0,0,720]}},"q32":{"algorithm":"q47_logit_anchored","fractional_bits":32,"reconstruction_verified":true,"environment_aggregation_verified":true,"vertex_losses":[7150174623019,7150174604676,7150174626703,7150174602164,7150174618827,7150174608717,7150174626580,7150174602062,7150174602813,7150174590721,7150174612678,7150174590118,7150174598708,7150174594849,7150174610631,7150174588092,7150174565488,7150174547146,7150174569172,7150174544635,7150174561293,7150174551185,7150174569045,7150174544530,7150174545284,7150174533192,7150174555148,7150174532589,7150174541176,7150174537318,7150174553098,7150174530561,7150174362747,7150174344403,7150174366432,7150174341892,7150174358555,7150174348444,7150174366308,7150174341789,7150174342541,7150174330449,7150174352407,7150174329846,7150174338437,7150174334578,7150174350361,7150174327821,7150174305214,7150174286872,7150174308900,7150174284360,7150174301023,7150174290912,7150174308778,7150174284258,7150174285006,7150174272916,7150174294874,7150174272313,7150174280903,7150174277044,7150174292830,7150174270289],"coefficients":["7150174623019","-18343","3684","-6196","-4192","8233","4069","-8212","-20206","6251","6181","-4272","87","0","-2011","0","-57531","1","0","1","-3","1","-1","0","2","-1","-1","0","0","0","1","0","-260272","-1","1","0","0","0","-1","0","0","1","0","-1","1","0","1","0","-2","1","1","-3","4","-3","2","1","-4","1","2","0","0","0","-1","0"],"documents":[{"document":8,"coefficients":["111252245404","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4142","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3796","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":9,"coefficients":["112007727329","-3808","4016","-2298","0","0","0","0","0","0","0","0","0","0","0","0","-4315","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4162","0","1","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":10,"coefficients":["111901686274","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","4276","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4109","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":11,"coefficients":["112205124609","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","5785","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3964","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":12,"coefficients":["111160160781","2038","-2094","0","0","0","0","0","0","0","0","0","0","0","0","0","-8048","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","-3966","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":13,"coefficients":["111998361076","0","0","0","-2122","0","0","0","0","0","0","0","0","0","0","0","-3938","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4017","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":14,"coefficients":["112324700688","0","0","0","0","0","0","0","2090","0","0","0","-2090","0","0","0","-6182","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4186","0","0","0","0","0","0","0","-1","0","0","0","1","0","0","0","-1","0","0","0","0","0","0","0","1","0","0","0","-1","0","0","0"]},{"document":15,"coefficients":["110779077070","0","0","0","0","0","0","0","-1999","1999","0","0","0","0","0","0","-2168","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4076","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":16,"coefficients":["110796728054","0","0","0","-1997","1997","0","0","0","0","0","0","0","0","0","0","155","0","0","0","-1","1","0","0","0","0","0","0","0","0","0","0","-4381","0","0","0","-1","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","2","-2","0","0","0","0","0","0","0","0","0","0"]},{"document":17,"coefficients":["111726628245","0","0","0","0","0","0","0","2035","0","0","0","0","0","0","0","1757","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4146","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":18,"coefficients":["112095233435","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","72","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4024","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":19,"coefficients":["111417567997","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-5820","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3670","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":20,"coefficients":["111453105081","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","3823","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4415","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":21,"coefficients":["112208047210","-2081","0","0","2193","-2193","0","0","0","0","0","0","0","0","0","0","-2109","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4288","0","0","0","1","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":22,"coefficients":["111005801322","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-6168","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4280","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":23,"coefficients":["111678627560","-2101","0","0","0","0","0","0","0","0","0","0","0","0","0","0","7917","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4097","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":24,"coefficients":["112271363407","0","0","0","-1990","0","0","0","0","0","0","0","0","0","0","0","-2123","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","-4145","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0"]},{"document":25,"coefficients":["112290931546","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-6713","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4112","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":26,"coefficients":["111040939988","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2087","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4121","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":27,"coefficients":["111750332255","-2179","1864","2122","0","0","0","0","-2150","4272","2150","-4272","0","0","0","0","1919","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4014","0","-1","0","0","0","0","0","-1","1","1","-1","0","0","0","0","1","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":28,"coefficients":["111368323173","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2212","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4061","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":29,"coefficients":["111520420750","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","5865","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3922","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":30,"coefficients":["111419622905","4323","-1921","-2105","0","-2218","0","0","-4026","0","4026","0","0","0","0","0","-8038","1","1","0","0","-1","0","0","1","0","-1","0","0","0","0","0","-4034","0","1","0","0","0","0","0","1","0","-1","0","0","0","0","0","1","0","-2","0","0","0","0","0","-2","0","2","0","0","0","0","0"]},{"document":31,"coefficients":["112029801027","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2059","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3970","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":32,"coefficients":["112723885682","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","8482","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3915","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":33,"coefficients":["112363672837","0","-2242","0","4262","0","0","0","0","0","0","0","0","0","0","0","-6280","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","-4177","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","2","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":34,"coefficients":["111472779360","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-6667","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3609","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":35,"coefficients":["111085327678","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","8484","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4288","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":36,"coefficients":["111034115119","-2343","-2008","2343","-2008","2343","2008","-4212","-6166","0","0","0","0","0","0","0","-5747","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","-4212","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","-1","0","0","0","0","0","0","0"]},{"document":37,"coefficients":["111774145515","0","0","0","0","0","0","0","2130","-2130","0","0","0","0","0","0","3897","0","0","0","0","0","0","0","1","-1","0","0","0","0","0","0","-4092","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","1","0","0","0","0","0","0"]},{"document":38,"coefficients":["110953537110","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","3885","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4054","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":39,"coefficients":["111943657794","0","0","0","-2215","0","0","0","-4308","0","2093","0","4308","0","0","0","6221","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4232","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":40,"coefficients":["111802613547","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","3951","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4007","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":41,"coefficients":["111851479126","-1757","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3902","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":42,"coefficients":["111636262294","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-6680","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3963","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":43,"coefficients":["111789464373","0","0","0","0","0","0","0","-2048","0","0","0","2048","0","0","0","3971","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4082","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","-1","0","0","0","1","0","0","0"]},{"document":44,"coefficients":["112268239120","0","0","0","83","0","0","0","-2020","0","0","0","-4179","0","0","0","4152","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","-4164","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":45,"coefficients":["111966931569","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-225","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3998","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":46,"coefficients":["112994799171","-4042","0","0","2049","4042","0","0","0","0","0","0","0","0","0","0","-3575","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3929","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":47,"coefficients":["111169895414","0","2088","0","-2185","0","0","0","-1949","0","-2088","0","0","0","0","0","29","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4217","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":48,"coefficients":["111178002977","0","0","0","0","0","0","0","-1795","0","0","0","0","0","0","0","27","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3794","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":49,"coefficients":["111985286860","-4000","0","1986","0","4000","0","-4000","0","0","0","0","0","0","0","0","-6139","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4233","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":50,"coefficients":["112430719704","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-7902","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4278","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":51,"coefficients":["111960908363","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","2187","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4061","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":52,"coefficients":["111582278485","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3835","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4011","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":53,"coefficients":["112107154319","0","2108","-2108","0","0","0","0","0","0","0","0","0","0","0","0","4410","0","-1","1","0","0","0","0","0","0","0","0","0","0","0","0","-3834","0","-1","1","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","2","-2","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":54,"coefficients":["111727954438","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-386","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4424","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":55,"coefficients":["110726814730","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-8748","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3802","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":56,"coefficients":["112084774598","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-199","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4094","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":57,"coefficients":["112539836882","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","7714","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4013","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":58,"coefficients":["111289566857","0","-83","83","0","0","0","0","0","0","0","0","0","0","0","0","2226","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3923","0","-1","1","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","1","-1","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":59,"coefficients":["111696475319","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4106","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3922","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":60,"coefficients":["112354680337","-2110","0","0","0","0","0","0","0","2110","0","0","0","0","0","0","-342","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3796","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":61,"coefficients":["111582732862","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1977","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4068","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":62,"coefficients":["111245842761","-2019","0","-2139","0","0","0","0","0","0","0","0","0","0","0","0","-2277","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4076","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":63,"coefficients":["111613575806","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2091","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4144","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":64,"coefficients":["111930407285","1998","2082","-4080","0","0","0","0","0","0","0","0","0","0","0","0","-1834","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4020","0","1","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":65,"coefficients":["112216921244","0","1948","0","0","0","0","0","0","0","0","0","0","0","0","0","-8398","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4401","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":66,"coefficients":["111551760741","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-6398","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4020","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":67,"coefficients":["111950094232","1937","0","0","1937","-1937","0","0","0","0","0","0","0","0","0","0","-6053","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3894","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":68,"coefficients":["111745633877","0","-2074","0","0","0","4085","0","0","0","0","0","0","0","-2011","0","5730","0","0","0","0","0","-1","0","0","0","0","0","0","0","1","0","-3977","0","1","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","-1","0"]},{"document":69,"coefficients":["111188721990","-2199","0","0","-2199","2199","-2024","0","0","0","0","0","0","0","0","0","-182","-1","0","0","-1","1","0","0","0","0","0","0","0","0","0","0","-4167","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","1","0","0","1","-1","1","0","0","0","0","0","0","0","0","0"]},{"document":70,"coefficients":["111256688582","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1931","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4224","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":71,"coefficients":["111694426875","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4188","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4299","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]}],"absolute_mass_by_order":{"population":["7150174623019","364228","31027","14513","14","2","0"],"environmental":["7150174623019","640908","81867","14535","16","2","0"]},"tails":[{"retained_order":1,"population_absolute_tail":"45556","environmental_absolute_tail":"96420","cancellation_mass":"50864","truncated_minimizer":61,"exact_gap":"6755","tail_regret_bound":"45556","certificate_verified":true},{"retained_order":2,"population_absolute_tail":"14529","environmental_absolute_tail":"14553","cancellation_mass":"24","truncated_minimizer":57,"exact_gap":"2627","tail_regret_bound":"14529","certificate_verified":true},{"retained_order":3,"population_absolute_tail":"16","environmental_absolute_tail":"18","cancellation_mass":"2","truncated_minimizer":63,"exact_gap":"0","tail_regret_bound":"16","certificate_verified":true},{"retained_order":4,"population_absolute_tail":"2","environmental_absolute_tail":"2","cancellation_mass":"0","truncated_minimizer":63,"exact_gap":"0","tail_regret_bound":"2","certificate_verified":true},{"retained_order":5,"population_absolute_tail":"0","environmental_absolute_tail":"0","cancellation_mass":"0","truncated_minimizer":63,"exact_gap":"0","tail_regret_bound":"0","certificate_verified":true}],"exchange_slices":[{"cardinality":1,"uniform_defect":"0","exchange_local_minima":1,"maximum_local_gap":"0","cardinality_defect_bound":"0","certificate_verified":true},{"cardinality":2,"uniform_defect":"16429","exchange_local_minima":1,"maximum_local_gap":"0","cardinality_defect_bound":"32858","certificate_verified":true},{"cardinality":3,"uniform_defect":"18578","exchange_local_minima":1,"maximum_local_gap":"0","cardinality_defect_bound":"55734","certificate_verified":true},{"cardinality":4,"uniform_defect":"18681","exchange_local_minima":1,"maximum_local_gap":"0","cardinality_defect_bound":"74724","certificate_verified":true},{"cardinality":5,"uniform_defect":"0","exchange_local_minima":1,"maximum_local_gap":"0","cardinality_defect_bound":"0","certificate_verified":true}],"interaction_width":{"support_hyperedges":[3,5,6,7,9,10,11,12,14,17,19,20,21,22,24,25,26,30,33,34,38,41,43,44,46,48,49,50,51,52,53,54,55,56,57,58,62],"elimination_orders_evaluated":720,"best_induced_width":5,"best_order":[0,1,2,3,4,5],"width_histogram":[0,0,0,0,0,720]}},"representation_concordance":{"aggregate":{"both_zero":13,"q20_zero_q32_nonzero":17,"q20_nonzero_q32_zero":7,"both_nonzero_sign_agree":16,"both_nonzero_sign_disagree":10},"document_coefficients":{"both_zero":3615,"q20_zero_q32_nonzero":125,"q20_nonzero_q32_zero":90,"both_nonzero_sign_agree":180,"both_nonzero_sign_disagree":22}},"representation_discrepancy":{"aggregate":{"q20_to_q32_multiplier":4096,"residual_minimum":"-19622","residual_maximum":"17389","residual_oscillation":"37011","q20_minimizers":[63],"q32_minimizers":[63],"shared_minimizers":[63],"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},"documents":[{"document":8,"residual_oscillation":"4442","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":9,"residual_oscillation":"4381","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":10,"residual_oscillation":"193","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":11,"residual_oscillation":"3964","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":3964,"certificate_verified":true},{"document":12,"residual_oscillation":"4372","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2039,"certificate_verified":true},{"document":13,"residual_oscillation":"4175","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":14,"residual_oscillation":"4187","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":15,"residual_oscillation":"4244","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":16,"residual_oscillation":"3966","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":156,"certificate_verified":true},{"document":17,"residual_oscillation":"4046","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":18,"residual_oscillation":"4096","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4096,"certificate_verified":true},{"document":19,"residual_oscillation":"3669","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":3669,"certificate_verified":true},{"document":20,"residual_oscillation":"592","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":21,"residual_oscillation":"4083","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":22,"residual_oscillation":"4280","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":23,"residual_oscillation":"5816","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2102,"certificate_verified":true},{"document":24,"residual_oscillation":"4279","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":25,"residual_oscillation":"1495","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":26,"residual_oscillation":"4071","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2087,"certificate_verified":true},{"document":27,"residual_oscillation":"4465","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":1948,"certificate_verified":true},{"document":28,"residual_oscillation":"4060","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4060,"certificate_verified":true},{"document":29,"residual_oscillation":"4270","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":30,"residual_oscillation":"4259","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":31,"residual_oscillation":"4222","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2059,"certificate_verified":true},{"document":32,"residual_oscillation":"471","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":33,"residual_oscillation":"4674","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4177,"certificate_verified":true},{"document":34,"residual_oscillation":"3609","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":3609,"certificate_verified":true},{"document":35,"residual_oscillation":"4288","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4288,"certificate_verified":true},{"document":36,"residual_oscillation":"7554","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":1533,"certificate_verified":true},{"document":37,"residual_oscillation":"4295","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2130,"certificate_verified":true},{"document":38,"residual_oscillation":"4307","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4054,"certificate_verified":true},{"document":39,"residual_oscillation":"4231","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":40,"residual_oscillation":"4152","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4007,"certificate_verified":true},{"document":41,"residual_oscillation":"4290","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":42,"residual_oscillation":"4227","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":43,"residual_oscillation":"4221","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":44,"residual_oscillation":"4303","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":45,"residual_oscillation":"4321","shared_minimizer":false,"maximum_q32_regret_of_q20_minimizer":225,"certificate_verified":true},{"document":46,"residual_oscillation":"4450","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":47,"residual_oscillation":"4246","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":29,"certificate_verified":true},{"document":48,"residual_oscillation":"3820","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":3820,"certificate_verified":true},{"document":49,"residual_oscillation":"4055","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":50,"residual_oscillation":"472","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":51,"residual_oscillation":"4061","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4061,"certificate_verified":true},{"document":52,"residual_oscillation":"345","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":53,"residual_oscillation":"4671","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2107,"certificate_verified":true},{"document":54,"residual_oscillation":"4425","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4425,"certificate_verified":true},{"document":55,"residual_oscillation":"4357","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":3801,"certificate_verified":true},{"document":56,"residual_oscillation":"201","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":200,"certificate_verified":true},{"document":57,"residual_oscillation":"561","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":58,"residual_oscillation":"4007","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4007,"certificate_verified":true},{"document":59,"residual_oscillation":"4280","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":60,"residual_oscillation":"4738","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":342,"certificate_verified":true},{"document":61,"residual_oscillation":"4124","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":1977,"certificate_verified":true},{"document":62,"residual_oscillation":"5979","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":63,"residual_oscillation":"4048","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2090,"certificate_verified":true},{"document":64,"residual_oscillation":"4360","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":65,"residual_oscillation":"4400","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":1948,"certificate_verified":true},{"document":66,"residual_oscillation":"4171","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":67,"residual_oscillation":"5850","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":5830,"certificate_verified":true},{"document":68,"residual_oscillation":"4547","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2073,"certificate_verified":true},{"document":69,"residual_oscillation":"4350","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":182,"certificate_verified":true},{"document":70,"residual_oscillation":"4224","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":71,"residual_oscillation":"296","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true}]},"boundary_taxonomy":{"all_edges":{"fine_grid_inactive":6688,"phase_masked":1350,"component_cancelled":376,"objective_visible":3874},"by_atom":[{"atom":0,"counts":{"fine_grid_inactive":1584,"phase_masked":200,"component_cancelled":0,"objective_visible":264}},{"atom":1,"counts":{"fine_grid_inactive":1672,"phase_masked":180,"component_cancelled":4,"objective_visible":192}},{"atom":2,"counts":{"fine_grid_inactive":1656,"phase_masked":164,"component_cancelled":0,"objective_visible":228}},{"atom":3,"counts":{"fine_grid_inactive":1744,"phase_masked":116,"component_cancelled":0,"objective_visible":188}},{"atom":4,"counts":{"fine_grid_inactive":32,"phase_masked":144,"component_cancelled":372,"objective_visible":1500}},{"atom":5,"counts":{"fine_grid_inactive":0,"phase_masked":546,"component_cancelled":0,"objective_visible":1502}}]},"decision":{"structure_certificate_selected":false,"optimizer_change_authorized":false,"paid_scaling_authorized":false}}