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 &&W? #ˍ^ypQ WCM tV'TeJXW_qEb`=M")Z$-vJWdM̗d B|7sKAk<79:^¤`!1!σ^w!tXafy"#Ƽ%*3 sZ|2n[U pWiAgpc(I5JC1e,WڭIҞilXRG_m'ů3Vn0a|*{xUn5;ŁÐcWZi V;Lmı8xRptĿ{.yob:w98eBJ* Y^L;ѳ 1i"pO 5 tYĹTA,8#gYZ7zXZִF! ]ŗXiɟT~@D yA, ݊1S'P <~$BkHCv*Y ܆ṏU:mɲ" 34N\2˗z&aPRܱPJ?/>PA'pL0o#OO F ʝuOYsOJ򔷳GukI[nkثkx8c^VD qx.2dӄ_H ޡ`\%7={Mф9H  3TI΁,9O4ݘd3*v:^3i&aMm5"CbE O50EK#5@#DnSty>m2\9Ppqi5-, Z,ZuSoj6nl{ j.87I!D&js*DR6 C?ܵi;BcHyFiWh͚mPJF#L'8a-dy;зJVd3\hqyH1RN}3Q^y&_0W06=Zy4܏Ƃz?;k$V` Ko@;vhzkF"`,&C|NI 8O{P |lP`lilni`r;ɖ