SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 E $ ] IOA:threads=6elapsed=8.497cpu=34.532gc=1.380factor=4.067zXZִF! MF]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K*۫A!|C5ϧe=꺙5שB'2>N'#xU=LzfjN-h*[@Q2~(-9H\%Zrff#b}ZE\vN+n3A ^sA!$}."k :,!DIsclx+LQ|Zdz&$w*cP>srGYC(!\Z{[Y5>2e[BXd6HWV9JI Pl6i& ȉΧ,>bS\.F ]+yg~@`q!ߔ5ZgӗQH gK> t8"Hc"/gYZ7zXZִF! `z]ŗXiɟdN'LvH۹)S x"#"`P.TN+yV ͰVYs 랄w%V8GW!{oyf~16rp':C)yK'Jtt(3j_gq}+[+D-pُzդyYW5 8}l-SJ^ IjbIVg:7-6ss.فցnS4*K]Ef>?ӡVϝT-yC}jf2Ypԫb*;M凎g AHYc8B]`)h_:OW9%֮] oVyV[^@gYZ55bf361d3a6ded519cae13c2542075e35c799d77632d8c95ad4bd2d68bd3c1d2a41b16c33fd52fdf ca6f8106185d335e0987e63132ec96cba44ad44f 924ea29036ded553ee5d96aac89c60723f3402c3  IOA