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 88E , ] IOA:threads=6elapsed=7.220cpu=31.632gc=1.240factor=4.387zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K aO`m¦ybh:v)P[n$ځ}*~{ajy/ժ%8Cm=FGb;l#n|,f6li13Q U`1$ĭgMp^*$0KfDidĜ"ڝG~til9`" {09yԸؾ&ܞW][|{3^8b*>Ca<(R7o(ЉFݨh܏ !xZ,FYF~ytdaRaȘԊEWUlFt9DƱ=|Rq,ĠB/VG#V2'YgYZ7zXZִF! `}]ŗXiɟdN'LvH۹$?vYeqVug~R|i*;$D)BJ}#CJ*SrJtE5TA{^oʺM܌Qth;ڂJ<]~s՟w?a:e,V$e2 w.Ide-yT'ȊP3Jf0/_Tpq[īT>~BzY-"ǹF&܎\3[Psc{_~(8hGYTtS($Fv΍OJ%##[y .[9'"u4xb ؤC0͍y>kd2ɗc`<_!=:jnj˥"q( JݱgYZ7zXZִF! $&]ŗXi%> zm q(Jd&-׿"O~O>.gjQs M _ ?AlN Lc}4=nsKMmTyΔOXITJgM.۠xqq_&XI ]&kU/pF\tMi<7dlbTLM{Ǝš{1׽N-)B\)/h\/[IdP/c*ԶY+59b!kM`JLd=JQ 1%鋓G|1]̨/&W <W&ZwSWWl-S2^!Wq70ZlZM>!f' \#آ/C_MU'H&ji_JR="y1#3?&s;]` zJ yXʺJEf T5fu7K0k7̜y @̐m=Q^}-S?VYvޖ wS 4͕& OҢ@ՁƞN }J9k'LL^ʐ] W -,4߅-ӟ0ċ9P:2{PlNT92?oA' ^Ld5|dax~0;Կ(o#)WƊ:m#ZO