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  J lDl ]/ ZF-ex:threads=8elapsed=5.426cpu=19.542gc=0.999factor=3.607zXZִF! ]ŗXf1-W(TGpbf!<zK*GT$?ֲ2,\zDHId-s5GKzFyz!*Un|D־azw epHDEaR4sx=[KQAPhVA`_X7N*3;uL4'΀mT'9ZoDl b">_3)lvL lzZlGgYZ7zXZִF! ]ŗXiɟ9)uO4&qY@ylX2SPAs#ʉүɑZ`] 0VRgYNk pn#o.>GLd0urfKMϚꪹ6}# >5\x/ 1!}v~j{[Ot*WaHr ]< ZagO|,gYZ7zXZִF! s]ŗXi%>pߍ$ZOp362oSLȿ UI0V^`ĘPYao V[ =WA3CP;50rxKS4A$ #Ōh.1A:iM ]St's4+t {x0P %NkJ6 w[XšD(p \WT6AQs**Ea2^&f%9{SD ^~7w wQe崢4XD"&&$Rx;^Q4r)ոNqhvw? uԴT!Is7ٱTCdRf)(Z1_cEQV;a JkO^ᢌ A+Pyw;'WrgYx}^=yWLұ{cWvq4+8;1#066/GTE76PW*r-˼g]._a]wQ\N%g6XF"g2͘bJDЏ ۼ(Crms +%\gY#R~w|iq7Tu9p^_@E-;r v_q*ű:\yb]WzL7 <%qnѕ `j=tG&rK\(:hgYZ9ab43741460fb2d054649a1c10f6a5f63112ba57c58d21ba3dc8b698b4c6d36f436849048b45c256 92c934cc249e7ff5f6d99d0eac10ddf3c7c5a6a4  ZF-ex