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 n |$ w]LTL:threads=2elapsed=29.923cpu=53.484gc=2.424factor=1.797zXZִF! v]ŗXf1-/6vRZ "@`$%#@tHYMzGPUD6D[TBv2ڞ:yHYK G_:-ng7&bSGgy<-9Ɔ$ʄa4̽G* hwÔ]#d윩Q*Qvc5U3kœ7(VUZ-&I8X~ kZ$(}C?JR/oE.|A2@*Y'ű-gYZ7zXZִF! m]ŗXi%6 גJ)s=1lzhxRlZ6Si 4ڀ&+q{+| W|7?Oh09N"'r#&+ >4 .\ ~6cHwlh`$SR #1V4ށ?l%WݾDN lw3NԘfbX2A<wQRm2 0۵J;RWgK Nփêտ ^UJe+q 7iE_oZ8C# 9]m\nGMuk7A~~=[/Y1&\VTv K(y#S>EȂznZ؎VxtoY7/bcNsc`HvuyU}1+()C: 3P#w9"Xod'k[g ƾZ'.Ff 8QѸ ]%rr TՊY?Bd =-7Q~z785ԗV{'pѕ^ d