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 5 DL ] IOA:threads=6elapsed=7.844cpu=33.856gc=1.400factor=4.327zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K >DğrHj&'ChC+V桫ф-v!N#%'?HQFk r)S :鬡מ>hHك)W;DLH=nZd!,gYZ7zXZִF! `]ŗXiɟdN'LvH۹)A,KV6~sEP hJOt5F&FH]Ώ k|Gf8-lq&X5R)u_CKtW"K5+)8@fU -a^:zޏXUĒE󩟡 zAƉ^p v$-`"ڢ3V5' ARM8L,K$*&(:/8;%n#21^Ł[Jb̏%}0Y=)tw/=]^``ET8JgbHxmx.tv!vקu0z  YFgYZ7zXZִF! (]ŗXi%@^VɎ[e/teZ-u#t~y.R[y{ ӻ`~7q2 ?P[h6uĀ\wf'<^ءwLs|qWwj @D*i S ND|dz-bnՇlp1nY >rP^8wk=N'F_Y?@H- %oN,-¿n/~W.a_YJY:xYO?RN 2ѽ Z==(9yaHn0~._LJ]J g>u[d ZDR{9o,/LH):0"RӔz-0RHaUo XHIУ'^4qIɼFզ8n`}u5кY jgf62K+q շ~H RM]\Va[* vaQPwۏ(.>6t`pBvL|N=eFȰи9K%֞|yPOEЄ22UN*V4T) Izӳv>_,؛r*S @ak>h3's&nkDm5CZy*Q4nX4SB-5#1ݼ9msx $/D*ҦȽwM;Z~=WEJ~N?F=rn^B_횴5ҡ'QQmgYZ6375292a03aa91e8e9eb0c0a44d67e6b81c2b61db9edeba120fb42027fe4e7015d7e67e5df110a4f 9f89800180bdcfe5023b0268a9e9c3926bda19cc d60e80f312694d5c0869b39b5567c33b4be51596  IOA