SQLite format 3@ .;  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 ]C ,44 ]/ Median_Of_Medians_Selection:threads=4elapsed=12.952cpu=33.144gc=1.308factor=2.567zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk/ENS--rj cOGoA`8Unf2EJۓt-Q( aB(棄ط58oe:!2l%o1#WqЇT`a) }"D*EclL <K $F3߀o~A^OB<gRf 2ݏF.5"K@tX^'ؕC9%6%ȯ8!J>dW,l~ػVy#؉hdQPѻnf KPo7؆t]ZS#/{D#\X;}O$;fKtSCw\gsSMBh4sQ;WT~~Mrs!$^%יJ39r}OG PL ~`Ink]Ce8`OJ㸌-G*Ll87WKU/bgiur[K;zzOHL7Nz@ν"/[1:o['K׮,cx D oe?˟߻H WA *iX_|3SR<]%Nξ~3#hYea Ik;|/!Hrm<$7Px,*cvtvaXgaIq PB'ҟi]GsRRU(i!!o_s mZLKGu8X' ] +҆7UR6, 2 y+3 -"/֎$}Zd8B"~P@!&b`??)áu\r5SLJjH^4w$,MWg)ѕDpLzAHvӶ89 oMi8!$}YGhH32Pq'd< c.Sl {sG¨,ՅL1~X^ $]sCM t3UZ]OԑȇM5$̶: aY=k<:hBE>|^x r11-wK7cH](`4!ﹽl6qhlXdl؎T݂pHF(p-gy1Ichr&m6Ez+DZkVXl!Vl#&+"W9T>Rd V0 gYZf31785f5aac2b4f4762190d4d38c7a4cca23a12ad3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 C Median_Of_Medians_Selection