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 U ll ] IOA:threads=6elapsed=6.848cpu=30.668gc=1.072factor=4.487zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K K3XӍvy^+:4hiL_Aɨqy,^cOfV#IɟmƽʪGR7Gd =m@kk\`_ -3}j+$꜖`67D,X7z6DbB(S_U+ Eld8rȖ$g QfH;swHƬA=&^٭5k9o~ 09ҁ=@Tj{l6d<a9/MM3wrٖnbl/7#w:PhtO=>z6觶P|2 ܠ%O8 5qah ]Qx (*<8TF%:a~4cF+/Fs;!1QUr sy6UeEC >Z>,f@Ɂ:VtSAnBQT9gYZ7zXZִF! `m]ŗXiɟdN'LvH۹zq2[FGV `m8sWUzM =uo?{H\6k %U/Dž.kc[s1m둏EO71C yOƥO_[?XPk~f?+Z*_SYKUzΌWKP9iܧ-_ֹrUK? #GOa A$'rpF7X\>TרSA%6Lj`5;OѶ~t,.j ȸpmw`"Z<7z 8eϓ.U |7n&/Y HޱgYZ7zXZִF! ).]ŗXi%B$S78րl-zDIy$|~"cE9n5pґV,znyh_lb]c,riyP/.^%˽5v_D )4ω;8|L+16+Vi77>ik&߈߅APE yR"BrS\)n[VrƈA;4ȫm[Uqk37 -B ɔh:t^bRFR3lJۦl*;ͨH`%fhnHkH~aD":Wskj]eLS%ъqX@Y8ȼcY3: &9+4L趫3 H>0Bd h'GsygВ$Xh*qo MrO'8-w7EIxNs;B^t| |}|>2ⅴZ=HS1]IX5Ql$Ҿ "0L2U8ptq:u65fGr2w^^d[_::||cPCY*lq"jʅ|c#)߽'DKc'Z~{mr{ԃk;É l_h"tptO H[3bY2\¡F27[k'G1rq-XcƉjWܨ3N3Ěj<cje-'":`Sp 7}Ӝ44k,b>Ġ.&nU9o8<M=a /#\k,k3Bx.d jS|0gYZ3423cf3a12e464f0481a967b2257e3498af5759e3e4e9593d539b8de84137329a766b1811bb0545d 8426ac7e4ebe67d06e6b6dbd3c2ea4d00a97ad3d 7182491f3a46253abf533c361f6b4dd70ae3e9e7  IOA