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  t t  |<\ ]/ Matroids:threads=4elapsed=4.352cpu=11.508gc=0.204factor=2.647zXZִF! ]ŗXf[&L`7tH Hu*dQg+FfGT#0x}_l4ܩ{|[h0'mi8)mBY{헆hӲ>45L!4yWJ]1r!.٨~UbɞtcĂK㫐c#+b}`rv6u@DƬ3.V}gYZ7zXZִF! X]ŗXiɟRec#^s*^!i6R_P~>N4Q> %A(?1 h umBYƦ/v! M/bŗ> t,رgYZ7zXZִF! /]ŗXi%ES3ǿԋ2hOՍz4BĘ?XvhzӤC aKV3bgvgy?l{U;殮G?E]67s ʮ単^ m|~A!`βr3 kLz[JXsTonm.P !šIعmMaWwG&($yu0 k%)LN)D5=ihjb)1]d| `gOi-MG:Cs-M!_%MRAjyʫ'y\<6qͨDVYDˆ(H؆=G[l#ETׅ)#mi<, A8ϫ^{DV*9t2:=R2MF >([PD˄L{Dr7jku-Nl.1"@~竄Z` QШwGʘU٘#O?!@r̷}By xѕ]Sߦ1-${re<&76_6;xK.ƈB+9q/?SL D[PբD!z5=آ|/2(g'X5 8A=[ 8X5J?Uܗ'hXi9Lwz`K5D$@F-̌.I1&ܶs rDjrf-:͹k? ;X|Nd (-ZxJ))8.e&Rw5je8