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 L4$ ]/ Isar_Ref:threads=4elapsed=15.593cpu=38.712gc=1.632factor=2.487zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uy@\gS[1L.1!%ͅ`'NY`UwpwZJoGg_燡e*qtV`'y@k:u H>DW#DUEc<k_f!&ex^8ϼ&IW')s ڭ]nxHj*?;P:@b}(2U 7NPk_Vm;;s]+q%G[ #W眹ko]VqG8|;C}xI :H t"1V4]s;ngvlu4Ned~eϽ4KqUȽ]=8Cy*Jf"U 8NG[R'J'+αɹK4%l 퇅oPJ94&Bqj*deUcHa)7GoF'Fd5kNo&SZrл'sNG"Ic(ib)/9_+Xw @u ؽ}RnJmvk*{B.f +gYZ7zXZִF! Y ]ŗXi%ES3E "#aZCNL{4OzUEL,+9{W4`Aq%7l2,0CX+e|N}Q9l؀g0W2í?9-P_-*ik{z2=ARQܝS0!u9R!υsϨGݱY+G_Y*'+1rʎ_"#oUbN: aQu822:c< @De&.?E~ zcF?Z$_.eRKSz ҩT՜qկ$+ C>0#q1,w.r8i.N岜|۵x%>,=V* < P)ِC-^TލBA=yQO6ZaR8y". -7iwjϿq񊡒5%Y[/x5 '4KwD 1~i,6M%lh{Gfc:.,!cg>\t,,'䇣Dً'a<tFdW&i(Ēϳaۄ~G`3fv$T/)X c꬏WJ4TR=NkҨvkW&{A-i0Kvl\(xo9W)ӢZs"[e} ܸZgYZec9d476381ffda4ae3ca32d77212f550157eccb876b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568   Isar_Ref