SQLite format 3@ .0:  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 M- ,d| ]/ ZF-Constructible:threads=4elapsed=8.530cpu=29.696gc=2.528factor=3.487zXZִF! ]ŗXf1-W5"~ H:Fi{3g]US۶/QlWKQŌZ}h%8k= AR4XLf'oٚ`k҆! BOuS&PGdqf1g[JǂH|W_ "jT gU _{kA(#-#WzkYAWj$VAl( 56[+k'x-gZ"{ht3gAKrt#5ʐQΜՋxhk*;bJI\3]njeZs> ^b>j=lxVI?/km6}r2זM4KۏaƜ7=ʛO1 C8o-ib)d|,CД})gƳx=VnGA>!瞥o򊧶ÓJn DBvf+wwU}Z^/Ћ&%8J?˵YSC-DRC52#jX>>lϨ$ޫ҃=?3բʰnJҦP39hшvhq"L37Pei l#K#3mTUBR!'~tTE EB^"n/E [J^=Űc݀)Gcj /%OdVV}tpQR aݨSdj{qUY';#?BAd9ˇvpau{ 9`X)ϊDf{6,`|WwL D{nY\5AQ#NČu`[e?sO7/^Pjlm5ǵ_\o! b T-(Bs*N"iTG__s ?Pc`q031 AU\]VЦUd.?PR%62Q} Wm ο3妨PFb1# ,+MncJ6$2 6:^1rdpbYh(22#b[(h _b7ܞz}$$5*UE 9tX