Back to PBT run
check-report.json
{
"annotations": {
"implementation": "spectriad-checker/0.1.0.dev0",
"input_path": "/home/blimpan/projects/spectriad/rework-fresh/project-data/loom/48615bc5925ef4b9db8b4550b5d4322933cf4b7b/runs/mlir-stage-16-v1/20260911-084757/seeds/728/input.generic.mlir",
"output_path": "/home/blimpan/projects/spectriad/rework-fresh/project-data/loom/48615bc5925ef4b9db8b4550b5d4322933cf4b7b/runs/mlir-stage-16-v1/20260911-084757/seeds/728/output.generic.mlir",
"postcondition_path": "/home/blimpan/projects/spectriad/rework-fresh/project-data/loom/48615bc5925ef4b9db8b4550b5d4322933cf4b7b/runs/mlir-stage-16-v1/20260911-084757/profiles-all-v2-800-0b4d2762cc084bd494c1742d1022a6eb/postcondition.spct"
},
"dependencies": [],
"diagnostics": [],
"identity": {
"adapter": "mlir.generic@1/xdsl-0.69",
"input_digest": "sha256:6e900df4fcd9e84a27096f0f9b9539a55583810391f4796d75e33ad80a95949e",
"language_version": "v0",
"output_digest": "sha256:a2cbc2fa0f64fac9891f8538ca3f553fba0c990f0d3a8121b6ce0476d475bf41",
"postcondition_digest": "sha256:0de7d2e8cdb0257be7bca4ae995ab0ebc1cad50088c0695c63302f67b288fecb",
"postcondition_name": "memory_exports_preserve_root_and_memref_payload",
"typed_ast_digest": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0",
"vocabulary": "mlir.generic@1"
},
"outcome": "PASS",
"report_version": "spectriad.check-report@0",
"retention": {
"max_witnesses_per_site": 10
},
"terminal_phase": "evaluation",
"trace": {
"assertion_sites": [
{
"label": "export_retains_memref_payload",
"line": 43,
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/0/body/0/assert"
},
{
"label": "export_preserves_root_or_exposes_fresh_allocation",
"line": 47,
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/0/body/1/assert"
},
{
"label": "completion_carries_only_none_obligations",
"line": 54,
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/1/assert"
}
],
"assertions": [
{
"error_count": 0,
"fail_count": 0,
"label": "export_retains_memref_payload",
"pass_count": 2,
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/0/body/0/assert",
"witnesses": []
},
{
"error_count": 0,
"fail_count": 0,
"label": "export_preserves_root_or_exposes_fresh_allocation",
"pass_count": 2,
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/0/body/1/assert",
"witnesses": []
},
{
"error_count": 0,
"fail_count": 0,
"label": "completion_carries_only_none_obligations",
"pass_count": 2,
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/1/assert",
"witnesses": []
}
],
"decision_diagrams": {
"sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/0/body/0/assert": {
"nodes": {
"constraints/2/body/0/body/0/body/0/condition": {
"end": 1922,
"false": "FAIL",
"line": 43,
"start": 1899,
"true": "PASS"
}
},
"root": "constraints/2/body/0/body/0/body/0/condition"
},
"sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/0/body/1/assert": {
"nodes": {
"constraints/2/body/0/body/0/body/1/condition/left": {
"end": 2138,
"false": "constraints/2/body/0/body/0/body/1/condition/right",
"line": 48,
"start": 2115,
"true": "PASS"
},
"constraints/2/body/0/body/0/body/1/condition/right": {
"end": 2212,
"false": "FAIL",
"line": 49,
"start": 2154,
"true": "PASS"
}
},
"root": "constraints/2/body/0/body/0/body/1/condition/left"
},
"sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/1/assert": {
"nodes": {
"constraints/2/body/0/body/1/condition": {
"end": 2490,
"false": "FAIL",
"line": 55,
"start": 2424,
"true": "PASS"
}
},
"root": "constraints/2/body/0/body/1/condition"
}
},
"decision_paths": [
{
"path": [
[
"constraints/2/body/0/body/0/body/0/condition",
true
]
],
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/0/body/0/assert",
"terminal": "PASS"
},
{
"path": [
[
"constraints/2/body/0/body/0/body/1/condition/left",
true
]
],
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/0/body/1/assert",
"terminal": "PASS"
},
{
"path": [
[
"constraints/2/body/0/body/1/condition",
true
]
],
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/1/assert",
"terminal": "PASS"
},
{
"path": [
[
"constraints/2/body/0/body/0/body/0/condition",
true
]
],
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/0/body/0/assert",
"terminal": "PASS"
},
{
"path": [
[
"constraints/2/body/0/body/0/body/1/condition/left",
false
],
[
"constraints/2/body/0/body/0/body/1/condition/right",
true
]
],
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/0/body/1/assert",
"terminal": "PASS"
},
{
"path": [
[
"constraints/2/body/0/body/1/condition",
true
]
],
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/1/assert",
"terminal": "PASS"
}
],
"predicate_observations": [
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": true
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/0/value/argument/0/definition/view_edges/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": true
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": true
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": true
},
{
"path": "constraints/2/body/0/body/0/body/0/condition",
"value": true
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": true
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": true
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left",
"value": true
},
{
"path": "constraints/2/body/0/body/0/body/1/condition",
"value": true
},
{
"path": "constraints/2/body/0/body/1/condition/where",
"value": true
},
{
"path": "constraints/2/body/0/body/1/condition",
"value": true
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": false
},
{
"path": "constraints/2/body/0/generators/0/source/where",
"value": true
},
{
"path": "constraints/2/body/0/body/0/body/0/condition",
"value": true
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left/right/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/left",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where/right",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/generators/0/source/definition/canonical_roots/right/where",
"value": false
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right/where",
"value": true
},
{
"path": "constraints/2/body/0/body/0/body/1/condition/right",
"value": true
},
{
"path": "constraints/2/body/0/body/0/body/1/condition",
"value": true
},
{
"path": "constraints/2/body/0/body/1/condition/where",
"value": true
},
{
"path": "constraints/2/body/0/body/1/condition",
"value": true
}
],
"quantifiers": [
{
"candidate_count": 2,
"error_count": 0,
"false_count": 0,
"kind": "forall",
"selected_count": 2,
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/forall",
"true_count": 2,
"vacuous_count": 0
},
{
"candidate_count": 2,
"error_count": 0,
"false_count": 0,
"kind": "forall",
"selected_count": 2,
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/forall",
"true_count": 2,
"vacuous_count": 0
},
{
"candidate_count": 2,
"error_count": 0,
"false_count": 0,
"kind": "forall",
"selected_count": 2,
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/0/forall",
"true_count": 2,
"vacuous_count": 0
},
{
"candidate_count": 2,
"error_count": 0,
"false_count": 0,
"kind": "forall",
"selected_count": 2,
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/1/condition/forall",
"true_count": 2,
"vacuous_count": 0
},
{
"candidate_count": 1,
"error_count": 0,
"false_count": 0,
"kind": "exists",
"selected_count": 1,
"site": "sha256:8f561f78ad20f605017fc16b449be4591ebe595cd1a84a4516d2dec2e9e6b3c0:constraints/2/body/0/body/0/body/1/condition/right/exists",
"true_count": 1,
"vacuous_count": 0
}
]
}
}