SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info [[dl ?/ Locales:threads=2elapsed=1.985cpu=3.244gc=0.000factor=1.637zXZִF! n)]ŗXf1-̌g.൦:qLk)ޤ)1s&0)t`}d'! b41Bn B_ӫ6 f®j'yg̺/wg 273;TۢӲ5w7q$⶘xdտZ&J&hWOe-|=Ԡ)ؒ_@:B s&k&e`sQL$~t?<>Wl0Ew䩱  ثC\\jKiHUC$Ԯ)Ϙ h"|ں.ۤy ; t" U2E^4`~:8B߶GoT&a<$eSB$;\F^2@'!z#jcCj=[PM!]fq oXa%FkTYvp8Yu B'_u݊wa.yllӗkӘc*S,w.Y   Locales@ (,ϱgYZ7zXZִF! m]ŗXi%3D>ඊD渰Ļv k&>hKVhk6lSFWc%)*#1=df} {5r-Kwϰ&W"GxP Yex]_ 3OlZK@v9[=LTg?{H v"e#nC [3[Қ N r;RJ+ g>,ZHZkܓys '?ӊv& UkZ/jhiGJjma?e <V_a~H{/[כDqW St$5