SQLite format 3@ .;  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 $$Y #z] N_!9LU oƚHnK I+tS% Tڑ ⡆gYZ7zXZִF! \52]ŗXi%I o9 fHM Gir`{n0Q `䠘0MYG53O"%S=/12bRQ9)AҎi|0 ϫݥf>2flUMXN5zR6U cM)dPg6Ru4 GqA9 [EU`#QL ,/#tsԡ=Ϫ"~6N(4KgA{QK5  &Njp$H𔧱Kv#00`3]H\9ՠYQBCyccZw$N({?n"jjҏ'>y g.ӡV>n1YZ0 ƾuM%_h?Y8' hAgW{h5ڸXSY reQN'[ozO]ӰFo. x"3P/;kВ'/ Z9|`)V1{. _=$D~tq1zRIn,W:dNnŝ[$kKlvK, a%C[αWO_7%'A^h]0*aJM1߼4Ôxɫ} ζ@a+)|2S[@ZHk.W˂hUwƺT!:LFɰEnٲtk'ZQvwhDLSOTz/] B+*^Z3tSv:r.M1g%/ fǥ!"(7P`<&柡 ZKiy]e4jaT ` Kk?HfO+Jj;F'pO%e=KW {dv4u5TiŠ `\NߗÛ1YhF$ FXR7R(pǕRK:P}`g %!Q:cVS-{^V`068MPMRn /0K9u=.aܹ) Ն!vP1˜ZK%$(x"KoH3TZ}i!1 ]1eӸ`jE8ˆytx+j"l3 ]r]!@`IQZzUA5F¶ YYS&DLpZswfڲRE-Rޒ`A/]~ߜޗ Ϥ+|4p%Aw4rS$ jH,q\E:Rګ [;^@M?[1kd!>!z$W@kɷ ӻ}Ԩ08qZsVyP?{ސz'뜊)J)NqBB֠)mxG m za1-y[>1 h{z W0$;)>,oCUkX3O* CiIl#5%o+Ůݯχ DZgYZ7b7d1b6a7d045d6fe8cfb59390bc6957de23ebde5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22  TLA