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 Y tt ] IOA:threads=6elapsed=7.228cpu=32.324gc=1.284factor=4.477zXZִF! P]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K aO`m¦ybh:HE I䩳oÒ=H=^CQ?՗z ^rZ tOL+!1+v]yk۸e cZܙT@ƒLi%qI:_ϪhM+toC#=i//G ee ]xHQK ,;^yN?"?M>MYֻgXf+6Vp#3wyّhsPZg o0y^ HZ5,1eOߨOmBMTu\VVn`K"eV:Q. P\ERu;mbp"21<,0Ԣ}''xcSy*sfUǪчӯ]zI$XIf8D$ 'T ̦2ۃrɺ! z|7Ki`@Cs}bgYZ7zXZִF! `t]ŗXiɟdN'LvH۹C<qWYzu3\sƋZe0TFb͌'sẏVhY Z'g0_MhÏL_SH6D5jFAIɝ$^65.M G$\(Y/e<.` o8Tagkb6H h/`)!d_G .à.up]lY[ZpC4;-`&E۹&Š^ ٲAL@lD69Ve/إH B㏜_]zK6`R2>S$Z%ǍT@:z^ 3mqCIc-n'8$oG&aB T|(XTrZ[xFνiAC[ifL w Je5KLE]rС7gKC:˄ܠf࣐`\PظURTXq6b&smOA\ c lE,&~Q2CXX:˶UQ"_9?e᮶~QOx|ʯInF䑼Ƚq|$*TVq#پk\D 2ʹ4lUYLpOt}#a)I(_ 逑MG\@ #kJ%e# S]OSgYZcd560df88dfbf5ee4660ffb509ac23d4da182fc4b3638f229a7c654f6777ad6f1e506f774cc49604 383f910010c35948dbe0da4effdab2d1723a6fc9 4dbfaf6decafb1b13728b40c9360353cf068c871  IOA