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 I tDd ]/ PLM:threads=2elapsed=32.813cpu=53.748gc=2.004factor=1.647zXZִF! $r]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I1A(4k 3L~@pFM]¾'VJRąb0 V0&<Dž`rKP"-ts.^[zO;kweb;6T}~MZ ((>Ocնdbw;s^ZE>A#v)xezaRQ ;YGuJm},-h I+?zis\u%GȫaVnn~ŒhFGMuF@A+Dhȼk%)8־S&!#DmO  PLM  4.t`R g%D7[4_.f_x`CrMLAx嶈| `qEU3Q]\Q'~[*Rxu;5rM B2>PNƪd` Rk}fkfv ux_? |{j׽C,HGu]J}+C]o+7 z(lGlLb4(wљapc?}K qSml#x8J׾[j"H9XNOj<Y0ٖ9̣ _jgnY5q'XOy'a3w9ӍlZY{`ߑnネm34,ZoBMm~GnC),lJێu(QeI-Q7 D$vtLLr/%r,᳿ey(iTqg6\efOI}M_wy}h%'O\%c&' /7X%yGaD-<:`UcKwA1Jg_+v.v K3]]G6N eh3/nIV>Λt)lK\Q&õ]S\W74§:t}zAL VPhl6@kBF&tvw>eqa(0Քw%JC$['%g8~aucc2LKis%{BVLP >&w"xl,0DNsWkYM)4rZ t<'Al6nZ96L(*q1}*.]2'WK>F現iK)c8V:|HI}E12yr<3PݳEaXwJTg`!TB-9m U>p3WѪur8B[E˿B[*BP Y( ?NE@zs}$-E3d-8&3'xPcb'Y%xס79e[ PY49CԆ@]5~2\"rVYH d}SZLPM䦵k!D!kӡ dr&BU_5?ԑWFwI[A"f$Ýw~Lnr{]*?˜-+jsdk U_|x݂lT-`i2^LuV ҩؙ*H9d+*I ەȡgYZ9e7920a2d6ca64d46d340a670504b76db5a067f60779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f