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 '= B)wDhV.§Hb@V'Y%ct(aA-hb4=S [=0hI0{n&6=vCaTS+aVc m2@ #蔆^itm > w?6L7!uRv+j֗-ܒ p.I4`6kosA͢^N5} ?XBt /5[ $ I $z: Ԛ ~k- ;@WVŔl29\}al5;X0;A4 D{(ReǏ^e|z*ZHh)+lWR']v)@<()#QO@E](~=U>d>3b}r\kVeRvA2rkH>[1Pl`>&꾹41a9>d@J_M6zO޻̗s0gIqU@' ŀTDx~8d3(OMmy|ֵ9ի._Rˌ8Z4vJb&d0`]dQ'Z$O 2L#U$epac»d/J\xtgUS(NC6.lhoj´8DUnJR&ECԽ:B!q $Sؑ_nh$_J[!tW:3`< dJ'f@T;SVYfӶw?!x /cKf[a)߼W|G|qH3O`#[_2f^P-槾O3?zuǫPKU"!s:u'?{#,l$(-A`HEwe1C͉GOޗ؜JRY;Fdl