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  h h <\ ]/ Matroids:threads=4elapsed=4.655cpu=12.276gc=0.180factor=2.647zXZִF! ]ŗXf[&L`7tH Hu*dQg+FfGT#0x}_l4ܩ{|[h0H#\%t4i:t0\nfq6B1 T'~+Wo䋮S!{d19[],bJAi=jh٠@7,lQh3+MxCsW@Q9 :9z~gYZ7zXZִF! X]ŗXiɟRec#^s*^!i6R_P~&GUfWVvb!U9Hx=p:eԡ]H>56t,رgYZ7zXZִF! /]ŗXi%Gg24D$\pPCƍ"eu{["7 o,;{nJ 0r,|TDdY'-N LAk [i Ń<҉!ˎg X0J uz ux0yyDAЫivrqtnUQtS]hJEn]a3;J֖Xi'WA/iu\B1@25fxg%OVj99z"Bi )L/,rI%4`VO wm(|He TM ^j_┶bGv1 G1 %bMca Ҁ+r*Lϼ oT[f MApuC-c6W'p`kw_qބS"=Gt0=H3cv_?N 5[*t$m/lgKqHtk.1b-7K<]F_3.,٪q CF^}gYZccd6a9b598ba9ee2951ba68f80080ebedcf9ff501795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b   Matroids