stdin package:liquid-fixpoint

Read input query from stdin