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 b zWȑ9s CsoCY6!V#"Mc?UhOYfR2C9#cP0nr2VOԳA9JڢiZ)'!  Ѫ:B;Q?# 7Zl~6k襮343CG ZtJ\rb@ ǰXkB wN ޮ3>&FH$>K={Evc0 hƭQz~Q"b#LAqHp!"vzo}(NDFm._gNby ؅-ƽ(h7^dlyT//nSY~ydF$f0WWئ5Sˈ&l$x;X'wlݚ 敒IhP ʡ >5Bۊ~˼oqƯe@78>:5P .T>>F L> sI~ZQĎ=m5Ƒ؅pQAP'uV0#O=!S&TF/A%h1gYZ7zXZִF! hn]ŗXiɟ9 i:4V;}A<<ګMP7"a\zuMa/3J%n~KDzd ~_z BtkOuM_+J:ZxPx<ΚE iqPnN 5H%4p 8+| >gYZ7zXZִF! ]ŗXi%> uZ!B| 9v%Fjzp`yOEW7XCvYò*^dc@7-j6D$2\qzJ%q؝|2W060鐬?( ,u}uPAeP{:*U]qƵ0 7(<!)%=WdlN3(D&8! abӑN:¨82~bC|5^aThdUaZq  G̝H0`jäBhO x/ t&ǓV-zS1!?$C#F&j_}ۙZ Pԅ+(l'uAyZJUli[C .a^L@;SP֑czjaN8Otրh85R˕F2'IP$ U~X\e^9;):i΢\ :6YT "GHuK1uٮ,hjW$eC PK&c)X9`x؝_hC@aP; T.Ϲ:)CgYZ15044ae37a7a13fec8b05a9785f2fee441db753571694b1f2d25d2d9aeaca0f1ab390c835916ace2 f87512cc9fc34677eb2a99f2846d33889942606f 63e270ec4673a9d58aa0edf980f97230f34a28d3   ZF-UNITY