SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  e e |\ ] ZF-UNITY:threads=6elapsed=5.227cpu=25.356gc=0.848factor=4.857zXZִF! 6]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄċIh{p .O?Rs(q@.]qb.<b:y `lHIa1-] kJRljLm`mqhaXs9@ֻŵb4$Mxu݂4IӻVo9n\1[*ԟr#XT{8"b]e@ NCK~\tIOlU,}eھ(g}Bu n24/$Vt$M'=zOziL6q D=>UogҒȹ&Wh~P=wɨq@k1vìy1JBBkmMni.귅D @#Gl6?Մ!@Y38KذUPS(eخL !ЈUvz?Íμj CI v-*cPg2Ӕe0.:ݺiпbVW[}_Ys)H_jnlQW _xV>.ersP! $x(cOɱ[pA XFLe'egrj'X^ P9k[R2:3lgYZf99c2f09fea2346da56d547bd2e5e398ac6052b21bc35d9f5c260a07418d50e521d7d63c2a5eee08 358e173b802d7844b3d83de6dbef402f425e1170 a245b27e5913cf8466aff8bae06ffcbb35a62dbf   ZF-UNITY