{"taskid":"a513142efcde29417a5e6aafc3672e72d6563baee1ec6d2b0ac21b1170cbb0f5i0","bases":"9b74082ac937b5571e6ce397c37bd9be203a958765f9d0da321a022795a35cb5i0","ops":[{"op":"respec","node":"stmt","specid":"1907a2533758c69f061ebfe4a310708d14b30aa7c39a1ec1eb5c65fc626df84fi0"},{"op":"respec","node":"core","specid":"1907a2533758c69f061ebfe4a310708d14b30aa7c39a1ec1eb5c65fc626df84fi0"},{"op":"respec","node":"integ","specid":"1907a2533758c69f061ebfe4a310708d14b30aa7c39a1ec1eb5c65fc626df84fi0"},{"op":"respec","node":"root","specid":"1907a2533758c69f061ebfe4a310708d14b30aa7c39a1ec1eb5c65fc626df84fi0"}]}