SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 9 <L ]% InformationFlowSlicing:threads=4elapsed=6.715cpu=20.448gc=0.556factor=3.057zXZִF! ]ŗXf[&KvE{!Gx/d ՜fjp,h%9u\f`,?2GIK(3&~;7$nMւ~aYF*Z,9'Cǡ0|V'vyan?C!MzLbI2WOu>LaN;-a;܆صGmY/$m3'ta+P,Hl ";ɝ5UXKPT{7gvK?zkweWVˌg%.T6RFv<;H7}ҨiШK q<\oČ9;FS>xXZp3ŸOTmͦXa0~/u0g}`auD^܅2 ʇtczPv763 >Ȩm>z-v^9UUDElhfL3T㖯SOgYZ7zXZִF! ]ŗXiɟT>(;Z#>dZʒT.|IM6^,-@Ǩ]rc9JL2#l v--9X{$3vD1rpDk/{)gYZ7zXZִF! = ]ŗXi%L K )Q"ƜE~ǰ(ě]D =A~c+yˤݛg~j-C1%ۢ%wn߻ vFO#tW͖"6˨up,8Wj ~y?WC"_CfxHYsZe n\hiýkGkJ U:& z|p9V&"fd L<څCSڔiTiU]J$u~]\y'x31ŌJg;IsoCЮAwARI2sO;CU,3L`똤Xq?dKPskXIu失ٲ2֭\%z#Ps:MU܌@cYqg "iѰ,k={-3-'3U'mCُh#e p0K) xLQyg5W5B_޺UʄmTzY%W&n6][眪 hD/(gu>C6 w[!cxsXL27)jK lsR;I!Ht6<*d8pPě||9,#W7 A~%.0mp0tq{lF sZ0:N?}=<3)\믩<vp(P9и~dюk\2pr%LQcPo-H-cO!gR͕xV} ]{c)=;>YP^ǒGEo4Jx_qvT5 qyFGGEZ@2z7mR{iTz1wJ`~1O椈[¤#R0vyCKC$5d2 M