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 HH5  ] IOA:threads=6elapsed=7.327cpu=32.148gc=1.252factor=4.397zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 4*so,tɂ5#/8|'Ղ &$~ ,ݧmPev ЫDcmPEyCcl/dd4M-$zE1H@aZ<{}UlF-r. #ΜLtХ׌|)hbrtdU(I\%ƒQ-9u/ResP:`4))HInt8r"3| <òw $lVHEۏчTQoj^wn+it ZhcbE4|`]MON gAG]QnZ\SUܝZ͌{<ȣU7 ygGƌElv>O`JQ Ul?DbfU6q _ʎ-X%(D*NL6 &='XWgYZ7zXZִF! `|]ŗXiɟdN'LvH۹L}FuGK<2(z}+[.kӧ'h4z/_+@IISɚX^ P_Ip<#Tt`2._?blWIL 5@^"i4kīgA=-hy;pRU?9C'D(U Ң%QB`MNȷ]d/X0.s UfNc#"+y4bkw݌j=c_`3$}WP\͇:i(lփ]Xtls@"PC{E>&-Oc gYZ7zXZִF! ,]ŗXi%GSW: OT'nW6G=8? "` P و澗 Xυ?p7uw 4yUbKGh|<'ƾw1s5h#$Hn*Sw|E#QPin!Co012_>Ф:xE%R~{ *UV" Jg:t(ÎLoC"4/Y |0:'& N-y/H]AV}r—v,[„"ٱOdT5s(cB/Y(ezN,8;% mNZФ(Hm{47Ng _Rrjm1db;柖쇩O/H й:a9%/Ǚ崧r6SwI[ӹ'5*HT^>c 3FÜ?毃8F b)CPU៞y(qiM4TD]o:F^߅/h#w52f(^IӅ: p#8cbe4mTQ+ɺ݂ ͜,DˎА)gSg]?@ VJg[KfϘeq gv14ߴtK7bL0<ƦnjLS_,gJ*n>i-Uǎ6 _Zs"W*(iYRW"1oyJKKN^yǓ4ZFDPY .&+wmrޥ e,pUGWV_ѝo`ZMm1!#Ys|xNunsrPjHrggB#̠~3zVzjHG<`X7B[{7-,{+zQjRϚ)*Q/!_#DX=@:yEgkrɊ~X`cCagXk7oiG9p^4ZῧyRԢ QvRYc6*As>oo;Ra'D2 ǥ7nD뜫hxa/2Q}CoXhi.  YktqgYZ18d6f4d795f14765d9b1e42870427ae7649d3d891c6f2074cd6cdf579a3d3ee0e0c3866542d97adf dc5a1495e230b9fed28df216f9bc9b8936ded4f2 bc7807f47ff6e870c858158eb0e21ec1cedb54bd  IOA