{"decls":[],"imports":["std.btree_map","std.deque","std.heap"],"kind":"entry","module_id":"main","schema_version":"x07.x07ast@0.8.0","solve":["begin",["let","h",["tapp","std.heap.with_capacity",["tys","u32"],8]],["set","h",["tapp","std.heap.push",["tys","u32"],"h",3]],["set","h",["tapp","std.heap.push",["tys","u32"],"h",1]],["let","min",["tapp","std.heap.min_or",["tys","u32"],["bytes.view","h"],0]],["let","dq",["tapp","std.deque.with_capacity",["tys","u32"],4]],["set","dq",["tapp","std.deque.push_back",["tys","u32"],"dq","min"]],["set","dq",["tapp","std.deque.push_back",["tys","u32"],"dq",9]],["let","out",["tapp","std.deque.emit_le",["tys","u32"],["bytes.view","dq"]]],["let","m",["std.btree_map.empty"]],["set","m",["tapp","std.btree_map.put",["tys","u32","u32"],"m",1,["codec.read_u32_le","out",0]]],["bytes.concat",["tapp","std.btree_map.emit_kv_le",["tys","u32","u32"],"m"],"out"]]}