1 2 3 4 5 6 7 8 9
{ "auxiliaryInput": { "smtlib2responses": { "0xa0c072acdbe5181dd56cbad8960cb5bb0b9e97fd598cfd895467bd73bbcca028": "sat\n((|EVALEXPR_0| 0))\n" } } }