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   r a u@ *a|۰Xda# woj T(IHF^@k"H_MxObam  ̈́@*_z+Xg﷕BGd#9H>P{ɵe;e@z[R&CWz![ʴMl.L)lzRJIǕ- mc`i Lk"*7-ɖeuHbHS)"v`EZ9sNp* m.|] /\-ֶ*']1Ț;GBfϮ2ek"qbԎ͏2f|DМy*[,o{K+`=:Ƹȭ  D]nIZ3cReBظE25gYZ7zXZִF! ]ŗXiɟs}KKʹb! +W9 fGFMB\=̷~_+ WVabDΰ?2D3N! ?/(]r|w a9'cPB;I4;D:0K^nvZ"j_0@FEYSF=_byz[Y |$|߆z&9QX¤#h'\F F#r8zewŇV<0%Cu8 }xx2{igYZ7zXZִF! z]ŗXi%ES3Hf0(S^Mjs̔KtMDTȿ<$:Ĉ˗m'D^Eȑ;(N۝VʩK餦[ 5'Ԍ N3W5cԓ9^AV l_DdP_Zs2{Ql2ة}W Dھ|HPBC1&n17ZBbZR=o8R%6Y!*Kw&xʖ-_ifsMQ7.1n*3^faLU8%orhtkEaڕڧ"#کωi%`2?$u5̿ HBcmǒS)\+ Xb)n> >u}q vk:;}j؜rfC7S)*OgZ‰g=\s㷒#Z Trnn̲T}1ڲWJZGOaٜ#cr{<Ǯiy|^^.[w"eϻp;r!>tų8u e t3YhRze溼;^{`̟~T}\*Bʺ&uC;R7&QhS'jIˈʺe5fDҞ蜖O:˨~q9