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  | | << ]/ Matroids:threads=4elapsed=4.577cpu=12.256gc=0.180factor=2.687zXZִF! ]ŗXf[&L`7tH Hu*dQg+FfGT#0x}_l4ܩ{|[h0/jIMo35rڒfRdcT۶J5eEԳ[EBz: ZhvXRp':Bf|w 2/ 0zi1=RBI4 i\ w*(ҲigYZ7zXZִF! X]ŗXiɟRec#^s*^!i6R_P~>w3劑F6pϤSDɑ 9}'# /7t,رgYZ7zXZִF! /]ŗXi%B:g4Y aH8]9mHS"aլ%1 BggNVO$8;H9P^إ5[`J JT,I0ȎiIhGFoC$ Fںq)@Ri%W)yB0m+!Qo8Hܑ+tBV$.2<66hN]C@_;(~W?L3qSzycZW|KMڋ@|̋v#-p}IObٜϡX9Spus܀m Pd:S ?'JϨ2a, Qv,m4r/4#|yMf!i:1 rCּ ^NExM߉s‚ߌҋnըI55<o) XT{tC!!Vj;⋳~^\'32M-e⡉0l*?qYYdX`s6RM CwL e(lwD|緕:h_P3AWQgN15?0'*p VLvAdv#lﶾ Bqz_eڮ rexb0UUƏ`>ۖc|yX/(K(ɈXoξЯJnt?KW`9 Kk٘B=;m%p^ѱgYZ19aa7b1d9eb7f9f5505ffdeff579ced7b80ff05f13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454   Matroids