SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  % %X9|l ]S Stuttering_Equivalence:threads=2elapsed=3.515cpu=6.640gc=0.232factor=1.897zXZִF! p]ŗXf1-/6vR[] 9*%fk^"i -:l5P-ӱgYZ7zXZִF! ~]ŗXi%9(O]p8 ZdUt_"3WVr}2Ia'gRg/-M]e:pm3-}6lx,]/ XmjMGB($UVs͈+e q2KnXx$&9oOthuR>焻M:ge?v<M68=J:c$O)g5ߓ)e@.Z0mQ"fQGD>o&Z)AapZ#9Wch+'7)|6p)mbO\T^5ʐN5cXg8W!f7(cd ’+ɣh-2~E4e0Yj`zX%胁 yyiRUUF->zƋrV"Os-u?=zPHSJGpGRa|0&];i_w0wߘm4eYge! fq 9}x@w6*0$ G7nA.'ބJnDocqnOL+ϏJ\ 34Hf^yNJ8qHLy63ؖgYZ76ff4b0d5a159ee54bb025dbaa141d838d266ee93bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 bd7792f4649463f5bccfb212c66d7e7e97af51c2 9 Stuttering_Equivalence