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 34d S CofGroups:threads=2elapsed=0.858cpu=1.388gc=0.000factor=1.627zXZִF!   CofGroups ]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*uL[_;ZTힵ#aMd;XaJ(LfJ`?<7~˞t AL^DZgYZ7zXZִF! ]ŗXi%4cu/"bV)p$+mA5M_x+,j ̪bp5 0Wkeu'$a= NJC*ں>D C5I"dB4GhV0S%)Q)v hW(br^!ZԬ yssGf87 p }!m*)2~F= iJcEpCx﹋kaGM'8y1IUḮJwd% 7n7O6fCpϪtrlb*&_bEO$KȘp7'V_Q̦Վ/#ՒMi8Z~PKRI`'n{pNXcadgYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b fc51b46b53721245da2336233e334c5388d48eaa3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303