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 7 ,l ]/]HOLCF:threads=6elapsed=12.622cpu=40.908gc=2.824factor=3.247zXZִF! 9}]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Urj?%~G7nE~v)۱?Z]鳕O$fuI~w|,پ\y7>#_"byQ6%9s,\‚sG,z43El>:LXtq60فw*.R ]~h  . Gf%|ŒU7œiQ ?ۊFQې}KqrM)W-:,ȝY35r91BA<=ːfE]\{4=Xt6)gD4:VAaώ;Y&,x6^=#Ӈɇ9S2]k1{ai_.ΣjoUk%ƒNYxvЭXK`T@~<[Yt^Fǫ3n+^*(fzLBe,x3 9 eF)moiTWjQ -&'`&~svw5J FOTe8 *:majP.x5ӤykfMN->1p efQ7]Xt0 m2<򓫗i9 .rt3FWGw3'"w(Ƿ'=1_9K<{s8ֻȋ#{Ԅ')-MMUm)db5>Nln'wÓD^Rܖx:#F]SDJg-Tހ/SB %{ŗ#f-Hxԫ6Kb;iBT]QN @F~X # [Z$}Dz†lXj DYjl:f!hjfKi/q<pC(g+)u8sf0.>V鬹Y9lܭ5a-Cɍ;K;mi 6S\>8r=^7{M}BªiKe ;dQ2\nJaՙ/ ad"Y{`墼/|Gu+@\p5% Yn tC 4͜19y[jUV!VPj% HD"Jc=~KJs+#Sλbos_H&G݉UQ 2Y;+TcŭnBҼ-J<(CCzAM vm"'ۄI}۪|&LqGö3!z,^V0r)vMNt/o\8yDLqgcp߷ԘrNVh O1=xxN~IF8KQKч6 ,hoa` 2s _)bwxK"]+9A_8VrNW"xZ""Ey܍xbat*2mOҖL9q| ۩ H"rҹxxP m*P]!'ĂH$[o1Cy"n魯b1h([--ƪD"J6͖1yT_ 䬰Fd=Ze^^4>HMG2HjtOpdwk@4X7Vśnw.>;(6lZ6A&̑&p ͩ$.A$}pל;!dܥZp4(:\ u% PeE}ZZ E40Zd>|qS߁()3iYHI!=1&w8dMAuHR [).}vcUu8o5D-?WP?+1,gΞ,o#dEmұF)EMZELXj]u9H<O9?ꜛ(ԻnLL"iL۳ؕ