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 g1 Dl ]/ Concurrent_Ref_Alg:threads=2elapsed=9.728cpu=17.272gc=0.448factor=1.787zXZִF! ~]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬D G?t<#rgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdum^ }I1&XiRyne $d[ = OgJª-p2,g8f} |5͍hsͫ˦9;+XJ+~@.)c@q ilqWrm!DҨ+5nM~Qǡ\7ulrgEAnѽ2qS>.QgYZ7zXZִF! @0]ŗXi%>gS A5c܀!Jl@yY8oX*e5I}J*V,[*G3/kՒ,v4N*pD\!J./sztQr);2v=K5fӾY `RnJ e3Sw \'53id~iaXj~ѝz.VZG{I'B>]! fs.9ox] |.*!!LjTlv$H Tf Uۜx?Bq5߶6R5wycȱ.D,WN6U