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 o+ Dl| ]S Minsky_Machines:threads=4elapsed=14.113cpu=46.748gc=2.048factor=3.317zXZִF! ]ŗXf[&&mPPAnɓMc wl v٥&TC yҽP0~B诊[&˂|mqRo@H>7fL Rq:xƳ4q &U+ׂoro, {A6 j^}Ӑ ~yݧ Bpt7^?(X$%p$9ei5 'ZB[D !4wz:@is3"Mӿa=E}'8BkqVS[%pkZ`L삿|F2&jzU3(q&㢦ZD kU#Uyt'Vd.}' ԱgYZ7zXZִF! ]ŗXiɟi /-v!NىR!`vsY|Gs^HuۊT٭ 6KR*8&:<h#qx- YkbJ;Ӱ,kɕi3Ud6.AM3>f9E%'FTxN{/q&"}:݁C?_1H]ڞjplhKWIwIcqh7)G3|'eҸ2N"mɡ- md&l/Kpg+vpb{ۯY$_vJtUoe -& rR=ѱؕbG1g%y"3q$d>`ΐjv+tiаAxӷL)@D"GPŘS_;pyAҮ!m39fMg-H[ oUD ]d&'p}=UzZKCI@sWKg!R.S#&(y>'.O f'D˗UtY5vKc\g B#?ϕԦ^<:еI; N `u> wM"gݳ8GBPϼ<IKtfBXBYà>]7<G6Au#(h}~+7Mn8uiZrpEcd=Z =H+ͮM4s?N]r&gû}=#;ms8q Vh>*lVP(//AG/P\bk>z`DnH09FΙiYCƍ󳪀7q9}Ֆ.)BCQ$-zuoѯhf&NS[h0