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 nn <,l ] Tycon:threads=4elapsed=6.101cpu=17.556gc=0.264factor=2.887zXZִF! u]ŗXf[&~=BVT.E>8-*O-E9ȔD5!?{bY,ZM:oQ`Z$mhz@56%(?&IcAw] ZFXQ*m,#皲ceQ*FcZA-&Fq[5eJ%^G0G&xݍ8%0 8|!tdG$p^r(A{g||>$):ѯp=%œ)sc b=5Lx{Vį10y$8SW zH~%JFNp Y7Į4Harc 䏆SEsV\4  &1MZ&jK=y< %{ 1\6rSkO M `$.h%OB툦3s4] JF>0ײF-'P[ =|sIZgYZ7zXZִF! O]ŗXiɟyڳεĬYpa;PBH-]JitɧwY=UP vUBW.G"J+Ȟ'S{;r_ͪ*[?x̭m FڿQz+n81Z|^#B=eC}qx:NIY<_n" $`Uw{fay"/&c!uϗSw!ʺ"S4}(]8&Gg`B/ru<ҳb< #9tg.r/sF8v9="r- `!oGjlمvx|+_N>EC)&gYZfe3e20d0fe5d99ff1b09a1fca86db9e6b7c0b326ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 70b28ff218d28de290ad58ced4b3f912eb286bcf  Tycon