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   j!ppl5ئ۳{EE(2a!O?˸g%$»6\quFƫ=NpW`ҝ/6|Ir\zu2IDRhL2 ]A䄥ͪZL8m%o(pRvPq,3A'gYZ7zXZִF! /]ŗXi%HS$1I(nG퓡b{^k5?"ƍercʕ$uAZCe3<5}F&W9x"1RJi8Ϸx ]ศpGxu@rsVMOz$T/۾OPEs$ACWm5|o 6U.؍aL(vxApS0WnDK쿂.P.4]1sMJ[|ބ;Ǐ{YujZ2nY^rz2CN 51Ċ(s`gec7m>><*Q4pSUPC\#",o*!NژUiӥIxJeubzbiS]>.,b1&$TlTuh=3>lR@٪ D$}}nʼLJj.jBLׅ b aK8UCъ&PA;WteoX-[0