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 CC: u Yaxqwx̃Àmy6^gNDn$ٺEB>-3= p?SF\ݏ I"ö.k$ 5ixtx<>?/pNCh7GNR&kQp2N W9 cf I#OzIj2P5Fs\ͧ4V9¨])HfmqGףKW=7t L0pbc]P7QF~ l0& U qHfPˤn' k.$e@O?+!E-{Vs %*vfE50יO%(_+"w)>\崫q~Tv_rOt%."frRGWcjZQGe# iZ9iAX z/X(E6=k=D[}) 8GiNg(C:2Z|^G0CB8.7`ֽj oŁEezHCﱓzsoI!HSݔ3@Ae&SBQܖd_u__]R_ ,ݠY c=4>u0} ;֮r. ~pywG;OTr\~@:#SBaU=.->2Z!?K|_{Z͋bt"d t3v5 vōE')4g/T3 DWۻA3e.Qء,1>4RYbB<&8ҭj4IsJ6gHLFթL;P:5sPO?}F^f݃6 ɸzSxBx?Z7s;"ىKn!E:Rv0PRb$7D\nw.1\k[}DAl+9*3ұ˓ eRJ]Vn ϐqF' ⅕8oy_ b^5 K~Eh|{REk/>d94HrRφa~$:04kܼjʨ0jC^fJ`6I_0DO;%GB6َM,hbYG&LlFVATyY%*9=?5{tj5 NbW%UW5lYymz AL8