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   g\l ]/ GoedelGod:threads=2elapsed=8.331cpu=8.092gc=0.104factor=0.977zXZִF! f]ŗXf1-/6vRZȔd} bMJ3>~Tt?V :ޔ!T2l/S N&e|${ 6"Tb@w#T*,gYZ7zXZִF! 1 .]ŗXi%6At0KTbQdp[=ʒVm a?B{ȥ[)OBmVh] hK7O )]A1:?mnZ5/n@~&S<Ȱq<Di0IõUъMOtS;tOyS -t#p2dR¢uA.,Q4z1zvbqgS.ܨ mɕ{m*= ğ9 --fiOeJFpy񶁴(i)k煆Pk)WT1mizrZ)!]*T{*y\Ӿ2o0M!RbO+BVtv`;aVbءt}"-XqRk&)h`$2yC12m\APl.zW`ҥ@j5J Y܊t5I76}  ۣ> *3u] Bxq <$X̜cp[|=dx%}\9W +9f0BVA26 ]E[eV=>'c#.ƠQ?UqbmgYZ4a824a2d595ff8455c7fc8778e19bc190df3c32de003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e   GoedelGod