SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 gg ,4, ]S Codegen:threads=2elapsed=7.945cpu=15.544gc=0.624factor=1.967zXZִF! ']ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4z_?@jVqe8U\TO7*7^`htM͠42TWSA?b 5|>oDJ|̼6Ŕ 3G/mGdp2fK&)ls?č zsIx &!{B$"b~G'<qgYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`Iy8TJIOkD E3)b76ī!'zIt6FfuFukQ?#DsLrO%g -c*J"j߷aۨjcɈlxW_.Xu<>,e2L-o^zBtpӐ;$ɪgYZ7zXZִF! (M]ŗXi%;G'IFa iIr`_=x/,8D@O*[~< |v_ ;̓u^>txY@8z7߮W \&3?u^*ȗƸ Xcȣ&jDl]aӬn1 J5 L79S\%W=r0 #h))skЇqJ0ڦFYp*ùb :iZUfyo}ٹ85 _;" x~:%6Oa 36uO\ؚԛXpB$׊ԯ8@vaqSx~Fc[9f&ِX?/*ib]i97?,ujxL50L69j˧qiGW)E{Տtpxrv?w[fO$#슒#H x g|4pB'85t[@΋e6je?!zZ߯ȫ6b8?&P,XT95Z Cav@Ak2g\;"%G%h 1ߝ{%HfVjgz"$@SuBޱI@| &#1x04bm#0^>5Ot~NC/ڱ +Ys$y@5UQFq (26Wym{ͮ *H{: |Mc.mDd >Ŗ{gvT?7P v pr`"_ϝs7P3+39cOVEʸ~`PM\ QgYZbc7145d9a71f419b65c0f763404d9f713659d7d1071f7fa30665cd1599ab0688c2ebc3134f4d53a1 9735cdf9ab52c04e2b30aff2857f0646f946ff29 c35acbb55dd039304cae5b17ca0bc1e5088063f0 1ffdb42db1506f0c8dabe1de0ae1cb63db0a2fbd   Codegen