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 q t ] IOA:threads=6elapsed=6.983cpu=31.128gc=1.136factor=4.467zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K imIdx;״gSe֧4oOҤtUdO1n7j.u9{K͟8--f qzF]@&'+/^,ڻ=_7TRf۩ilkē"~> eR~a<>H)BdOdg1_q'8r&20tX{ZKFscy[~~XFLPon& NjWxs&_6gڹ}+:Ў&k`4X K3&^Ba 5=l< [Iτ>oToCS sX@!u'5۝bk"cg r.=ՇNR. |h5"gĬxNs6s|#ы!>DyP͝Y2'N4Z XaF8HS7rpAKG s]#k™rnګ$^_4zRvojr'踱Oq_~pq埝3$7m=԰  2ߗ86ZBK蜫56qRޯQ7FXA22puUkn~0ƔJ%n.mhiwDh/&k]Y{l^Gm)Q%겚20ǖC+e d_ ͒X`忂rxio@9Z”O/|%>Z\}[>פc7;^LN,by1)@曬TrK|Fi+ќ8GtУ'@tj:33ۼ:VnACk8- @1xi3@;=B-fgb:@#&ޣz\#oP0q*jN滫YzD^H;˄`LQo5pWiS(\bbk4*{ :*vi8ff(WntbZ:C_-BZXnZs+jh^Y \ݭ3%s~YM}0^μӟ1sd}0j!`bcڲ>פ @jX{&"#c"f}Vz{6EHmauċ8&85B:*;`:r JRyz`nhoK(Q?-ŃS0ȱgYZ620f52f97dbe08e186b45143143dcf2e1da138a524a38c72ee89e95ca4340bf3149b8301de12b264 ffa32f7831827e888dad40b899438fb418edd108 1901eaab316af50c89dc210e457c565c97f68871  IOA