SQLite format 3@ .;  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 [[" 4t ]]IOA:threads=4elapsed=10.063cpu=35.208gc=1.308factor=3.507zXZִF! k]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K5k;['zϞO`UvZhIp`8,Nvܪ|ꫣcCB=iܮaNnGُD%e.&f7j_]IFO<]̝S3]\\KV)>hh)EOqgB{Ny_-%Jj:yxnW õtvm\ ӌW%hUsq2w:|H'slUWW s{p&]a'ieP>48`޳`di^%5NpDTsiةl3 8ClWٓxA$'q4ES>Х7Ҍ="c!F"sʧ&ɦv01?(t33dzY9HGD. le(a@+= LfuLL(k'ӊZ⬗ Fi{zgYZ7zXZִF! `y]ŗXiɟdN'LvH۹)f]dVA"7)ˑ$Դ0~| ,} 1SIj'=ξ,i$,:йlCnC12$dt9FH^Rz"6݋G'2%(IH d7(ONAR^~ǩeMkoY 'C?d~UXN«:+4X̱[>4Q1ɮWZ^ڠb9$]peNINK08P{dT' T/{A >#>EE 3Ҋ>q2K%!ɼ VZ9zKh> v gYZ7zXZִF! :\4]ŗXi%I oĦK$ef0M-+G*^MI'WՒG4\OXzs{e¦6ܵ^`t#'m⛤FG95|6#+a\y*n~؉\D)2.2Cw(5k 4/)"1=9@ǔh wN^{c/.WMǁtbCáQΐ?8OJ0;ӅpY9i)u݀@J\~߆`YD(QOu`Zp +x-.`Ög8j/\7)ݯpkd#yOFq{M΅5b(tߥ!T)+m+KLD1!W )fYVAP|R22NkQ0nDams_XKz*='Y&7{Q(}b~ZUO~e]Ḫ5DS5rTX70|a8gk(zy C6kfऻ4DM[YR Xz] x5\45Dn3"efI.KD`amɥ+d\%6_ zlƶ]nhP]d O1." T\5izew "Xy\|xE_8C֐UoK{{`D yWQ~18-#;SJ{TS|Gk}qɌ]