{"schema":"nsrl.production_atomic_structure.v1","analysis_role":"untouched_confirmation","rank":6,"vertices_evaluated":64,"transfer_documents_read":0,"reserved_documents_read":64,"bindings":{"source_fnv64":"0x390e886e8440c4f7","binary_fnv64":"0xd5a6285b883749b8","model_hash":"0xb10996e0707ab342","tokenizer_hash":"0xf4fe71d93c438c1a","token_stream_hash":"0xda195778ceb603ab","source_index_hash":"0x75f51a06dd94fda8","move_fingerprint":"0x48eccb62ab07b717","manifest_hash":"0xa7789191fefd1838"},"surface":{"document_start":136,"documents":64,"windows_per_document":2,"context_tokens":64,"hard_stop_before_document":200},"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":[1745505891,1745505896,1745505894,1745505896,1745505888,1745505892,1745505887,1745505890,1745505894,1745505895,1745505893,1745505894,1745505890,1745505894,1745505886,1745505892,1745505891,1745505894,1745505893,1745505893,1745505890,1745505891,1745505888,1745505888,1745505894,1745505894,1745505891,1745505889,1745505891,1745505893,1745505885,1745505887,1745505829,1745505832,1745505828,1745505830,1745505827,1745505830,1745505828,1745505831,1745505826,1745505828,1745505825,1745505826,1745505825,1745505828,1745505826,1745505829,1745505826,1745505833,1745505827,1745505833,1745505823,1745505829,1745505826,1745505832,1745505823,1745505828,1745505824,1745505830,1745505822,1745505827,1745505825,1745505832],"coefficients":["1745505891","5","3","-3","-3","-1","-4","2","3","-4","-4","3","-1","4","1","0","0","-2","-1","0","2","-1","0","0","0","1","-1","-2","-1","0","0","0","-62","-2","-4","2","1","1","6","-1","-6","3","4","-3","2","-3","-1","0","-3","6","3","0","-3","0","0","0","0","-2","1","4","2","0","0","0"],"documents":[{"document":136,"coefficients":["27252256","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","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":137,"coefficients":["27366638","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":138,"coefficients":["27184319","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","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"]},{"document":139,"coefficients":["27332592","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":140,"coefficients":["27173940","0","1","0","0","0","-1","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","-1","0","-1","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"]},{"document":141,"coefficients":["27421728","0","0","0","1","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","-1","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":142,"coefficients":["27342786","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":143,"coefficients":["27122011","0","0","0","-1","0","0","0","0","0","-1","1","0","0","0","0","-1","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","-2","1","0","0","1","0","0","0","0","-1","1","-1","0","0","0","0","1","0","0","0","-2","0","0","0","0","0","0","0","0","0","0","0"]},{"document":144,"coefficients":["27441241","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":145,"coefficients":["27197813","0","0","0","0","0","0","0","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":146,"coefficients":["27280712","0","1","0","0","0","0","0","1","0","-1","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","-1","0","1","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":147,"coefficients":["27407092","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","-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"]},{"document":148,"coefficients":["27394729","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","-1","0","0","0","0","0","-2","0","1","0","0","0","0","0","0","0","-1","0","0","0","0","0","1","0","-1","0","0","0","0","0","0","0","1","0","0","0","0","0"]},{"document":149,"coefficients":["27331554","0","0","0","0","0","0","0","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":150,"coefficients":["27145423","0","0","0","0","0","0","0","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","-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"]},{"document":151,"coefficients":["27220124","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":152,"coefficients":["27382714","0","0","-1","0","-1","-1","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","-2","0","0","1","0","1","1","-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"]},{"document":153,"coefficients":["27393754","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","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":154,"coefficients":["27083650","-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","-2","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"]},{"document":155,"coefficients":["27345271","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":156,"coefficients":["27365048","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":157,"coefficients":["27226344","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","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","2","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":158,"coefficients":["27139298","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":159,"coefficients":["27109141","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":160,"coefficients":["27275768","0","0","0","0","0","0","0","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":161,"coefficients":["27210218","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","-1","0","1","-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":162,"coefficients":["27358557","1","0","-1","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","-1","-1","0","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"]},{"document":163,"coefficients":["27098113","0","1","0","1","0","-2","0","1","0","-1","0","-1","0","2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","-1","0","2","0","-1","0","1","0","1","0","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":164,"coefficients":["27209276","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","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":165,"coefficients":["27376567","0","0","0","0","0","0","0","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":166,"coefficients":["27449572","1","0","0","0","-1","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","-1","-1","2","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":167,"coefficients":["27217085","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":168,"coefficients":["27021102","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","0","-2","0","0","0","0","0","0","0","1","0","0","0","0","0","0","-1","2","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":169,"coefficients":["27085252","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","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"]},{"document":170,"coefficients":["27402475","0","0","0","1","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","-1","0","0","0","-1","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"]},{"document":171,"coefficients":["27183171","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","0","0","0","0","0","0","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":172,"coefficients":["27205680","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":173,"coefficients":["27341232","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","-1","0","0","0","0","0","-1","0","1","0","0","0","0","0","0","0","-1","0","0","0","0","0","1","0","-2","0","0","0","0","0","0","0","2","0","0","0","0","0"]},{"document":174,"coefficients":["27297823","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","0","0","0","0","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":175,"coefficients":["27413231","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":176,"coefficients":["27299770","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","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"]},{"document":177,"coefficients":["27401602","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":178,"coefficients":["27213859","1","1","-1","0","0","0","0","0","-1","-1","2","0","0","0","0","-1","-1","-1","1","0","0","0","0","0","1","1","-2","0","0","0","0","-1","-1","-1","1","0","0","0","0","0","1","1","-2","0","0","0","0","0","2","2","-2","0","0","0","0","0","-2","-2","4","0","0","0","0"]},{"document":179,"coefficients":["27089423","0","0","0","0","0","0","0","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":180,"coefficients":["27244978","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","1","0","0","1","-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"]},{"document":181,"coefficients":["27256521","0","0","0","0","0","0","0","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","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":182,"coefficients":["27288918","0","0","0","0","0","0","0","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":183,"coefficients":["27162192","0","0","0","0","-1","0","0","0","-1","0","0","-1","2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","1","0","0","0","1","0","0","1","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":184,"coefficients":["27340233","-1","0","0","-2","1","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","0","1","0","0","-1","-1","0","0","0","0","0","0","0","0","0","0"]},{"document":185,"coefficients":["27289183","0","-2","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","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":186,"coefficients":["27303161","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":187,"coefficients":["27296466","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","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":188,"coefficients":["27252607","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","1","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":189,"coefficients":["27540607","0","0","0","0","0","0","0","0","0","1","0","1","0","-1","0","2","0","0","0","0","0","0","0","0","0","-1","0","-1","0","1","0","-1","0","0","0","1","0","0","0","0","0","-1","0","-1","0","1","0","-1","0","0","0","0","0","0","0","0","0","2","0","2","0","-2","0"]},{"document":190,"coefficients":["27251060","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":191,"coefficients":["27393288","0","0","0","0","0","0","0","1","-1","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","-1","1","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":192,"coefficients":["27262351","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","-1","0","1","0","0","0","0","0","0","0","0","0","0","0","-2","0","-1","0","2","0","0","0","0","0","0","0","0","0","-1","0","2","0","2","0","-2","0","0","0","0","0","0","0","0","0"]},{"document":193,"coefficients":["27485126","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":194,"coefficients":["27429616","0","0","0","0","0","0","0","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":195,"coefficients":["27267511","0","0","0","0","0","0","0","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":196,"coefficients":["27259247","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","1","0","0","0","-1","0","0","0","0","0","0","0","0","0","0","-1","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"]},{"document":197,"coefficients":["27193687","1","0","0","0","-1","0","0","1","-1","0","0","-1","2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","1","0","0","-1","1","0","0","1","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":198,"coefficients":["27114096","0","0","0","-1","0","1","0","-1","0","0","0","1","0","0","0","-1","0","0","0","1","0","-1","0","0","0","1","0","0","0","-1","0","-1","0","0","0","1","0","-1","0","0","0","1","0","0","0","-1","0","1","0","0","0","-2","0","2","0","0","0","-2","0","0","0","2","0"]},{"document":199,"coefficients":["27065089","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","-1","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","2","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]}],"absolute_mass_by_order":{"population":["1745505891","76","38","44","15","4","0"],"environmental":["1745505891","148","120","92","43","8","0"]},"tails":[{"retained_order":1,"population_absolute_tail":"101","environmental_absolute_tail":"263","cancellation_mass":"162","truncated_minimizer":36,"exact_gap":"5","tail_regret_bound":"101","certificate_verified":true},{"retained_order":2,"population_absolute_tail":"63","environmental_absolute_tail":"143","cancellation_mass":"80","truncated_minimizer":63,"exact_gap":"10","tail_regret_bound":"63","certificate_verified":true},{"retained_order":3,"population_absolute_tail":"19","environmental_absolute_tail":"51","cancellation_mass":"32","truncated_minimizer":60,"exact_gap":"0","tail_regret_bound":"19","certificate_verified":true},{"retained_order":4,"population_absolute_tail":"4","environmental_absolute_tail":"8","cancellation_mass":"4","truncated_minimizer":60,"exact_gap":"0","tail_regret_bound":"4","certificate_verified":true},{"retained_order":5,"population_absolute_tail":"0","environmental_absolute_tail":"0","cancellation_mass":"0","truncated_minimizer":60,"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":"5","exchange_local_minima":2,"maximum_local_gap":"0","cardinality_defect_bound":"10","certificate_verified":true},{"cardinality":3,"uniform_defect":"8","exchange_local_minima":2,"maximum_local_gap":"0","cardinality_defect_bound":"24","certificate_verified":true},{"cardinality":4,"uniform_defect":"6","exchange_local_minima":1,"maximum_local_gap":"0","cardinality_defect_bound":"24","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,13,14,17,18,20,21,25,26,27,28,33,34,35,36,37,38,39,40,41,42,43,44,45,46,48,49,50,52,57,58,59,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":[7149592124370,7149592142811,7149592128556,7149592138582,7149592116156,7149592130514,7149592116021,7149592128328,7149592122420,7149592132660,7149592118394,7149592126353,7149592116052,7149592128020,7149592110188,7149592126239,7149592127505,7149592145945,7149592131691,7149592141713,7149592119293,7149592133650,7149592119155,7149592131460,7149592125554,7149592135795,7149592121525,7149592129482,7149592119189,7149592131154,7149592113322,7149592129369,7149591859679,7149591878119,7149591863866,7149591873889,7149591851464,7149591865823,7149591851327,7149591863635,7149591857730,7149591867971,7149591853703,7149591861661,7149591851362,7149591863329,7149591845497,7149591861547,7149591862818,7149591881255,7149591867003,7149591877024,7149591854602,7149591868958,7149591854465,7149591866771,7149591860868,7149591871104,7149591856842,7149591864796,7149591854498,7149591866462,7149591848633,7149591864681],"coefficients":["7149592124370","18441","4186","-8415","-8214","-4083","-4321","6364","-1950","-8201","-8212","6134","1846","5811","2483","0","3135","-1","0","-3","2","0","-3","2","-1","2","-3","0","1","-4","3","0","-264691","-1","1","-2","-1","2","-3","2","1","2","-2","0","1","-4","3","0","4","-2","-2","4","-3","0","5","-2","0","-4","6","0","-2","6","-6","0"],"documents":[{"document":136,"coefficients":["111625238207","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-8318","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4216","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":137,"coefficients":["112093752276","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","7774","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4319","0","0","0","0","0","0","0","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":138,"coefficients":["111346971576","0","0","0","0","0","0","0","-1987","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4032","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":139,"coefficients":["111954292765","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3969","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4226","0","0","0","0","0","0","0","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":140,"coefficients":["111304461011","0","1967","0","-1967","0","0","0","0","0","0","0","0","0","0","0","8084","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4000","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":141,"coefficients":["112319394806","0","0","0","1989","0","0","0","0","0","0","0","0","0","0","0","-1979","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4111","0","0","0","0","0","0","0","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":142,"coefficients":["111996051958","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-180","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4216","0","0","0","0","0","0","0","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":143,"coefficients":["111091755869","2112","28","-28","-2025","0","0","0","56","-2112","-2112","2112","0","0","0","0","-2053","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","-4081","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"]},{"document":144,"coefficients":["112399324353","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2214","0","0","0","0","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","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":145,"coefficients":["111402242685","-2146","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4098","0","0","0","0","0","0","0","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":146,"coefficients":["111741799372","0","2020","0","0","0","0","0","2020","0","-2020","0","0","0","0","0","1909","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4133","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":147,"coefficients":["112259453696","0","0","0","0","0","-2015","0","0","0","0","0","0","0","2015","0","-4672","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4195","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","1","0","0","0","0","0","0","0","-1","0"]},{"document":148,"coefficients":["112208810251","0","2167","0","0","0","0","0","0","0","-2167","0","0","0","0","0","6135","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4276","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"]},{"document":149,"coefficients":["111950042490","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4322","0","0","0","0","0","0","0","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":150,"coefficients":["111187653106","0","0","0","0","0","-2000","2000","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4058","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":151,"coefficients":["111493625152","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","3883","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","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":152,"coefficients":["112159596493","0","0","-2182","0","-2182","-2182","4364","0","0","0","0","0","0","0","0","209","0","0","-1","0","-1","-1","2","0","0","0","0","0","0","0","0","-4267","0","0","-1","0","-1","-1","2","0","0","0","0","0","0","0","0","1","0","0","1","0","1","1","-2","0","0","0","0","0","0","0","0"]},{"document":153,"coefficients":["112204818463","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-517","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4355","0","0","0","0","0","0","0","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":154,"coefficients":["110934624120","-1965","0","0","-1965","1965","0","0","0","0","0","0","0","0","0","0","234","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4127","-1","0","0","-1","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"]},{"document":155,"coefficients":["112006229961","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","-4309","0","0","0","0","0","0","0","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":156,"coefficients":["112087234568","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-6087","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3873","0","0","0","0","0","0","0","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":157,"coefficients":["111519109308","0","1999","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","0","0","-4162","0","0","0","0","0","0","0","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":158,"coefficients":["111162564986","0","0","0","0","0","0","0","-89","0","0","0","0","0","0","0","-1668","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","-4032","0","0","0","0","0","0","0","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":159,"coefficients":["111039040873","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-5717","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4130","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":160,"coefficients":["111721547951","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-2477","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","-2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":161,"coefficients":["111453049720","0","2224","-2046","0","0","0","0","0","0","0","0","0","0","0","0","2018","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","-4185","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"]},{"document":162,"coefficients":["112060647333","2148","0","-2148","0","0","0","0","0","0","0","0","0","0","0","0","-8384","1","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","-4432","1","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","-2","0","2","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":163,"coefficients":["110993870151","0","2108","0","2108","0","-4300","0","2108","0","-2108","0","-2108","0","4300","0","84","0","0","0","0","0","-1","0","0","0","0","0","0","0","1","0","-3975","0","0","0","0","0","-1","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","2","0","0","0","0","0","0","0","-2","0"]},{"document":164,"coefficients":["111449198018","4154","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-34","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4004","0","0","0","0","0","0","0","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":165,"coefficients":["112134421086","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-480","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4251","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":166,"coefficients":["112433448455","4054","-2046","0","0","-4054","0","0","-1989","-2013","-113","0","0","2013","0","0","-218","0","1","0","0","0","0","0","1","0","-2","0","0","0","0","0","-4118","0","1","0","0","0","0","0","1","0","-2","0","0","0","0","0","1","0","-2","0","0","0","0","0","-2","0","4","0","0","0","0","0"]},{"document":167,"coefficients":["111481178095","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","6340","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4097","0","0","0","0","0","0","0","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":168,"coefficients":["110678437022","217","0","0","0","0","0","0","0","1878","0","0","0","0","0","0","-6214","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4138","0","0","0","0","0","0","0","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":169,"coefficients":["110941193245","0","0","0","0","0","2159","0","0","0","0","0","0","0","0","0","6573","0","0","0","0","0","-1","0","0","0","0","0","0","0","0","0","-3906","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0"]},{"document":170,"coefficients":["112240534461","0","0","0","2009","0","-2009","0","0","0","0","0","0","0","0","0","6151","0","0","0","1","0","-1","0","0","0","0","0","0","0","0","0","-4002","0","0","0","1","0","-1","0","0","0","0","0","0","0","0","0","2","0","0","0","-2","0","2","0","0","0","0","0","0","0","0","0"]},{"document":171,"coefficients":["111342267106","2045","0","0","0","0","0","0","0","0","0","0","0","0","0","0","8048","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3996","-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":172,"coefficients":["111434465488","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","4164","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4302","0","0","0","0","0","0","0","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":173,"coefficients":["111989685091","0","1768","0","0","0","0","0","0","0","-1768","0","0","0","0","0","-5989","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3866","0","0","0","0","0","0","0","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":174,"coefficients":["111811886637","0","0","0","-4125","4125","0","0","-2005","2005","0","0","2005","-4010","0","0","318","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3965","0","0","0","-1","1","0","0","-1","1","0","0","1","-2","0","0","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]},{"document":175,"coefficients":["112284598714","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-5937","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4045","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":176,"coefficients":["111819855790","0","0","0","-1868","1868","0","0","0","0","0","0","0","0","0","0","1987","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4161","0","0","0","-1","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"]},{"document":177,"coefficients":["112236959400","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-6206","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4302","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":178,"coefficients":["111467970470","2011","2011","-2011","0","0","0","0","0","-2011","-2011","4022","0","0","0","0","-4133","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3822","0","0","0","0","0","0","0","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":179,"coefficients":["110958276673","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1678","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4463","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":180,"coefficients":["111595428077","1943","0","0","1943","-1943","0","0","0","0","0","0","0","0","0","0","6379","1","0","0","1","-1","0","0","0","0","0","0","0","0","0","0","-4180","1","0","0","1","-1","0","0","0","0","0","0","0","0","0","0","2","-2","0","0","-2","2","0","0","0","0","0","0","0","0","0","0"]},{"document":181,"coefficients":["111642705450","0","0","0","-140","0","0","0","0","0","0","0","0","0","0","0","2337","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4166","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":182,"coefficients":["111775406347","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","55","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3785","0","0","0","0","0","0","0","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":183,"coefficients":["111256341765","0","0","0","0","-1912","0","0","0","-1912","0","0","-1912","3824","0","0","162","0","0","0","0","1","0","0","0","1","0","0","1","-2","0","0","-3964","0","0","0","0","1","0","0","0","1","0","0","1","-2","0","0","2","0","0","0","0","-2","0","0","0","-2","0","0","-2","4","0","0"]},{"document":184,"coefficients":["111985593169","-2277","0","0","-4381","2277","0","0","0","0","0","0","0","0","0","0","6032","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","-4226","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","0","0","0","0","0","0"]},{"document":185,"coefficients":["111776492609","0","-5998","0","0","0","0","0","0","0","0","0","0","0","0","0","4019","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4444","0","0","0","0","0","0","0","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":186,"coefficients":["111833746432","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3995","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4131","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":187,"coefficients":["111806323167","2054","0","0","0","0","0","0","0","0","0","0","0","0","0","0","4413","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3939","0","0","0","0","0","0","0","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":188,"coefficients":["111626678078","0","0","0","2040","0","0","0","0","0","0","0","0","0","0","0","2320","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4183","0","0","0","0","0","0","0","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":189,"coefficients":["112806326876","0","0","0","2117","0","0","0","0","0","2008","0","1867","0","-1867","0","6503","0","0","0","-1","0","0","0","0","0","0","0","-1","0","1","0","-4063","0","0","0","0","0","0","0","0","0","0","0","-1","0","1","0","0","0","0","0","1","0","0","0","0","0","0","0","1","0","-1","0"]},{"document":190,"coefficients":["111620338635","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3855","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4156","0","0","0","0","0","0","0","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":191,"coefficients":["112202908331","0","0","0","0","0","0","0","2044","-2044","0","0","0","0","0","0","-6153","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3996","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","0","0","0","0","0","0","0","1","-1","0","0","0","0","0","0"]},{"document":192,"coefficients":["111666589787","0","-4062","0","-1985","0","4062","0","0","0","0","0","0","0","0","0","-2127","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4146","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"]},{"document":193,"coefficients":["112579074789","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","4416","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4390","0","0","0","0","0","0","0","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":194,"coefficients":["112351707763","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1964","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":195,"coefficients":["111687726190","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1930","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4242","0","0","0","0","0","0","0","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":196,"coefficients":["111653874013","2235","0","0","0","-2235","0","0","0","0","0","0","0","0","0","0","4411","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-4077","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":197,"coefficients":["111385343029","3894","0","0","0","-1992","0","0","1992","-1992","0","0","-1992","3984","0","0","-572","-1","0","0","0","1","0","0","-1","1","0","0","1","-2","0","0","-4264","-1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-1","2","0","0","0","-1","0","0","1","-1","0","0","-1","2","0","0"]},{"document":198,"coefficients":["111059336850","0","0","0","-1964","0","1964","0","-4100","0","2079","0","3986","0","-1965","0","-1707","0","0","0","-1","0","1","0","0","0","-1","0","0","0","1","0","-4294","0","0","0","-1","0","1","0","0","0","-1","0","0","0","1","0","-2","0","0","0","2","0","-2","0","0","0","2","0","0","0","-2","0"]},{"document":199,"coefficients":["110858603762","-2038","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-138","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","-3992","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":["7149592124370","300617","35090","20823","39","14","0"],"environmental":["7149592124370","590045","99954","36539","51","14","0"]},"tails":[{"retained_order":1,"population_absolute_tail":"55966","environmental_absolute_tail":"136558","cancellation_mass":"80592","truncated_minimizer":44,"exact_gap":"5865","tail_regret_bound":"55966","certificate_verified":true},{"retained_order":2,"population_absolute_tail":"20876","environmental_absolute_tail":"36604","cancellation_mass":"15728","truncated_minimizer":47,"exact_gap":"16050","tail_regret_bound":"20876","certificate_verified":true},{"retained_order":3,"population_absolute_tail":"53","environmental_absolute_tail":"65","cancellation_mass":"12","truncated_minimizer":46,"exact_gap":"0","tail_regret_bound":"53","certificate_verified":true},{"retained_order":4,"population_absolute_tail":"14","environmental_absolute_tail":"14","cancellation_mass":"0","truncated_minimizer":46,"exact_gap":"0","tail_regret_bound":"14","certificate_verified":true},{"retained_order":5,"population_absolute_tail":"0","environmental_absolute_tail":"0","cancellation_mass":"0","truncated_minimizer":46,"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":"8410","exchange_local_minima":1,"maximum_local_gap":"0","cardinality_defect_bound":"16820","certificate_verified":true},{"cardinality":3,"uniform_defect":"8241","exchange_local_minima":1,"maximum_local_gap":"0","cardinality_defect_bound":"24723","certificate_verified":true},{"cardinality":4,"uniform_defect":"4355","exchange_local_minima":1,"maximum_local_gap":"0","cardinality_defect_bound":"17420","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,13,14,17,19,20,22,23,24,25,26,28,29,30,33,34,35,36,37,38,39,40,41,42,44,45,46,48,49,50,51,52,54,55,57,58,60,61,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":6,"q20_zero_q32_nonzero":12,"q20_nonzero_q32_zero":5,"both_nonzero_sign_agree":25,"both_nonzero_sign_disagree":15},"document_coefficients":{"both_zero":3530,"q20_zero_q32_nonzero":164,"q20_nonzero_q32_zero":111,"both_nonzero_sign_agree":186,"both_nonzero_sign_disagree":41}},"representation_discrepancy":{"aggregate":{"q20_to_q32_multiplier":4096,"residual_minimum":"-23191","residual_maximum":"16217","residual_oscillation":"39408","q20_minimizers":[60],"q32_minimizers":[46],"shared_minimizers":[],"maximum_q32_regret_of_q20_minimizer":9001,"certificate_verified":true},"documents":[{"document":136,"residual_oscillation":"4102","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":137,"residual_oscillation":"4737","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4319,"certificate_verified":true},{"document":138,"residual_oscillation":"4032","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":139,"residual_oscillation":"4093","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":140,"residual_oscillation":"4107","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":141,"residual_oscillation":"4224","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4111,"certificate_verified":true},{"document":142,"residual_oscillation":"3976","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":180,"certificate_verified":true},{"document":143,"residual_oscillation":"4187","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2084,"certificate_verified":true},{"document":144,"residual_oscillation":"2040","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":145,"residual_oscillation":"4094","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":146,"residual_oscillation":"4263","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4133,"certificate_verified":true},{"document":147,"residual_oscillation":"4573","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":148,"residual_oscillation":"3987","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":149,"residual_oscillation":"226","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":150,"residual_oscillation":"4134","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":151,"residual_oscillation":"4173","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":152,"residual_oscillation":"4135","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2393,"certificate_verified":true},{"document":153,"residual_oscillation":"4872","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4872,"certificate_verified":true},{"document":154,"residual_oscillation":"4300","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2201,"certificate_verified":true},{"document":155,"residual_oscillation":"238","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":156,"residual_oscillation":"3873","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":3873,"certificate_verified":true},{"document":157,"residual_oscillation":"4162","shared_minimizer":false,"maximum_q32_regret_of_q20_minimizer":2,"certificate_verified":true},{"document":158,"residual_oscillation":"4122","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4122,"certificate_verified":true},{"document":159,"residual_oscillation":"4063","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":160,"residual_oscillation":"4108","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":161,"residual_oscillation":"4302","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2018,"certificate_verified":true},{"document":162,"residual_oscillation":"5852","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4432,"certificate_verified":true},{"document":163,"residual_oscillation":"4144","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4144,"certificate_verified":true},{"document":164,"residual_oscillation":"4245","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":165,"residual_oscillation":"637","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":482,"certificate_verified":true},{"document":166,"residual_oscillation":"4418","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4418,"certificate_verified":true},{"document":167,"residual_oscillation":"4097","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4097,"certificate_verified":true},{"document":168,"residual_oscillation":"4337","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":216,"certificate_verified":true},{"document":169,"residual_oscillation":"4413","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":170,"residual_oscillation":"4191","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2010,"certificate_verified":true},{"document":171,"residual_oscillation":"4140","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":3996,"certificate_verified":true},{"document":172,"residual_oscillation":"274","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":173,"residual_oscillation":"4301","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":3866,"certificate_verified":true},{"document":174,"residual_oscillation":"6289","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4284,"certificate_verified":true},{"document":175,"residual_oscillation":"4149","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":176,"residual_oscillation":"4215","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":1988,"certificate_verified":true},{"document":177,"residual_oscillation":"2192","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":178,"residual_oscillation":"4370","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":179,"residual_oscillation":"2046","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":1679,"certificate_verified":true},{"document":180,"residual_oscillation":"4227","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":181,"residual_oscillation":"4166","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":140,"certificate_verified":true},{"document":182,"residual_oscillation":"366","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":55,"certificate_verified":true},{"document":183,"residual_oscillation":"4126","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4126,"certificate_verified":true},{"document":184,"residual_oscillation":"4280","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4226,"certificate_verified":true},{"document":185,"residual_oscillation":"4521","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4444,"certificate_verified":true},{"document":186,"residual_oscillation":"4161","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":187,"residual_oscillation":"5821","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":188,"residual_oscillation":"4376","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2320,"certificate_verified":true},{"document":189,"residual_oscillation":"4528","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2008,"certificate_verified":true},{"document":190,"residual_oscillation":"4277","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":191,"residual_oscillation":"4196","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":3997,"certificate_verified":true},{"document":192,"residual_oscillation":"4162","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2127,"certificate_verified":true},{"document":193,"residual_oscillation":"614","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":194,"residual_oscillation":"3959","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":195,"residual_oscillation":"4242","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":196,"residual_oscillation":"4077","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":0,"certificate_verified":true},{"document":197,"residual_oscillation":"4837","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2565,"certificate_verified":true},{"document":198,"residual_oscillation":"4666","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":4296,"certificate_verified":true},{"document":199,"residual_oscillation":"6101","shared_minimizer":true,"maximum_q32_regret_of_q20_minimizer":2038,"certificate_verified":true}]},"boundary_taxonomy":{"all_edges":{"fine_grid_inactive":6584,"phase_masked":1432,"component_cancelled":512,"objective_visible":3760},"by_atom":[{"atom":0,"counts":{"fine_grid_inactive":1576,"phase_masked":192,"component_cancelled":4,"objective_visible":276}},{"atom":1,"counts":{"fine_grid_inactive":1656,"phase_masked":176,"component_cancelled":4,"objective_visible":212}},{"atom":2,"counts":{"fine_grid_inactive":1552,"phase_masked":242,"component_cancelled":0,"objective_visible":254}},{"atom":3,"counts":{"fine_grid_inactive":1704,"phase_masked":194,"component_cancelled":0,"objective_visible":150}},{"atom":4,"counts":{"fine_grid_inactive":96,"phase_masked":144,"component_cancelled":504,"objective_visible":1304}},{"atom":5,"counts":{"fine_grid_inactive":0,"phase_masked":484,"component_cancelled":0,"objective_visible":1564}}]},"decision":{"structure_certificate_selected":false,"optimizer_change_authorized":false,"paid_scaling_authorized":false}}