callback( { "result":{ "query":"Automatic* Formal* Synthesis* of* Hardware* from* Higher* Order* Logic*", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"0.21" }, "completions":{ "@total":"0", "@computed":"0", "@sent":"0" }, "hits":{ "@total":"0", "@computed":"0", "@sent":"0", "@first":"0"} } } )