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 * 4, ]]]ZF:threads=6elapsed=12.932cpu=45.820gc=2.948factor=3.547zXZִF! 6R]ŗXf1-) enȈA"tr-j. ZbNVHq4Q:ZPCiX&CM)L"A@>6nI^^fUqN~q'ݵ҃Q?0A7C)SB˄Ro69fPTN̰Dq9$j ^ALǠ'RFԤTyL;̄=t+:'nHdNjLyG (n%E` ?8dkjI\s /Qm5}1_J8hj p#Fgw/4 -7g/#lYgYZ7zXZִF! > ]ŗXi%@fBPRNyHڴcr^-0 ۢ1 -]u=}^4<2c/1H= =FI+n 5lb<+Gծ3UgKCLiָ(Z;,Y9F=u5/xeF^9 Son Jwq1|v,1nΠMoּErB~4f3ъc[{tR n9ݻot܅M/LR1rJPZJ^g%Ŭ +jM 8Ukv\# =*^_O-?? gF<+Ϭ`k㱛dՋʴJ:\eZs|KëyNQG,"kpqCV 60fK1s3> eU8B:g+Ct\$U#lt\ %OQuce04( lyc Sx5icH{'pA*|Y0ݹ#u H0jf+O[I￁L ,;!%yΆ?r\QZe4?m[Q95L030=`&6vM3A{&7q PNT !Tԡ E@4}RMTX.L @y5]II?*`HSlTO\M+׃CB_6UVa~8`!aMV@iyBBaX S)> oq/5'JP^@"8F1oZP:⻢ꫳ&3;qfQ3XB_ U_6 5_%hu 7Oo8BMK PK.5uM,Ho6^3\2c Dz֫:J2'r-! }gYZc6565f9937e50d219962bb3b6910309e69400b1359cfb008d82973f70adacd49cb832067f1ce6d0d5587db668cbf7672396fc8bc3455443e2c01e8cd  ZF